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 108 of file java_bytecode_convert_method_class.h.
|
inline |
Definition at line 117 of file java_bytecode_convert_method_class.h.
std::vector<holet> java_bytecode_convert_methodt::variablet::holes |
Definition at line 115 of file java_bytecode_convert_method_class.h.
bool java_bytecode_convert_methodt::variablet::is_parameter |
Definition at line 114 of file java_bytecode_convert_method_class.h.
size_t java_bytecode_convert_methodt::variablet::length |
Definition at line 113 of file java_bytecode_convert_method_class.h.
size_t java_bytecode_convert_methodt::variablet::start_pc |
Definition at line 112 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 111 of file java_bytecode_convert_method_class.h.
Referenced by java_bytecode_convert_methodt::variable().