32 def userNameToFileName(userName, existing=[], prefix="", suffix=""):  argument
42             suffix: Suffix to be appended to the file name.
100     # establish the prefix and suffix lengths
102     suffixLength = len(suffix)
129     fullName = prefix + userName + suffix
131         fullName = handleClash1(userName, existing, prefix, suffix)
136 def handleClash1(userName, existing=[], prefix="", suffix=""):  argument
142     >>> suffix = "." + ("0" * 10)
147     ...		prefix=prefix, suffix=suffix) == (
152     >>> e.append(prefix + "aaaaa" + "1".zfill(15) + suffix)
154     ...		prefix=prefix, suffix=suffix) == (
159     >>> e.append(prefix + "AAAAA" + "2".zfill(15) + suffix)
161     ...		prefix=prefix, suffix=suffix) == (
165     # if the prefix length + user name length + suffix length + 15 is at
168     suffixLength = len(suffix)
178         fullName = prefix + name + suffix
188         finalName = handleClash2(existing, prefix, suffix)
193 def handleClash2(existing=[], prefix="", suffix=""):  argument
199     >>> suffix = "." + ("0" * 10)
200     >>> existing = [prefix + str(i) + suffix for i in range(100)]
203     >>> handleClash2(existing=e, prefix=prefix, suffix=suffix) == (
208     >>> e.remove(prefix + "1" + suffix)
209     >>> handleClash2(existing=e, prefix=prefix, suffix=suffix) == (
214     >>> e.remove(prefix + "2" + suffix)
215     >>> handleClash2(existing=e, prefix=prefix, suffix=suffix) == (
220     maxLength = maxFileNameLength - len(prefix) - len(suffix)
226         fullName = prefix + str(counter) + suffix