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
 
std::vector< holetholes
 

Detailed Description

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

Referenced by maybe_add_hole().

◆ var

local_variablet java_bytecode_convert_methodt::local_variable_with_holest::var

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