| 131 | |
| 132 | |
| 133 | class Scope(object): |
| 134 | def __init__(self): |
| 135 | self._list = [] |
| 136 | |
| 137 | def __str__(self): return '.'.join(self._list) |
| 138 | |
| 139 | def push(self, token): |
| 140 | self._list.append(token) |
| 141 | |
| 142 | def pop(self): |
| 143 | return self._list.pop() |
| 144 | |
| 145 | |
| 146 | scope = Scope() |