expr2c.cpp File Reference

#include <goto2c/expr2c.h>
#include <util/arith/arith_tools.h>
#include <util/lang/c_misc.h>
#include <util/irep/pad_names.h>
#include <util/lang/c_types.h>
#include <util/config/config.h>
#include <util/arith/fixedbv.h>
#include <util/base/i2string.h>
#include <util/arith/ieee_float.h>
#include <util/base/prefix.h>
#include <util/irep/std_code.h>
#include <util/irep/std_types.h>
#include <util/expr/base_type.h>
#include <util/expr/type_byte_size.h>
#include <irep2/irep2_utils.h>
#include <algorithm>
#include <regex>

Include dependency graph for expr2c.cpp:

Functions
std::string	expr2c (const exprt &expr, const namespacet &ns, unsigned flags)
std::string	type2c (const typet &type, const namespacet &ns, unsigned flags)
std::string	typedef2c (const typet &type, const namespacet &ns, unsigned flags)

Function Documentation

expr2c()

std::string expr2c	(	const exprt &	expr,
		const namespacet &	ns,
		unsigned	flags )

type2c()

std::string type2c	(	const typet &	type,
		const namespacet &	ns,
		unsigned	flags )

typedef2c()

std::string typedef2c	(	const typet &	type,
		const namespacet &	ns,
		unsigned	flags )