/[ascend]/trunk/models/test/blackbox/reinstantiate.a4c
ViewVC logotype

Contents of /trunk/models/test/blackbox/reinstantiate.a4c

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1040 - (show annotations) (download) (as text)
Fri Jan 5 00:26:06 2007 UTC (13 years, 7 months ago) by johnpye
File MIME type: text/x-ascend
File size: 1194 byte(s)
Adding missing test models.
1 REQUIRE "test/blackbox/pass3.a4c";
2 REQUIRE "test/blackbox/pass.a4c";
3 REQUIRE "test/blackbox/oldstylebbox.a4c";
4
5 (* bboxes in reinstantiate merge of boxes *)
6 MODEL pass61 REFINES pass3;
7 b1, b2 ARE_THE_SAME;
8 END pass61;
9
10 (* bbox that becomes feasible to compile after reinstantiation to assign constants. *)
11 MODEL pass62 REFINES oldstylebbox;
12 n :== 3;
13 METHODS
14 METHOD self_test;
15 (* @TODO add stuff here *)
16 END self_test;
17
18 END pass62;
19
20 (* bbox in reinstantiate merge of input/output *)
21 MODEL pass64 REFINES pass1;
22 x[2],y[2] ARE_THE_SAME;
23 METHODS
24 METHOD specify;
25 FIX x[1..3];
26 FREE y[1..3];
27 END specify;
28 END pass64;
29
30 (* bbox in reinstantiate merge of inputs *)
31 MODEL pass65 REFINES pass1;
32 x[3],x[2] ARE_THE_SAME;
33 METHODS
34 METHOD specify;
35 FIX x[1..3];
36 FREE y[1..3];
37 END specify;
38 END pass65;
39
40 (* bboxes in reinstantiate merge of outputs *)
41 MODEL pass66 REFINES pass1;
42 y[3],y[1] ARE_THE_SAME;
43 METHODS
44 METHOD specify;
45 FIX y[1..3];
46 FREE x[1..3];
47 END specify;
48 END pass66;
49
50 (* bboxes in reinstantiate cross-link merge of input/output *)
51 MODEL pass67 REFINES pass1;
52 x[2],y[3] ARE_THE_SAME;
53 METHODS
54 METHOD specify;
55 FIX x[1..3];
56 FREE y[1..3];
57 END specify;
58 END pass67;

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