CBMC
Public Types | Public Attributes | List of all members
java_bytecode_parse_treet::instructiont Struct Reference

#include <java_bytecode_parse_tree.h>

+ Collaboration diagram for java_bytecode_parse_treet::instructiont:

Public Types

typedef std::vector< exprt > argst
 

Public Attributes

source_locationt source_location
 
unsigned address
 
u8 bytecode
 
argst args
 

Detailed Description

Definition at line 55 of file java_bytecode_parse_tree.h.

Member Typedef Documentation

◆ argst

typedef std::vector<exprt> java_bytecode_parse_treet::instructiont::argst

Definition at line 60 of file java_bytecode_parse_tree.h.

Member Data Documentation

◆ address

unsigned java_bytecode_parse_treet::instructiont::address

Definition at line 58 of file java_bytecode_parse_tree.h.

◆ args

argst java_bytecode_parse_treet::instructiont::args

Definition at line 61 of file java_bytecode_parse_tree.h.

◆ bytecode

u8 java_bytecode_parse_treet::instructiont::bytecode

Definition at line 59 of file java_bytecode_parse_tree.h.

◆ source_location

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: