CBMC
Public Attributes | List of all members
java_bytecode_convert_methodt::local_variable_with_holest Struct Reference

#include <java_bytecode_convert_method_class.h>

+ Collaboration diagram for java_bytecode_convert_methodt::local_variable_with_holest:

Public Attributes

local_variablet var
 
bool is_parameter
 
std::vector< holet > holes
 

Detailed Description

Definition at line 115 of file java_bytecode_convert_method_class.h.

Member Data Documentation

◆ holes

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

Definition at line 119 of file java_bytecode_convert_method_class.h.

◆ is_parameter

bool java_bytecode_convert_methodt::local_variable_with_holest::is_parameter

Definition at line 118 of file java_bytecode_convert_method_class.h.

◆ var

local_variablet java_bytecode_convert_methodt::local_variable_with_holest::var

Definition at line 117 of file java_bytecode_convert_method_class.h.

The documentation for this struct was generated from the following file: