initialize_goto_model.cpp File Reference

Get a Goto Program. More...

#include "initialize_goto_model.h"
#include <fstream>
#include <iostream>
#include <util/language.h>
#include <util/config.h>
#include <util/unicode.h>
#include <langapi/mode.h>
#include <langapi/language_ui.h>
#include "goto_convert_functions.h"
#include "read_goto_binary.h"

Include dependency graph for initialize_goto_model.cpp:

Go to the source code of this file.

Functions
bool	initialize_goto_model (goto_modelt &goto_model, const cmdlinet &cmdline, message_handlert &message_handler)

Detailed Description

Get a Goto Program.

Definition in file initialize_goto_model.cpp.

Function Documentation

initialize_goto_model()

bool initialize_goto_model	(	goto_modelt &	goto_model,
		const cmdlinet &	cmdline,
		message_handlert &	message_handler
	)

Definition at line 27 of file initialize_goto_model.cpp.

References cmdlinet::args, config, messaget::eom(), messaget::error(), language_filest::file_map, language_filet::filename, language_filest::final(), get_language_from_filename(), languaget::get_language_options(), language_filet::get_modules(), goto_convert(), goto_modelt::goto_functions, is_goto_binary(), language_filet::language, languaget::parse(), read_object_and_link(), source_locationt::set_file(), configt::set_from_symbol_table(), messaget::set_message_handler(), messaget::mstreamt::source_location, messaget::status(), goto_modelt::symbol_table, language_filest::typecheck(), and widen().

Referenced by goto_analyzer_parse_optionst::doit(), and symex_parse_optionst::doit().