expr2cpp.cpp File Reference

#include "expr2cpp.h"
#include <cassert>
#include <util/std_types.h>
#include <util/std_expr.h>
#include <util/symbol.h>
#include <util/lispirep.h>
#include <util/lispexpr.h>
#include <util/namespace.h>
#include <ansi-c/c_misc.h>
#include <ansi-c/c_qualifiers.h>
#include <ansi-c/expr2c_class.h>

Include dependency graph for expr2cpp.cpp:

Go to the source code of this file.

Classes
class	expr2cppt

Functions
std::string	expr2cpp (const exprt &expr, const namespacet &ns)
std::string	type2cpp (const typet &type, const namespacet &ns)

Function Documentation

expr2cpp()

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

Definition at line 505 of file expr2cpp.cpp.

References expr2cpp().

Referenced by expr2cpp(), cpp_languaget::from_expr(), cpp_typecheckt::to_string(), and type2cpp().

type2cpp()

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

Definition at line 512 of file expr2cpp.cpp.

References expr2cpp().

Referenced by cpp_languaget::from_type(), cpp_typecheckt::to_string(), and cpp_typecheckt::typecheck_expr_trinary().