cprover
Loading...
Searching...
No Matches
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 224 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 226 of file java_bytecode_convert_method_class.h.

Member Data Documentation

◆ code

codet java_bytecode_convert_methodt::converted_instructiont::code

Definition at line 236 of file java_bytecode_convert_method_class.h.

◆ done

bool java_bytecode_convert_methodt::converted_instructiont::done

Definition at line 238 of file java_bytecode_convert_method_class.h.

◆ predecessors

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

Definition at line 235 of file java_bytecode_convert_method_class.h.

◆ source

instructionst::const_iterator java_bytecode_convert_methodt::converted_instructiont::source

Definition at line 233 of file java_bytecode_convert_method_class.h.

◆ stack

stackt java_bytecode_convert_methodt::converted_instructiont::stack

Definition at line 237 of file java_bytecode_convert_method_class.h.

◆ successors

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

Definition at line 234 of file java_bytecode_convert_method_class.h.

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