Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (18.5 KB)

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