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

Public Attributes

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

Detailed Description

Definition at line 119 of file java_bytecode_parse_tree.h.

Member Data Documentation

◆ descriptor

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

Definition at line 122 of file java_bytecode_parse_tree.h.

◆ index

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

◆ length

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

◆ name

irep_idt java_bytecode_parse_treet::methodt::local_variablet::name

Definition at line 121 of file java_bytecode_parse_tree.h.

Referenced by merge_variable_table_entries().

◆ signature

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

Definition at line 123 of file java_bytecode_parse_tree.h.

◆ start_pc

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

Definition at line 125 of file java_bytecode_parse_tree.h.

Referenced by lt_startpc(), and merge_variable_table_entries().


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