/[ascend]/trunk/models/johnpye/when_test.a4c
ViewVC logotype

Diff of /trunk/models/johnpye/when_test.a4c

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 156 by johnpye, Fri Dec 23 01:08:33 2005 UTC revision 157 by johnpye, Fri Dec 23 01:30:46 2005 UTC
# Line 38  METHOD self_test; Line 38  METHOD self_test;
38  END self_test;  END self_test;
39    
40  END when_test;  END when_test;
41    
42    (* test the other branch of the WHEN... *)
43            
44    MODEL when_test_2 REFINES when_test;
45        (* nothing here *)
46    
47    METHODS
48    METHOD values;
49        use_linear := TRUE;
50        x := -4;
51    END values;
52    
53    METHOD self_test;
54        ASSERT y == -5;
55    END self_test;
56    
57    END when_test_2;

Legend:
Removed from v.156  
changed lines
  Added in v.157

john.pye@anu.edu.au
ViewVC Help
Powered by ViewVC 1.1.22