/[ascend]/trunk/models/test/lrslv/sequence.a4c
ViewVC logotype

Contents of /trunk/models/test/lrslv/sequence.a4c

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1342 - (show annotations) (download) (as text)
Sun Mar 11 13:57:34 2007 UTC (13 years, 6 months ago) by jpye
File MIME type: text/x-ascend
File size: 515 byte(s)
Added test of sequence of logical relations.
Fixed regression with activeblock from last commit.
1 REQUIRE "atoms.a4l";
2
3 MODEL onerel;
4 healthy, wealthy, wise IS_A boolean_var;
5
6 healthy == wealthy;
7 wise == healthy AND wealthy;
8 METHODS
9 METHOD default;
10 (* set everything wrong! *)
11 healthy := FALSE;
12 wealthy := FALSE;
13 wise := FALSE;
14 END default;
15
16 METHOD specify;
17 healthy.fixed := TRUE;
18 END specify;
19
20 METHOD values;
21 healthy := TRUE;
22 END values;
23
24 METHOD on_load;
25 RUN default_self;
26 RUN reset;
27 RUN values;
28 END on_load;
29
30 METHOD self_test;
31 ASSERT wise == TRUE;
32 END self_test;
33 END onerel;
34

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