CBMC
Public Attributes | List of all members
java_bytecode_parse_treet::methodt::local_variablet Struct Reference

#include <java_bytecode_parse_tree.h>

+ Collaboration diagram for java_bytecode_parse_treet::methodt::local_variablet:

Public Attributes

irep_idt name
 
std::string descriptor
 
std::optional< std::string > signature
 
std::size_t index
 
std::size_t start_pc
 
std::size_t length
 

Detailed Description

Definition at line 126 of file java_bytecode_parse_tree.h.

Member Data Documentation

◆ descriptor

std::string java_bytecode_parse_treet::methodt::local_variablet::descriptor

Definition at line 129 of file java_bytecode_parse_tree.h.

◆ index

std::size_t java_bytecode_parse_treet::methodt::local_variablet::index

Definition at line 131 of file java_bytecode_parse_tree.h.

◆ length

std::size_t java_bytecode_parse_treet::methodt::local_variablet::length

Definition at line 133 of file java_bytecode_parse_tree.h.

◆ name

irep_idt java_bytecode_parse_treet::methodt::local_variablet::name

Definition at line 128 of file java_bytecode_parse_tree.h.

◆ signature

std::optional<std::string> java_bytecode_parse_treet::methodt::local_variablet::signature

Definition at line 130 of file java_bytecode_parse_tree.h.

◆ start_pc

std::size_t java_bytecode_parse_treet::methodt::local_variablet::start_pc

Definition at line 132 of file java_bytecode_parse_tree.h.

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