diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-10-23 14:49:06 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-10-23 14:49:06 +0000 |
commit | 0a3ecb598dac9e5e7416f88403dbf73d558c8739 (patch) | |
tree | 445375d28a4c0bd522115a1fdc40dc1190d6b7c6 /src/parser/input.h | |
parent | b2ff9864ed706911022d7468cde7ba55d07ab1fd (diff) |
Adding Parser::setInput and using it in InteractiveShell (Fixes: #225)
Removing ParserBuilder::withStateFrom
Diffstat (limited to 'src/parser/input.h')
-rw-r--r-- | src/parser/input.h | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/parser/input.h b/src/parser/input.h index 7cfafe429..8a35480cd 100644 --- a/src/parser/input.h +++ b/src/parser/input.h @@ -99,6 +99,8 @@ class CVC4_PUBLIC Input { Input(const Input& input) { Unimplemented("Copy constructor for Input."); } Input& operator=(const Input& input) { Unimplemented("operator= for Input."); } +public: + /** Create an input for the given file. * * @param lang the input language @@ -132,7 +134,6 @@ class CVC4_PUBLIC Input { const std::string& name) throw (InputStreamException, AssertionException); -public: /** Destructor. Frees the input stream and closes the input. */ virtual ~Input(); @@ -151,8 +152,8 @@ protected: /** Retrieve the input stream for this parser. */ InputStream *getInputStream(); - /** Parse a command from - * the input by invoking the implementation-specific parsing method. Returns + /** Parse a command from the input by invoking the + * implementation-specific parsing method. Returns * <code>NULL</code> if there is no command there to parse. * * @throws ParserException if an error is encountered during parsing. @@ -166,10 +167,9 @@ protected: virtual void parseError(const std::string& msg) throw (ParserException, AssertionException) = 0; - /** Parse an - * expression from the input by invoking the implementation-specific - * parsing method. Returns a null <code>Expr</code> if there is no - * expression there to parse. + /** Parse an expression from the input by invoking the + * implementation-specific parsing method. Returns a null + * <code>Expr</code> if there is no expression there to parse. * * @throws ParserException if an error is encountered during parsing. */ |