(self, s="")
| 1157 | |
| 1158 | class List: |
| 1159 | def __init__(self, s=""): |
| 1160 | elements = [] |
| 1161 | if s.__class__ is str: |
| 1162 | # Have to handle escaped spaces correctly. |
| 1163 | elements = s.replace("\ ", "\001").split() |
| 1164 | else: |
| 1165 | elements = s |
| 1166 | self.l = [e.replace("\001", " ") for e in elements] |
| 1167 | |
| 1168 | def __len__(self): |
| 1169 | return len(self.l) |