cprover
java_bytecode_parse_treet::methodt::local_variablet Class 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 signature
 
std::size_t index
 
std::size_t start_pc
 
std::size_t length
 

Detailed Description

Definition at line 99 of file java_bytecode_parse_tree.h.

Member Data Documentation

§ index

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

Definition at line 104 of file java_bytecode_parse_tree.h.

Referenced by lt_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 102 of file java_bytecode_parse_tree.h.

Referenced by merge_variable_table_entries().

§ signature

std::string java_bytecode_parse_treet::methodt::local_variablet::signature

Definition at line 103 of file java_bytecode_parse_tree.h.

§ start_pc

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

Definition at line 105 of file java_bytecode_parse_tree.h.

Referenced by lt_startpc(), and merge_variable_table_entries().


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