Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (30.3 KB)

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