cprover
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:
[legend]

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_nodetbranch
 

Detailed Description

Definition at line 185 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 190 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 191 of file java_bytecode_convert_method_class.h.

Member Function Documentation

§ get_leaf()

Member Data Documentation

§ branch

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

§ branch_addresses

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

§ leaf

bool java_bytecode_convert_methodt::block_tree_nodet::leaf

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