#include <java_bytecode_convert_method_class.h>
§ converted_instructiont()
java_bytecode_convert_methodt::converted_instructiont::converted_instructiont |
( |
const instructionst::const_iterator & |
it, |
|
|
const codet & |
_code |
|
) |
| |
|
inline |
§ code
codet java_bytecode_convert_methodt::converted_instructiont::code |
§ done
bool java_bytecode_convert_methodt::converted_instructiont::done |
§ predecessors
std::set<unsigned> java_bytecode_convert_methodt::converted_instructiont::predecessors |
§ source
instructionst::const_iterator java_bytecode_convert_methodt::converted_instructiont::source |
§ stack
stackt java_bytecode_convert_methodt::converted_instructiont::stack |
§ successors
std::list<unsigned> java_bytecode_convert_methodt::converted_instructiont::successors |
The documentation for this struct was generated from the following file: