2009-11-16 | Paul Boddie | raw annotate files changeset graph | Changed the _attrnames annotation to map a number of names to attributes, thus permitting such annotations for many names on Function nodes. Added type guard generation, preventing inappropriate types from being supplied to optimised instructions. Separated some of the testing into more specific success and failure tests. |
1 #!/usr/bin/env python 2 3 import imported 4 5 class C: # hack: make an attribute called y known to the system 6 y = None # hack: this prevents compilation errors with the statements 7 # hack: below 8 9 n = None 10 n = imported 11 n.a = 1 # not detected due to reassignment of n 12 n.y = 2 # not detected due to reassignment of n 13 n.y = 3 # not detected due to reassignment of n 14 15 # vim: tabstop=4 expandtab shiftwidth=4