10 #ifndef CPROVER_JAVA_BYTECODE_JAVA_BYTECODE_PARSE_TREE_H 11 #define CPROVER_JAVA_BYTECODE_JAVA_BYTECODE_PARSE_TREE_H 33 void output(std::ostream &)
const;
39 void output(std::ostream &)
const;
50 typedef std::vector<exprt>
argst;
62 virtual void output(std::ostream &out)
const = 0;
137 typedef std::vector<verification_type_infot>
139 typedef std::vector<verification_type_infot>
149 virtual void output(std::ostream &out)
const;
162 virtual void output(std::ostream &out)
const;
195 void output(std::ostream &out)
const;
209 void output(std::ostream &out)
const;
221 #endif // CPROVER_JAVA_BYTECODE_JAVA_BYTECODE_PARSE_TREE_H
The type of an expression.
stack_verification_type_infot stack
virtual void output(std::ostream &out) const =0
source_locationt source_location
virtual void output(std::ostream &out) const
exception_tablet exception_table
verification_type_info_type
instructionst instructions
std::vector< annotationt > annotationst
void output(std::ostream &) const
A reference into the symbol table.
verification_type_info_type type
std::vector< verification_type_infot > stack_verification_type_infot
void output(std::ostream &out) const
std::vector< instructiont > instructionst
std::vector< verification_type_infot > local_verification_type_infot
void output(std::ostream &out) const
std::set< irep_idt > class_refst
std::list< methodt > methodst
std::vector< element_value_pairt > element_value_pairst
std::vector< exceptiont > exception_tablet
std::vector< stack_map_table_entryt > stack_map_tablet
stack_map_tablet stack_map_table
java_bytecode_parse_treet()
element_value_pairst element_value_pairs
Base class for all expressions.
source_locationt source_location
void swap(java_bytecode_parse_treet &other)
std::vector< local_variablet > local_variable_tablet
void output(std::ostream &) const
std::vector< exprt > argst
local_verification_type_infot locals
virtual void output(std::ostream &out) const
std::list< irep_idt > implementst
local_variable_tablet local_variable_table
instructiont & add_instruction()
std::list< fieldt > fieldst