Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (31.2 KB)

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