|
|
32c82cb |
--- antlr_python_runtime-3.1.2/antlr3/recognizers.py.orig 2010-05-01 13:30:01.000000000 +0200
|
|
|
32c82cb |
+++ antlr_python_runtime-3.1.2/antlr3/recognizers.py 2010-05-01 13:36:00.000000000 +0200
|
|
|
32c82cb |
@@ -164,24 +164,20 @@
|
|
|
32c82cb |
self._state = state
|
|
|
32c82cb |
|
|
|
32c82cb |
if self.antlr_version > runtime_version:
|
|
|
32c82cb |
- raise RuntimeError(
|
|
|
32c82cb |
- "ANTLR version mismatch: "
|
|
|
32c82cb |
- "The recognizer has been generated by V%s, but this runtime "
|
|
|
32c82cb |
- "is V%s. Please use the V%s runtime or higher."
|
|
|
32c82cb |
- % (self.antlr_version_str,
|
|
|
32c82cb |
- runtime_version_str,
|
|
|
32c82cb |
- self.antlr_version_str))
|
|
|
32c82cb |
+ print >> sys.stderr, """
|
|
|
32c82cb |
+ WARNING: ANTLR version mismatch:
|
|
|
32c82cb |
+ The recognizer has been generated by V%s, but this runtime
|
|
|
32c82cb |
+ is V%s, this may not work correctly. Please use the V%s runtime or higher.""" % (
|
|
|
32c82cb |
+ self.antlr_version_str, runtime_version_str, self.antlr_version_str)
|
|
|
32c82cb |
elif (self.antlr_version < (3, 1, 0, 0) and
|
|
|
32c82cb |
self.antlr_version != runtime_version):
|
|
|
32c82cb |
# FIXME: make the runtime compatible with 3.0.1 codegen
|
|
|
32c82cb |
# and remove this block.
|
|
|
32c82cb |
- raise RuntimeError(
|
|
|
32c82cb |
- "ANTLR version mismatch: "
|
|
|
32c82cb |
- "The recognizer has been generated by V%s, but this runtime "
|
|
|
32c82cb |
- "is V%s. Please use the V%s runtime."
|
|
|
32c82cb |
- % (self.antlr_version_str,
|
|
|
32c82cb |
- runtime_version_str,
|
|
|
32c82cb |
- self.antlr_version_str))
|
|
|
32c82cb |
+ print >> sys.stderr, """
|
|
|
32c82cb |
+ WARNING ANTLR version mismatch:
|
|
|
32c82cb |
+ The recognizer has been generated by V%s, but this runtime
|
|
|
32c82cb |
+ is V%s, this may not work correctly. Please use the V%s runtime.""" % (
|
|
|
32c82cb |
+ self.antlr_version_str, runtime_version_str, self.antlr_version_str)
|
|
|
32c82cb |
|
|
|
32c82cb |
# this one only exists to shut up pylint :(
|
|
|
32c82cb |
def setInput(self, input):
|