cprover
|
#include <java_bytecode_convert_method_class.h>
Public Attributes | |
local_variablet | var |
bool | is_parameter |
std::vector< holet > | holes |
Definition at line 103 of file java_bytecode_convert_method_class.h.
std::vector<holet> java_bytecode_convert_methodt::local_variable_with_holest::holes |
Definition at line 107 of file java_bytecode_convert_method_class.h.
bool java_bytecode_convert_methodt::local_variable_with_holest::is_parameter |
Definition at line 106 of file java_bytecode_convert_method_class.h.
local_variablet java_bytecode_convert_methodt::local_variable_with_holest::var |
Definition at line 105 of file java_bytecode_convert_method_class.h.