|
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().