2009-02-22 | Paul Boddie | raw annotate files changeset graph | Changed inspected context details to more accurately reflect the current policy. Added more precise documentation about contexts, assignments and accesses. Expanded the tests and reference programs around context behaviour. Split the addition tests into more precise programs. Fixed the RSVP integer addition result and instance tests. Added a -m option to the test program to make an RSVP machine immediately. |
1 #!/usr/bin/env python 2 3 class C: 4 pass 5 6 class D: 7 def __init__(self): 8 pass 9 10 class E: 11 def __init__(self, x): 12 pass 13 14 class F: 15 def __init__(self, x=1): 16 pass 17 18 c = C() 19 X = C 20 x = X() 21 d = D() 22 e = E(1) 23 f = F() 24 f = F(2) 25 X = F 26 x = X() 27 28 # vim: tabstop=4 expandtab shiftwidth=4