Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (44.5 KB)

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