diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-04-02 20:04:34 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-04-02 20:04:34 +0000 |
commit | b6544992abea751ec48ac0892925d7f04e5cbf10 (patch) | |
tree | 63bd7a7d8eb6eae9e89e3638ff9b1ec23b196744 /src/parser/antlr_input.h | |
parent | aa345c679983d0f9197d9a7b2d24d6ccd92f90f3 (diff) |
Overriding ANTLR3 error recovery routine
Diffstat (limited to 'src/parser/antlr_input.h')
-rw-r--r-- | src/parser/antlr_input.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/parser/antlr_input.h b/src/parser/antlr_input.h index dee7c1491..c338c528a 100644 --- a/src/parser/antlr_input.h +++ b/src/parser/antlr_input.h @@ -67,6 +67,13 @@ class AntlrInput : public Input { /** Turns an ANTLR3 exception into a message for the user and calls <code>parseError</code>. */ static void reportError(pANTLR3_BASE_RECOGNIZER recognizer); + /** Collects information from a parse error and calls reportError. Replaces the default + * implementation, which tries to recover from the error. + */ + static void * + recoverFromMismatchedToken(pANTLR3_BASE_RECOGNIZER recognizer, + ANTLR3_UINT32 ttype, pANTLR3_BITSET_LIST follow); + public: /** Create a file input. |