languages.h

Go to the documentation of this file.

#ifndef CPROVER_LANGUAGES_H
#define CPROVER_LANGUAGES_H
 
#include <langapi/mode.h>
#include <util/lang/language.h>
 
class languagest final
{
  const namespacet &ns;
  std::unique_ptr<languaget> language;
 
public:
  languagest(const namespacet &_ns, language_idt lang)
    : ns(_ns), language(new_language(lang))
  {
  }
 
  // conversion of expressions
 
  bool from_expr(
    const exprt &expr,
    std::string &code,
    presentationt target = presentationt::HUMAN)
  {
    return language->from_expr(expr, code, ns, target);
  }
 
  bool from_type(
    const typet &type,
    std::string &code,
    presentationt target = presentationt::HUMAN)
  {
    return language->from_type(type, code, ns, target);
  }
};
 
#endif