Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (20.3 KB)

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