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:

• /home/runner/work/cbmc/cbmc/jbmc/src/java_bytecode/java_bytecode_convert_method_class.h