From 5e5956d492ab18b5b4d4bb51117ac760867a525d Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 15 Nov 2010 22:57:14 +0000
Subject: Pretty-printer infrastructure created (in src/printer) and SMT-LIBv2
 printer implemented.  This new infrastructure removes support for
 pretty-printing (even in the AST language) an Expr with reference count 0. 
 Previously, this was supported in a few places internally to the expr
 package, for example in NodeBuilder.  (Now, a NodeBuilder cannot be
 prettyprinted, you must extract the Node before printing it.)

---
 src/printer/printer.cpp | 50 +++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 50 insertions(+)
 create mode 100644 src/printer/printer.cpp

(limited to 'src/printer/printer.cpp')

diff --git a/src/printer/printer.cpp b/src/printer/printer.cpp
new file mode 100644
index 000000000..a2a9b3378
--- /dev/null
+++ b/src/printer/printer.cpp
@@ -0,0 +1,50 @@
+/*********************                                                        */
+/*! \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 */
+
-- 
cgit v1.2.3