95 def userNameToFileName(userName: str, existing=(), prefix="", suffix=""):  argument
147     # establish the prefix and suffix lengths
149     suffixLength = len(suffix)
176     fullName = prefix + userName + suffix
178         fullName = handleClash1(userName, existing, prefix, suffix)
183 def handleClash1(userName, existing=[], prefix="", suffix=""):  argument
189     >>> suffix = "." + ("0" * 10)
194     ...		prefix=prefix, suffix=suffix) == (
199     >>> e.append(prefix + "aaaaa" + "1".zfill(15) + suffix)
201     ...		prefix=prefix, suffix=suffix) == (
206     >>> e.append(prefix + "AAAAA" + "2".zfill(15) + suffix)
208     ...		prefix=prefix, suffix=suffix) == (
212     # if the prefix length + user name length + suffix length + 15 is at
215     suffixLength = len(suffix)
225         fullName = prefix + name + suffix
235         finalName = handleClash2(existing, prefix, suffix)
240 def handleClash2(existing=[], prefix="", suffix=""):  argument
246     >>> suffix = "." + ("0" * 10)
247     >>> existing = [prefix + str(i) + suffix for i in range(100)]
250     >>> handleClash2(existing=e, prefix=prefix, suffix=suffix) == (
255     >>> e.remove(prefix + "1" + suffix)
256     >>> handleClash2(existing=e, prefix=prefix, suffix=suffix) == (
261     >>> e.remove(prefix + "2" + suffix)
262     >>> handleClash2(existing=e, prefix=prefix, suffix=suffix) == (
267     maxLength = maxFileNameLength - len(prefix) - len(suffix)
273         fullName = prefix + str(counter) + suffix