Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (20.7 KB)

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