CBMC: java_bytecode_convert_methodt::method_with_amapt Struct Reference

CBMC

Loading...

Searching...

No Matches

Classes | Public Member Functions | Public Attributes | List of all members

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