cprover
java_bytecode_parsert Member List

This is the complete list of members for java_bytecode_parsert, including all inherited members.

advance_column(unsigned token_width)parsertinline
annotationst typedefjava_bytecode_parsert
annotationt typedefjava_bytecode_parsert
bytecodesjava_bytecode_parsertprotected
classt typedefjava_bytecode_parsert
clear()parsertinlinevirtual
columnparsertprotected
conditional_output(mstreamt &mstream, const std::function< void(mstreamt &)> &output_generator) constmessaget
constant(u2 index)java_bytecode_parsertinlineprotected
constant_pooljava_bytecode_parsert
constant_poolt typedefjava_bytecode_parsert
debug() constmessagetinline
endl(mstreamt &m)messagetinlinestatic
eof()parsertinline
eom(mstreamt &m)messagetinlinestatic
error() constmessagetinline
eval_verbosity(const std::string &user_input, const message_levelt default_verbosity, message_handlert &dest)messagetstatic
fieldst typedefjava_bytecode_parsert
fieldt typedefjava_bytecode_parsert
get_bytecodes()java_bytecode_parsertinlineprotected
get_class_refs()java_bytecode_parsertprotected
get_class_refs_rec(const typet &)java_bytecode_parsertprotected
get_column() constparsertinline
get_file() constparsertinline
get_line_no() constparsertinline
get_message_handler()messagetinline
get_mstream(unsigned message_level) constmessagetinline
inparsert
inc_line_no()parsertinline
instructionst typedefjava_bytecode_parsert
instructiont typedefjava_bytecode_parsert
java_bytecode_parsert()java_bytecode_parsertinline
lambda_method_handlet typedefjava_bytecode_parsert
last_lineparsert
line_noparsertprotected
M_DEBUG enum valuemessaget
M_ERROR enum valuemessaget
M_PROGRESS enum valuemessaget
M_RESULT enum valuemessaget
M_STATISTICS enum valuemessaget
M_STATUS enum valuemessaget
M_WARNING enum valuemessaget
message_handlermessagetprotected
message_levelt enum namemessaget
messaget()messagetinline
messaget(const messaget &other)messagetinline
messaget(message_handlert &_message_handler)messagetinlineexplicit
method_handle_typet typedefjava_bytecode_parsert
methodst typedefjava_bytecode_parsert
methodt typedefjava_bytecode_parsert
mstreammessagetmutableprotected
operator=(const messaget &other)messagetinline
parse()java_bytecode_parsertvirtual
parse_error(const std::string &message, const std::string &before)parsert
parse_local_variable_type_table(methodt &method)java_bytecode_parsertprotected
parse_method_handle(const class method_handle_infot &entry)java_bytecode_parsertprotected
parse_treejava_bytecode_parsert
parsert()parsertinline
pool_entry(u2 index)java_bytecode_parsertinlineprotected
previous_line_noparsertprotected
progress() constmessagetinline
rbytecode(methodt::instructionst &)java_bytecode_parsertprotected
rclass_attribute(classt &parsed_class)java_bytecode_parsertprotected
rClassFile()java_bytecode_parsertprotected
rcode_attribute(methodt &method)java_bytecode_parsertprotected
rconstant_pool()java_bytecode_parsertprotected
read(char &ch)parsertinline
read_bootstrapmethods_entry(classt &)java_bytecode_parsertprotected
read_bytes(size_t bytes)java_bytecode_parsertinlineprotected
read_u1()java_bytecode_parsertinlineprotected
read_u2()java_bytecode_parsertinlineprotected
read_u4()java_bytecode_parsertinlineprotected
read_u8()java_bytecode_parsertinlineprotected
read_verification_type_info(methodt::verification_type_infot &)java_bytecode_parsertprotected
relement_value_pair(annotationt::element_value_pairt &)java_bytecode_parsertprotected
relement_value_pairs(annotationt::element_value_pairst &)java_bytecode_parsertprotected
result() constmessagetinline
rexceptions_attribute()java_bytecode_parsertprotected
rfield_attribute(fieldt &)java_bytecode_parsertprotected
rfields(classt &parsed_class)java_bytecode_parsertprotected
rinner_classes_attribute(classt &parsed_class, const u4 &attribute_length)java_bytecode_parsertprotected
rinterfaces(classt &parsed_class)java_bytecode_parsertprotected
rmethod(classt &parsed_class)java_bytecode_parsertprotected
rmethod_attribute(methodt &method)java_bytecode_parsertprotected
rmethods(classt &parsed_class)java_bytecode_parsertprotected
rRuntimeAnnotation(annotationt &)java_bytecode_parsertprotected
rRuntimeAnnotation_attribute(annotationst &)java_bytecode_parsertprotected
set_column(unsigned _column)parsertinline
set_file(const irep_idt &file)parsertinline
set_function(const irep_idt &function)parsertinline
set_line_no(unsigned _line_no)parsertinline
set_message_handler(message_handlert &_message_handler)messagetinlinevirtual
set_source_location(exprt &e)parsertinline
skip_bytes(std::size_t bytes)java_bytecode_parsertinlineprotected
source_locationparsertprotected
stackparsert
statistics() constmessagetinline
status() constmessagetinline
store_unknown_method_handle(classt &parsed_class, size_t bootstrap_method_index, u2_valuest u2_values) constjava_bytecode_parsertprotected
this_lineparsert
type_entry(u2 index)java_bytecode_parsertinlineprotected
u2_valuest typedefjava_bytecode_parsert
warning() constmessagetinline
~messaget()messagetvirtual
~parsert()parsertinlinevirtual