Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (50.9 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "c07s01b00x00p11n01i01907ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6
      ]}
7
    , {
8
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9
        "name" : ["IDENTIFIER", "c07s01b00x00p11n01i01907arch"], "entity" : ["IDENTIFIER", "c07s01b00x00p11n01i01907ent"], "ARCHITECTURE_DECLARATIVE_PART" : [], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", {
10
          "id" : ["IDENTIFIER", "TESTING"], "PROCESS_DECLARATIVE_PART" : [{
11
            "declaration" : ["VARIABLE_DECLARATION", {
12
              "names" : [["IDENTIFIER", "b1a"], ["IDENTIFIER", "b2a"], ["IDENTIFIER", "b3a"], ["IDENTIFIER", "b4a"]], "typ" : {
13
                "name" : ["SIMPLE_NAME", "BOOLEAN"]}
14
              }
15
            ]}
16
          , {
17
            "declaration" : ["VARIABLE_DECLARATION", {
18
              "names" : [["IDENTIFIER", "b1o"], ["IDENTIFIER", "b2o"], ["IDENTIFIER", "b3o"], ["IDENTIFIER", "b4o"]], "typ" : {
19
                "name" : ["SIMPLE_NAME", "BOOLEAN"]}
20
              }
21
            ]}
22
          , {
23
            "declaration" : ["VARIABLE_DECLARATION", {
24
              "names" : [["IDENTIFIER", "b1x"], ["IDENTIFIER", "b2x"], ["IDENTIFIER", "b3x"], ["IDENTIFIER", "b4x"]], "typ" : {
25
                "name" : ["SIMPLE_NAME", "BOOLEAN"]}
26
              }
27
            ]}
28
          ], "PROCESS_STATEMENT_PART" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
29
            "lhs" : ["SIMPLE_NAME", "b1a"], "rhs" : ["EXPRESSION", {
30
              "args" : [["EXPRESSION", {
31
                "args" : [["EXPRESSION", {
32
                  "args" : [["EXPRESSION", {
33
                    "args" : [["CALL", ["SIMPLE_NAME", "TRUE"]]]}
34
                  ]]}
35
                ]]}
36
              ]]}
37
            ]}
38
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
39
            "lhs" : ["SIMPLE_NAME", "b2a"], "rhs" : ["EXPRESSION", {
40
              "args" : [["EXPRESSION", {
41
                "args" : [["EXPRESSION", {
42
                  "args" : [["EXPRESSION", {
43
                    "args" : [["CALL", ["SIMPLE_NAME", "TRUE"]]]}
44
                  ]]}
45
                ]]}
46
              ]]}
47
            ]}
48
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
49
            "lhs" : ["SIMPLE_NAME", "b3a"], "rhs" : ["EXPRESSION", {
50
              "args" : [["EXPRESSION", {
51
                "args" : [["EXPRESSION", {
52
                  "args" : [["EXPRESSION", {
53
                    "args" : [["CALL", ["SIMPLE_NAME", "FALSE"]]]}
54
                  ]]}
55
                ]]}
56
              ]]}
57
            ]}
58
          ], ["ASSERTION_STATEMENT", {
59
            "cond" : ["EXPRESSION", {
60
              "args" : [["EXPRESSION", {
61
                "args" : [["EXPRESSION", {
62
                  "args" : [["EXPRESSION", {
63
                    "args" : [["EXPRESSION", {
64
                      "args" : [["EXPRESSION", {
65
                        "args" : [["EXPRESSION", {
66
                          "args" : [["EXPRESSION", {
67
                            "id" : "NOT", "args" : [["EXPRESSION", {
68
                              "id" : "AND", "args" : [["EXPRESSION", {
69
                                "id" : "AND", "args" : [["EXPRESSION", {
70
                                  "args" : [["EXPRESSION", {
71
                                    "args" : [["EXPRESSION", {
72
                                      "args" : [["EXPRESSION", {
73
                                        "args" : [["CALL", ["SIMPLE_NAME", "b1a"]]]}
74
                                      ]]}
75
                                    ]]}
76
                                  ]]}
77
                                ], ["EXPRESSION", {
78
                                  "args" : [["EXPRESSION", {
79
                                    "args" : [["EXPRESSION", {
80
                                      "args" : [["EXPRESSION", {
81
                                        "args" : [["CALL", ["SIMPLE_NAME", "b2a"]]]}
82
                                      ]]}
83
                                    ]]}
84
                                  ]]}
85
                                ]]}
86
                              ], ["EXPRESSION", {
87
                                "args" : [["EXPRESSION", {
88
                                  "args" : [["EXPRESSION", {
89
                                    "args" : [["EXPRESSION", {
90
                                      "args" : [["CALL", ["SIMPLE_NAME", "b3a"]]]}
91
                                    ]]}
92
                                  ]]}
93
                                ]]}
94
                              ]]}
95
                            ]]}
96
                          ]]}
97
                        ]]}
98
                      ]]}
99
                    ]]}
100
                  ]]}
101
                ]]}
102
              ]]}
103
            ], "report" : ["EXPRESSION", {
104
              "args" : [["EXPRESSION", {
105
                "args" : [["EXPRESSION", {
106
                  "args" : [["EXPRESSION", {
107
                    "args" : [["CONSTANT_VALUE", {
108
                      "value" : ["CST_LITERAL", "\"AND operator cannot be used associatively.\""]}
109
                    ]]}
110
                  ]]}
111
                ]]}
112
              ]]}
113
            ]}
114
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
115
            "lhs" : ["SIMPLE_NAME", "b4a"], "rhs" : ["EXPRESSION", {
116
              "args" : [["EXPRESSION", {
117
                "args" : [["EXPRESSION", {
118
                  "args" : [["EXPRESSION", {
119
                    "args" : [["CALL", ["SIMPLE_NAME", "TRUE"]]]}
120
                  ]]}
121
                ]]}
122
              ]]}
123
            ]}
124
          ], ["ASSERTION_STATEMENT", {
125
            "cond" : ["EXPRESSION", {
126
              "args" : [["EXPRESSION", {
127
                "args" : [["EXPRESSION", {
128
                  "args" : [["EXPRESSION", {
129
                    "args" : [["EXPRESSION", {
130
                      "id" : "AND", "args" : [["EXPRESSION", {
131
                        "id" : "AND", "args" : [["EXPRESSION", {
132
                          "args" : [["EXPRESSION", {
133
                            "args" : [["EXPRESSION", {
134
                              "args" : [["EXPRESSION", {
135
                                "args" : [["CALL", ["SIMPLE_NAME", "b1a"]]]}
136
                              ]]}
137
                            ]]}
138
                          ]]}
139
                        ], ["EXPRESSION", {
140
                          "args" : [["EXPRESSION", {
141
                            "args" : [["EXPRESSION", {
142
                              "args" : [["EXPRESSION", {
143
                                "args" : [["CALL", ["SIMPLE_NAME", "b2a"]]]}
144
                              ]]}
145
                            ]]}
146
                          ]]}
147
                        ]]}
148
                      ], ["EXPRESSION", {
149
                        "args" : [["EXPRESSION", {
150
                          "args" : [["EXPRESSION", {
151
                            "args" : [["EXPRESSION", {
152
                              "args" : [["CALL", ["SIMPLE_NAME", "b4a"]]]}
153
                            ]]}
154
                          ]]}
155
                        ]]}
156
                      ]]}
157
                    ]]}
158
                  ]]}
159
                ]]}
160
              ]]}
161
            ], "report" : ["EXPRESSION", {
162
              "args" : [["EXPRESSION", {
163
                "args" : [["EXPRESSION", {
164
                  "args" : [["EXPRESSION", {
165
                    "args" : [["CONSTANT_VALUE", {
166
                      "value" : ["CST_LITERAL", "\"AND operator cannot be used associatively.\""]}
167
                    ]]}
168
                  ]]}
169
                ]]}
170
              ]]}
171
            ]}
172
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
173
            "lhs" : ["SIMPLE_NAME", "b1o"], "rhs" : ["EXPRESSION", {
174
              "args" : [["EXPRESSION", {
175
                "args" : [["EXPRESSION", {
176
                  "args" : [["EXPRESSION", {
177
                    "args" : [["CALL", ["SIMPLE_NAME", "FALSE"]]]}
178
                  ]]}
179
                ]]}
180
              ]]}
181
            ]}
182
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
183
            "lhs" : ["SIMPLE_NAME", "b2o"], "rhs" : ["EXPRESSION", {
184
              "args" : [["EXPRESSION", {
185
                "args" : [["EXPRESSION", {
186
                  "args" : [["EXPRESSION", {
187
                    "args" : [["CALL", ["SIMPLE_NAME", "FALSE"]]]}
188
                  ]]}
189
                ]]}
190
              ]]}
191
            ]}
192
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
193
            "lhs" : ["SIMPLE_NAME", "b3o"], "rhs" : ["EXPRESSION", {
194
              "args" : [["EXPRESSION", {
195
                "args" : [["EXPRESSION", {
196
                  "args" : [["EXPRESSION", {
197
                    "args" : [["CALL", ["SIMPLE_NAME", "TRUE"]]]}
198
                  ]]}
199
                ]]}
200
              ]]}
201
            ]}
202
          ], ["ASSERTION_STATEMENT", {
203
            "cond" : ["EXPRESSION", {
204
              "args" : [["EXPRESSION", {
205
                "args" : [["EXPRESSION", {
206
                  "args" : [["EXPRESSION", {
207
                    "args" : [["EXPRESSION", {
208
                      "id" : "OR", "args" : [["EXPRESSION", {
209
                        "id" : "OR", "args" : [["EXPRESSION", {
210
                          "args" : [["EXPRESSION", {
211
                            "args" : [["EXPRESSION", {
212
                              "args" : [["EXPRESSION", {
213
                                "args" : [["CALL", ["SIMPLE_NAME", "b1o"]]]}
214
                              ]]}
215
                            ]]}
216
                          ]]}
217
                        ], ["EXPRESSION", {
218
                          "args" : [["EXPRESSION", {
219
                            "args" : [["EXPRESSION", {
220
                              "args" : [["EXPRESSION", {
221
                                "args" : [["CALL", ["SIMPLE_NAME", "b2o"]]]}
222
                              ]]}
223
                            ]]}
224
                          ]]}
225
                        ]]}
226
                      ], ["EXPRESSION", {
227
                        "args" : [["EXPRESSION", {
228
                          "args" : [["EXPRESSION", {
229
                            "args" : [["EXPRESSION", {
230
                              "args" : [["CALL", ["SIMPLE_NAME", "b3o"]]]}
231
                            ]]}
232
                          ]]}
233
                        ]]}
234
                      ]]}
235
                    ]]}
236
                  ]]}
237
                ]]}
238
              ]]}
239
            ], "report" : ["EXPRESSION", {
240
              "args" : [["EXPRESSION", {
241
                "args" : [["EXPRESSION", {
242
                  "args" : [["EXPRESSION", {
243
                    "args" : [["CONSTANT_VALUE", {
244
                      "value" : ["CST_LITERAL", "\"OR operator cannot be used associatively.\""]}
245
                    ]]}
246
                  ]]}
247
                ]]}
248
              ]]}
249
            ]}
250
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
251
            "lhs" : ["SIMPLE_NAME", "b4o"], "rhs" : ["EXPRESSION", {
252
              "args" : [["EXPRESSION", {
253
                "args" : [["EXPRESSION", {
254
                  "args" : [["EXPRESSION", {
255
                    "args" : [["CALL", ["SIMPLE_NAME", "FALSE"]]]}
256
                  ]]}
257
                ]]}
258
              ]]}
259
            ]}
260
          ], ["ASSERTION_STATEMENT", {
261
            "cond" : ["EXPRESSION", {
262
              "args" : [["EXPRESSION", {
263
                "args" : [["EXPRESSION", {
264
                  "args" : [["EXPRESSION", {
265
                    "args" : [["EXPRESSION", {
266
                      "args" : [["EXPRESSION", {
267
                        "args" : [["EXPRESSION", {
268
                          "args" : [["EXPRESSION", {
269
                            "id" : "NOT", "args" : [["EXPRESSION", {
270
                              "id" : "OR", "args" : [["EXPRESSION", {
271
                                "id" : "OR", "args" : [["EXPRESSION", {
272
                                  "args" : [["EXPRESSION", {
273
                                    "args" : [["EXPRESSION", {
274
                                      "args" : [["EXPRESSION", {
275
                                        "args" : [["CALL", ["SIMPLE_NAME", "b1o"]]]}
276
                                      ]]}
277
                                    ]]}
278
                                  ]]}
279
                                ], ["EXPRESSION", {
280
                                  "args" : [["EXPRESSION", {
281
                                    "args" : [["EXPRESSION", {
282
                                      "args" : [["EXPRESSION", {
283
                                        "args" : [["CALL", ["SIMPLE_NAME", "b2o"]]]}
284
                                      ]]}
285
                                    ]]}
286
                                  ]]}
287
                                ]]}
288
                              ], ["EXPRESSION", {
289
                                "args" : [["EXPRESSION", {
290
                                  "args" : [["EXPRESSION", {
291
                                    "args" : [["EXPRESSION", {
292
                                      "args" : [["CALL", ["SIMPLE_NAME", "b4o"]]]}
293
                                    ]]}
294
                                  ]]}
295
                                ]]}
296
                              ]]}
297
                            ]]}
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", "\"OR operator cannot be used associatively.\""]}
311
                    ]]}
312
                  ]]}
313
                ]]}
314
              ]]}
315
            ]}
316
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
317
            "lhs" : ["SIMPLE_NAME", "b1x"], "rhs" : ["EXPRESSION", {
318
              "args" : [["EXPRESSION", {
319
                "args" : [["EXPRESSION", {
320
                  "args" : [["EXPRESSION", {
321
                    "args" : [["CALL", ["SIMPLE_NAME", "TRUE"]]]}
322
                  ]]}
323
                ]]}
324
              ]]}
325
            ]}
326
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
327
            "lhs" : ["SIMPLE_NAME", "b2x"], "rhs" : ["EXPRESSION", {
328
              "args" : [["EXPRESSION", {
329
                "args" : [["EXPRESSION", {
330
                  "args" : [["EXPRESSION", {
331
                    "args" : [["CALL", ["SIMPLE_NAME", "TRUE"]]]}
332
                  ]]}
333
                ]]}
334
              ]]}
335
            ]}
336
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
337
            "lhs" : ["SIMPLE_NAME", "b3x"], "rhs" : ["EXPRESSION", {
338
              "args" : [["EXPRESSION", {
339
                "args" : [["EXPRESSION", {
340
                  "args" : [["EXPRESSION", {
341
                    "args" : [["CALL", ["SIMPLE_NAME", "FALSE"]]]}
342
                  ]]}
343
                ]]}
344
              ]]}
345
            ]}
346
          ], ["ASSERTION_STATEMENT", {
347
            "cond" : ["EXPRESSION", {
348
              "args" : [["EXPRESSION", {
349
                "args" : [["EXPRESSION", {
350
                  "args" : [["EXPRESSION", {
351
                    "args" : [["EXPRESSION", {
352
                      "args" : [["EXPRESSION", {
353
                        "args" : [["EXPRESSION", {
354
                          "args" : [["EXPRESSION", {
355
                            "id" : "NOT", "args" : [["EXPRESSION", {
356
                              "id" : "XOR", "args" : [["EXPRESSION", {
357
                                "id" : "XOR", "args" : [["EXPRESSION", {
358
                                  "args" : [["EXPRESSION", {
359
                                    "args" : [["EXPRESSION", {
360
                                      "args" : [["EXPRESSION", {
361
                                        "args" : [["CALL", ["SIMPLE_NAME", "b1x"]]]}
362
                                      ]]}
363
                                    ]]}
364
                                  ]]}
365
                                ], ["EXPRESSION", {
366
                                  "args" : [["EXPRESSION", {
367
                                    "args" : [["EXPRESSION", {
368
                                      "args" : [["EXPRESSION", {
369
                                        "args" : [["CALL", ["SIMPLE_NAME", "b2x"]]]}
370
                                      ]]}
371
                                    ]]}
372
                                  ]]}
373
                                ]]}
374
                              ], ["EXPRESSION", {
375
                                "args" : [["EXPRESSION", {
376
                                  "args" : [["EXPRESSION", {
377
                                    "args" : [["EXPRESSION", {
378
                                      "args" : [["CALL", ["SIMPLE_NAME", "b3x"]]]}
379
                                    ]]}
380
                                  ]]}
381
                                ]]}
382
                              ]]}
383
                            ]]}
384
                          ]]}
385
                        ]]}
386
                      ]]}
387
                    ]]}
388
                  ]]}
389
                ]]}
390
              ]]}
391
            ], "report" : ["EXPRESSION", {
392
              "args" : [["EXPRESSION", {
393
                "args" : [["EXPRESSION", {
394
                  "args" : [["EXPRESSION", {
395
                    "args" : [["CONSTANT_VALUE", {
396
                      "value" : ["CST_LITERAL", "\"XOR operator cannot be used associatively.\""]}
397
                    ]]}
398
                  ]]}
399
                ]]}
400
              ]]}
401
            ]}
402
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
403
            "lhs" : ["SIMPLE_NAME", "b4x"], "rhs" : ["EXPRESSION", {
404
              "args" : [["EXPRESSION", {
405
                "args" : [["EXPRESSION", {
406
                  "args" : [["EXPRESSION", {
407
                    "args" : [["CALL", ["SIMPLE_NAME", "TRUE"]]]}
408
                  ]]}
409
                ]]}
410
              ]]}
411
            ]}
412
          ], ["ASSERTION_STATEMENT", {
413
            "cond" : ["EXPRESSION", {
414
              "args" : [["EXPRESSION", {
415
                "args" : [["EXPRESSION", {
416
                  "args" : [["EXPRESSION", {
417
                    "args" : [["EXPRESSION", {
418
                      "id" : "XOR", "args" : [["EXPRESSION", {
419
                        "id" : "XOR", "args" : [["EXPRESSION", {
420
                          "args" : [["EXPRESSION", {
421
                            "args" : [["EXPRESSION", {
422
                              "args" : [["EXPRESSION", {
423
                                "args" : [["CALL", ["SIMPLE_NAME", "b1x"]]]}
424
                              ]]}
425
                            ]]}
426
                          ]]}
427
                        ], ["EXPRESSION", {
428
                          "args" : [["EXPRESSION", {
429
                            "args" : [["EXPRESSION", {
430
                              "args" : [["EXPRESSION", {
431
                                "args" : [["CALL", ["SIMPLE_NAME", "b2x"]]]}
432
                              ]]}
433
                            ]]}
434
                          ]]}
435
                        ]]}
436
                      ], ["EXPRESSION", {
437
                        "args" : [["EXPRESSION", {
438
                          "args" : [["EXPRESSION", {
439
                            "args" : [["EXPRESSION", {
440
                              "args" : [["CALL", ["SIMPLE_NAME", "b4x"]]]}
441
                            ]]}
442
                          ]]}
443
                        ]]}
444
                      ]]}
445
                    ]]}
446
                  ]]}
447
                ]]}
448
              ]]}
449
            ], "report" : ["EXPRESSION", {
450
              "args" : [["EXPRESSION", {
451
                "args" : [["EXPRESSION", {
452
                  "args" : [["EXPRESSION", {
453
                    "args" : [["CONSTANT_VALUE", {
454
                      "value" : ["CST_LITERAL", "\"XOR operator cannot be used associatively.\""]}
455
                    ]]}
456
                  ]]}
457
                ]]}
458
              ]]}
459
            ]}
460
          ], ["WAIT_STATEMENT"], ["ASSERTION_STATEMENT", {
461
            "cond" : ["EXPRESSION", {
462
              "args" : [["EXPRESSION", {
463
                "args" : [["EXPRESSION", {
464
                  "args" : [["EXPRESSION", {
465
                    "id" : "NOT", "args" : [["EXPRESSION", {
466
                      "id" : "and", "args" : [["EXPRESSION", {
467
                        "id" : "and", "args" : [["EXPRESSION", {
468
                          "id" : "and", "args" : [["EXPRESSION", {
469
                            "id" : "and", "args" : [["EXPRESSION", {
470
                              "id" : "and", "args" : [["EXPRESSION", {
471
                                "args" : [["EXPRESSION", {
472
                                  "args" : [["EXPRESSION", {
473
                                    "args" : [["EXPRESSION", {
474
                                      "args" : [["EXPRESSION", {
475
                                        "args" : [["EXPRESSION", {
476
                                          "args" : [["EXPRESSION", {
477
                                            "args" : [["EXPRESSION", {
478
                                              "id" : "NOT", "args" : [["EXPRESSION", {
479
                                                "id" : "AND", "args" : [["EXPRESSION", {
480
                                                  "id" : "AND", "args" : [["EXPRESSION", {
481
                                                    "args" : [["EXPRESSION", {
482
                                                      "args" : [["EXPRESSION", {
483
                                                        "args" : [["EXPRESSION", {
484
                                                          "args" : [["CALL", ["SIMPLE_NAME", "b1a"]]]}
485
                                                        ]]}
486
                                                      ]]}
487
                                                    ]]}
488
                                                  ], ["EXPRESSION", {
489
                                                    "args" : [["EXPRESSION", {
490
                                                      "args" : [["EXPRESSION", {
491
                                                        "args" : [["EXPRESSION", {
492
                                                          "args" : [["CALL", ["SIMPLE_NAME", "b2a"]]]}
493
                                                        ]]}
494
                                                      ]]}
495
                                                    ]]}
496
                                                  ]]}
497
                                                ], ["EXPRESSION", {
498
                                                  "args" : [["EXPRESSION", {
499
                                                    "args" : [["EXPRESSION", {
500
                                                      "args" : [["EXPRESSION", {
501
                                                        "args" : [["CALL", ["SIMPLE_NAME", "b3a"]]]}
502
                                                      ]]}
503
                                                    ]]}
504
                                                  ]]}
505
                                                ]]}
506
                                              ]]}
507
                                            ]]}
508
                                          ]]}
509
                                        ]]}
510
                                      ]]}
511
                                    ]]}
512
                                  ]]}
513
                                ]]}
514
                              ], ["EXPRESSION", {
515
                                "args" : [["EXPRESSION", {
516
                                  "args" : [["EXPRESSION", {
517
                                    "args" : [["EXPRESSION", {
518
                                      "args" : [["EXPRESSION", {
519
                                        "id" : "AND", "args" : [["EXPRESSION", {
520
                                          "id" : "AND", "args" : [["EXPRESSION", {
521
                                            "args" : [["EXPRESSION", {
522
                                              "args" : [["EXPRESSION", {
523
                                                "args" : [["EXPRESSION", {
524
                                                  "args" : [["CALL", ["SIMPLE_NAME", "b1a"]]]}
525
                                                ]]}
526
                                              ]]}
527
                                            ]]}
528
                                          ], ["EXPRESSION", {
529
                                            "args" : [["EXPRESSION", {
530
                                              "args" : [["EXPRESSION", {
531
                                                "args" : [["EXPRESSION", {
532
                                                  "args" : [["CALL", ["SIMPLE_NAME", "b2a"]]]}
533
                                                ]]}
534
                                              ]]}
535
                                            ]]}
536
                                          ]]}
537
                                        ], ["EXPRESSION", {
538
                                          "args" : [["EXPRESSION", {
539
                                            "args" : [["EXPRESSION", {
540
                                              "args" : [["EXPRESSION", {
541
                                                "args" : [["CALL", ["SIMPLE_NAME", "b4a"]]]}
542
                                              ]]}
543
                                            ]]}
544
                                          ]]}
545
                                        ]]}
546
                                      ]]}
547
                                    ]]}
548
                                  ]]}
549
                                ]]}
550
                              ]]}
551
                            ], ["EXPRESSION", {
552
                              "args" : [["EXPRESSION", {
553
                                "args" : [["EXPRESSION", {
554
                                  "args" : [["EXPRESSION", {
555
                                    "args" : [["EXPRESSION", {
556
                                      "id" : "OR", "args" : [["EXPRESSION", {
557
                                        "id" : "OR", "args" : [["EXPRESSION", {
558
                                          "args" : [["EXPRESSION", {
559
                                            "args" : [["EXPRESSION", {
560
                                              "args" : [["EXPRESSION", {
561
                                                "args" : [["CALL", ["SIMPLE_NAME", "b1o"]]]}
562
                                              ]]}
563
                                            ]]}
564
                                          ]]}
565
                                        ], ["EXPRESSION", {
566
                                          "args" : [["EXPRESSION", {
567
                                            "args" : [["EXPRESSION", {
568
                                              "args" : [["EXPRESSION", {
569
                                                "args" : [["CALL", ["SIMPLE_NAME", "b2o"]]]}
570
                                              ]]}
571
                                            ]]}
572
                                          ]]}
573
                                        ]]}
574
                                      ], ["EXPRESSION", {
575
                                        "args" : [["EXPRESSION", {
576
                                          "args" : [["EXPRESSION", {
577
                                            "args" : [["EXPRESSION", {
578
                                              "args" : [["CALL", ["SIMPLE_NAME", "b3o"]]]}
579
                                            ]]}
580
                                          ]]}
581
                                        ]]}
582
                                      ]]}
583
                                    ]]}
584
                                  ]]}
585
                                ]]}
586
                              ]]}
587
                            ]]}
588
                          ], ["EXPRESSION", {
589
                            "args" : [["EXPRESSION", {
590
                              "args" : [["EXPRESSION", {
591
                                "args" : [["EXPRESSION", {
592
                                  "args" : [["EXPRESSION", {
593
                                    "args" : [["EXPRESSION", {
594
                                      "args" : [["EXPRESSION", {
595
                                        "args" : [["EXPRESSION", {
596
                                          "id" : "NOT", "args" : [["EXPRESSION", {
597
                                            "id" : "OR", "args" : [["EXPRESSION", {
598
                                              "id" : "OR", "args" : [["EXPRESSION", {
599
                                                "args" : [["EXPRESSION", {
600
                                                  "args" : [["EXPRESSION", {
601
                                                    "args" : [["EXPRESSION", {
602
                                                      "args" : [["CALL", ["SIMPLE_NAME", "b1o"]]]}
603
                                                    ]]}
604
                                                  ]]}
605
                                                ]]}
606
                                              ], ["EXPRESSION", {
607
                                                "args" : [["EXPRESSION", {
608
                                                  "args" : [["EXPRESSION", {
609
                                                    "args" : [["EXPRESSION", {
610
                                                      "args" : [["CALL", ["SIMPLE_NAME", "b2o"]]]}
611
                                                    ]]}
612
                                                  ]]}
613
                                                ]]}
614
                                              ]]}
615
                                            ], ["EXPRESSION", {
616
                                              "args" : [["EXPRESSION", {
617
                                                "args" : [["EXPRESSION", {
618
                                                  "args" : [["EXPRESSION", {
619
                                                    "args" : [["CALL", ["SIMPLE_NAME", "b4o"]]]}
620
                                                  ]]}
621
                                                ]]}
622
                                              ]]}
623
                                            ]]}
624
                                          ]]}
625
                                        ]]}
626
                                      ]]}
627
                                    ]]}
628
                                  ]]}
629
                                ]]}
630
                              ]]}
631
                            ]]}
632
                          ]]}
633
                        ], ["EXPRESSION", {
634
                          "args" : [["EXPRESSION", {
635
                            "args" : [["EXPRESSION", {
636
                              "args" : [["EXPRESSION", {
637
                                "args" : [["EXPRESSION", {
638
                                  "args" : [["EXPRESSION", {
639
                                    "args" : [["EXPRESSION", {
640
                                      "args" : [["EXPRESSION", {
641
                                        "id" : "NOT", "args" : [["EXPRESSION", {
642
                                          "id" : "XOR", "args" : [["EXPRESSION", {
643
                                            "id" : "XOR", "args" : [["EXPRESSION", {
644
                                              "args" : [["EXPRESSION", {
645
                                                "args" : [["EXPRESSION", {
646
                                                  "args" : [["EXPRESSION", {
647
                                                    "args" : [["CALL", ["SIMPLE_NAME", "b1x"]]]}
648
                                                  ]]}
649
                                                ]]}
650
                                              ]]}
651
                                            ], ["EXPRESSION", {
652
                                              "args" : [["EXPRESSION", {
653
                                                "args" : [["EXPRESSION", {
654
                                                  "args" : [["EXPRESSION", {
655
                                                    "args" : [["CALL", ["SIMPLE_NAME", "b2x"]]]}
656
                                                  ]]}
657
                                                ]]}
658
                                              ]]}
659
                                            ]]}
660
                                          ], ["EXPRESSION", {
661
                                            "args" : [["EXPRESSION", {
662
                                              "args" : [["EXPRESSION", {
663
                                                "args" : [["EXPRESSION", {
664
                                                  "args" : [["CALL", ["SIMPLE_NAME", "b3x"]]]}
665
                                                ]]}
666
                                              ]]}
667
                                            ]]}
668
                                          ]]}
669
                                        ]]}
670
                                      ]]}
671
                                    ]]}
672
                                  ]]}
673
                                ]]}
674
                              ]]}
675
                            ]]}
676
                          ]]}
677
                        ]]}
678
                      ], ["EXPRESSION", {
679
                        "args" : [["EXPRESSION", {
680
                          "args" : [["EXPRESSION", {
681
                            "args" : [["EXPRESSION", {
682
                              "args" : [["EXPRESSION", {
683
                                "id" : "XOR", "args" : [["EXPRESSION", {
684
                                  "id" : "XOR", "args" : [["EXPRESSION", {
685
                                    "args" : [["EXPRESSION", {
686
                                      "args" : [["EXPRESSION", {
687
                                        "args" : [["EXPRESSION", {
688
                                          "args" : [["CALL", ["SIMPLE_NAME", "b1x"]]]}
689
                                        ]]}
690
                                      ]]}
691
                                    ]]}
692
                                  ], ["EXPRESSION", {
693
                                    "args" : [["EXPRESSION", {
694
                                      "args" : [["EXPRESSION", {
695
                                        "args" : [["EXPRESSION", {
696
                                          "args" : [["CALL", ["SIMPLE_NAME", "b2x"]]]}
697
                                        ]]}
698
                                      ]]}
699
                                    ]]}
700
                                  ]]}
701
                                ], ["EXPRESSION", {
702
                                  "args" : [["EXPRESSION", {
703
                                    "args" : [["EXPRESSION", {
704
                                      "args" : [["EXPRESSION", {
705
                                        "args" : [["CALL", ["SIMPLE_NAME", "b4x"]]]}
706
                                      ]]}
707
                                    ]]}
708
                                  ]]}
709
                                ]]}
710
                              ]]}
711
                            ]]}
712
                          ]]}
713
                        ]]}
714
                      ]]}
715
                    ]]}
716
                  ]]}
717
                ]]}
718
              ]]}
719
            ], "report" : ["EXPRESSION", {
720
              "args" : [["EXPRESSION", {
721
                "args" : [["EXPRESSION", {
722
                  "args" : [["EXPRESSION", {
723
                    "args" : [["CONSTANT_VALUE", {
724
                      "value" : ["CST_LITERAL", "\"***PASSED TEST: /src/ch07/sc01/p012/s010101.vhd\""]}
725
                    ]]}
726
                  ]]}
727
                ]]}
728
              ]]}
729
            ], "severity" : ["EXPRESSION", {
730
              "args" : [["EXPRESSION", {
731
                "args" : [["EXPRESSION", {
732
                  "args" : [["EXPRESSION", {
733
                    "args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]}
734
                  ]]}
735
                ]]}
736
              ]]}
737
            ]}
738
          ], ["ASSERTION_STATEMENT", {
739
            "cond" : ["EXPRESSION", {
740
              "args" : [["EXPRESSION", {
741
                "args" : [["EXPRESSION", {
742
                  "args" : [["EXPRESSION", {
743
                    "args" : [["EXPRESSION", {
744
                      "id" : "and", "args" : [["EXPRESSION", {
745
                        "id" : "and", "args" : [["EXPRESSION", {
746
                          "id" : "and", "args" : [["EXPRESSION", {
747
                            "id" : "and", "args" : [["EXPRESSION", {
748
                              "id" : "and", "args" : [["EXPRESSION", {
749
                                "args" : [["EXPRESSION", {
750
                                  "args" : [["EXPRESSION", {
751
                                    "args" : [["EXPRESSION", {
752
                                      "args" : [["EXPRESSION", {
753
                                        "args" : [["EXPRESSION", {
754
                                          "args" : [["EXPRESSION", {
755
                                            "args" : [["EXPRESSION", {
756
                                              "id" : "NOT", "args" : [["EXPRESSION", {
757
                                                "id" : "AND", "args" : [["EXPRESSION", {
758
                                                  "id" : "AND", "args" : [["EXPRESSION", {
759
                                                    "args" : [["EXPRESSION", {
760
                                                      "args" : [["EXPRESSION", {
761
                                                        "args" : [["EXPRESSION", {
762
                                                          "args" : [["CALL", ["SIMPLE_NAME", "b1a"]]]}
763
                                                        ]]}
764
                                                      ]]}
765
                                                    ]]}
766
                                                  ], ["EXPRESSION", {
767
                                                    "args" : [["EXPRESSION", {
768
                                                      "args" : [["EXPRESSION", {
769
                                                        "args" : [["EXPRESSION", {
770
                                                          "args" : [["CALL", ["SIMPLE_NAME", "b2a"]]]}
771
                                                        ]]}
772
                                                      ]]}
773
                                                    ]]}
774
                                                  ]]}
775
                                                ], ["EXPRESSION", {
776
                                                  "args" : [["EXPRESSION", {
777
                                                    "args" : [["EXPRESSION", {
778
                                                      "args" : [["EXPRESSION", {
779
                                                        "args" : [["CALL", ["SIMPLE_NAME", "b3a"]]]}
780
                                                      ]]}
781
                                                    ]]}
782
                                                  ]]}
783
                                                ]]}
784
                                              ]]}
785
                                            ]]}
786
                                          ]]}
787
                                        ]]}
788
                                      ]]}
789
                                    ]]}
790
                                  ]]}
791
                                ]]}
792
                              ], ["EXPRESSION", {
793
                                "args" : [["EXPRESSION", {
794
                                  "args" : [["EXPRESSION", {
795
                                    "args" : [["EXPRESSION", {
796
                                      "args" : [["EXPRESSION", {
797
                                        "id" : "AND", "args" : [["EXPRESSION", {
798
                                          "id" : "AND", "args" : [["EXPRESSION", {
799
                                            "args" : [["EXPRESSION", {
800
                                              "args" : [["EXPRESSION", {
801
                                                "args" : [["EXPRESSION", {
802
                                                  "args" : [["CALL", ["SIMPLE_NAME", "b1a"]]]}
803
                                                ]]}
804
                                              ]]}
805
                                            ]]}
806
                                          ], ["EXPRESSION", {
807
                                            "args" : [["EXPRESSION", {
808
                                              "args" : [["EXPRESSION", {
809
                                                "args" : [["EXPRESSION", {
810
                                                  "args" : [["CALL", ["SIMPLE_NAME", "b2a"]]]}
811
                                                ]]}
812
                                              ]]}
813
                                            ]]}
814
                                          ]]}
815
                                        ], ["EXPRESSION", {
816
                                          "args" : [["EXPRESSION", {
817
                                            "args" : [["EXPRESSION", {
818
                                              "args" : [["EXPRESSION", {
819
                                                "args" : [["CALL", ["SIMPLE_NAME", "b4a"]]]}
820
                                              ]]}
821
                                            ]]}
822
                                          ]]}
823
                                        ]]}
824
                                      ]]}
825
                                    ]]}
826
                                  ]]}
827
                                ]]}
828
                              ]]}
829
                            ], ["EXPRESSION", {
830
                              "args" : [["EXPRESSION", {
831
                                "args" : [["EXPRESSION", {
832
                                  "args" : [["EXPRESSION", {
833
                                    "args" : [["EXPRESSION", {
834
                                      "id" : "OR", "args" : [["EXPRESSION", {
835
                                        "id" : "OR", "args" : [["EXPRESSION", {
836
                                          "args" : [["EXPRESSION", {
837
                                            "args" : [["EXPRESSION", {
838
                                              "args" : [["EXPRESSION", {
839
                                                "args" : [["CALL", ["SIMPLE_NAME", "b1o"]]]}
840
                                              ]]}
841
                                            ]]}
842
                                          ]]}
843
                                        ], ["EXPRESSION", {
844
                                          "args" : [["EXPRESSION", {
845
                                            "args" : [["EXPRESSION", {
846
                                              "args" : [["EXPRESSION", {
847
                                                "args" : [["CALL", ["SIMPLE_NAME", "b2o"]]]}
848
                                              ]]}
849
                                            ]]}
850
                                          ]]}
851
                                        ]]}
852
                                      ], ["EXPRESSION", {
853
                                        "args" : [["EXPRESSION", {
854
                                          "args" : [["EXPRESSION", {
855
                                            "args" : [["EXPRESSION", {
856
                                              "args" : [["CALL", ["SIMPLE_NAME", "b3o"]]]}
857
                                            ]]}
858
                                          ]]}
859
                                        ]]}
860
                                      ]]}
861
                                    ]]}
862
                                  ]]}
863
                                ]]}
864
                              ]]}
865
                            ]]}
866
                          ], ["EXPRESSION", {
867
                            "args" : [["EXPRESSION", {
868
                              "args" : [["EXPRESSION", {
869
                                "args" : [["EXPRESSION", {
870
                                  "args" : [["EXPRESSION", {
871
                                    "args" : [["EXPRESSION", {
872
                                      "args" : [["EXPRESSION", {
873
                                        "args" : [["EXPRESSION", {
874
                                          "id" : "NOT", "args" : [["EXPRESSION", {
875
                                            "id" : "OR", "args" : [["EXPRESSION", {
876
                                              "id" : "OR", "args" : [["EXPRESSION", {
877
                                                "args" : [["EXPRESSION", {
878
                                                  "args" : [["EXPRESSION", {
879
                                                    "args" : [["EXPRESSION", {
880
                                                      "args" : [["CALL", ["SIMPLE_NAME", "b1o"]]]}
881
                                                    ]]}
882
                                                  ]]}
883
                                                ]]}
884
                                              ], ["EXPRESSION", {
885
                                                "args" : [["EXPRESSION", {
886
                                                  "args" : [["EXPRESSION", {
887
                                                    "args" : [["EXPRESSION", {
888
                                                      "args" : [["CALL", ["SIMPLE_NAME", "b2o"]]]}
889
                                                    ]]}
890
                                                  ]]}
891
                                                ]]}
892
                                              ]]}
893
                                            ], ["EXPRESSION", {
894
                                              "args" : [["EXPRESSION", {
895
                                                "args" : [["EXPRESSION", {
896
                                                  "args" : [["EXPRESSION", {
897
                                                    "args" : [["CALL", ["SIMPLE_NAME", "b4o"]]]}
898
                                                  ]]}
899
                                                ]]}
900
                                              ]]}
901
                                            ]]}
902
                                          ]]}
903
                                        ]]}
904
                                      ]]}
905
                                    ]]}
906
                                  ]]}
907
                                ]]}
908
                              ]]}
909
                            ]]}
910
                          ]]}
911
                        ], ["EXPRESSION", {
912
                          "args" : [["EXPRESSION", {
913
                            "args" : [["EXPRESSION", {
914
                              "args" : [["EXPRESSION", {
915
                                "args" : [["EXPRESSION", {
916
                                  "args" : [["EXPRESSION", {
917
                                    "args" : [["EXPRESSION", {
918
                                      "args" : [["EXPRESSION", {
919
                                        "id" : "NOT", "args" : [["EXPRESSION", {
920
                                          "id" : "XOR", "args" : [["EXPRESSION", {
921
                                            "id" : "XOR", "args" : [["EXPRESSION", {
922
                                              "args" : [["EXPRESSION", {
923
                                                "args" : [["EXPRESSION", {
924
                                                  "args" : [["EXPRESSION", {
925
                                                    "args" : [["CALL", ["SIMPLE_NAME", "b1x"]]]}
926
                                                  ]]}
927
                                                ]]}
928
                                              ]]}
929
                                            ], ["EXPRESSION", {
930
                                              "args" : [["EXPRESSION", {
931
                                                "args" : [["EXPRESSION", {
932
                                                  "args" : [["EXPRESSION", {
933
                                                    "args" : [["CALL", ["SIMPLE_NAME", "b2x"]]]}
934
                                                  ]]}
935
                                                ]]}
936
                                              ]]}
937
                                            ]]}
938
                                          ], ["EXPRESSION", {
939
                                            "args" : [["EXPRESSION", {
940
                                              "args" : [["EXPRESSION", {
941
                                                "args" : [["EXPRESSION", {
942
                                                  "args" : [["CALL", ["SIMPLE_NAME", "b3x"]]]}
943
                                                ]]}
944
                                              ]]}
945
                                            ]]}
946
                                          ]]}
947
                                        ]]}
948
                                      ]]}
949
                                    ]]}
950
                                  ]]}
951
                                ]]}
952
                              ]]}
953
                            ]]}
954
                          ]]}
955
                        ]]}
956
                      ], ["EXPRESSION", {
957
                        "args" : [["EXPRESSION", {
958
                          "args" : [["EXPRESSION", {
959
                            "args" : [["EXPRESSION", {
960
                              "args" : [["EXPRESSION", {
961
                                "id" : "XOR", "args" : [["EXPRESSION", {
962
                                  "id" : "XOR", "args" : [["EXPRESSION", {
963
                                    "args" : [["EXPRESSION", {
964
                                      "args" : [["EXPRESSION", {
965
                                        "args" : [["EXPRESSION", {
966
                                          "args" : [["CALL", ["SIMPLE_NAME", "b1x"]]]}
967
                                        ]]}
968
                                      ]]}
969
                                    ]]}
970
                                  ], ["EXPRESSION", {
971
                                    "args" : [["EXPRESSION", {
972
                                      "args" : [["EXPRESSION", {
973
                                        "args" : [["EXPRESSION", {
974
                                          "args" : [["CALL", ["SIMPLE_NAME", "b2x"]]]}
975
                                        ]]}
976
                                      ]]}
977
                                    ]]}
978
                                  ]]}
979
                                ], ["EXPRESSION", {
980
                                  "args" : [["EXPRESSION", {
981
                                    "args" : [["EXPRESSION", {
982
                                      "args" : [["EXPRESSION", {
983
                                        "args" : [["CALL", ["SIMPLE_NAME", "b4x"]]]}
984
                                      ]]}
985
                                    ]]}
986
                                  ]]}
987
                                ]]}
988
                              ]]}
989
                            ]]}
990
                          ]]}
991
                        ]]}
992
                      ]]}
993
                    ]]}
994
                  ]]}
995
                ]]}
996
              ]]}
997
            ], "report" : ["EXPRESSION", {
998
              "args" : [["EXPRESSION", {
999
                "args" : [["EXPRESSION", {
1000
                  "args" : [["EXPRESSION", {
1001
                    "args" : [["CONSTANT_VALUE", {
1002
                      "value" : ["CST_LITERAL", "\"***FAILED TEST: c07s01b00x00p11n01i01907 - Associative test for and or and xor failed.\""]}
1003
                    ]]}
1004
                  ]]}
1005
                ]]}
1006
              ]]}
1007
            ], "severity" : ["EXPRESSION", {
1008
              "args" : [["EXPRESSION", {
1009
                "args" : [["EXPRESSION", {
1010
                  "args" : [["EXPRESSION", {
1011
                    "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
1012
                  ]]}
1013
                ]]}
1014
              ]]}
1015
            ]}
1016
          ], ["WAIT_STATEMENT"]]}
1017
        ]]}
1018
      ]}
1019
    ]}
1020
  }