10 #ifndef CPROVER_LANGAPI_MODE_H 11 #define CPROVER_LANGAPI_MODE_H 23 std::unique_ptr<languaget>
26 const std::string &filename);
29 typedef std::unique_ptr<languaget> (*language_factoryt)();
32 #endif // CPROVER_LANGAPI_MODE_H std::unique_ptr< languaget > get_default_language()
Returns the default language.
std::unique_ptr< languaget >(* language_factoryt)()
void register_language(language_factoryt factory)
Register a language Note: registering a language is required for using the functions in language_util...
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
const irep_idt & get_mode_from_identifier(const namespacet &ns, const irep_idt &identifier)
Get the mode of the given identifier's symbol.
dstringt has one field, an unsigned integer no which is an index into a static table of strings...
std::unique_ptr< languaget > get_language_from_filename(const std::string &filename)
Get the language corresponding to the registered file name extensions.
std::unique_ptr< languaget > get_language_from_mode(const irep_idt &mode)
Get the language corresponding to the given mode.
std::unique_ptr< languaget > get_language_from_identifier(const namespacet &ns, const irep_idt &identifier)
Get the language corresponding to the mode of the given identifier's symbol.