#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:
Collaboration diagram for java_bytecode_convert_methodt::variablet: