diff options
Diffstat (limited to 'src/parser/smt2/smt2_input.h')
-rw-r--r-- | src/parser/smt2/smt2_input.h | 18 |
1 files changed, 8 insertions, 10 deletions
diff --git a/src/parser/smt2/smt2_input.h b/src/parser/smt2/smt2_input.h index 2937d4ed8..ad32edcbc 100644 --- a/src/parser/smt2/smt2_input.h +++ b/src/parser/smt2/smt2_input.h @@ -40,6 +40,12 @@ class Smt2Input : public AntlrInput { /** The ANTLR3 CVC parser for the input. */ pSmt2Parser d_pSmt2Parser; + /** + * Initialize the class. Called from the constructors once the input + * stream is initialized. + */ + void init(); + public: /** @@ -47,7 +53,7 @@ public: * * @param inputStream the input stream to use */ - Smt2Input(AntlrInputStream *inputStream); + Smt2Input(AntlrInputStream& inputStream); /** * Create a string input. @@ -59,7 +65,7 @@ public: // Smt2Input(ExprManager* exprManager, const std::string& input, const std::string& name); /** Destructor. Frees the lexer and the parser. */ - ~Smt2Input(); + virtual ~Smt2Input(); protected: @@ -79,14 +85,6 @@ protected: */ Expr parseExpr() throw(ParserException); -private: - - /** - * Initialize the class. Called from the constructors once the input - * stream is initialized. - */ - void init(); - };/* class Smt2Input */ }/* CVC4::parser namespace */ |