java_bytecode_convert_methodt::block_tree_nodet Struct Reference

#include <java_bytecode_convert_method_class.h>

Collaboration diagram for java_bytecode_convert_methodt::block_tree_nodet:

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< method_offsett >	branch_addresses
std::vector< block_tree_nodet >	branch

Detailed Description

Definition at line 277 of file java_bytecode_convert_method_class.h.

Constructor & Destructor Documentation

block_tree_nodet() [1/2]

java_bytecode_convert_methodt::block_tree_nodet::block_tree_nodet ( )

inline

Definition at line 283 of file java_bytecode_convert_method_class.h.

block_tree_nodet() [2/2]

java_bytecode_convert_methodt::block_tree_nodet::block_tree_nodet ( bool l )

inlineexplicit

Definition at line 287 of file java_bytecode_convert_method_class.h.

Member Function Documentation

get_leaf()

block_tree_nodet java_bytecode_convert_methodt::block_tree_nodet::get_leaf ( )

inlinestatic

Definition at line 291 of file java_bytecode_convert_method_class.h.

Member Data Documentation

branch

std::vector<block_tree_nodet> java_bytecode_convert_methodt::block_tree_nodet::branch

Definition at line 281 of file java_bytecode_convert_method_class.h.

branch_addresses

std::vector<method_offsett> java_bytecode_convert_methodt::block_tree_nodet::branch_addresses

Definition at line 280 of file java_bytecode_convert_method_class.h.

leaf

bool java_bytecode_convert_methodt::block_tree_nodet::leaf

Definition at line 279 of file java_bytecode_convert_method_class.h.

---

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

• /builddir/build/BUILD/cbmc-6.9.0-build/cbmc-cbmc-6.9.0/jbmc/src/java_bytecode/java_bytecode_convert_method_class.h