diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-05-04 19:31:24 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-05-04 19:31:24 +0000 |
commit | 67a3ba16218ca0a936a6f2430dce721a076885f3 (patch) | |
tree | dff41999a0fb7a043c3421272e451cb2718010a4 /src/parser/input.h | |
parent | 437686e2050a622a3f7e68077aff46fd6af83cbd (diff) |
Adding general support for SMT2 set-info command
Diffstat (limited to 'src/parser/input.h')
-rw-r--r-- | src/parser/input.h | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/src/parser/input.h b/src/parser/input.h index 80849c034..b277f6428 100644 --- a/src/parser/input.h +++ b/src/parser/input.h @@ -36,6 +36,13 @@ class FunctionType; namespace parser { +class CVC4_PUBLIC InputStreamException : public Exception { + +public: + InputStreamException(const std::string& msg); + virtual ~InputStreamException() throw() { } +}; + /** Wrapper around an ANTLR3 input stream. */ class InputStream { @@ -89,7 +96,8 @@ public: * @param filename the input filename * @param useMmap true if the parser should use memory-mapped I/O (default: false) */ - static Input* newFileInput(InputLanguage lang, const std::string& filename, bool useMmap=false); + static Input* newFileInput(InputLanguage lang, const std::string& filename, bool useMmap=false) + throw (InputStreamException); /** Create an input for the given stream. * @@ -105,7 +113,8 @@ public: * @param input the input string * @param name the name of the stream, for use in error messages */ - static Input* newStringInput(InputLanguage lang, const std::string& input, const std::string& name); + static Input* newStringInput(InputLanguage lang, const std::string& input, const std::string& name) + throw (InputStreamException); protected: @@ -113,7 +122,7 @@ protected: * * @param inputStream the input stream */ - Input(InputStream* inputStream); + Input(InputStream& inputStream); /** Retrieve the input stream for this parser. */ InputStream *getInputStream(); |