CBMC
Public Member Functions | Public Attributes | List of all members
java_bytecode_convert_methodt::converted_instructiont Struct Reference

#include <java_bytecode_convert_method_class.h>

+ Collaboration diagram for java_bytecode_convert_methodt::converted_instructiont:

Public Member Functions

 converted_instructiont (const instructionst::const_iterator &it, const codet &_code)
 

Public Attributes

instructionst::const_iterator source
 
std::list< method_offsett > successors
 
std::set< method_offsett > predecessors
 
codet code
 
stackt stack
 
bool done
 

Detailed Description

Definition at line 223 of file java_bytecode_convert_method_class.h.

Constructor & Destructor Documentation

◆ converted_instructiont()

java_bytecode_convert_methodt::converted_instructiont::converted_instructiont ( const instructionst::const_iterator &  it,
const codet &  _code 
)
inline

Definition at line 225 of file java_bytecode_convert_method_class.h.

Member Data Documentation

◆ code

codet java_bytecode_convert_methodt::converted_instructiont::code

Definition at line 235 of file java_bytecode_convert_method_class.h.

◆ done

bool java_bytecode_convert_methodt::converted_instructiont::done

Definition at line 237 of file java_bytecode_convert_method_class.h.

◆ predecessors

std::set<method_offsett> java_bytecode_convert_methodt::converted_instructiont::predecessors

Definition at line 234 of file java_bytecode_convert_method_class.h.

◆ source

instructionst::const_iterator java_bytecode_convert_methodt::converted_instructiont::source

Definition at line 232 of file java_bytecode_convert_method_class.h.

◆ stack

stackt java_bytecode_convert_methodt::converted_instructiont::stack

Definition at line 236 of file java_bytecode_convert_method_class.h.

◆ successors

std::list<method_offsett> java_bytecode_convert_methodt::converted_instructiont::successors

Definition at line 233 of file java_bytecode_convert_method_class.h.

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