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;
59 bool is_public, is_protected, is_private,
is_static, is_final;
62 virtual void output(std::ostream &out)
const = 0;
65 is_public(false), is_protected(false), is_private(false),
66 is_static(false), is_final(false)
84 return instructions.back();
117 OBJECT, UNINITIALIZED};
137 typedef std::vector<verification_type_infot>
139 typedef std::vector<verification_type_infot>
149 virtual void output(std::ostream &out)
const;
154 is_synchronized(false)
162 virtual void output(std::ostream &out)
const;
170 bool is_abstract=
false;
172 size_t enum_elements=0;
185 fields.push_back(
fieldt());
186 return fields.back();
192 return methods.back();
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
source_locationt source_location
exception_tablet exception_table
verification_type_info_type
instructionst instructions
std::vector< annotationt > annotationst
A reference into the symbol table.
verification_type_info_type type
std::vector< verification_type_infot > stack_verification_type_infot
std::vector< instructiont > instructionst
std::vector< verification_type_infot > local_verification_type_infot
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
std::list< irep_idt > implementst
local_variable_tablet local_variable_table
instructiont & add_instruction()
std::list< fieldt > fieldst