(self)
| 1380 | dispatch[NEWTRUE[0]] = load_true |
| 1381 | |
| 1382 | def load_int(self): |
| 1383 | data = self.readline() |
| 1384 | if data == FALSE[1:]: |
| 1385 | val = False |
| 1386 | elif data == TRUE[1:]: |
| 1387 | val = True |
| 1388 | else: |
| 1389 | val = int(data) |
| 1390 | self.append(val) |
| 1391 | dispatch[INT[0]] = load_int |
| 1392 | |
| 1393 | def load_binint(self): |