cprover
java_bytecode_convert_methodt::converted_instructiont Struct Reference

#include <java_bytecode_convert_method_class.h>

Collaboration diagram for java_bytecode_convert_methodt::converted_instructiont:
[legend]

Public Member Functions

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

Public Attributes

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

Detailed Description

Definition at line 184 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 186 of file java_bytecode_convert_method_class.h.

Member Data Documentation

◆ code

codet java_bytecode_convert_methodt::converted_instructiont::code

Definition at line 196 of file java_bytecode_convert_method_class.h.

◆ done

bool java_bytecode_convert_methodt::converted_instructiont::done

Definition at line 198 of file java_bytecode_convert_method_class.h.

◆ predecessors

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

Definition at line 195 of file java_bytecode_convert_method_class.h.

◆ source

instructionst::const_iterator java_bytecode_convert_methodt::converted_instructiont::source

Definition at line 193 of file java_bytecode_convert_method_class.h.

◆ stack

stackt java_bytecode_convert_methodt::converted_instructiont::stack

Definition at line 197 of file java_bytecode_convert_method_class.h.

◆ successors

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

Definition at line 194 of file java_bytecode_convert_method_class.h.


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