cprover
java_bytecode_convert_methodt::variablet Class Reference

#include <java_bytecode_convert_method_class.h>

Collaboration diagram for java_bytecode_convert_methodt::variablet:
[legend]

Public Member Functions

 variablet ()
 

Public Attributes

symbol_exprt symbol_expr
 
size_t start_pc
 
size_t length
 
bool is_parameter
 
std::vector< holetholes
 

Detailed Description

Definition at line 85 of file java_bytecode_convert_method_class.h.

Constructor & Destructor Documentation

§ variablet()

java_bytecode_convert_methodt::variablet::variablet ( )
inline

Definition at line 93 of file java_bytecode_convert_method_class.h.

Member Data Documentation

§ holes

std::vector<holet> java_bytecode_convert_methodt::variablet::holes

Definition at line 92 of file java_bytecode_convert_method_class.h.

§ is_parameter

bool java_bytecode_convert_methodt::variablet::is_parameter

Definition at line 91 of file java_bytecode_convert_method_class.h.

§ length

size_t java_bytecode_convert_methodt::variablet::length

Definition at line 90 of file java_bytecode_convert_method_class.h.

§ 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: