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/antlr_input.h | |
| parent | 437686e2050a622a3f7e68077aff46fd6af83cbd (diff) | |
Adding general support for SMT2 set-info command
Diffstat (limited to 'src/parser/antlr_input.h')
| -rw-r--r-- | src/parser/antlr_input.h | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/src/parser/antlr_input.h b/src/parser/antlr_input.h index d6d01b3cd..18317e4d8 100644 --- a/src/parser/antlr_input.h +++ b/src/parser/antlr_input.h @@ -62,7 +62,8 @@ public: * @param useMmap <code>true</code> if the input should use memory-mapped I/O; otherwise, the * input will use the standard ANTLR3 I/O implementation. */ - static AntlrInputStream* newFileInputStream(const std::string& name, bool useMmap = false); + static AntlrInputStream* newFileInputStream(const std::string& name, bool useMmap = false) + throw (InputStreamException); /** Create an input from an istream. */ // AntlrInputStream newInputStream(std::istream& input, const std::string& name); @@ -72,7 +73,8 @@ public: * @param input the string to read * @param name the "filename" to use when reporting errors */ - static AntlrInputStream* newStringInputStream(const std::string& input, const std::string& name); + static AntlrInputStream* newStringInputStream(const std::string& input, const std::string& name) + throw (InputStreamException); }; class Parser; @@ -134,7 +136,7 @@ public: * @param inputStream the input stream * * */ - static AntlrInput* newInput(InputLanguage lang, AntlrInputStream *inputStream); + static AntlrInput* newInput(InputLanguage lang, AntlrInputStream& inputStream); /** Retrieve the text associated with a token. */ static std::string tokenText(pANTLR3_COMMON_TOKEN token); @@ -153,7 +155,7 @@ protected: * @param lookahead the lookahead needed to parse the input (i.e., k for * an LL(k) grammar) */ - AntlrInput(AntlrInputStream *inputStream, unsigned int lookahead); + AntlrInput(AntlrInputStream& inputStream, unsigned int lookahead); /** Retrieve the token stream for this parser. Must not be called before * <code>setLexer()</code>. */ |