#include <java_bytecode_convert_method_class.h>
◆ variablet() [1/3]
java_bytecode_convert_methodt::variablet::variablet |
( |
const symbol_exprt & | _symbol_expr, |
|
|
std::size_t | _start_pc, |
|
|
std::size_t | _length ) |
|
inline |
◆ variablet() [2/3]
java_bytecode_convert_methodt::variablet::variablet |
( |
const symbol_exprt & | _symbol_expr, |
|
|
std::size_t | _start_pc, |
|
|
std::size_t | _length, |
|
|
bool | _is_parameter ) |
|
inline |
◆ variablet() [3/3]
java_bytecode_convert_methodt::variablet::variablet |
( |
const symbol_exprt & | _symbol_expr, |
|
|
std::size_t | _start_pc, |
|
|
std::size_t | _length, |
|
|
bool | _is_parameter, |
|
|
std::vector< holet > && | _holes ) |
|
inline |
◆ holes
std::vector<holet> java_bytecode_convert_methodt::variablet::holes |
◆ is_parameter
bool java_bytecode_convert_methodt::variablet::is_parameter = false |
◆ length
size_t java_bytecode_convert_methodt::variablet::length |
◆ start_pc
size_t java_bytecode_convert_methodt::variablet::start_pc |
◆ symbol_expr
symbol_exprt java_bytecode_convert_methodt::variablet::symbol_expr |
The documentation for this class was generated from the following file: