(self, s, position, reentrances, parser)
| 2074 | RANGE_RE = re.compile(r"(-?\d+):(-?\d+)") |
| 2075 | |
| 2076 | def read_value(self, s, position, reentrances, parser): |
| 2077 | m = self.RANGE_RE.match(s, position) |
| 2078 | if not m: |
| 2079 | raise ValueError("range", position) |
| 2080 | return (int(m.group(1)), int(m.group(2))), m.end() |
| 2081 | |
| 2082 | def unify_base_values(self, fval1, fval2, bindings): |
| 2083 | if fval1 is None: |