Lichen

tests/methods_selfless.py

71:701a83e828a0
2016-09-29 Paul Boddie Record assignment accesses to produce appropriate operations in the plan.
     1 class C:     2     def __init__(x, y, z): # no explicit self     3         self.x = x     4         self.y = y     5         self.z = z     6      7     def c():     8         return self.x     9     10 class D(C):    11     def d():    12         return self.y    13     14 class E(D):    15     def c():    16         return self.z    17     18 c = C(1, 2, 3)    19 d = D(1, 2, 3)    20 e = E(1, 2, 3)    21     22 result1 = c.c() # 1    23 result2 = d.c() # 1    24 result3 = e.c() # 3    25 result4 = d.d() # 2    26 result5 = e.d() # 2