#include <langapi/language_util.h>
#include <langapi/languages.h>
#include <langapi/mode.h>
#include <util/message/message.h>
#include <util/config/config.h>

Include dependency graph for language_util.cpp:

Functions
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.
static language_idt	language_id_from_mode (irep_idt mode)
std::unique_ptr< languaget >	language_from_symbol (const symbolt &symbol)
static languagest	languages_from_symbol_id (const namespacet &ns, const irep_idt &id)
std::string	from_expr (const namespacet &ns, const irep_idt &identifier, const exprt &expr, presentationt target)
std::string	from_type (const namespacet &ns, const irep_idt &identifier, const typet &type, presentationt target)
std::string	from_expr (const exprt &expr)
std::string	from_type (const typet &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/2]

std::string from_expr ( const exprt & expr )

◆ from_expr() [2/2]

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

◆ from_type() [1/2]

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

◆ from_type() [2/2]

std::string from_type ( const typet & type )

◆ language_from_symbol()

std::unique_ptr< languaget > language_from_symbol ( const symbolt & symbol )

◆ language_id_from_mode()

language_idt language_id_from_mode ( irep_idt mode )

static

◆ languages_from_symbol_id()

languagest languages_from_symbol_id	(	const namespacet &	ns,
		const irep_idt &	id )