cprover
|
#include <java_bytecode_parse_tree.h>
Public Attributes | |
irep_idt | name |
std::string | descriptor |
optionalt< std::string > | signature |
std::size_t | index |
std::size_t | start_pc |
std::size_t | length |
Definition at line 119 of file java_bytecode_parse_tree.h.
std::string java_bytecode_parse_treet::methodt::local_variablet::descriptor |
Definition at line 122 of file java_bytecode_parse_tree.h.
std::size_t java_bytecode_parse_treet::methodt::local_variablet::index |
Definition at line 124 of file java_bytecode_parse_tree.h.
Referenced by java_bytecode_convert_methodt::is_parameter(), and lt_index().
std::size_t java_bytecode_parse_treet::methodt::local_variablet::length |
Definition at line 126 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 121 of file java_bytecode_parse_tree.h.
Referenced by merge_variable_table_entries().
optionalt<std::string> java_bytecode_parse_treet::methodt::local_variablet::signature |
Definition at line 123 of file java_bytecode_parse_tree.h.
std::size_t java_bytecode_parse_treet::methodt::local_variablet::start_pc |
Definition at line 125 of file java_bytecode_parse_tree.h.
Referenced by lt_startpc(), and merge_variable_table_entries().