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