27 ns.
lookup(identifier, symbol) ||
45 std::unique_ptr<languaget> p(
get_language(ns, identifier));
58 std::unique_ptr<languaget> p(
get_language(ns, identifier));
71 std::unique_ptr<languaget> p(
get_language(ns, identifier));
94 const std::string &src)
96 std::unique_ptr<languaget> p(
get_language(ns, identifier));
The type of an expression.
irep_idt name
The unique identifier.
virtual bool lookup(const irep_idt &name, const symbolt *&symbol) const
exprt to_expr(const namespacet &ns, const irep_idt &identifier, const std::string &src)
const std::string & id2string(const irep_idt &d)
irep_idt mode
Language mode.
std::string from_expr(const namespacet &ns, const irep_idt &identifier, const exprt &expr)
virtual bool type_to_name(const typet &type, std::string &name, const namespacet &ns)
irep_idt module
Name of module the symbol belongs to.
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
std::string type_to_name(const namespacet &ns, const irep_idt &identifier, const typet &type)
virtual bool to_expr(const std::string &code, const std::string &module, exprt &expr, const namespacet &ns)=0
API to expression classes.
Abstract interface to support a programming language.
virtual void set_message_handler(message_handlert &_message_handler)
static languaget * get_language(const namespacet &ns, const irep_idt &identifier)
languaget * get_default_language()
std::string from_type(const namespacet &ns, const irep_idt &identifier, const typet &type)
virtual bool from_type(const typet &type, std::string &code, const namespacet &ns)
languaget * get_language_from_mode(const irep_idt &mode)
Base class for all expressions.
virtual bool from_expr(const exprt &expr, std::string &code, const namespacet &ns)