cprover
Loading...
Searching...
No Matches
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_offsettbranch_addresses
std::vector< block_tree_nodetbranch

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: