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
bluemessagetstatic
boldmessagetstatic
bright_bluemessagetstatic
bright_cyanmessagetstatic
bright_greenmessagetstatic
bright_magentamessagetstatic
bright_redmessagetstatic
bright_yellowmessagetstatic
bytecodesjava_bytecode_parsertprotected
classt typedefjava_bytecode_parsert
clear()parsertinlinevirtual
columnparsertprotected
command(unsigned c)messagetinlinestatic
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
cyanmessagetstatic
debug() constmessagetinline
eof()parsertinline
eommessagetstatic
error() constmessagetinline
eval_verbosity(const std::string &user_input, const message_levelt default_verbosity, message_handlert &dest)messagetstatic
faintmessagetstatic
fieldst typedefjava_bytecode_parsert
fieldt typedefjava_bytecode_parsert
get_annotation_class_refs(const java_bytecode_parse_treet::annotationst &annotations)java_bytecode_parsertprotected
get_annotation_value_class_refs(const exprt &value)java_bytecode_parsertprotected
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
get_relement_value()java_bytecode_parsertprotected
greenmessagetstatic
inparsert
inc_line_no()parsertinline
instructionst typedefjava_bytecode_parsert
instructiont typedefjava_bytecode_parsert
italicmessagetstatic
java_bytecode_parsert(bool skip_instructions)java_bytecode_parsertinlineexplicit
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
magentamessagetstatic
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
populate_bytecode_mnemonics_table()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
redmessagetstatic
relement_value_pairs(annotationt::element_value_pairst &)java_bytecode_parsertprotected
resetmessagetstatic
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
skip_instructionsjava_bytecode_parsertprotected
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
underlinemessagetstatic
warning() constmessagetinline
yellowmessagetstatic
~messaget()messagetvirtual
~parsert()parsertinlinevirtual