cprover
|
Read goto object files. More...
#include "read_goto_object.h"
#include <xmllang/xml_parser.h>
#include <util/namespace.h>
#include <util/base_type.h>
#include <util/message.h>
#include <langapi/mode.h>
#include "xml_goto_function_hashing.h"
#include "xml_irep_hashing.h"
#include "xml_symbol_hashing.h"
Go to the source code of this file.
Macros | |
#define | XML_VERSION "1.4" |
Functions | |
bool | read_goto_object (std::istream &in, const std::string &filename, symbol_tablet &symbol_table, goto_functionst &functions, message_handlert &message_handler) |
reads a goto object xml file back into a symbol and a function table More... | |
Read goto object files.
Definition in file read_goto_object.cpp.
#define XML_VERSION "1.4" |
Definition at line 21 of file read_goto_object.cpp.
Referenced by read_goto_object().
bool read_goto_object | ( | std::istream & | in, |
const std::string & | filename, | ||
symbol_tablet & | symbol_table, | ||
goto_functionst & | functions, | ||
message_handlert & | message_handler | ||
) |
reads a goto object xml file back into a symbol and a function table
Definition at line 32 of file read_goto_object.cpp.
References symbol_tablet::add(), xml_parsert::clear(), xml_symbol_convertt::convert(), xml_goto_function_convertt::convert(), xml_irep_convertt::convert(), xml_parse_treet::element, xmlt::elements, messaget::eom(), messaget::error(), goto_functions_templatet< bodyT >::function_map, xmlt::get_attribute(), irept::id(), parsert::in, xml_irep_convertt::insert(), symbolt::is_type, xmlt::name, symbolt::name, xml_parsert::parse(), xml_parsert::parse_tree, messaget::set_message_handler(), to_code_type(), symbolt::type, xml_parser, and XML_VERSION.