get_goto_model_from_c.cpp File Reference

#include "get_goto_model_from_c.h"
#include <ansi-c/ansi_c_language.h>
#include <goto-programs/goto_convert_functions.h>
#include <langapi/language_file.h>
#include <langapi/mode.h>
#include <util/cmdline.h>
#include <util/config.h>
#include <util/exception_utils.h>
#include <util/invariant.h>
#include <util/message.h>
#include <util/symbol_table.h>
#include <testing-utils/message.h>

Include dependency graph for get_goto_model_from_c.cpp:

Go to the source code of this file.

Functions
goto_modelt	get_goto_model_from_c (std::istream &in)
goto_modelt	get_goto_model_from_c (const std::string &code)
	Convert C program to a goto model. More...

Function Documentation

get_goto_model_from_c() [1/2]

goto_modelt get_goto_model_from_c

(

const std::string &

code

)

Convert C program to a goto model.

Parameters

code	string giving the C program

Returns

goto model

Definition at line 89 of file get_goto_model_from_c.cpp.

get_goto_model_from_c() [2/2]

goto_modelt get_goto_model_from_c

(

std::istream &

in

)

Definition at line 27 of file get_goto_model_from_c.cpp.