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)
182 def handleClash1(userName, existing=[], prefix="", suffix=""):  argument
188 	>>> suffix = "." + ("0" * 10)
193 	...		prefix=prefix, suffix=suffix) == (
198 	>>> e.append(prefix + "aaaaa" + "1".zfill(15) + suffix)
200 	...		prefix=prefix, suffix=suffix) == (
205 	>>> e.append(prefix + "AAAAA" + "2".zfill(15) + suffix)
207 	...		prefix=prefix, suffix=suffix) == (
211 	# if the prefix length + user name length + suffix length + 15 is at
214 	suffixLength = len(suffix)
224 		fullName = prefix + name + suffix
234 		finalName = handleClash2(existing, prefix, suffix)
238 def handleClash2(existing=[], prefix="", suffix=""):  argument
244 	>>> suffix = "." + ("0" * 10)
245 	>>> existing = [prefix + str(i) + suffix for i in range(100)]
248 	>>> handleClash2(existing=e, prefix=prefix, suffix=suffix) == (
253 	>>> e.remove(prefix + "1" + suffix)
254 	>>> handleClash2(existing=e, prefix=prefix, suffix=suffix) == (
259 	>>> e.remove(prefix + "2" + suffix)
260 	>>> handleClash2(existing=e, prefix=prefix, suffix=suffix) == (
265 	maxLength = maxFileNameLength - len(prefix) - len(suffix)
271 		fullName = prefix + str(counter) + suffix