language_util.h File Reference

#include <irep2/irep2.h>
#include <util/lang/language.h>
#include <util/irep/migrate.h>
#include <util/symtab/namespace.h>
#include <util/symtab/symbol.h>

Include dependency graph for language_util.h:

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

Go to the source code of this file.

Functions
std::unique_ptr< languaget >	language_from_symbol (const symbolt &symbol)
language_idt	configured_language ()
	The language to render expressions in when there is no symbol to take a mode from – VCC dumps, SSA dumps and witness generation.
std::string	from_expr (const namespacet &ns, const irep_idt &identifier, const exprt &exprt, presentationt target=presentationt::HUMAN)
std::string	from_expr (const namespacet &ns, const irep_idt &identifier, const expr2tc &expr, presentationt target=presentationt::HUMAN)
std::string	from_expr (const exprt &expr)
std::string	from_expr (const expr2tc &expr)
std::string	from_type (const namespacet &ns, const irep_idt &identifier, const typet &type, presentationt target=presentationt::HUMAN)
std::string	from_type (const namespacet &ns, const irep_idt &identifier, const type2tc &type, presentationt target=presentationt::HUMAN)
std::string	from_type (const typet &type)
std::string	from_type (const type2tc &type)

Function Documentation

configured_language()

language_idt configured_language

(

)

The language to render expressions in when there is no symbol to take a mode from – VCC dumps, SSA dumps and witness generation.

Uses whatever the frontend parsed, falling back to C, rather than always C: dumping C++ through expr2c prints references as pointers (esbmc/esbmc#782).

from_expr() [1/4]

std::string from_expr ( const expr2tc & expr )

inline

from_expr() [2/4]

std::string from_expr

(

const exprt &

expr

)

from_expr() [3/4]

std::string from_expr ( const namespacet & ns, const irep_idt & identifier, const expr2tc & expr, presentationt target = presentationt::HUMAN )

inline

from_expr() [4/4]

std::string from_expr	(	const namespacet &	ns,
		const irep_idt &	identifier,
		const exprt &	exprt,
		presentationt	target = presentationt::HUMAN )

from_type() [1/4]

std::string from_type ( const namespacet & ns, const irep_idt & identifier, const type2tc & type, presentationt target = presentationt::HUMAN )

inline

from_type() [2/4]

std::string from_type	(	const namespacet &	ns,
		const irep_idt &	identifier,
		const typet &	type,
		presentationt	target = presentationt::HUMAN )

from_type() [3/4]

std::string from_type ( const type2tc & type )

inline

from_type() [4/4]

std::string from_type

(

const typet &

type

)

language_from_symbol()

std::unique_ptr< languaget > language_from_symbol

(

const symbolt &

symbol

)