cprover
|
#include <java_bytecode_convert_method_class.h>
Public Member Functions | |
variablet () | |
Public Attributes | |
symbol_exprt | symbol_expr |
size_t | start_pc |
size_t | length |
bool | is_parameter |
std::vector< holet > | holes |
Definition at line 85 of file java_bytecode_convert_method_class.h.
|
inline |
Definition at line 93 of file java_bytecode_convert_method_class.h.
std::vector<holet> java_bytecode_convert_methodt::variablet::holes |
Definition at line 92 of file java_bytecode_convert_method_class.h.
bool java_bytecode_convert_methodt::variablet::is_parameter |
Definition at line 91 of file java_bytecode_convert_method_class.h.
size_t java_bytecode_convert_methodt::variablet::length |
Definition at line 90 of file java_bytecode_convert_method_class.h.
size_t java_bytecode_convert_methodt::variablet::start_pc |
Definition at line 89 of file java_bytecode_convert_method_class.h.
Referenced by java_bytecode_convert_methodt::find_variable_for_slot().
symbol_exprt java_bytecode_convert_methodt::variablet::symbol_expr |
Definition at line 88 of file java_bytecode_convert_method_class.h.
Referenced by java_bytecode_convert_methodt::variable().