cprover
|
#include <java_bytecode_parse_tree.h>
Public Attributes | |
irep_idt | name |
std::string | signature |
std::size_t | index |
std::size_t | start_pc |
std::size_t | length |
Definition at line 99 of file java_bytecode_parse_tree.h.
std::size_t java_bytecode_parse_treet::methodt::local_variablet::index |
Definition at line 104 of file java_bytecode_parse_tree.h.
Referenced by lt_index().
std::size_t java_bytecode_parse_treet::methodt::local_variablet::length |
Definition at line 106 of file java_bytecode_parse_tree.h.
Referenced by merge_variable_table_entries(), and populate_live_range_holes().
irep_idt java_bytecode_parse_treet::methodt::local_variablet::name |
Definition at line 102 of file java_bytecode_parse_tree.h.
Referenced by merge_variable_table_entries().
std::string java_bytecode_parse_treet::methodt::local_variablet::signature |
Definition at line 103 of file java_bytecode_parse_tree.h.
std::size_t java_bytecode_parse_treet::methodt::local_variablet::start_pc |
Definition at line 105 of file java_bytecode_parse_tree.h.
Referenced by lt_startpc(), and merge_variable_table_entries().