cprover
|
#include <java_bytecode_convert_method_class.h>
Public Attributes | |
local_variablet | var |
bool | is_parameter |
std::vector< holet > | holes |
Definition at line 101 of file java_bytecode_convert_method_class.h.
std::vector<holet> java_bytecode_convert_methodt::local_variable_with_holest::holes |
Definition at line 105 of file java_bytecode_convert_method_class.h.
Referenced by maybe_add_hole().
bool java_bytecode_convert_methodt::local_variable_with_holest::is_parameter |
Definition at line 104 of file java_bytecode_convert_method_class.h.
local_variablet java_bytecode_convert_methodt::local_variable_with_holest::var |
Definition at line 103 of file java_bytecode_convert_method_class.h.
Referenced by lt_index(), lt_startpc(), merge_variable_table_entries(), and populate_live_range_holes().