Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (50.4 KB)

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