diff options
Diffstat (limited to 'src/parser/cvc/cvc_parser.cpp')
-rw-r--r-- | src/parser/cvc/cvc_parser.cpp | 82 |
1 files changed, 0 insertions, 82 deletions
diff --git a/src/parser/cvc/cvc_parser.cpp b/src/parser/cvc/cvc_parser.cpp deleted file mode 100644 index 57d5e6c96..000000000 --- a/src/parser/cvc/cvc_parser.cpp +++ /dev/null @@ -1,82 +0,0 @@ -/********************* -*- C++ -*- */ -/** cvc_parser.cpp - ** Original author: mdeters - ** Major contributors: none - ** Minor contributors (to current version): dejan - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009 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. - ** - ** CVC presentation language parser implementation. - **/ - -#include <iostream> -#include <fstream> - -#include "parser/parser.h" -#include "util/command.h" -#include "util/Assert.h" -#include "parser/parser_exception.h" -#include "parser/antlr_parser.h" -#include "parser/cvc/cvc_parser.h" -#include "parser/cvc/generated/AntlrCvcParser.hpp" -#include "parser/cvc/generated/AntlrCvcLexer.hpp" - -using namespace std; - -namespace CVC4 { -namespace parser { - -Command* CvcParser::parseNextCommand() throw(ParserException) { - Command* cmd = 0; - if(!done()) { - try { - cmd = d_antlr_parser->command(); - if(cmd == 0) { - setDone(); - cmd = new EmptyCommand("EOF"); - } - } catch(antlr::ANTLRException& e) { - setDone(); - throw ParserException(e.toString()); - } - } - return cmd; -} - -Expr CvcParser::parseNextExpression() throw(ParserException) { - Expr result; - if(!done()) { - try { - result = d_antlr_parser->formula(); - } catch(antlr::ANTLRException& e) { - setDone(); - throw ParserException(e.toString()); - } - } - return result; -} - -CvcParser::~CvcParser() { - delete d_antlr_parser; - delete d_antlr_lexer; -} - -CvcParser::CvcParser(ExprManager*em, istream& input, const char* file_name) : - Parser(em), d_input(input) { - if(!d_input) { - throw ParserException(string("Read error") + - ((file_name != NULL) ? (string(" on ") + file_name) : "")); - } - d_antlr_lexer = new AntlrCvcLexer(d_input); - d_antlr_lexer->setFilename(file_name); - d_antlr_parser = new AntlrCvcParser(*d_antlr_lexer); - d_antlr_parser->setExpressionManager(d_expr_manager); - d_antlr_parser->setFilename(file_name); -} - -}/* CVC4::parser namespace */ -}/* CVC4 namespace */ |