Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (25.8 KB)

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