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)
parsert
inline
annotationst
typedef
java_bytecode_parsert
annotationt
typedef
java_bytecode_parsert
bytecodes
java_bytecode_parsert
protected
classt
typedef
java_bytecode_parsert
clear
()
parsert
inline
virtual
column
parsert
protected
conditional_output
(mstreamt &mstream, const std::function< void(mstreamt &)> &output_generator) const
messaget
constant
(u2 index)
java_bytecode_parsert
inline
protected
constant_pool
java_bytecode_parsert
constant_poolt
typedef
java_bytecode_parsert
debug
() const
messaget
inline
endl
(mstreamt &m)
messaget
inline
static
eof
()
parsert
inline
eom
(mstreamt &m)
messaget
inline
static
error
() const
messaget
inline
eval_verbosity
(const std::string &user_input, const message_levelt default_verbosity, message_handlert &dest)
messaget
static
fieldst
typedef
java_bytecode_parsert
fieldt
typedef
java_bytecode_parsert
get_bytecodes
()
java_bytecode_parsert
inline
protected
get_class_refs
()
java_bytecode_parsert
protected
get_class_refs_rec
(const typet &)
java_bytecode_parsert
protected
get_column
() const
parsert
inline
get_file
() const
parsert
inline
get_line_no
() const
parsert
inline
get_message_handler
()
messaget
inline
get_mstream
(unsigned message_level) const
messaget
inline
in
parsert
inc_line_no
()
parsert
inline
instructionst
typedef
java_bytecode_parsert
instructiont
typedef
java_bytecode_parsert
java_bytecode_parsert
()
java_bytecode_parsert
inline
lambda_method_handlet
typedef
java_bytecode_parsert
last_line
parsert
line_no
parsert
protected
M_DEBUG
enum value
messaget
M_ERROR
enum value
messaget
M_PROGRESS
enum value
messaget
M_RESULT
enum value
messaget
M_STATISTICS
enum value
messaget
M_STATUS
enum value
messaget
M_WARNING
enum value
messaget
message_handler
messaget
protected
message_levelt
enum name
messaget
messaget
()
messaget
inline
messaget
(const messaget &other)
messaget
inline
messaget
(message_handlert &_message_handler)
messaget
inline
explicit
method_handle_typet
typedef
java_bytecode_parsert
methodst
typedef
java_bytecode_parsert
methodt
typedef
java_bytecode_parsert
mstream
messaget
mutable
protected
operator=
(const messaget &other)
messaget
inline
parse
()
java_bytecode_parsert
virtual
parse_error
(const std::string &message, const std::string &before)
parsert
parse_local_variable_type_table
(methodt &method)
java_bytecode_parsert
protected
parse_method_handle
(const class method_handle_infot &entry)
java_bytecode_parsert
protected
parse_tree
java_bytecode_parsert
parsert
()
parsert
inline
pool_entry
(u2 index)
java_bytecode_parsert
inline
protected
previous_line_no
parsert
protected
progress
() const
messaget
inline
rbytecode
(methodt::instructionst &)
java_bytecode_parsert
protected
rclass_attribute
(classt &parsed_class)
java_bytecode_parsert
protected
rClassFile
()
java_bytecode_parsert
protected
rcode_attribute
(methodt &method)
java_bytecode_parsert
protected
rconstant_pool
()
java_bytecode_parsert
protected
read
(char &ch)
parsert
inline
read_bootstrapmethods_entry
(classt &)
java_bytecode_parsert
protected
read_bytes
(size_t bytes)
java_bytecode_parsert
inline
protected
read_u1
()
java_bytecode_parsert
inline
protected
read_u2
()
java_bytecode_parsert
inline
protected
read_u4
()
java_bytecode_parsert
inline
protected
read_u8
()
java_bytecode_parsert
inline
protected
read_verification_type_info
(methodt::verification_type_infot &)
java_bytecode_parsert
protected
relement_value_pair
(annotationt::element_value_pairt &)
java_bytecode_parsert
protected
relement_value_pairs
(annotationt::element_value_pairst &)
java_bytecode_parsert
protected
result
() const
messaget
inline
rfield_attribute
(fieldt &)
java_bytecode_parsert
protected
rfields
(classt &parsed_class)
java_bytecode_parsert
protected
rinterfaces
(classt &parsed_class)
java_bytecode_parsert
protected
rmethod
(classt &parsed_class)
java_bytecode_parsert
protected
rmethod_attribute
(methodt &method)
java_bytecode_parsert
protected
rmethods
(classt &parsed_class)
java_bytecode_parsert
protected
rRuntimeAnnotation
(annotationt &)
java_bytecode_parsert
protected
rRuntimeAnnotation_attribute
(annotationst &)
java_bytecode_parsert
protected
set_column
(unsigned _column)
parsert
inline
set_file
(const irep_idt &file)
parsert
inline
set_function
(const irep_idt &function)
parsert
inline
set_line_no
(unsigned _line_no)
parsert
inline
set_message_handler
(message_handlert &_message_handler)
messaget
inline
virtual
set_source_location
(exprt &e)
parsert
inline
skip_bytes
(std::size_t bytes)
java_bytecode_parsert
inline
protected
source_location
parsert
protected
stack
parsert
statistics
() const
messaget
inline
status
() const
messaget
inline
store_unknown_method_handle
(classt &parsed_class, size_t bootstrap_method_index, u2_valuest u2_values) const
java_bytecode_parsert
protected
this_line
parsert
type_entry
(u2 index)
java_bytecode_parsert
inline
protected
u2_valuest
typedef
java_bytecode_parsert
warning
() const
messaget
inline
~messaget
()
messaget
virtual
~parsert
()
parsert
inline
virtual
Generated by
1.8.14