language.cpp

Go to the documentation of this file.

/*******************************************************************\
 
Module: Abstract interface to support a programming language
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
 
#include "language.h"
 
#include <util/expr.h>
 
bool languaget::final(symbol_table_baset &)
{
  return false;
}
bool languaget::final(symbol_table_baset &) {…}
 
bool languaget::interfaces(symbol_table_baset &, message_handlert &)
{
  return false;
}
bool languaget::interfaces(symbol_table_baset &, message_handlert &) {…}
 
void languaget::dependencies(
  const std::string &,
  std::set<std::string> &)
{
}
void languaget::dependencies( {…}
 
bool languaget::from_expr(
  const exprt &expr,
  std::string &code,
  const namespacet &)
{
  code=expr.pretty();
  return false;
}
bool languaget::from_expr( {…}
 
bool languaget::from_type(
  const typet &type,
  std::string &code,
  const namespacet &)
{
  code=type.pretty();
  return false;
}
bool languaget::from_type( {…}
 
bool languaget::type_to_name(
  const typet &type,
  std::string &name,
  const namespacet &)
{
  // probably ansi-c/type2name could be used as better fallback if moved to
  // util/
  name=type.pretty();
  return false;
}
bool languaget::type_to_name( {…}