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:

• /home/runner/work/cbmc-documentation/cbmc-documentation/jbmc/src/java_bytecode/java_bytecode_parse_tree.h