java_bytecode_convert_methodt::method_with_amapt Struct Reference

#include <java_bytecode_convert_method_class.h>

Classes
struct	target_less_than

Public Member Functions
	method_with_amapt (const methodt &m, const address_mapt &a)

Public Attributes
std::pair< const methodt &, const address_mapt & >	method_with_amap

Detailed Description

Definition at line 243 of file java_bytecode_convert_method_class.h.

Constructor & Destructor Documentation

method_with_amapt()

java_bytecode_convert_methodt::method_with_amapt::method_with_amapt ( const methodt &  m, const address_mapt &  a  )

inline

Definition at line 245 of file java_bytecode_convert_method_class.h.

Member Data Documentation

method_with_amap

std::pair<const methodt &, const address_mapt &> java_bytecode_convert_methodt::method_with_amapt::method_with_amap

Definition at line 250 of file java_bytecode_convert_method_class.h.

---

The documentation for this struct was generated from the following file:

• /home/runner/work/cbmc/cbmc/jbmc/src/java_bytecode/java_bytecode_convert_method_class.h