cprover
|
#include <iosfwd>
#include <string>
Go to the source code of this file.
Functions | |
bool | java_bytecode_parse (const std::string &file, class java_bytecode_parse_treet &, class message_handlert &) |
bool | java_bytecode_parse (std::istream &, class java_bytecode_parse_treet &, class message_handlert &) |
bool java_bytecode_parse | ( | const std::string & | file, |
class java_bytecode_parse_treet & | , | ||
class message_handlert & | |||
) |
Definition at line 1384 of file java_bytecode_parser.cpp.
References messaget::eom(), messaget::error(), and java_bytecode_parse().
bool java_bytecode_parse | ( | std::istream & | , |
class java_bytecode_parse_treet & | , | ||
class message_handlert & | |||
) |
Definition at line 1368 of file java_bytecode_parser.cpp.
References parsert::in, java_bytecode_parsert::parse(), java_bytecode_parsert::parse_tree, messaget::set_message_handler(), and java_bytecode_parse_treet::swap().
Referenced by java_class_loadert::get_parse_tree(), and java_bytecode_parse().