10 #ifndef CPROVER_JAVA_BYTECODE_JAVA_BYTECODE_PARSE_TREE_H 11 #define CPROVER_JAVA_BYTECODE_JAVA_BYTECODE_PARSE_TREE_H 26 #ifndef _MSC_VER // Ommit this on MS VC2013 as move is not supported. 42 void output(std::ostream &)
const;
48 void output(std::ostream &)
const;
55 const irep_idt &annotation_type_name);
62 typedef std::vector<exprt>
argst;
155 typedef std::vector<verification_type_infot>
157 typedef std::vector<verification_type_infot>
167 void output(std::ostream &out)
const;
182 void output(std::ostream &out)
const;
195 #ifndef _MSC_VER // Ommit this on MS VC2013 as move is not supported. 241 lambda_method_handle.
u2_values = std::move(params);
242 return lambda_method_handle;
289 void output(std::ostream &out)
const;
296 void output(std::ostream &out)
const;
320 set(ID_class, class_name);
321 set(ID_component_name, component_name);
325 #endif // CPROVER_JAVA_BYTECODE_JAVA_BYTECODE_PARSE_TREE_H
The type of an expression.
instructiont & add_instruction()
static lambda_method_handlet create_unknown_handle(const u2_valuest params)
optionalt< std::string > signature
std::list< fieldt > fieldst
std::vector< instructiont > instructionst
bool attribute_bootstrapmethods_read
method_handle_typet handle_type
optionalt< std::string > signature
Represents the argument of an instruction that uses a CONSTANT_Fieldref This is used for example as a...
std::vector< annotationt > annotationst
bool has_annotation(const irep_idt &annotation_id) const
classt & operator=(const classt &)=delete
static optionalt< annotationt > find_annotation(const annotationst &annotations, const irep_idt &annotation_type_name)
Find an annotation given its name.
void output(std::ostream &) const
std::map< std::pair< irep_idt, size_t >, lambda_method_handlet > lambda_method_handle_mapt
irep_idt lambda_method_name
source_locationt source_location
std::vector< exceptiont > exception_tablet
A reference into the symbol table.
void output(std::ostream &out) const
void output(std::ostream &out) const
std::vector< exprt > argst
std::vector< verification_type_infot > stack_verification_type_infot
void add_method_handle(size_t bootstrap_index, lambda_method_handlet handle)
nonstd::optional< T > optionalt
java_bytecode_parse_treet::classt::lambda_method_handlet lambda_method_handlet
stack_verification_type_infot stack
java_bytecode_parse_treet::methodt methodt
dstringt has one field, an unsigned integer no which is an index into a static table of strings...
irep_idt lambda_method_ref
std::vector< stack_map_table_entryt > stack_map_tablet
bool is_unknown_handle() const
java_bytecode_parse_treet & operator=(const java_bytecode_parse_treet &)=delete
stack_map_tablet stack_map_table
verification_type_info_type
std::vector< element_value_pairt > element_value_pairst
optionalt< std::string > signature
std::vector< u2 > u2_valuest
lambda_method_handle_mapt lambda_method_handle_map
element_value_pairst element_value_pairs
instructionst instructions
void output(std::ostream &out) const
Base class for all expressions.
void output(std::ostream &) const
void output(std::ostream &out) const
source_locationt source_location
verification_type_info_type type
std::vector< local_variablet > local_variable_tablet
exception_tablet exception_table
std::list< irep_idt > implementst
std::vector< verification_type_infot > local_verification_type_infot
std::list< methodt > methodst
fieldref_exprt(const typet &type, const irep_idt &component_name, const irep_idt &class_name)
std::set< irep_idt > class_refst
local_variable_tablet local_variable_table
const lambda_method_handlet & get_method_handle(size_t bootstrap_index) const
local_verification_type_infot locals
java_bytecode_parse_treet()
std::vector< irep_idt > throws_exception_table