1#######################################################
2#
3# Check splayclass - requires familiaity with internals
4# See associated C file to generate mutually exclusive classes
5#
6#######################################################
7
8body common control
9{
10      inputs => { "../../default.cf.sub" };
11      bundlesequence  => { default("$(this.promise_filename)") };
12      version => "1.0";
13}
14
15bundle common g
16{
17  classes:
18      "classtotest" expression => "any";
19}
20
21#######################################################
22
23bundle agent init
24{
25  vars:
26      "dummy" string => "dummy";
27}
28
29#######################################################
30
31bundle agent test
32{
33  vars:
34      "dummy" string => "dummy";
35}
36
37#######################################################
38
39bundle agent check
40{
41  classes:
42      # The program 028.c generates this list, and exactly 1 class will
43      # be True at any time of day
44      "ok" xor => {
45		    splayclass("AT","daily"), # Box 0
46		    splayclass("AA","daily"), # Box 1
47		    splayclass("AH","daily"), # Box 2
48		    splayclass("AZ","daily"), # Box 3
49		    splayclass("Cd","daily"), # Box 4
50		    splayclass("CV","daily"), # Box 5
51		    splayclass("Am","daily"), # Box 6
52		    splayclass("EH","daily"), # Box 7
53		    splayclass("Bh","daily"), # Box 8
54		    splayclass("HF","daily"), # Box 9
55		    splayclass("Bz","daily"), # Box 10
56		    splayclass("CM","daily"), # Box 11
57		    splayclass("OR","daily"), # Box 12
58		    splayclass("FK","daily"), # Box 13
59		    splayclass("Ay","daily"), # Box 14
60		    splayclass("Cc","daily"), # Box 15
61		    splayclass("IF","daily"), # Box 16
62		    splayclass("IA","daily"), # Box 17
63		    splayclass("HP","daily"), # Box 18
64		    splayclass("Et","daily"), # Box 19
65		    splayclass("Ga","daily"), # Box 20
66		    splayclass("EF","daily"), # Box 21
67		    splayclass("DS","daily"), # Box 22
68		    splayclass("Ee","daily"), # Box 23
69		    splayclass("BI","daily"), # Box 24
70		    splayclass("CH","daily"), # Box 25
71		    splayclass("AS","daily"), # Box 26
72		    splayclass("Gd","daily"), # Box 27
73		    splayclass("Dm","daily"), # Box 28
74		    splayclass("CA","daily"), # Box 29
75		    splayclass("FZ","daily"), # Box 30
76		    splayclass("Gv","daily"), # Box 31
77		    splayclass("ES","daily"), # Box 32
78		    splayclass("Db","daily"), # Box 33
79		    splayclass("BS","daily"), # Box 34
80		    splayclass("KP","daily"), # Box 35
81		    splayclass("EZ","daily"), # Box 36
82		    splayclass("Ax","daily"), # Box 37
83		    splayclass("An","daily"), # Box 38
84		    splayclass("Mq","daily"), # Box 39
85		    splayclass("Bw","daily"), # Box 40
86		    splayclass("BL","daily"), # Box 41
87		    splayclass("AI","daily"), # Box 42
88		    splayclass("CN","daily"), # Box 43
89		    splayclass("Aw","daily"), # Box 44
90		    splayclass("Ce","daily"), # Box 45
91		    splayclass("Mh","daily"), # Box 46
92		    splayclass("Gs","daily"), # Box 47
93		    splayclass("He","daily"), # Box 48
94		    splayclass("Ex","daily"), # Box 49
95		    splayclass("KJ","daily"), # Box 50
96		    splayclass("GN","daily"), # Box 51
97		    splayclass("Bm","daily"), # Box 52
98		    splayclass("Iy","daily"), # Box 53
99		    splayclass("JG","daily"), # Box 54
100		    splayclass("Po","daily"), # Box 55
101		    splayclass("CF","daily"), # Box 56
102		    splayclass("Fg","daily"), # Box 57
103		    splayclass("KQ","daily"), # Box 58
104		    splayclass("AB","daily"), # Box 59
105		    splayclass("Cq","daily"), # Box 60
106		    splayclass("KX","daily"), # Box 61
107		    splayclass("ER","daily"), # Box 62
108		    splayclass("De","daily"), # Box 63
109		    splayclass("Fn","daily"), # Box 64
110		    splayclass("Bn","daily"), # Box 65
111		    splayclass("DZ","daily"), # Box 66
112		    splayclass("DA","daily"), # Box 67
113		    splayclass("Ag","daily"), # Box 68
114		    splayclass("Bi","daily"), # Box 69
115		    splayclass("Ki","daily"), # Box 70
116		    splayclass("Kw","daily"), # Box 71
117		    splayclass("Ed","daily"), # Box 72
118		    splayclass("In","daily"), # Box 73
119		    splayclass("CC","daily"), # Box 74
120		    splayclass("Dy","daily"), # Box 75
121		    splayclass("OB","daily"), # Box 76
122		    splayclass("DU","daily"), # Box 77
123		    splayclass("Cj","daily"), # Box 78
124		    splayclass("EC","daily"), # Box 79
125		    splayclass("Gr","daily"), # Box 80
126		    splayclass("AO","daily"), # Box 81
127		    splayclass("Bf","daily"), # Box 82
128		    splayclass("Gk","daily"), # Box 83
129		    splayclass("AX","daily"), # Box 84
130		    splayclass("Ar","daily"), # Box 85
131		    splayclass("Hq","daily"), # Box 86
132		    splayclass("Ac","daily"), # Box 87
133		    splayclass("BG","daily"), # Box 88
134		    splayclass("Dq","daily"), # Box 89
135		    splayclass("AY","daily"), # Box 90
136		    splayclass("BY","daily"), # Box 91
137		    splayclass("Cn","daily"), # Box 92
138		    splayclass("BJ","daily"), # Box 93
139		    splayclass("Yu","daily"), # Box 94
140		    splayclass("DC","daily"), # Box 95
141		    splayclass("Dd","daily"), # Box 96
142		    splayclass("Ca","daily"), # Box 97
143		    splayclass("Kc","daily"), # Box 98
144		    splayclass("Op","daily"), # Box 99
145		    splayclass("PV","daily"), # Box 100
146		    splayclass("MJ","daily"), # Box 101
147		    splayclass("GE","daily"), # Box 102
148		    splayclass("EJ","daily"), # Box 103
149		    splayclass("Hh","daily"), # Box 104
150		    splayclass("CJ","daily"), # Box 105
151		    splayclass("Ev","daily"), # Box 106
152		    splayclass("Cw","daily"), # Box 107
153		    splayclass("Cb","daily"), # Box 108
154		    splayclass("Eh","daily"), # Box 109
155		    splayclass("Bt","daily"), # Box 110
156		    splayclass("EB","daily"), # Box 111
157		    splayclass("Fo","daily"), # Box 112
158		    splayclass("Nb","daily"), # Box 113
159		    splayclass("HG","daily"), # Box 114
160		    splayclass("KD","daily"), # Box 115
161		    splayclass("DW","daily"), # Box 116
162		    splayclass("Ak","daily"), # Box 117
163		    splayclass("Cp","daily"), # Box 118
164		    splayclass("Ae","daily"), # Box 119
165		    splayclass("Bg","daily"), # Box 120
166		    splayclass("Qq","daily"), # Box 121
167		    splayclass("PC","daily"), # Box 122
168		    splayclass("CL","daily"), # Box 123
169		    splayclass("HA","daily"), # Box 124
170		    splayclass("Aq","daily"), # Box 125
171		    splayclass("Ef","daily"), # Box 126
172		    splayclass("PJ","daily"), # Box 127
173		    splayclass("BA","daily"), # Box 128
174		    splayclass("Dp","daily"), # Box 129
175		    splayclass("DK","daily"), # Box 130
176		    splayclass("Gq","daily"), # Box 131
177		    splayclass("GW","daily"), # Box 132
178		    splayclass("Hp","daily"), # Box 133
179		    splayclass("BK","daily"), # Box 134
180		    splayclass("NY","daily"), # Box 135
181		    splayclass("NP","daily"), # Box 136
182		    splayclass("CB","daily"), # Box 137
183		    splayclass("CI","daily"), # Box 138
184		    splayclass("AR","daily"), # Box 139
185		    splayclass("Pb","daily"), # Box 140
186		    splayclass("Co","daily"), # Box 141
187		    splayclass("Ms","daily"), # Box 142
188		    splayclass("Oq","daily"), # Box 143
189		    splayclass("Pt","daily"), # Box 144
190		    splayclass("RQ","daily"), # Box 145
191		    splayclass("AF","daily"), # Box 146
192		    splayclass("Fs","daily"), # Box 147
193		    splayclass("DO","daily"), # Box 148
194		    splayclass("Cu","daily"), # Box 149
195		    splayclass("Ds","daily"), # Box 150
196		    splayclass("Tv","daily"), # Box 151
197		    splayclass("Ys","daily"), # Box 152
198		    splayclass("BW","daily"), # Box 153
199		    splayclass("BP","daily"), # Box 154
200		    splayclass("cV","daily"), # Box 155
201		    splayclass("DE","daily"), # Box 156
202		    splayclass("Fz","daily"), # Box 157
203		    splayclass("EM","daily"), # Box 158
204		    splayclass("DL","daily"), # Box 159
205		    splayclass("cM","daily"), # Box 160
206		    splayclass("BD","daily"), # Box 161
207		    splayclass("Bd","daily"), # Box 162
208		    splayclass("GC","daily"), # Box 163
209		    splayclass("AE","daily"), # Box 164
210		    splayclass("Ho","daily"), # Box 165
211		    splayclass("JE","daily"), # Box 166
212		    splayclass("CZ","daily"), # Box 167
213		    splayclass("RG","daily"), # Box 168
214		    splayclass("As","daily"), # Box 169
215		    splayclass("Ai","daily"), # Box 170
216		    splayclass("IT","daily"), # Box 171
217		    splayclass("Cg","daily"), # Box 172
218		    splayclass("Cl","daily"), # Box 173
219		    splayclass("JS","daily"), # Box 174
220		    splayclass("FO","daily"), # Box 175
221		    splayclass("HO","daily"), # Box 176
222		    splayclass("Bq","daily"), # Box 177
223		    splayclass("OH","daily"), # Box 178
224		    splayclass("DN","daily"), # Box 179
225		    splayclass("Hx","daily"), # Box 180
226		    splayclass("CK","daily"), # Box 181
227		    splayclass("NC","daily"), # Box 182
228		    splayclass("PO","daily"), # Box 183
229		    splayclass("Dz","daily"), # Box 184
230		    splayclass("Eq","daily"), # Box 185
231		    splayclass("AG","daily"), # Box 186
232		    splayclass("Ke","daily"), # Box 187
233		    splayclass("DT","daily"), # Box 188
234		    splayclass("EY","daily"), # Box 189
235		    splayclass("BE","daily"), # Box 190
236		    splayclass("Br","daily"), # Box 191
237		    splayclass("Qk","daily"), # Box 192
238		    splayclass("Jw","daily"), # Box 193
239		    splayclass("KM","daily"), # Box 194
240		    splayclass("AP","daily"), # Box 195
241		    splayclass("DY","daily"), # Box 196
242		    splayclass("Jz","daily"), # Box 197
243		    splayclass("Hi","daily"), # Box 198
244		    splayclass("AM","daily"), # Box 199
245		    splayclass("WQ","daily"), # Box 200
246		    splayclass("Cv","daily"), # Box 201
247		    splayclass("BQ","daily"), # Box 202
248		    splayclass("Fu","daily"), # Box 203
249		    splayclass("CR","daily"), # Box 204
250		    splayclass("JQ","daily"), # Box 205
251		    splayclass("FN","daily"), # Box 206
252		    splayclass("QW","daily"), # Box 207
253		    splayclass("Fb","daily"), # Box 208
254		    splayclass("DB","daily"), # Box 209
255		    splayclass("OI","daily"), # Box 210
256		    splayclass("Ei","daily"), # Box 211
257		    splayclass("FY","daily"), # Box 212
258		    splayclass("Cm","daily"), # Box 213
259		    splayclass("IE","daily"), # Box 214
260		    splayclass("HM","daily"), # Box 215
261		    splayclass("BN","daily"), # Box 216
262		    splayclass("BT","daily"), # Box 217
263		    splayclass("HD","daily"), # Box 218
264		    splayclass("GK","daily"), # Box 219
265		    splayclass("BB","daily"), # Box 220
266		    splayclass("Bo","daily"), # Box 221
267		    splayclass("EV","daily"), # Box 222
268		    splayclass("Ht","daily"), # Box 223
269		    splayclass("BM","daily"), # Box 224
270		    splayclass("Lk","daily"), # Box 225
271		    splayclass("Er","daily"), # Box 226
272		    splayclass("AD","daily"), # Box 227
273		    splayclass("GI","daily"), # Box 228
274		    splayclass("SX","daily"), # Box 229
275		    splayclass("JH","daily"), # Box 230
276		    splayclass("IZ","daily"), # Box 231
277		    splayclass("Cs","daily"), # Box 232
278		    splayclass("Ym","daily"), # Box 233
279		    splayclass("DI","daily"), # Box 234
280		    splayclass("Oo","daily"), # Box 235
281		    splayclass("LK","daily"), # Box 236
282		    splayclass("DX","daily"), # Box 237
283		    splayclass("HR","daily"), # Box 238
284		    splayclass("Fj","daily"), # Box 239
285		    splayclass("XC","daily"), # Box 240
286		    splayclass("AV","daily"), # Box 241
287		    splayclass("AC","daily"), # Box 242
288		    splayclass("CW","daily"), # Box 243
289		    splayclass("AJ","daily"), # Box 244
290		    splayclass("Av","daily"), # Box 245
291		    splayclass("CX","daily"), # Box 246
292		    splayclass("ED","daily"), # Box 247
293		    splayclass("HE","daily"), # Box 248
294		    splayclass("Ao","daily"), # Box 249
295		    splayclass("Gm","daily"), # Box 250
296		    splayclass("BC","daily"), # Box 251
297		    splayclass("EN","daily"), # Box 252
298		    splayclass("EP","daily"), # Box 253
299		    splayclass("FQ","daily"), # Box 254
300		    splayclass("Dt","daily"), # Box 255
301		    splayclass("RC","daily"), # Box 256
302		    splayclass("Ib","daily"), # Box 257
303		    splayclass("JI","daily"), # Box 258
304		    splayclass("BU","daily"), # Box 259
305		    splayclass("BV","daily"), # Box 260
306		    splayclass("Xp","daily"), # Box 261
307		    splayclass("GA","daily"), # Box 262
308		    splayclass("NE","daily"), # Box 263
309		    splayclass("Mo","daily"), # Box 264
310		    splayclass("CE","daily"), # Box 265
311		    splayclass("AL","daily"), # Box 266
312		    splayclass("Es","daily"), # Box 267
313		    splayclass("Py","daily"), # Box 268
314		    splayclass("Hl","daily"), # Box 269
315		    splayclass("IC","daily"), # Box 270
316		    splayclass("Bp","daily"), # Box 271
317		    splayclass("Iz","daily"), # Box 272
318		    splayclass("HU","daily"), # Box 273
319		    splayclass("DQ","daily"), # Box 274
320		    splayclass("EI","daily"), # Box 275
321		    splayclass("Cf","daily"), # Box 276
322		    splayclass("GH","daily"), # Box 277
323		    splayclass("Aa","daily"), # Box 278
324		    splayclass("EG","daily"), # Box 279
325		    splayclass("Ct","daily"), # Box 280
326		    splayclass("Gl","daily"), # Box 281
327		    splayclass("AW","daily"), # Box 282
328		    splayclass("CP","daily"), # Box 283
329		    splayclass("CO","daily"), # Box 284
330		    splayclass("AK","daily"), # Box 285
331		    splayclass("BZ","daily"), # Box 286
332		    splayclass("Fk","daily"), # Box 287
333      };
334
335  reports:
336    ok::
337      "$(this.promise_filename) Pass";
338    !ok::
339      "$(this.promise_filename) FAIL";
340}
341