(self, identifier)
| 630 | return result |
| 631 | |
| 632 | def GetRange(self, identifier): |
| 633 | for (var, lower, upper) in self.ranges: |
| 634 | if identifier == var: |
| 635 | return (lower, upper) |
| 636 | |
| 637 | print 'ERROR: range %s is undefined.' % (identifier,) |
| 638 | sys.exit(1) |
| 639 | |
| 640 | |
| 641 | class Output: |