diff options
Diffstat (limited to 'src/parser/parser.h')
-rw-r--r-- | src/parser/parser.h | 103 |
1 files changed, 0 insertions, 103 deletions
diff --git a/src/parser/parser.h b/src/parser/parser.h index dbdca4af8..7755d65f0 100644 --- a/src/parser/parser.h +++ b/src/parser/parser.h @@ -80,109 +80,6 @@ protected: }; // end of class Parser -class CVC4_PUBLIC SmtParser : public Parser { - -public: - - /** - * Construct the parser that uses the given expression manager and parses - * from the given input stream. - * @param em the expression manager to use - * @param input the input stream to parse - */ - SmtParser(ExprManager* em, std::istream& input); - - /** - * Construct the parser that uses the given expression manager and parses - * from the file. - * @param em the expression manager to use - * @param file_name the file to parse - */ - SmtParser(ExprManager* em, const char* file_name); - - /** - * Destructor. - */ - ~SmtParser(); - - /** - * Parses the next command. By default, the SMTLIB parser produces one - * CommandSequence command. If parsing is successful, we should be done - * after the first call to this command. - * @return the CommandSequence command that includes the whole benchmark - */ - Command* parseNextCommand() throw (ParserException); - - /** - * Parses the next complete expression of the stream. - * @return the expression parsed - */ - Expr parseNextExpression() throw (ParserException); - -protected: - - /** The ANTLR smt lexer */ - AntlrSmtLexer* d_antlr_lexer; - - /** The ANTLR smt parser */ - AntlrSmtParser* d_antlr_parser; - - /** The file stream we might be using */ - std::ifstream d_input; -}; - -class CVC4_PUBLIC CvcParser : public Parser { - -public: - - /** - * Construct the parser that uses the given expression manager and parses - * from the given input stream. - * @param em the expression manager to use - * @param input the input stream to parse - */ - CvcParser(ExprManager* em, std::istream& input); - - /** - * Construct the parser that uses the given expression manager and parses - * from the file. - * @param em the expression manager to use - * @param file_name the file to parse - */ - CvcParser(ExprManager* em, const char* file_name); - - /** - * Destructor. - */ - ~CvcParser(); - - /** - * Parses the next command. By default, the SMTLIB parser produces one - * CommandSequence command. If parsing is successful, we should be done - * after the first call to this command. - * @return the CommandSequence command that includes the whole benchmark - */ - Command* parseNextCommand() throw (ParserException); - - /** - * Parses the next complete expression of the stream. - * @return the expression parsed - */ - Expr parseNextExpression() throw (ParserException); - -protected: - - /** The ANTLR smt lexer */ - AntlrCvcLexer* d_antlr_lexer; - - /** The ANTLR smt parser */ - AntlrCvcParser* d_antlr_parser; - - /** The file stream we might be using */ - std::ifstream d_input; -}; - - }/* CVC4::parser namespace */ }/* CVC4 namespace */ |