1.1 --- a/simplified.py Wed Feb 14 23:35:19 2007 +0100
1.2 +++ b/simplified.py Thu Feb 15 20:16:42 2007 +0100
1.3 @@ -64,20 +64,19 @@
1.4 index_separator = "-"
1.5
1.6 def __init__(self):
1.7 - self.obj_to_name = {}
1.8 self.names = {}
1.9
1.10 def get(self, obj):
1.11 - return self.obj_to_name[obj]
1.12 + return obj._unique_name
1.13
1.14 def set(self, obj, name):
1.15 - if self.obj_to_name.has_key(obj):
1.16 + if hasattr(obj, "_unique_name"):
1.17 return
1.18 if not self.names.has_key(name):
1.19 self.names[name] = 0
1.20 n = self.names[name] + 1
1.21 self.names[name] = n
1.22 - self.obj_to_name[obj] = "%s%s%d" % (name, self.index_separator, n)
1.23 + obj._unique_name = "%s%s%d" % (name, self.index_separator, n)
1.24
1.25 naming = Naming()
1.26