Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / vhdl_json / vhdl_files / 2-exportOK / ghdl / ghdl / testsuite / vests / vhdl-93 / billowitch / compliant / tc2085.json @ 3fd18385

History | View | Annotate | Download (35.9 KB)

1 3fd18385 Arnaud Dieumegard
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "c07s02b04x00p20n01i02085ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6
      ]}
7
    , {
8
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9
        "name" : ["IDENTIFIER", "c07s02b04x00p20n01i02085arch"], "entity" : ["IDENTIFIER", "c07s02b04x00p20n01i02085ent"], "ARCHITECTURE_DECLARATIVE_PART" : [{
10
          "definition" : ["TYPE_DECLARATION", {
11
            "name" : ["IDENTIFIER", "boolean_v"], "definition" : ["ARRAY_TYPE_DEFINITION", {
12
              "indexes" : [["SIMPLE_NAME", "integer"]], "definition" : {
13
                "name" : ["SIMPLE_NAME", "boolean"]}
14
              }
15
            ]}
16
          ]}
17
        , {
18
          "definition" : ["SUBTYPE_DECLARATION", {
19
            "name" : ["IDENTIFIER", "boolean_4_up"], "typ" : {
20
              "name" : ["SIMPLE_NAME", "boolean_v"], "const" : ["INDEX_CONSTRAINT", {
21
                "ranges" : [["RANGE_WITH_DIRECTION", {
22
                  "direction" : "to", "from" : ["EXPRESSION", {
23
                    "args" : [["EXPRESSION", {
24
                      "args" : [["CONSTANT_VALUE", {
25
                        "value" : ["CST_LITERAL", "1"]}
26
                      ]]}
27
                    ]]}
28
                  ], "_to" : ["EXPRESSION", {
29
                    "args" : [["EXPRESSION", {
30
                      "args" : [["CONSTANT_VALUE", {
31
                        "value" : ["CST_LITERAL", "4"]}
32
                      ]]}
33
                    ]]}
34
                  ]}
35
                ]]}
36
              ]}
37
            }
38
          ]}
39
        , {
40
          "definition" : ["SUBTYPE_DECLARATION", {
41
            "name" : ["IDENTIFIER", "boolean_4_dwn"], "typ" : {
42
              "name" : ["SIMPLE_NAME", "boolean_v"], "const" : ["INDEX_CONSTRAINT", {
43
                "ranges" : [["RANGE_WITH_DIRECTION", {
44
                  "direction" : "downto", "from" : ["EXPRESSION", {
45
                    "args" : [["EXPRESSION", {
46
                      "args" : [["CONSTANT_VALUE", {
47
                        "value" : ["CST_LITERAL", "4"]}
48
                      ]]}
49
                    ]]}
50
                  ], "_to" : ["EXPRESSION", {
51
                    "args" : [["EXPRESSION", {
52
                      "args" : [["CONSTANT_VALUE", {
53
                        "value" : ["CST_LITERAL", "1"]}
54
                      ]]}
55
                    ]]}
56
                  ]}
57
                ]]}
58
              ]}
59
            }
60
          ]}
61
        , {
62
          "definition" : ["SUBTYPE_DECLARATION", {
63
            "name" : ["IDENTIFIER", "boolean_8_dwn"], "typ" : {
64
              "name" : ["SIMPLE_NAME", "boolean_v"], "const" : ["INDEX_CONSTRAINT", {
65
                "ranges" : [["RANGE_WITH_DIRECTION", {
66
                  "direction" : "downto", "from" : ["EXPRESSION", {
67
                    "args" : [["EXPRESSION", {
68
                      "args" : [["CONSTANT_VALUE", {
69
                        "value" : ["CST_LITERAL", "4"]}
70
                      ]]}
71
                    ]]}
72
                  ], "_to" : ["EXPRESSION", {
73
                    "id" : "-", "args" : [["EXPRESSION", {
74
                      "args" : [["CONSTANT_VALUE", {
75
                        "value" : ["CST_LITERAL", "3"]}
76
                      ]]}
77
                    ]]}
78
                  ]}
79
                ]]}
80
              ]}
81
            }
82
          ]}
83
        ], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", {
84
          "id" : ["IDENTIFIER", "TESTING"], "PROCESS_DECLARATIVE_PART" : [{
85
            "declaration" : ["VARIABLE_DECLARATION", {
86
              "names" : [["IDENTIFIER", "r_operand"]], "typ" : {
87
                "name" : ["SIMPLE_NAME", "boolean_4_up"]}
88
              , "init_val" : ["EXPRESSION", {
89
                "args" : [["EXPRESSION", {
90
                  "args" : [["EXPRESSION", {
91
                    "args" : [["EXPRESSION", {
92
                      "args" : [["AGGREGATE", {
93
                        "elems" : [{
94
                          "expr" : ["EXPRESSION", {
95
                            "args" : [["EXPRESSION", {
96
                              "args" : [["EXPRESSION", {
97
                                "args" : [["EXPRESSION", {
98
                                  "args" : [["CALL", ["SIMPLE_NAME", "true"]]]}
99
                                ]]}
100
                              ]]}
101
                            ]]}
102
                          ]}
103
                        , {
104
                          "expr" : ["EXPRESSION", {
105
                            "args" : [["EXPRESSION", {
106
                              "args" : [["EXPRESSION", {
107
                                "args" : [["EXPRESSION", {
108
                                  "args" : [["CALL", ["SIMPLE_NAME", "true"]]]}
109
                                ]]}
110
                              ]]}
111
                            ]]}
112
                          ]}
113
                        , {
114
                          "expr" : ["EXPRESSION", {
115
                            "args" : [["EXPRESSION", {
116
                              "args" : [["EXPRESSION", {
117
                                "args" : [["EXPRESSION", {
118
                                  "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
119
                                ]]}
120
                              ]]}
121
                            ]]}
122
                          ]}
123
                        , {
124
                          "expr" : ["EXPRESSION", {
125
                            "args" : [["EXPRESSION", {
126
                              "args" : [["EXPRESSION", {
127
                                "args" : [["EXPRESSION", {
128
                                  "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
129
                                ]]}
130
                              ]]}
131
                            ]]}
132
                          ]}
133
                        ]}
134
                      ]]}
135
                    ]]}
136
                  ]]}
137
                ]]}
138
              ]}
139
            ]}
140
          , {
141
            "declaration" : ["VARIABLE_DECLARATION", {
142
              "names" : [["IDENTIFIER", "l_operand"]], "typ" : {
143
                "name" : ["SIMPLE_NAME", "boolean_4_dwn"]}
144
              , "init_val" : ["EXPRESSION", {
145
                "args" : [["EXPRESSION", {
146
                  "args" : [["EXPRESSION", {
147
                    "args" : [["EXPRESSION", {
148
                      "args" : [["AGGREGATE", {
149
                        "elems" : [{
150
                          "expr" : ["EXPRESSION", {
151
                            "args" : [["EXPRESSION", {
152
                              "args" : [["EXPRESSION", {
153
                                "args" : [["EXPRESSION", {
154
                                  "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
155
                                ]]}
156
                              ]]}
157
                            ]]}
158
                          ]}
159
                        , {
160
                          "expr" : ["EXPRESSION", {
161
                            "args" : [["EXPRESSION", {
162
                              "args" : [["EXPRESSION", {
163
                                "args" : [["EXPRESSION", {
164
                                  "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
165
                                ]]}
166
                              ]]}
167
                            ]]}
168
                          ]}
169
                        , {
170
                          "expr" : ["EXPRESSION", {
171
                            "args" : [["EXPRESSION", {
172
                              "args" : [["EXPRESSION", {
173
                                "args" : [["EXPRESSION", {
174
                                  "args" : [["CALL", ["SIMPLE_NAME", "true"]]]}
175
                                ]]}
176
                              ]]}
177
                            ]]}
178
                          ]}
179
                        , {
180
                          "expr" : ["EXPRESSION", {
181
                            "args" : [["EXPRESSION", {
182
                              "args" : [["EXPRESSION", {
183
                                "args" : [["EXPRESSION", {
184
                                  "args" : [["CALL", ["SIMPLE_NAME", "true"]]]}
185
                                ]]}
186
                              ]]}
187
                            ]]}
188
                          ]}
189
                        ]}
190
                      ]]}
191
                    ]]}
192
                  ]]}
193
                ]]}
194
              ]}
195
            ]}
196
          , {
197
            "declaration" : ["VARIABLE_DECLARATION", {
198
              "names" : [["IDENTIFIER", "result"]], "typ" : {
199
                "name" : ["SIMPLE_NAME", "boolean_8_dwn"]}
200
              }
201
            ]}
202
          ], "PROCESS_STATEMENT_PART" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
203
            "lhs" : ["SIMPLE_NAME", "result"], "rhs" : ["EXPRESSION", {
204
              "args" : [["EXPRESSION", {
205
                "args" : [["EXPRESSION", {
206
                  "args" : [["EXPRESSION", {
207
                    "id" : "&", "args" : [["EXPRESSION", {
208
                      "args" : [["CALL", ["SIMPLE_NAME", "l_operand"]]]}
209
                    ], ["EXPRESSION", {
210
                      "args" : [["CALL", ["SIMPLE_NAME", "r_operand"]]]}
211
                    ]]}
212
                  ]]}
213
                ]]}
214
              ]]}
215
            ]}
216
          ], ["ASSERTION_STATEMENT", {
217
            "cond" : ["EXPRESSION", {
218
              "args" : [["EXPRESSION", {
219
                "args" : [["EXPRESSION", {
220
                  "args" : [["EXPRESSION", {
221
                    "args" : [["EXPRESSION", {
222
                      "id" : "=", "args" : [["EXPRESSION", {
223
                        "args" : [["EXPRESSION", {
224
                          "args" : [["EXPRESSION", {
225
                            "args" : [["CALL", ["INDEXED_NAME", {
226
                              "id" : ["SIMPLE_NAME", "result"], "exprs" : [["EXPRESSION", {
227
                                "args" : [["EXPRESSION", {
228
                                  "args" : [["EXPRESSION", {
229
                                    "args" : [["EXPRESSION", {
230
                                      "args" : [["CONSTANT_VALUE", {
231
                                        "value" : ["CST_LITERAL", "4"]}
232
                                      ]]}
233
                                    ]]}
234
                                  ]]}
235
                                ]]}
236
                              ]]}
237
                            ]]]}
238
                          ]]}
239
                        ]]}
240
                      ], ["EXPRESSION", {
241
                        "args" : [["EXPRESSION", {
242
                          "args" : [["EXPRESSION", {
243
                            "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
244
                          ]]}
245
                        ]]}
246
                      ]]}
247
                    ]]}
248
                  ]]}
249
                ]]}
250
              ]]}
251
            ], "report" : ["EXPRESSION", {
252
              "args" : [["EXPRESSION", {
253
                "args" : [["EXPRESSION", {
254
                  "args" : [["EXPRESSION", {
255
                    "args" : [["CONSTANT_VALUE", {
256
                      "value" : ["CST_LITERAL", "\"result (4) /= false\""]}
257
                    ]]}
258
                  ]]}
259
                ]]}
260
              ]]}
261
            ], "severity" : ["EXPRESSION", {
262
              "args" : [["EXPRESSION", {
263
                "args" : [["EXPRESSION", {
264
                  "args" : [["EXPRESSION", {
265
                    "args" : [["CALL", ["SIMPLE_NAME", "FAILURE"]]]}
266
                  ]]}
267
                ]]}
268
              ]]}
269
            ]}
270
          ], ["ASSERTION_STATEMENT", {
271
            "cond" : ["EXPRESSION", {
272
              "args" : [["EXPRESSION", {
273
                "args" : [["EXPRESSION", {
274
                  "args" : [["EXPRESSION", {
275
                    "args" : [["EXPRESSION", {
276
                      "id" : "=", "args" : [["EXPRESSION", {
277
                        "args" : [["EXPRESSION", {
278
                          "args" : [["EXPRESSION", {
279
                            "args" : [["CALL", ["INDEXED_NAME", {
280
                              "id" : ["SIMPLE_NAME", "result"], "exprs" : [["EXPRESSION", {
281
                                "args" : [["EXPRESSION", {
282
                                  "args" : [["EXPRESSION", {
283
                                    "args" : [["EXPRESSION", {
284
                                      "args" : [["CONSTANT_VALUE", {
285
                                        "value" : ["CST_LITERAL", "1"]}
286
                                      ]]}
287
                                    ]]}
288
                                  ]]}
289
                                ]]}
290
                              ]]}
291
                            ]]]}
292
                          ]]}
293
                        ]]}
294
                      ], ["EXPRESSION", {
295
                        "args" : [["EXPRESSION", {
296
                          "args" : [["EXPRESSION", {
297
                            "args" : [["CALL", ["SIMPLE_NAME", "true"]]]}
298
                          ]]}
299
                        ]]}
300
                      ]]}
301
                    ]]}
302
                  ]]}
303
                ]]}
304
              ]]}
305
            ], "report" : ["EXPRESSION", {
306
              "args" : [["EXPRESSION", {
307
                "args" : [["EXPRESSION", {
308
                  "args" : [["EXPRESSION", {
309
                    "args" : [["CONSTANT_VALUE", {
310
                      "value" : ["CST_LITERAL", "\"result (1) /= true\""]}
311
                    ]]}
312
                  ]]}
313
                ]]}
314
              ]]}
315
            ], "severity" : ["EXPRESSION", {
316
              "args" : [["EXPRESSION", {
317
                "args" : [["EXPRESSION", {
318
                  "args" : [["EXPRESSION", {
319
                    "args" : [["CALL", ["SIMPLE_NAME", "FAILURE"]]]}
320
                  ]]}
321
                ]]}
322
              ]]}
323
            ]}
324
          ], ["ASSERTION_STATEMENT", {
325
            "cond" : ["EXPRESSION", {
326
              "args" : [["EXPRESSION", {
327
                "args" : [["EXPRESSION", {
328
                  "args" : [["EXPRESSION", {
329
                    "args" : [["EXPRESSION", {
330
                      "id" : "=", "args" : [["EXPRESSION", {
331
                        "args" : [["EXPRESSION", {
332
                          "args" : [["EXPRESSION", {
333
                            "args" : [["CALL", ["INDEXED_NAME", {
334
                              "id" : ["SIMPLE_NAME", "result"], "exprs" : [["EXPRESSION", {
335
                                "args" : [["EXPRESSION", {
336
                                  "args" : [["EXPRESSION", {
337
                                    "args" : [["EXPRESSION", {
338
                                      "args" : [["CONSTANT_VALUE", {
339
                                        "value" : ["CST_LITERAL", "0"]}
340
                                      ]]}
341
                                    ]]}
342
                                  ]]}
343
                                ]]}
344
                              ]]}
345
                            ]]]}
346
                          ]]}
347
                        ]]}
348
                      ], ["EXPRESSION", {
349
                        "args" : [["EXPRESSION", {
350
                          "args" : [["EXPRESSION", {
351
                            "args" : [["CALL", ["SIMPLE_NAME", "true"]]]}
352
                          ]]}
353
                        ]]}
354
                      ]]}
355
                    ]]}
356
                  ]]}
357
                ]]}
358
              ]]}
359
            ], "report" : ["EXPRESSION", {
360
              "args" : [["EXPRESSION", {
361
                "args" : [["EXPRESSION", {
362
                  "args" : [["EXPRESSION", {
363
                    "args" : [["CONSTANT_VALUE", {
364
                      "value" : ["CST_LITERAL", "\"result (0) /= true\""]}
365
                    ]]}
366
                  ]]}
367
                ]]}
368
              ]]}
369
            ], "severity" : ["EXPRESSION", {
370
              "args" : [["EXPRESSION", {
371
                "args" : [["EXPRESSION", {
372
                  "args" : [["EXPRESSION", {
373
                    "args" : [["CALL", ["SIMPLE_NAME", "FAILURE"]]]}
374
                  ]]}
375
                ]]}
376
              ]]}
377
            ]}
378
          ], ["ASSERTION_STATEMENT", {
379
            "cond" : ["EXPRESSION", {
380
              "args" : [["EXPRESSION", {
381
                "args" : [["EXPRESSION", {
382
                  "args" : [["EXPRESSION", {
383
                    "args" : [["EXPRESSION", {
384
                      "id" : "=", "args" : [["EXPRESSION", {
385
                        "args" : [["EXPRESSION", {
386
                          "args" : [["EXPRESSION", {
387
                            "args" : [["CALL", ["INDEXED_NAME", {
388
                              "id" : ["SIMPLE_NAME", "result"], "exprs" : [["EXPRESSION", {
389
                                "args" : [["EXPRESSION", {
390
                                  "args" : [["EXPRESSION", {
391
                                    "id" : "-", "args" : [["EXPRESSION", {
392
                                      "args" : [["CONSTANT_VALUE", {
393
                                        "value" : ["CST_LITERAL", "3"]}
394
                                      ]]}
395
                                    ]]}
396
                                  ]]}
397
                                ]]}
398
                              ]]}
399
                            ]]]}
400
                          ]]}
401
                        ]]}
402
                      ], ["EXPRESSION", {
403
                        "args" : [["EXPRESSION", {
404
                          "args" : [["EXPRESSION", {
405
                            "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
406
                          ]]}
407
                        ]]}
408
                      ]]}
409
                    ]]}
410
                  ]]}
411
                ]]}
412
              ]]}
413
            ], "report" : ["EXPRESSION", {
414
              "args" : [["EXPRESSION", {
415
                "args" : [["EXPRESSION", {
416
                  "args" : [["EXPRESSION", {
417
                    "args" : [["CONSTANT_VALUE", {
418
                      "value" : ["CST_LITERAL", "\"result (-3) /= false\""]}
419
                    ]]}
420
                  ]]}
421
                ]]}
422
              ]]}
423
            ], "severity" : ["EXPRESSION", {
424
              "args" : [["EXPRESSION", {
425
                "args" : [["EXPRESSION", {
426
                  "args" : [["EXPRESSION", {
427
                    "args" : [["CALL", ["SIMPLE_NAME", "FAILURE"]]]}
428
                  ]]}
429
                ]]}
430
              ]]}
431
            ]}
432
          ], ["ASSERTION_STATEMENT", {
433
            "cond" : ["EXPRESSION", {
434
              "args" : [["EXPRESSION", {
435
                "args" : [["EXPRESSION", {
436
                  "args" : [["EXPRESSION", {
437
                    "id" : "NOT", "args" : [["EXPRESSION", {
438
                      "id" : "and", "args" : [["EXPRESSION", {
439
                        "args" : [["EXPRESSION", {
440
                          "args" : [["EXPRESSION", {
441
                            "args" : [["EXPRESSION", {
442
                              "args" : [["EXPRESSION", {
443
                                "id" : "=", "args" : [["EXPRESSION", {
444
                                  "args" : [["EXPRESSION", {
445
                                    "args" : [["EXPRESSION", {
446
                                      "args" : [["CALL", ["INDEXED_NAME", {
447
                                        "id" : ["SIMPLE_NAME", "result"], "exprs" : [["EXPRESSION", {
448
                                          "args" : [["EXPRESSION", {
449
                                            "args" : [["EXPRESSION", {
450
                                              "args" : [["EXPRESSION", {
451
                                                "args" : [["CONSTANT_VALUE", {
452
                                                  "value" : ["CST_LITERAL", "4"]}
453
                                                ]]}
454
                                              ]]}
455
                                            ]]}
456
                                          ]]}
457
                                        ]]}
458
                                      ]]]}
459
                                    ]]}
460
                                  ]]}
461
                                ], ["EXPRESSION", {
462
                                  "args" : [["EXPRESSION", {
463
                                    "args" : [["EXPRESSION", {
464
                                      "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
465
                                    ]]}
466
                                  ]]}
467
                                ]]}
468
                              ]]}
469
                            ]]}
470
                          ]]}
471
                        ]]}
472
                      ], ["EXPRESSION", {
473
                        "args" : [["EXPRESSION", {
474
                          "args" : [["EXPRESSION", {
475
                            "args" : [["EXPRESSION", {
476
                              "args" : [["EXPRESSION", {
477
                                "id" : "=", "args" : [["EXPRESSION", {
478
                                  "args" : [["EXPRESSION", {
479
                                    "args" : [["EXPRESSION", {
480
                                      "args" : [["CALL", ["SIMPLE_NAME", "result"]]]}
481
                                    ]]}
482
                                  ]]}
483
                                ], ["EXPRESSION", {
484
                                  "args" : [["EXPRESSION", {
485
                                    "args" : [["EXPRESSION", {
486
                                      "args" : [["AGGREGATE", {
487
                                        "elems" : [{
488
                                          "expr" : ["EXPRESSION", {
489
                                            "args" : [["EXPRESSION", {
490
                                              "args" : [["EXPRESSION", {
491
                                                "args" : [["EXPRESSION", {
492
                                                  "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
493
                                                ]]}
494
                                              ]]}
495
                                            ]]}
496
                                          ]}
497
                                        , {
498
                                          "expr" : ["EXPRESSION", {
499
                                            "args" : [["EXPRESSION", {
500
                                              "args" : [["EXPRESSION", {
501
                                                "args" : [["EXPRESSION", {
502
                                                  "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
503
                                                ]]}
504
                                              ]]}
505
                                            ]]}
506
                                          ]}
507
                                        , {
508
                                          "expr" : ["EXPRESSION", {
509
                                            "args" : [["EXPRESSION", {
510
                                              "args" : [["EXPRESSION", {
511
                                                "args" : [["EXPRESSION", {
512
                                                  "args" : [["CALL", ["SIMPLE_NAME", "true"]]]}
513
                                                ]]}
514
                                              ]]}
515
                                            ]]}
516
                                          ]}
517
                                        , {
518
                                          "expr" : ["EXPRESSION", {
519
                                            "args" : [["EXPRESSION", {
520
                                              "args" : [["EXPRESSION", {
521
                                                "args" : [["EXPRESSION", {
522
                                                  "args" : [["CALL", ["SIMPLE_NAME", "true"]]]}
523
                                                ]]}
524
                                              ]]}
525
                                            ]]}
526
                                          ]}
527
                                        , {
528
                                          "expr" : ["EXPRESSION", {
529
                                            "args" : [["EXPRESSION", {
530
                                              "args" : [["EXPRESSION", {
531
                                                "args" : [["EXPRESSION", {
532
                                                  "args" : [["CALL", ["SIMPLE_NAME", "true"]]]}
533
                                                ]]}
534
                                              ]]}
535
                                            ]]}
536
                                          ]}
537
                                        , {
538
                                          "expr" : ["EXPRESSION", {
539
                                            "args" : [["EXPRESSION", {
540
                                              "args" : [["EXPRESSION", {
541
                                                "args" : [["EXPRESSION", {
542
                                                  "args" : [["CALL", ["SIMPLE_NAME", "true"]]]}
543
                                                ]]}
544
                                              ]]}
545
                                            ]]}
546
                                          ]}
547
                                        , {
548
                                          "expr" : ["EXPRESSION", {
549
                                            "args" : [["EXPRESSION", {
550
                                              "args" : [["EXPRESSION", {
551
                                                "args" : [["EXPRESSION", {
552
                                                  "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
553
                                                ]]}
554
                                              ]]}
555
                                            ]]}
556
                                          ]}
557
                                        , {
558
                                          "expr" : ["EXPRESSION", {
559
                                            "args" : [["EXPRESSION", {
560
                                              "args" : [["EXPRESSION", {
561
                                                "args" : [["EXPRESSION", {
562
                                                  "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
563
                                                ]]}
564
                                              ]]}
565
                                            ]]}
566
                                          ]}
567
                                        ]}
568
                                      ]]}
569
                                    ]]}
570
                                  ]]}
571
                                ]]}
572
                              ]]}
573
                            ]]}
574
                          ]]}
575
                        ]]}
576
                      ]]}
577
                    ]]}
578
                  ]]}
579
                ]]}
580
              ]]}
581
            ], "report" : ["EXPRESSION", {
582
              "args" : [["EXPRESSION", {
583
                "args" : [["EXPRESSION", {
584
                  "args" : [["EXPRESSION", {
585
                    "args" : [["CONSTANT_VALUE", {
586
                      "value" : ["CST_LITERAL", "\"***PASSED TEST: c07s02b04x00p20n01i02085\""]}
587
                    ]]}
588
                  ]]}
589
                ]]}
590
              ]]}
591
            ], "severity" : ["EXPRESSION", {
592
              "args" : [["EXPRESSION", {
593
                "args" : [["EXPRESSION", {
594
                  "args" : [["EXPRESSION", {
595
                    "args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]}
596
                  ]]}
597
                ]]}
598
              ]]}
599
            ]}
600
          ], ["ASSERTION_STATEMENT", {
601
            "cond" : ["EXPRESSION", {
602
              "args" : [["EXPRESSION", {
603
                "args" : [["EXPRESSION", {
604
                  "args" : [["EXPRESSION", {
605
                    "args" : [["EXPRESSION", {
606
                      "id" : "and", "args" : [["EXPRESSION", {
607
                        "args" : [["EXPRESSION", {
608
                          "args" : [["EXPRESSION", {
609
                            "args" : [["EXPRESSION", {
610
                              "args" : [["EXPRESSION", {
611
                                "id" : "=", "args" : [["EXPRESSION", {
612
                                  "args" : [["EXPRESSION", {
613
                                    "args" : [["EXPRESSION", {
614
                                      "args" : [["CALL", ["INDEXED_NAME", {
615
                                        "id" : ["SIMPLE_NAME", "result"], "exprs" : [["EXPRESSION", {
616
                                          "args" : [["EXPRESSION", {
617
                                            "args" : [["EXPRESSION", {
618
                                              "args" : [["EXPRESSION", {
619
                                                "args" : [["CONSTANT_VALUE", {
620
                                                  "value" : ["CST_LITERAL", "4"]}
621
                                                ]]}
622
                                              ]]}
623
                                            ]]}
624
                                          ]]}
625
                                        ]]}
626
                                      ]]]}
627
                                    ]]}
628
                                  ]]}
629
                                ], ["EXPRESSION", {
630
                                  "args" : [["EXPRESSION", {
631
                                    "args" : [["EXPRESSION", {
632
                                      "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
633
                                    ]]}
634
                                  ]]}
635
                                ]]}
636
                              ]]}
637
                            ]]}
638
                          ]]}
639
                        ]]}
640
                      ], ["EXPRESSION", {
641
                        "args" : [["EXPRESSION", {
642
                          "args" : [["EXPRESSION", {
643
                            "args" : [["EXPRESSION", {
644
                              "args" : [["EXPRESSION", {
645
                                "id" : "=", "args" : [["EXPRESSION", {
646
                                  "args" : [["EXPRESSION", {
647
                                    "args" : [["EXPRESSION", {
648
                                      "args" : [["CALL", ["SIMPLE_NAME", "result"]]]}
649
                                    ]]}
650
                                  ]]}
651
                                ], ["EXPRESSION", {
652
                                  "args" : [["EXPRESSION", {
653
                                    "args" : [["EXPRESSION", {
654
                                      "args" : [["AGGREGATE", {
655
                                        "elems" : [{
656
                                          "expr" : ["EXPRESSION", {
657
                                            "args" : [["EXPRESSION", {
658
                                              "args" : [["EXPRESSION", {
659
                                                "args" : [["EXPRESSION", {
660
                                                  "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
661
                                                ]]}
662
                                              ]]}
663
                                            ]]}
664
                                          ]}
665
                                        , {
666
                                          "expr" : ["EXPRESSION", {
667
                                            "args" : [["EXPRESSION", {
668
                                              "args" : [["EXPRESSION", {
669
                                                "args" : [["EXPRESSION", {
670
                                                  "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
671
                                                ]]}
672
                                              ]]}
673
                                            ]]}
674
                                          ]}
675
                                        , {
676
                                          "expr" : ["EXPRESSION", {
677
                                            "args" : [["EXPRESSION", {
678
                                              "args" : [["EXPRESSION", {
679
                                                "args" : [["EXPRESSION", {
680
                                                  "args" : [["CALL", ["SIMPLE_NAME", "true"]]]}
681
                                                ]]}
682
                                              ]]}
683
                                            ]]}
684
                                          ]}
685
                                        , {
686
                                          "expr" : ["EXPRESSION", {
687
                                            "args" : [["EXPRESSION", {
688
                                              "args" : [["EXPRESSION", {
689
                                                "args" : [["EXPRESSION", {
690
                                                  "args" : [["CALL", ["SIMPLE_NAME", "true"]]]}
691
                                                ]]}
692
                                              ]]}
693
                                            ]]}
694
                                          ]}
695
                                        , {
696
                                          "expr" : ["EXPRESSION", {
697
                                            "args" : [["EXPRESSION", {
698
                                              "args" : [["EXPRESSION", {
699
                                                "args" : [["EXPRESSION", {
700
                                                  "args" : [["CALL", ["SIMPLE_NAME", "true"]]]}
701
                                                ]]}
702
                                              ]]}
703
                                            ]]}
704
                                          ]}
705
                                        , {
706
                                          "expr" : ["EXPRESSION", {
707
                                            "args" : [["EXPRESSION", {
708
                                              "args" : [["EXPRESSION", {
709
                                                "args" : [["EXPRESSION", {
710
                                                  "args" : [["CALL", ["SIMPLE_NAME", "true"]]]}
711
                                                ]]}
712
                                              ]]}
713
                                            ]]}
714
                                          ]}
715
                                        , {
716
                                          "expr" : ["EXPRESSION", {
717
                                            "args" : [["EXPRESSION", {
718
                                              "args" : [["EXPRESSION", {
719
                                                "args" : [["EXPRESSION", {
720
                                                  "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
721
                                                ]]}
722
                                              ]]}
723
                                            ]]}
724
                                          ]}
725
                                        , {
726
                                          "expr" : ["EXPRESSION", {
727
                                            "args" : [["EXPRESSION", {
728
                                              "args" : [["EXPRESSION", {
729
                                                "args" : [["EXPRESSION", {
730
                                                  "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
731
                                                ]]}
732
                                              ]]}
733
                                            ]]}
734
                                          ]}
735
                                        ]}
736
                                      ]]}
737
                                    ]]}
738
                                  ]]}
739
                                ]]}
740
                              ]]}
741
                            ]]}
742
                          ]]}
743
                        ]]}
744
                      ]]}
745
                    ]]}
746
                  ]]}
747
                ]]}
748
              ]]}
749
            ], "report" : ["EXPRESSION", {
750
              "args" : [["EXPRESSION", {
751
                "args" : [["EXPRESSION", {
752
                  "args" : [["EXPRESSION", {
753
                    "args" : [["CONSTANT_VALUE", {
754
                      "value" : ["CST_LITERAL", "\"***FAILED TEST: c07s02b04x00p20n01i02085 - Concatenated array is descending and that the left bound is that of the first operand.\""]}
755
                    ]]}
756
                  ]]}
757
                ]]}
758
              ]]}
759
            ], "severity" : ["EXPRESSION", {
760
              "args" : [["EXPRESSION", {
761
                "args" : [["EXPRESSION", {
762
                  "args" : [["EXPRESSION", {
763
                    "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
764
                  ]]}
765
                ]]}
766
              ]]}
767
            ]}
768
          ], ["WAIT_STATEMENT"]]}
769
        ]]}
770
      ]}
771
    ]}
772
  }