2017-03-30 | Paul Boddie | raw annotate files changeset graph | Introduced location abstractions in order to be able to retain both access and accessor locations as keys in the alias mapping. This fixes conflicts where name accesses were being confused with name definitions. Replacement of name accesses with accessors is no longer performed in the alias mapping initialisation. Various convenience mappings from accessors and accesses to initialised name details are also established in the deducer. |
1 def f(): 2 s = "test" 3 m = s.__len__ 4 n = "test".__len__ 5 print m # __builtins__.str.basestring.__len__ 6 print m() # 4 7 print n # __builtins__.str.basestring.__len__ 8 print n() 9 10 def g(): 11 l = [1, 2] 12 m = l.__len__ 13 n = [1, 2].__len__ 14 print l # [1, 2] 15 print m # __builtins__.list.list.__len__ 16 print m() # 2 17 print n # __builtins__.list.list.__len__ 18 print n() # 2 19 20 f() 21 g()