java_bytecode_convert_methodt::holet Struct Reference

#include <java_bytecode_convert_method_class.h>

Public Attributes
unsigned	start_pc
unsigned	length

Detailed Description

Definition at line 70 of file java_bytecode_convert_method_class.h.

Member Data Documentation

length

unsigned java_bytecode_convert_methodt::holet::length

Definition at line 73 of file java_bytecode_convert_method_class.h.

start_pc

unsigned java_bytecode_convert_methodt::holet::start_pc

Definition at line 72 of file java_bytecode_convert_method_class.h.

---

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

• java_bytecode/java_bytecode_convert_method_class.h