Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (20.5 KB)

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