cprover
|
#include <java_bytecode_convert_method_class.h>
Public Member Functions | |
block_tree_nodet () | |
block_tree_nodet (bool l) | |
Static Public Member Functions | |
static block_tree_nodet | get_leaf () |
Public Attributes | |
bool | leaf |
std::vector< unsigned > | branch_addresses |
std::vector< block_tree_nodet > | branch |
Definition at line 185 of file java_bytecode_convert_method_class.h.
|
inline |
Definition at line 190 of file java_bytecode_convert_method_class.h.
Referenced by get_leaf().
|
inlineexplicit |
Definition at line 191 of file java_bytecode_convert_method_class.h.
|
inlinestatic |
Definition at line 192 of file java_bytecode_convert_method_class.h.
References block_tree_nodet().
Referenced by java_bytecode_convert_methodt::convert_instructions().
std::vector<block_tree_nodet> java_bytecode_convert_methodt::block_tree_nodet::branch |
Definition at line 189 of file java_bytecode_convert_method_class.h.
Referenced by java_bytecode_convert_methodt::convert_instructions(), and java_bytecode_convert_methodt::get_or_create_block_for_pcrange().
std::vector<unsigned> java_bytecode_convert_methodt::block_tree_nodet::branch_addresses |
Definition at line 188 of file java_bytecode_convert_method_class.h.
Referenced by java_bytecode_convert_methodt::convert_instructions(), and java_bytecode_convert_methodt::get_or_create_block_for_pcrange().
bool java_bytecode_convert_methodt::block_tree_nodet::leaf |
Definition at line 187 of file java_bytecode_convert_method_class.h.
Referenced by java_bytecode_convert_methodt::get_or_create_block_for_pcrange().