Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (17.3 KB)

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