src/parser/parser.cpp

   1 /*********************                                           -*- C++ -*-  */
   2 /** parser.cpp
   3  ** This file is part of the CVC4 prototype.
   4  ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
   5  ** Courant Institute of Mathematical Sciences
   6  ** New York University
   7  ** See the file COPYING in the top-level source directory for licensing
   8  ** information.
   9  **
  10  ** Parser implementation.
  11  **/
  12
  13 #include <iostream>
  14 #include <fstream>
  15
  16 #include "parser.h"
  17 #include "util/command.h"
  18 #include "util/Assert.h"
  19 #include "parser_exception.h"
  20 #include "parser/antlr_parser.h"
  21 #include "parser/smt/generated/AntlrSmtParser.hpp"
  22 #include "parser/smt/generated/AntlrSmtLexer.hpp"
  23 #include "parser/cvc/generated/AntlrCvcParser.hpp"
  24 #include "parser/cvc/generated/AntlrCvcLexer.hpp"
  25
  26 using namespace std;
  27
  28 namespace CVC4 {
  29 namespace parser {
  30
  31 Parser::Parser(ExprManager* em) :
  32   d_expr_manager(em), d_done(false) {
  33 }
  34
  35 void Parser::setDone(bool done) {
  36   d_done = done;
  37 }
  38
  39 bool Parser::done() const {
  40   return d_done;
  41 }
  42
  43 }/* CVC4::parser namespace */
  44 }/* CVC4 namespace */