/*********************                                                        */
/*! \file printer.cpp
 ** \verbatim
 ** Original author: mdeters
 ** Major contributors: none
 ** Minor contributors (to current version): none
 ** This file is part of the CVC4 prototype.
 ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
 ** Courant Institute of Mathematical Sciences
 ** New York University
 ** See the file COPYING in the top-level source directory for licensing
 ** information.\endverbatim
 **
 ** \brief Base of the pretty-printer interface
 **
 ** Base of the pretty-printer interface.
 **/

#include "printer/printer.h"

#include "util/language.h"

#include "printer/smt/smt_printer.h"
#include "printer/smt2/smt2_printer.h"
#include "printer/cvc/cvc_printer.h"
#include "printer/ast/ast_printer.h"

namespace CVC4 {

Printer* Printer::d_printers[language::output::LANG_MAX];

Printer* Printer::makePrinter(OutputLanguage lang) {
  using namespace CVC4::language::output;

  switch(lang) {
  case LANG_SMTLIB:
    return new printer::smt::SmtPrinter;

  case LANG_SMTLIB_V2:
    return new printer::smt2::Smt2Printer;

  case LANG_CVC4:
    return new printer::cvc::CvcPrinter;

  case LANG_AST:
    return new printer::ast::AstPrinter;

  default:
    Unhandled(lang);
  }
}/* Printer::makePrinter() */

}/* CVC4 namespace */