source: CIVL/examples/compare/provesa/ADFirstAidKit/PUSHPOPGeneralLib

main
Last change on this file was ea777aa, checked in by Alex Wilton <awilton@…>, 3 years ago

Moved examples, include, build_default.properties, common.xml, and README out from dev.civl.com into the root of the repo.

git-svn-id: ​svn://vsl.cis.udel.edu/civl/trunk@5704 fb995dde-84ed-4084-dfe6-e5aef3e2452c
  • Property mode set to 100644
File size: 7.3 KB
RevLine 
[4d61ad0]1subroutine pushreal8:
2 external:
3 shape:(param 1,
4 common /adstack/[0,*[)
5 type:(modifiedTypeName(modifiers(intCst 8), ident real),
6 arrayType(modifiedTypeName(modifiers(intCst 8), ident real),
7 dimColons(dimColon(none(),none()))))
8 ReadNotWritten: (1, 0)
9 NotReadThenWritten: (0, 0)
10 ReadThenWritten: (0, 1)
11 deps: (id,
12 1, 1)
13
14subroutine popreal8:
15 external:
16 shape:(param 1,
17 common /adstack/[0,*[)
18 type:(modifiedTypeName(modifiers(intCst 8), ident real),
19 arrayType(modifiedTypeName(modifiers(intCst 8), ident real),
20 dimColons(dimColon(none(),none()))))
21 ReadNotWritten: (0, 0)
22 NotReadThenWritten: (1, 0)
23 ReadThenWritten: (0, 1)
24 deps: (0, 1,
25 0, 1)
26
27
28subroutine pushreal8array:
29 external:
30 shape:(param 1,
31 param 2,
32 common /adstack/[0,*[)
33 type:(arrayType(modifiedTypeName(modifiers(intCst 8), ident real),
34 dimColons(dimColon(none(),none()))),
35 ident integer,
36 arrayType(modifiedTypeName(modifiers(intCst 8), ident real),
37 dimColons(dimColon(none(),none()))))
38 ReadNotWritten: (1, 1, 0)
39 NotReadThenWritten: (0, 0, 0)
40 ReadThenWritten: (0, 0, 1)
41 deps: (id,
42 id,
43 1, 1, 1)
44
45subroutine popreal8array:
46 external:
47 shape:(param 1,
48 param 2,
49 common /adstack/[0,*[)
50 type:(arrayType(modifiedTypeName(modifiers(intCst 8), ident real),
51 dimColons(dimColon(none(),none()))),
52 ident integer,
53 arrayType(modifiedTypeName(modifiers(intCst 8), ident real),
54 dimColons(dimColon(none(),none()))))
55 ReadNotWritten: (0, 1, 0)
56 NotReadThenWritten: (1, 0, 0)
57 ReadThenWritten: (0, 0, 1)
58 deps: (0, 1, 1,
59 id,
60 0, 1, 1)
61
62subroutine pushinteger4:
63 external:
64 shape:(param 1,
65 common /adstackpassive/[0,*[)
66 type:(ident integer,
67 arrayType(ident integer,
68 dimColons(dimColon(none(),none()))))
69 ReadNotWritten: (1, 0)
70 NotReadThenWritten: (0, 0)
71 ReadThenWritten: (0, 1)
72
73subroutine popinteger4:
74 external:
75 shape:(param 1,
76 common /adstackpassive/[0,*[)
77 type:(ident integer,
78 arrayType(ident integer,
79 dimColons(dimColon(none(),none()))))
80 ReadNotWritten: (0, 0)
81 NotReadThenWritten: (1, 0)
82 ReadThenWritten: (0, 1)
83
84subroutine pushcontrol1b:
85 external:
86 shape:(param 1,
87 common /adstackpassive/[0,*[)
88 type:(ident integer,
89 arrayType(ident integer,
90 dimColons(dimColon(none(),none()))))
91 ReadNotWritten: (1, 0)
92 NotReadThenWritten: (0, 0)
93 ReadThenWritten: (0, 1)
94
95subroutine popcontrol1b:
96 external:
97 shape:(param 1,
98 common /adstackpassive/[0,*[)
99 type:(ident integer,
100 arrayType(ident integer,
101 dimColons(dimColon(none(),none()))))
102 ReadNotWritten: (0, 0)
103 NotReadThenWritten: (1, 0)
104 ReadThenWritten: (0, 1)
105
106subroutine pushcontrol2b:
107 external:
108 shape:(param 1,
109 common /adstackpassive/[0,*[)
110 type:(ident integer,
111 arrayType(ident integer,
112 dimColons(dimColon(none(),none()))))
113 ReadNotWritten: (1, 0)
114 NotReadThenWritten: (0, 0)
115 ReadThenWritten: (0, 1)
116
117subroutine popcontrol2b:
118 external:
119 shape:(param 1,
120 common /adstackpassive/[0,*[)
121 type:(ident integer,
122 arrayType(ident integer,
123 dimColons(dimColon(none(),none()))))
124 ReadNotWritten: (0, 0)
125 NotReadThenWritten: (1, 0)
126 ReadThenWritten: (0, 1)
127
128subroutine pushcontrol3b:
129 external:
130 shape:(param 1,
131 common /adstackpassive/[0,*[)
132 type:(ident integer,
133 arrayType(ident integer,
134 dimColons(dimColon(none(),none()))))
135 ReadNotWritten: (1, 0)
136 NotReadThenWritten: (0, 0)
137 ReadThenWritten: (0, 1)
138
139subroutine popcontrol3b:
140 external:
141 shape:(param 1,
142 common /adstackpassive/[0,*[)
143 type:(ident integer,
144 arrayType(ident integer,
145 dimColons(dimColon(none(),none()))))
146 ReadNotWritten: (0, 0)
147 NotReadThenWritten: (1, 0)
148 ReadThenWritten: (0, 1)
149
150subroutine pushcontrol4b:
151 external:
152 shape:(param 1,
153 common /adstackpassive/[0,*[)
154 type:(ident integer,
155 arrayType(ident integer,
156 dimColons(dimColon(none(),none()))))
157 ReadNotWritten: (1, 0)
158 NotReadThenWritten: (0, 0)
159 ReadThenWritten: (0, 1)
160
161subroutine popcontrol4b:
162 external:
163 shape:(param 1,
164 common /adstackpassive/[0,*[)
165 type:(ident integer,
166 arrayType(ident integer,
167 dimColons(dimColon(none(),none()))))
168 ReadNotWritten: (0, 0)
169 NotReadThenWritten: (1, 0)
170 ReadThenWritten: (0, 1)
171
172subroutine pushcontrol5b:
173 external:
174 shape:(param 1,
175 common /adstackpassive/[0,*[)
176 type:(ident integer,
177 arrayType(ident integer,
178 dimColons(dimColon(none(),none()))))
179 ReadNotWritten: (1, 0)
180 NotReadThenWritten: (0, 0)
181 ReadThenWritten: (0, 1)
182
183subroutine popcontrol5b:
184 external:
185 shape:(param 1,
186 common /adstackpassive/[0,*[)
187 type:(ident integer,
188 arrayType(ident integer,
189 dimColons(dimColon(none(),none()))))
190 ReadNotWritten: (0, 0)
191 NotReadThenWritten: (1, 0)
192 ReadThenWritten: (0, 1)
193
194subroutine pushcontrol6b:
195 external:
196 shape:(param 1,
197 common /adstackpassive/[0,*[)
198 type:(ident integer,
199 arrayType(ident integer,
200 dimColons(dimColon(none(),none()))))
201 ReadNotWritten: (1, 0)
202 NotReadThenWritten: (0, 0)
203 ReadThenWritten: (0, 1)
204
205subroutine popcontrol6b:
206 external:
207 shape:(param 1,
208 common /adstackpassive/[0,*[)
209 type:(ident integer,
210 arrayType(ident integer,
211 dimColons(dimColon(none(),none()))))
212 ReadNotWritten: (0, 0)
213 NotReadThenWritten: (1, 0)
214 ReadThenWritten: (0, 1)
215
216subroutine pushcontrol7b:
217 external:
218 shape:(param 1,
219 common /adstackpassive/[0,*[)
220 type:(ident integer,
221 arrayType(ident integer,
222 dimColons(dimColon(none(),none()))))
223 ReadNotWritten: (1, 0)
224 NotReadThenWritten: (0, 0)
225 ReadThenWritten: (0, 1)
226
227subroutine popcontrol7b:
228 external:
229 shape:(param 1,
230 common /adstackpassive/[0,*[)
231 type:(ident integer,
232 arrayType(ident integer,
233 dimColons(dimColon(none(),none()))))
234 ReadNotWritten: (0, 0)
235 NotReadThenWritten: (1, 0)
236 ReadThenWritten: (0, 1)
237
238subroutine pushcontrol8b:
239 external:
240 shape:(param 1,
241 common /adstackpassive/[0,*[)
242 type:(ident integer,
243 arrayType(ident integer,
244 dimColons(dimColon(none(),none()))))
245 ReadNotWritten: (1, 0)
246 NotReadThenWritten: (0, 0)
247 ReadThenWritten: (0, 1)
248
249subroutine popcontrol8b:
250 external:
251 shape:(param 1,
252 common /adstackpassive/[0,*[)
253 type:(ident integer,
254 arrayType(ident integer,
255 dimColons(dimColon(none(),none()))))
256 ReadNotWritten: (0, 0)
257 NotReadThenWritten: (1, 0)
258 ReadThenWritten: (0, 1)
259
260subroutine pushcontrol9b:
261 external:
262 shape:(param 1,
263 common /adstackpassive/[0,*[)
264 type:(ident integer,
265 arrayType(ident integer,
266 dimColons(dimColon(none(),none()))))
267 ReadNotWritten: (1, 0)
268 NotReadThenWritten: (0, 0)
269 ReadThenWritten: (0, 1)
270
271subroutine popcontrol9b:
272 external:
273 shape:(param 1,
274 common /adstackpassive/[0,*[)
275 type:(ident integer,
276 arrayType(ident integer,
277 dimColons(dimColon(none(),none()))))
278 ReadNotWritten: (0, 0)
279 NotReadThenWritten: (1, 0)
280 ReadThenWritten: (0, 1)
Note: See TracBrowser for help on using the repository browser.