cprover
java_bytecode_parse_treet::instructiont Class Reference

#include <java_bytecode_parse_tree.h>

Collaboration diagram for java_bytecode_parse_treet::instructiont:
[legend]

Public Types

typedef std::vector< exprtargst
 

Public Attributes

source_locationt source_location
 
unsigned address
 
irep_idt statement
 
argst args
 

Detailed Description

Definition at line 44 of file java_bytecode_parse_tree.h.

Member Typedef Documentation

◆ argst

Definition at line 50 of file java_bytecode_parse_tree.h.

Member Data Documentation

◆ address

unsigned java_bytecode_parse_treet::instructiont::address

Definition at line 48 of file java_bytecode_parse_tree.h.

Referenced by java_bytecode_parsert::rbytecode().

◆ args

argst java_bytecode_parse_treet::instructiont::args

◆ source_location

source_locationt java_bytecode_parse_treet::instructiont::source_location

Definition at line 47 of file java_bytecode_parse_tree.h.

Referenced by java_bytecode_parsert::rbytecode().

◆ statement

irep_idt java_bytecode_parse_treet::instructiont::statement

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