#include "language_util.h"
#include <util/invariant.h>
#include <util/message.h>
#include <util/namespace.h>
#include <util/std_expr.h>
#include <util/symbol_table.h>
#include "language.h"
#include "mode.h"
#include <memory>

Include dependency graph for language_util.cpp:

Functions
std::string	from_expr_using_mode (const namespacet &ns, const irep_idt &mode, const exprt &expr)
	Formats an expression using the given namespace, using the given mode to retrieve the language printer. More...

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

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

std::string	type_to_name (const namespacet &ns, const irep_idt &identifier, const typet &type)

std::string	from_expr (const exprt &expr)

std::string	from_type (const typet &type)

exprt	to_expr (const namespacet &ns, const irep_idt &identifier, const std::string &src)

std::string	type_to_name (const typet &type)

Function Documentation

◆ from_expr() [1/2]

std::string from_expr ( const exprt & expr )

Definition at line 78 of file language_util.cpp.

◆ from_expr() [2/2]

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

Definition at line 39 of file language_util.cpp.

◆ from_expr_using_mode()

std::string from_expr_using_mode	(	const namespacet &	ns,
		const irep_idt &	mode,
		const exprt &	expr
	)

Formats an expression using the given namespace, using the given mode to retrieve the language printer.

Definition at line 22 of file language_util.cpp.

◆ from_type() [1/2]

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

Definition at line 52 of file language_util.cpp.

◆ from_type() [2/2]

std::string from_type ( const typet & type )

Definition at line 84 of file language_util.cpp.

◆ to_expr()

exprt to_expr	(	const namespacet &	ns,
		const irep_idt &	identifier,
		const std::string &	src
	)

Definition at line 90 of file language_util.cpp.

◆ type_to_name() [1/2]

std::string type_to_name	(	const namespacet &	ns,
		const irep_idt &	identifier,
		const typet &	type
	)

Definition at line 65 of file language_util.cpp.

◆ type_to_name() [2/2]

std::string type_to_name ( const typet & type )

Definition at line 109 of file language_util.cpp.

Functions