java_bytecode_convert_methodt::holet Struct Reference

#include <java_bytecode_convert_method_class.h>

Public Attributes
method_offsett	start_pc
method_offsett	length

Detailed Description

Definition at line 108 of file java_bytecode_convert_method_class.h.

Member Data Documentation

length

method_offsett java_bytecode_convert_methodt::holet::length

Definition at line 111 of file java_bytecode_convert_method_class.h.

start_pc

method_offsett java_bytecode_convert_methodt::holet::start_pc

Definition at line 110 of file java_bytecode_convert_method_class.h.

---

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

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