Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (19 KB)

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