get_goto_model_from_c.h File Reference

#include <goto-programs/goto_model.h>
#include <iosfwd>

Include dependency graph for get_goto_model_from_c.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
goto_modelt	get_goto_model_from_c (const std::string &code)
	Convert C program to a goto model. More...
goto_modelt	get_goto_model_from_c (const std::istream &in)
	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::istream &

in

)

Convert C program to a goto model.

Parameters

in	input stream to read a C program from

Returns

goto model

get_goto_model_from_c() [2/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 88 of file get_goto_model_from_c.cpp.