(self)
| 587 | self.ranges = [] |
| 588 | |
| 589 | def Clone(self): |
| 590 | clone = Env() |
| 591 | clone.variables = self.variables[:] |
| 592 | clone.ranges = self.ranges[:] |
| 593 | return clone |
| 594 | |
| 595 | def PushVariable(self, var, value): |
| 596 | # If value looks like an int, store it as an int. |
no test coverage detected