/*******************************************************************\

Module:

Author: Daniel Kroening, kroening@cs.cmu.edu

\*******************************************************************/

#ifndef CPROVER_LANGUAGES_H
#define CPROVER_LANGUAGES_H

#include <language.h>

class languagest
{
public:
  // conversion of expressions
  
  bool from_expr(const exprt &expr, std::string &code)
  {
    return language->from_expr(expr, code, ns);
  }
   
  bool from_type(const typet &type, std::string &code)
  {
    return language->from_type(type, code, ns);
  }

  bool to_expr(
    const std::string &code,
    const std::string &module,
    exprt &expr,
    message_handlert &message_handler)
  {
    return language->to_expr(code, module, expr, message_handler, ns);
  }
  
  // constructor / destructor
  
  languagest(const namespacet &_ns, unsigned mode);
  virtual ~languagest();
  
 protected:
  const namespacet &ns;
  languaget *language;
};

#endif
