diff options
Diffstat (limited to 'src/parser/parser.h')
-rw-r--r-- | src/parser/parser.h | 31 |
1 files changed, 14 insertions, 17 deletions
diff --git a/src/parser/parser.h b/src/parser/parser.h index f2044c7ef..7f64b9580 100644 --- a/src/parser/parser.h +++ b/src/parser/parser.h @@ -400,9 +400,10 @@ public: * @param notes notes to add to a parse error (if one is generated) * @throws ParserException if checks are enabled and the check fails */ - void checkDeclaration(const std::string& name, DeclarationCheck check, + void checkDeclaration(const std::string& name, + DeclarationCheck check, SymbolType type = SYM_VARIABLE, - std::string notes = "") throw(ParserException); + std::string notes = ""); /** * Reserve a symbol at the assertion level. @@ -418,7 +419,7 @@ public: * @throws ParserException if checks are enabled and fun is not * a function */ - void checkFunctionLike(Expr fun) throw(ParserException); + void checkFunctionLike(Expr fun); /** * Check that <code>kind</code> can accept <code>numArgs</code> arguments. @@ -428,7 +429,7 @@ public: * <code>kind</code> cannot be applied to <code>numArgs</code> * arguments. */ - void checkArity(Kind kind, unsigned numArgs) throw(ParserException); + void checkArity(Kind kind, unsigned numArgs); /** * Check that <code>kind</code> is a legal operator in the current @@ -439,7 +440,7 @@ public: * @throws ParserException if the parser mode is strict and the * operator <code>kind</code> has not been enabled */ - void checkOperator(Kind kind, unsigned numArgs) throw(ParserException); + void checkOperator(Kind kind, unsigned numArgs); /** Create a new CVC4 variable expression of the given type. * @@ -671,26 +672,21 @@ public: bool isPredicate(const std::string& name); /** Parse and return the next command. */ - Command* nextCommand() throw(ParserException, UnsafeInterruptException); + Command* nextCommand(); /** Parse and return the next expression. */ - Expr nextExpression() throw(ParserException, UnsafeInterruptException); + Expr nextExpression(); /** Issue a warning to the user. */ - inline void warning(const std::string& msg) { - d_input->warning(msg); - } - + void warning(const std::string& msg) { d_input->warning(msg); } /** Issue a warning to the user, but only once per attribute. */ void attributeNotSupported(const std::string& attr); /** Raise a parse error with the given message. */ - inline void parseError(const std::string& msg) throw(ParserException) { - d_input->parseError(msg); - } - + inline void parseError(const std::string& msg) { d_input->parseError(msg); } /** Unexpectedly encountered an EOF */ - inline void unexpectedEOF(const std::string& msg) throw(ParserException) { + inline void unexpectedEOF(const std::string& msg) + { d_input->parseError(msg, true); } @@ -708,7 +704,8 @@ public: * support parsing quantifiers (just not doing anything with them). * So this mechanism gives you a way to do it with --parse-only. */ - inline void unimplementedFeature(const std::string& msg) throw(ParserException) { + inline void unimplementedFeature(const std::string& msg) + { if(!d_parseOnly) { parseError("Unimplemented feature: " + msg); } |