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 218 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 224 of file java_bytecode_convert_method_class.h.

Referenced by get_leaf().

◆ block_tree_nodet() [2/2]

java_bytecode_convert_methodt::block_tree_nodet::block_tree_nodet ( bool  l)
inlineexplicit

Definition at line 228 of file java_bytecode_convert_method_class.h.

Member Function Documentation

◆ get_leaf()

static block_tree_nodet java_bytecode_convert_methodt::block_tree_nodet::get_leaf ( )
inlinestatic

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: