cprover
|
Go to the source code of this file.
Functions | |
optionalt< class java_bytecode_parse_treet > | java_bytecode_parse (const std::string &file, class message_handlert &) |
optionalt< class java_bytecode_parse_treet > | java_bytecode_parse (std::istream &, class message_handlert &) |
optionalt<class java_bytecode_parse_treet> java_bytecode_parse | ( | const std::string & | file, |
class message_handlert & | |||
) |
Definition at line 1717 of file java_bytecode_parser.cpp.
References messaget::eom(), messaget::error(), java_bytecode_parse(), and message_handler.
optionalt<class java_bytecode_parse_treet> java_bytecode_parse | ( | std::istream & | , |
class message_handlert & | |||
) |
Definition at line 1700 of file java_bytecode_parser.cpp.
References parsert::in, message_handler, java_bytecode_parsert::parse(), java_bytecode_parsert::parse_tree, and messaget::set_message_handler().
Referenced by java_class_loadert::get_class_from_jar(), java_class_loadert::get_parse_tree(), and java_bytecode_parse().