diff options
| author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-10-20 20:41:03 +0000 |
|---|---|---|
| committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-10-20 20:41:03 +0000 |
| commit | 93e8bc35db891c6041f9690366be933433a0ad52 (patch) | |
| tree | e946c0824d6d91c44ecc97a627411e5d6c334ea9 /src/parser/input.h | |
| parent | daad722774087de1cf35714868d3762b3ea7cb21 (diff) | |
Adding support for interactive mode
Diffstat (limited to 'src/parser/input.h')
| -rw-r--r-- | src/parser/input.h | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/parser/input.h b/src/parser/input.h index 1a90a4191..7cfafe429 100644 --- a/src/parser/input.h +++ b/src/parser/input.h @@ -47,7 +47,7 @@ public: virtual ~InputStreamException() throw() { } }; -/** Wrapper around an ANTLR3 input stream. */ +/** Wrapper around an input stream. */ class InputStream { /** The name of this input stream. */ @@ -93,7 +93,7 @@ class CVC4_PUBLIC Input { /** The input stream. */ InputStream *d_inputStream; - /* Since we own d_tokenStream and it needs to be freed, we need to prevent + /* Since we own d_inputStream and it needs to be freed, we need to prevent * copy construction and assignment. */ Input(const Input& input) { Unimplemented("Copy constructor for Input."); } @@ -134,9 +134,12 @@ class CVC4_PUBLIC Input { public: - /** Destructor. Frees the token stream and closes the input. */ + /** Destructor. Frees the input stream and closes the input. */ virtual ~Input(); + /** Retrieve the remaining text in this input. */ + virtual std::string getUnparsedText() = 0; + protected: /** Create an input. |