Public Types

typedef std::vector< exprt > argst

Public Attributes

Definition at line 55 of file java_bytecode_parse_tree.h.

Definition at line 60 of file java_bytecode_parse_tree.h.

unsigned java_bytecode_parse_treet::instructiont::address

Definition at line 58 of file java_bytecode_parse_tree.h.

argst java_bytecode_parse_treet::instructiont::args

Definition at line 61 of file java_bytecode_parse_tree.h.

u8 java_bytecode_parse_treet::instructiont::bytecode

Definition at line 59 of file java_bytecode_parse_tree.h.

source_locationt java_bytecode_parse_treet::instructiont::source_location

Definition at line 57 of file java_bytecode_parse_tree.h.

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