cprover
|
#include <java_bytecode_parse_tree.h>
Public Types | |
typedef std::vector< exprt > | argst |
Public Attributes | |
source_locationt | source_location |
unsigned | address |
irep_idt | statement |
argst | args |
Definition at line 57 of file java_bytecode_parse_tree.h.
typedef std::vector<exprt> java_bytecode_parse_treet::instructiont::argst |
Definition at line 62 of file java_bytecode_parse_tree.h.
unsigned java_bytecode_parse_treet::instructiont::address |
Definition at line 60 of file java_bytecode_parse_tree.h.
Referenced by java_bytecode_parsert::rbytecode().
argst java_bytecode_parse_treet::instructiont::args |
Definition at line 63 of file java_bytecode_parse_tree.h.
Referenced by create_stub_global_symbols(), generate_constant_global_variables(), infer_opaque_type_fields(), is_store_to_slot(), java_bytecode_parsert::rbytecode(), and require_parse_tree::expected_instructiont::require_instructions_equal().
source_locationt java_bytecode_parse_treet::instructiont::source_location |
Definition at line 59 of file java_bytecode_parse_tree.h.
Referenced by java_bytecode_parsert::rbytecode().
irep_idt java_bytecode_parse_treet::instructiont::statement |
Definition at line 61 of file java_bytecode_parse_tree.h.
Referenced by create_stub_global_symbols(), generate_constant_global_variables(), infer_opaque_type_fields(), is_store_to_slot(), java_bytecode_parsert::rbytecode(), and require_parse_tree::expected_instructiont::require_instructions_equal().