expr2statement_list.h File Reference

#include <util/irep.h>
#include <string>

Include dependency graph for expr2statement_list.h:

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

Go to the source code of this file.

Classes
class	expr2stlt
	Class for saving the internal state of the conversion process. More...

Functions
std::string	expr2stl (const exprt &expr, const namespacet &ns)
	Converts a given expression to human-readable STL code. More...
std::string	type2stl (const typet &type, const namespacet &ns)
	Converts a given type to human-readable STL code. More...

Function Documentation

expr2stl()

std::string expr2stl	(	const exprt &	expr,
		const namespacet &	ns
	)

Converts a given expression to human-readable STL code.

Parameters

expr	Expression to be converted.
ns	Namespace of the TIA application.

Returns

String with the STL representation of the given parameters.

Definition at line 108 of file expr2statement_list.cpp.

type2stl()

std::string type2stl	(	const typet &	type,
		const namespacet &	ns
	)

Converts a given type to human-readable STL code.

Parameters

type	Type to be converted.
ns	Namespace of the TIA application.

Returns

String with the STL representation of the given type.

Definition at line 115 of file expr2statement_list.cpp.