Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (18.8 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "c09s02b00x00p13n01i01717ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6
      ]}
7
    , {
8
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9
        "name" : ["IDENTIFIER", "c09s02b00x00p13n01i01717arch"], "entity" : ["IDENTIFIER", "c09s02b00x00p13n01i01717ent"], "ARCHITECTURE_DECLARATIVE_PART" : [{
10
          "declaration" : ["SIGNAL_DECLARATION", {
11
            "names" : [["IDENTIFIER", "A"], ["IDENTIFIER", "B"]], "typ" : {
12
              "name" : ["SIMPLE_NAME", "BIT"]}
13
            , "init_val" : ["EXPRESSION", {
14
              "args" : [["EXPRESSION", {
15
                "args" : [["EXPRESSION", {
16
                  "args" : [["EXPRESSION", {
17
                    "args" : [["CONSTANT_VALUE", {
18
                      "value" : ["CST_LITERAL", "'0'"]}
19
                    ]]}
20
                  ]]}
21
                ]]}
22
              ]]}
23
            ]}
24
          ]}
25
        ], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", {
26
          "id" : ["IDENTIFIER", "TESTING"], "PROCESS_DECLARATIVE_PART" : [{
27
            "declaration" : ["VARIABLE_DECLARATION", {
28
              "names" : [["IDENTIFIER", "STARTED"]], "typ" : {
29
                "name" : ["SIMPLE_NAME", "BOOLEAN"]}
30
              , "init_val" : ["EXPRESSION", {
31
                "args" : [["EXPRESSION", {
32
                  "args" : [["EXPRESSION", {
33
                    "args" : [["EXPRESSION", {
34
                      "args" : [["CALL", ["SIMPLE_NAME", "FALSE"]]]}
35
                    ]]}
36
                  ]]}
37
                ]]}
38
              ]}
39
            ]}
40
          , {
41
            "declaration" : ["VARIABLE_DECLARATION", {
42
              "names" : [["IDENTIFIER", "OldTime"]], "typ" : {
43
                "name" : ["SIMPLE_NAME", "TIME"]}
44
              , "init_val" : ["EXPRESSION", {
45
                "args" : [["EXPRESSION", {
46
                  "args" : [["EXPRESSION", {
47
                    "args" : [["EXPRESSION", {
48
                      "args" : [["CONSTANT_VALUE", {
49
                        "value" : ["CST_LITERAL", "250"], "unit_name" : ["SIMPLE_NAME", "ns"]}
50
                      ]]}
51
                    ]]}
52
                  ]]}
53
                ]]}
54
              ]}
55
            ]}
56
          , {
57
            "declaration" : ["VARIABLE_DECLARATION", {
58
              "names" : [["IDENTIFIER", "OldInt"]], "typ" : {
59
                "name" : ["SIMPLE_NAME", "INTEGER"]}
60
              , "init_val" : ["EXPRESSION", {
61
                "args" : [["EXPRESSION", {
62
                  "args" : [["EXPRESSION", {
63
                    "args" : [["EXPRESSION", {
64
                      "args" : [["CONSTANT_VALUE", {
65
                        "value" : ["CST_LITERAL", "13"]}
66
                      ]]}
67
                    ]]}
68
                  ]]}
69
                ]]}
70
              ]}
71
            ]}
72
          , {
73
            "declaration" : ["VARIABLE_DECLARATION", {
74
              "names" : [["IDENTIFIER", "OldA"], ["IDENTIFIER", "OldB"]], "typ" : {
75
                "name" : ["SIMPLE_NAME", "BIT"]}
76
              }
77
            ]}
78
          , {
79
            "declaration" : ["VARIABLE_DECLARATION", {
80
              "names" : [["IDENTIFIER", "I"]], "typ" : {
81
                "name" : ["SIMPLE_NAME", "INTEGER"]}
82
              }
83
            ]}
84
          ], "PROCESS_STATEMENT_PART" : [["IF_STATEMENT", {
85
            "if_cases" : [{
86
              "if_cond" : ["EXPRESSION", {
87
                "args" : [["EXPRESSION", {
88
                  "args" : [["EXPRESSION", {
89
                    "args" : [["EXPRESSION", {
90
                      "args" : [["EXPRESSION", {
91
                        "args" : [["EXPRESSION", {
92
                          "args" : [["EXPRESSION", {
93
                            "args" : [["EXPRESSION", {
94
                              "id" : "NOT", "args" : [["EXPRESSION", {
95
                                "args" : [["EXPRESSION", {
96
                                  "args" : [["EXPRESSION", {
97
                                    "args" : [["EXPRESSION", {
98
                                      "args" : [["CALL", ["SIMPLE_NAME", "STARTED"]]]}
99
                                    ]]}
100
                                  ]]}
101
                                ]]}
102
                              ]]}
103
                            ]]}
104
                          ]]}
105
                        ]]}
106
                      ]]}
107
                    ]]}
108
                  ]]}
109
                ]]}
110
              ], "if_block" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
111
                "lhs" : ["SIMPLE_NAME", "OldTime"], "rhs" : ["EXPRESSION", {
112
                  "args" : [["EXPRESSION", {
113
                    "args" : [["EXPRESSION", {
114
                      "args" : [["EXPRESSION", {
115
                        "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
116
                      ]]}
117
                    ]]}
118
                  ]]}
119
                ]}
120
              ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
121
                "lhs" : ["SIMPLE_NAME", "OldInt"], "rhs" : ["EXPRESSION", {
122
                  "args" : [["EXPRESSION", {
123
                    "args" : [["EXPRESSION", {
124
                      "args" : [["EXPRESSION", {
125
                        "args" : [["CONSTANT_VALUE", {
126
                          "value" : ["CST_LITERAL", "47"]}
127
                        ]]}
128
                      ]]}
129
                    ]]}
130
                  ]]}
131
                ]}
132
              ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
133
                "lhs" : ["SIMPLE_NAME", "OldA"], "rhs" : ["EXPRESSION", {
134
                  "args" : [["EXPRESSION", {
135
                    "args" : [["EXPRESSION", {
136
                      "args" : [["EXPRESSION", {
137
                        "args" : [["CALL", ["SIMPLE_NAME", "A"]]]}
138
                      ]]}
139
                    ]]}
140
                  ]]}
141
                ]}
142
              ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
143
                "lhs" : ["SIMPLE_NAME", "OldB"], "rhs" : ["EXPRESSION", {
144
                  "args" : [["EXPRESSION", {
145
                    "args" : [["EXPRESSION", {
146
                      "args" : [["EXPRESSION", {
147
                        "args" : [["CALL", ["SIMPLE_NAME", "B"]]]}
148
                      ]]}
149
                    ]]}
150
                  ]]}
151
                ]}
152
              ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
153
                "lhs" : ["SIMPLE_NAME", "I"], "rhs" : ["EXPRESSION", {
154
                  "args" : [["EXPRESSION", {
155
                    "args" : [["EXPRESSION", {
156
                      "args" : [["EXPRESSION", {
157
                        "args" : [["CONSTANT_VALUE", {
158
                          "value" : ["CST_LITERAL", "0"]}
159
                        ]]}
160
                      ]]}
161
                    ]]}
162
                  ]]}
163
                ]}
164
              ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
165
                "lhs" : ["SIMPLE_NAME", "STARTED"], "rhs" : ["EXPRESSION", {
166
                  "args" : [["EXPRESSION", {
167
                    "args" : [["EXPRESSION", {
168
                      "args" : [["EXPRESSION", {
169
                        "args" : [["CALL", ["SIMPLE_NAME", "TRUE"]]]}
170
                      ]]}
171
                    ]]}
172
                  ]]}
173
                ]}
174
              ]]}
175
            , {
176
              "if_cond" : ["EXPRESSION", {
177
                "args" : [["EXPRESSION", {
178
                  "args" : [["EXPRESSION", {
179
                    "args" : [["EXPRESSION", {
180
                      "args" : [["EXPRESSION", {
181
                        "id" : ">", "args" : [["EXPRESSION", {
182
                          "args" : [["EXPRESSION", {
183
                            "args" : [["EXPRESSION", {
184
                              "args" : [["CALL", ["SIMPLE_NAME", "I"]]]}
185
                            ]]}
186
                          ]]}
187
                        ], ["EXPRESSION", {
188
                          "args" : [["EXPRESSION", {
189
                            "args" : [["EXPRESSION", {
190
                              "args" : [["CONSTANT_VALUE", {
191
                                "value" : ["CST_LITERAL", "15"]}
192
                              ]]}
193
                            ]]}
194
                          ]]}
195
                        ]]}
196
                      ]]}
197
                    ]]}
198
                  ]]}
199
                ]]}
200
              ], "if_block" : [["ASSERTION_STATEMENT", {
201
                "cond" : ["EXPRESSION", {
202
                  "args" : [["EXPRESSION", {
203
                    "args" : [["EXPRESSION", {
204
                      "args" : [["EXPRESSION", {
205
                        "id" : "NOT", "args" : [["EXPRESSION", {
206
                          "id" : "=", "args" : [["EXPRESSION", {
207
                            "args" : [["EXPRESSION", {
208
                              "args" : [["EXPRESSION", {
209
                                "args" : [["CALL", ["SIMPLE_NAME", "I"]]]}
210
                              ]]}
211
                            ]]}
212
                          ], ["EXPRESSION", {
213
                            "args" : [["EXPRESSION", {
214
                              "args" : [["EXPRESSION", {
215
                                "args" : [["CONSTANT_VALUE", {
216
                                  "value" : ["CST_LITERAL", "16"]}
217
                                ]]}
218
                              ]]}
219
                            ]]}
220
                          ]]}
221
                        ]]}
222
                      ]]}
223
                    ]]}
224
                  ]]}
225
                ], "report" : ["EXPRESSION", {
226
                  "args" : [["EXPRESSION", {
227
                    "args" : [["EXPRESSION", {
228
                      "args" : [["EXPRESSION", {
229
                        "args" : [["CONSTANT_VALUE", {
230
                          "value" : ["CST_LITERAL", "\"***PASSED TEST: c09s02b00x00p13n01i01717\""]}
231
                        ]]}
232
                      ]]}
233
                    ]]}
234
                  ]]}
235
                ], "severity" : ["EXPRESSION", {
236
                  "args" : [["EXPRESSION", {
237
                    "args" : [["EXPRESSION", {
238
                      "args" : [["EXPRESSION", {
239
                        "args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]}
240
                      ]]}
241
                    ]]}
242
                  ]]}
243
                ]}
244
              ], ["ASSERTION_STATEMENT", {
245
                "cond" : ["EXPRESSION", {
246
                  "args" : [["EXPRESSION", {
247
                    "args" : [["EXPRESSION", {
248
                      "args" : [["EXPRESSION", {
249
                        "args" : [["EXPRESSION", {
250
                          "id" : "=", "args" : [["EXPRESSION", {
251
                            "args" : [["EXPRESSION", {
252
                              "args" : [["EXPRESSION", {
253
                                "args" : [["CALL", ["SIMPLE_NAME", "I"]]]}
254
                              ]]}
255
                            ]]}
256
                          ], ["EXPRESSION", {
257
                            "args" : [["EXPRESSION", {
258
                              "args" : [["EXPRESSION", {
259
                                "args" : [["CONSTANT_VALUE", {
260
                                  "value" : ["CST_LITERAL", "16"]}
261
                                ]]}
262
                              ]]}
263
                            ]]}
264
                          ]]}
265
                        ]]}
266
                      ]]}
267
                    ]]}
268
                  ]]}
269
                ], "report" : ["EXPRESSION", {
270
                  "args" : [["EXPRESSION", {
271
                    "args" : [["EXPRESSION", {
272
                      "args" : [["EXPRESSION", {
273
                        "args" : [["CONSTANT_VALUE", {
274
                          "value" : ["CST_LITERAL", "\"***FAILED TEST: c09s02b00x00p13n01i01717 - The execution of a process statement consists of the repetitive execution of its sequence of statements.\""]}
275
                        ]]}
276
                      ]]}
277
                    ]]}
278
                  ]]}
279
                ], "severity" : ["EXPRESSION", {
280
                  "args" : [["EXPRESSION", {
281
                    "args" : [["EXPRESSION", {
282
                      "args" : [["EXPRESSION", {
283
                        "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
284
                      ]]}
285
                    ]]}
286
                  ]]}
287
                ]}
288
              ], ["WAIT_STATEMENT"]]}
289
            ]}
290
          ], ["ASSERTION_STATEMENT", {
291
            "cond" : ["EXPRESSION", {
292
              "args" : [["EXPRESSION", {
293
                "args" : [["EXPRESSION", {
294
                  "args" : [["EXPRESSION", {
295
                    "args" : [["EXPRESSION", {
296
                      "id" : "=", "args" : [["EXPRESSION", {
297
                        "args" : [["EXPRESSION", {
298
                          "args" : [["EXPRESSION", {
299
                            "args" : [["CALL", ["SIMPLE_NAME", "OldInt"]]]}
300
                          ]]}
301
                        ]]}
302
                      ], ["EXPRESSION", {
303
                        "args" : [["EXPRESSION", {
304
                          "args" : [["EXPRESSION", {
305
                            "args" : [["CONSTANT_VALUE", {
306
                              "value" : ["CST_LITERAL", "47"]}
307
                            ]]}
308
                          ]]}
309
                        ]]}
310
                      ]]}
311
                    ]]}
312
                  ]]}
313
                ]]}
314
              ]]}
315
            ], "severity" : ["EXPRESSION", {
316
              "args" : [["EXPRESSION", {
317
                "args" : [["EXPRESSION", {
318
                  "args" : [["EXPRESSION", {
319
                    "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
320
                  ]]}
321
                ]]}
322
              ]]}
323
            ]}
324
          ], ["ASSERTION_STATEMENT", {
325
            "cond" : ["EXPRESSION", {
326
              "args" : [["EXPRESSION", {
327
                "args" : [["EXPRESSION", {
328
                  "args" : [["EXPRESSION", {
329
                    "args" : [["EXPRESSION", {
330
                      "id" : "=", "args" : [["EXPRESSION", {
331
                        "args" : [["EXPRESSION", {
332
                          "args" : [["EXPRESSION", {
333
                            "args" : [["CALL", ["SIMPLE_NAME", "OldTime"]]]}
334
                          ]]}
335
                        ]]}
336
                      ], ["EXPRESSION", {
337
                        "args" : [["EXPRESSION", {
338
                          "args" : [["EXPRESSION", {
339
                            "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
340
                          ]]}
341
                        ]]}
342
                      ]]}
343
                    ]]}
344
                  ]]}
345
                ]]}
346
              ]]}
347
            ], "severity" : ["EXPRESSION", {
348
              "args" : [["EXPRESSION", {
349
                "args" : [["EXPRESSION", {
350
                  "args" : [["EXPRESSION", {
351
                    "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
352
                  ]]}
353
                ]]}
354
              ]]}
355
            ]}
356
          ], ["ASSERTION_STATEMENT", {
357
            "cond" : ["EXPRESSION", {
358
              "args" : [["EXPRESSION", {
359
                "args" : [["EXPRESSION", {
360
                  "args" : [["EXPRESSION", {
361
                    "args" : [["EXPRESSION", {
362
                      "id" : "=", "args" : [["EXPRESSION", {
363
                        "args" : [["EXPRESSION", {
364
                          "args" : [["EXPRESSION", {
365
                            "args" : [["CALL", ["SIMPLE_NAME", "OldA"]]]}
366
                          ]]}
367
                        ]]}
368
                      ], ["EXPRESSION", {
369
                        "args" : [["EXPRESSION", {
370
                          "args" : [["EXPRESSION", {
371
                            "args" : [["CALL", ["SIMPLE_NAME", "A"]]]}
372
                          ]]}
373
                        ]]}
374
                      ]]}
375
                    ]]}
376
                  ]]}
377
                ]]}
378
              ]]}
379
            ], "severity" : ["EXPRESSION", {
380
              "args" : [["EXPRESSION", {
381
                "args" : [["EXPRESSION", {
382
                  "args" : [["EXPRESSION", {
383
                    "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
384
                  ]]}
385
                ]]}
386
              ]]}
387
            ]}
388
          ], ["ASSERTION_STATEMENT", {
389
            "cond" : ["EXPRESSION", {
390
              "args" : [["EXPRESSION", {
391
                "args" : [["EXPRESSION", {
392
                  "args" : [["EXPRESSION", {
393
                    "args" : [["EXPRESSION", {
394
                      "id" : "=", "args" : [["EXPRESSION", {
395
                        "args" : [["EXPRESSION", {
396
                          "args" : [["EXPRESSION", {
397
                            "args" : [["CALL", ["SIMPLE_NAME", "OldB"]]]}
398
                          ]]}
399
                        ]]}
400
                      ], ["EXPRESSION", {
401
                        "args" : [["EXPRESSION", {
402
                          "args" : [["EXPRESSION", {
403
                            "args" : [["CALL", ["SIMPLE_NAME", "B"]]]}
404
                          ]]}
405
                        ]]}
406
                      ]]}
407
                    ]]}
408
                  ]]}
409
                ]]}
410
              ]]}
411
            ], "severity" : ["EXPRESSION", {
412
              "args" : [["EXPRESSION", {
413
                "args" : [["EXPRESSION", {
414
                  "args" : [["EXPRESSION", {
415
                    "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
416
                  ]]}
417
                ]]}
418
              ]]}
419
            ]}
420
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
421
            "lhs" : ["SIMPLE_NAME", "I"], "rhs" : ["EXPRESSION", {
422
              "args" : [["EXPRESSION", {
423
                "args" : [["EXPRESSION", {
424
                  "args" : [["EXPRESSION", {
425
                    "id" : "+", "args" : [["EXPRESSION", {
426
                      "args" : [["CALL", ["SIMPLE_NAME", "I"]]]}
427
                    ], ["EXPRESSION", {
428
                      "args" : [["CONSTANT_VALUE", {
429
                        "value" : ["CST_LITERAL", "1"]}
430
                      ]]}
431
                    ]]}
432
                  ]]}
433
                ]]}
434
              ]]}
435
            ]}
436
          ]]}
437
        ], ["PROCESS_STATEMENT", {
438
          "id" : ["IDENTIFIER", "ASSIGN_PROCESS"], "PROCESS_STATEMENT_PART" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
439
            "lhs" : ["SIMPLE_NAME", "A"], "rhs" : [{
440
              "value" : ["EXPRESSION", {
441
                "args" : [["EXPRESSION", {
442
                  "args" : [["EXPRESSION", {
443
                    "args" : [["EXPRESSION", {
444
                      "args" : [["CONSTANT_VALUE", {
445
                        "value" : ["CST_LITERAL", "'1'"]}
446
                      ]]}
447
                    ]]}
448
                  ]]}
449
                ]]}
450
              ]}
451
            ]}
452
          ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
453
            "lhs" : ["SIMPLE_NAME", "B"], "rhs" : [{
454
              "value" : ["EXPRESSION", {
455
                "args" : [["EXPRESSION", {
456
                  "args" : [["EXPRESSION", {
457
                    "args" : [["EXPRESSION", {
458
                      "args" : [["CONSTANT_VALUE", {
459
                        "value" : ["CST_LITERAL", "'1'"]}
460
                      ]]}
461
                    ]]}
462
                  ]]}
463
                ]]}
464
              ]}
465
            ]}
466
          ], ["WAIT_STATEMENT"]]}
467
        ]]}
468
      ]}
469
    ]}
470
  }