cprover
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:
[legend]

Public Attributes

local_variablet var
 
bool is_parameter
 
std::vector< holetholes
 

Detailed Description

Definition at line 98 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 102 of file java_bytecode_convert_method_class.h.

Referenced by maybe_add_hole().

◆ is_parameter

bool java_bytecode_convert_methodt::local_variable_with_holest::is_parameter

Definition at line 101 of file java_bytecode_convert_method_class.h.

◆ var

local_variablet java_bytecode_convert_methodt::local_variable_with_holest::var

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