goto2ct Class Reference

#include <goto2c.h>

Public Member Functions
	goto2ct (namespacet &_ns, goto_functionst _goto_functions)
void	preprocess ()
void	preprocess (goto_functionst &goto_functions)
void	preprocess (std::string function_id, goto_functiont &goto_function)
void	preprocess (goto_programt &goto_program)
void	preprocess (goto_programt::instructiont &instruction)
void	check ()
void	check (goto_functionst &goto_functions)
void	check (std::string function_id, goto_functiont &goto_function)
void	check (goto_programt &goto_program)
void	check (goto_programt::instructiont &instruction)
std::string	translate ()
std::string	translate (goto_functionst &goto_functions)
std::string	translate (std::string function_id, goto_functiont &goto_function)
std::string	translate (goto_programt &goto_program)
std::string	translate (goto_programt::instructiont &instruction)
goto_functionst	get_goto_functions ()
namespacet	get_namespace ()

Protected Attributes
namespacet &	ns
goto_functionst	goto_functions
std::list< symbolt >	fun_decls
std::list< typet >	global_types
std::list< symbolt >	global_vars
std::list< symbolt >	extern_vars
std::map< std::string, exprt >	initializers
std::map< std::string, std::list< typet > >	local_types
std::map< std::string, std::list< symbolt > >	local_static_vars

Constructor & Destructor Documentation

goto2ct()

goto2ct::goto2ct ( namespacet & _ns, goto_functionst _goto_functions )

inline

Member Function Documentation

check() [1/5]

void goto2ct::check

(

)

check() [2/5]

void goto2ct::check

(

goto_functionst &

goto_functions

)

check() [3/5]

void goto2ct::check

(

goto_programt &

goto_program

)

check() [4/5]

void goto2ct::check

(

goto_programt::instructiont &

instruction

)

check() [5/5]

void goto2ct::check	(	std::string	function_id,
		goto_functiont &	goto_function )

get_goto_functions()

goto_functionst goto2ct::get_goto_functions ( )

inline

get_namespace()

namespacet goto2ct::get_namespace ( )

inline

preprocess() [1/5]

void goto2ct::preprocess

(

)

preprocess() [2/5]

void goto2ct::preprocess

(

goto_functionst &

goto_functions

)

preprocess() [3/5]

void goto2ct::preprocess

(

goto_programt &

goto_program

)

preprocess() [4/5]

void goto2ct::preprocess

(

goto_programt::instructiont &

instruction

)

preprocess() [5/5]

void goto2ct::preprocess	(	std::string	function_id,
		goto_functiont &	goto_function )

translate() [1/5]

std::string goto2ct::translate

(

)

translate() [2/5]

std::string goto2ct::translate

(

goto_functionst &

goto_functions

)

translate() [3/5]

std::string goto2ct::translate

(

goto_programt &

goto_program

)

translate() [4/5]

std::string goto2ct::translate

(

goto_programt::instructiont &

instruction

)

translate() [5/5]

std::string goto2ct::translate	(	std::string	function_id,
		goto_functiont &	goto_function )

Member Data Documentation

extern_vars

std::list<symbolt> goto2ct::extern_vars

protected

fun_decls

std::list<symbolt> goto2ct::fun_decls

protected

global_types

std::list<typet> goto2ct::global_types

protected

global_vars

std::list<symbolt> goto2ct::global_vars

protected

goto_functions

goto_functionst goto2ct::goto_functions

protected

initializers

std::map<std::string, exprt> goto2ct::initializers

protected

local_static_vars

std::map<std::string, std::list<symbolt> > goto2ct::local_static_vars

protected

local_types

std::map<std::string, std::list<typet> > goto2ct::local_types

protected

ns

namespacet& goto2ct::ns

protected

---

The documentation for this class was generated from the following files:

• src/goto2c/goto2c.h
• src/goto2c/goto2c_check.cpp
• src/goto2c/goto2c_preprocess.cpp
• src/goto2c/goto2c_translate.cpp