Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (18.8 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "c06s05b00x00p03n02i01122ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6
      ]}
7
    , {
8
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9
        "name" : ["IDENTIFIER", "c06s05b00x00p03n02i01122arch"], "entity" : ["IDENTIFIER", "c06s05b00x00p03n02i01122ent"], "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
              , "init_val" : ["EXPRESSION", {
93
                "args" : [["EXPRESSION", {
94
                  "args" : [["EXPRESSION", {
95
                    "args" : [["EXPRESSION", {
96
                      "args" : [["CONSTANT_VALUE", {
97
                        "value" : ["CST_LITERAL", "0"]}
98
                      ]]}
99
                    ]]}
100
                  ]]}
101
                ]]}
102
              ]}
103
            ]}
104
          ], "PROCESS_STATEMENT_PART" : [["IF_STATEMENT", {
105
            "if_cases" : [{
106
              "if_cond" : ["EXPRESSION", {
107
                "args" : [["EXPRESSION", {
108
                  "args" : [["EXPRESSION", {
109
                    "args" : [["EXPRESSION", {
110
                      "args" : [["EXPRESSION", {
111
                        "id" : "and", "args" : [["EXPRESSION", {
112
                          "id" : "and", "args" : [["EXPRESSION", {
113
                            "id" : "and", "args" : [["EXPRESSION", {
114
                              "args" : [["EXPRESSION", {
115
                                "args" : [["EXPRESSION", {
116
                                  "args" : [["EXPRESSION", {
117
                                    "args" : [["EXPRESSION", {
118
                                      "id" : "=", "args" : [["EXPRESSION", {
119
                                        "args" : [["EXPRESSION", {
120
                                          "args" : [["EXPRESSION", {
121
                                            "args" : [["CALL", ["SIMPLE_NAME", "V11"]]]}
122
                                          ]]}
123
                                        ]]}
124
                                      ], ["EXPRESSION", {
125
                                        "args" : [["EXPRESSION", {
126
                                          "args" : [["EXPRESSION", {
127
                                            "args" : [["CALL", ["SIMPLE_NAME", "V12"]]]}
128
                                          ]]}
129
                                        ]]}
130
                                      ]]}
131
                                    ]]}
132
                                  ]]}
133
                                ]]}
134
                              ]]}
135
                            ], ["EXPRESSION", {
136
                              "args" : [["EXPRESSION", {
137
                                "args" : [["EXPRESSION", {
138
                                  "args" : [["EXPRESSION", {
139
                                    "args" : [["EXPRESSION", {
140
                                      "id" : "=", "args" : [["EXPRESSION", {
141
                                        "args" : [["EXPRESSION", {
142
                                          "args" : [["EXPRESSION", {
143
                                            "args" : [["CALL", ["SLICE_NAME", {
144
                                              "id" : ["SIMPLE_NAME", "V11"], "range" : ["RANGE_WITH_DIRECTION", {
145
                                                "direction" : "to", "from" : ["EXPRESSION", {
146
                                                  "args" : [["EXPRESSION", {
147
                                                    "args" : [["CALL", ["SIMPLE_NAME", "M2"]]]}
148
                                                  ]]}
149
                                                ], "_to" : ["EXPRESSION", {
150
                                                  "args" : [["EXPRESSION", {
151
                                                    "args" : [["CALL", ["SIMPLE_NAME", "M3"]]]}
152
                                                  ]]}
153
                                                ]}
154
                                              ]}
155
                                            ]]]}
156
                                          ]]}
157
                                        ]]}
158
                                      ], ["EXPRESSION", {
159
                                        "args" : [["EXPRESSION", {
160
                                          "args" : [["EXPRESSION", {
161
                                            "args" : [["CALL", ["SLICE_NAME", {
162
                                              "id" : ["SIMPLE_NAME", "V12"], "range" : ["RANGE_WITH_DIRECTION", {
163
                                                "direction" : "to", "from" : ["EXPRESSION", {
164
                                                  "args" : [["EXPRESSION", {
165
                                                    "args" : [["CALL", ["SIMPLE_NAME", "M4"]]]}
166
                                                  ]]}
167
                                                ], "_to" : ["EXPRESSION", {
168
                                                  "args" : [["EXPRESSION", {
169
                                                    "args" : [["CALL", ["SIMPLE_NAME", "M5"]]]}
170
                                                  ]]}
171
                                                ]}
172
                                              ]}
173
                                            ]]]}
174
                                          ]]}
175
                                        ]]}
176
                                      ]]}
177
                                    ]]}
178
                                  ]]}
179
                                ]]}
180
                              ]]}
181
                            ]]}
182
                          ], ["EXPRESSION", {
183
                            "args" : [["EXPRESSION", {
184
                              "args" : [["EXPRESSION", {
185
                                "args" : [["EXPRESSION", {
186
                                  "args" : [["EXPRESSION", {
187
                                    "id" : "=", "args" : [["EXPRESSION", {
188
                                      "args" : [["EXPRESSION", {
189
                                        "args" : [["EXPRESSION", {
190
                                          "args" : [["CALL", ["SLICE_NAME", {
191
                                            "id" : ["SIMPLE_NAME", "V1"], "range" : ["RANGE_WITH_DIRECTION", {
192
                                              "direction" : "to", "from" : ["EXPRESSION", {
193
                                                "args" : [["EXPRESSION", {
194
                                                  "args" : [["CALL", ["SIMPLE_NAME", "M1"]]]}
195
                                                ]]}
196
                                              ], "_to" : ["EXPRESSION", {
197
                                                "args" : [["EXPRESSION", {
198
                                                  "args" : [["CALL", ["SIMPLE_NAME", "M3"]]]}
199
                                                ]]}
200
                                              ]}
201
                                            ]}
202
                                          ]]]}
203
                                        ]]}
204
                                      ]]}
205
                                    ], ["EXPRESSION", {
206
                                      "args" : [["EXPRESSION", {
207
                                        "args" : [["EXPRESSION", {
208
                                          "args" : [["CALL", ["SLICE_NAME", {
209
                                            "id" : ["SIMPLE_NAME", "V11"], "range" : ["RANGE_WITH_DIRECTION", {
210
                                              "direction" : "to", "from" : ["EXPRESSION", {
211
                                                "args" : [["EXPRESSION", {
212
                                                  "args" : [["CALL", ["SIMPLE_NAME", "M1"]]]}
213
                                                ]]}
214
                                              ], "_to" : ["EXPRESSION", {
215
                                                "args" : [["EXPRESSION", {
216
                                                  "args" : [["CALL", ["SIMPLE_NAME", "M3"]]]}
217
                                                ]]}
218
                                              ]}
219
                                            ]}
220
                                          ]]]}
221
                                        ]]}
222
                                      ]]}
223
                                    ]]}
224
                                  ]]}
225
                                ]]}
226
                              ]]}
227
                            ]]}
228
                          ]]}
229
                        ], ["EXPRESSION", {
230
                          "args" : [["EXPRESSION", {
231
                            "args" : [["EXPRESSION", {
232
                              "args" : [["EXPRESSION", {
233
                                "args" : [["EXPRESSION", {
234
                                  "id" : "=", "args" : [["EXPRESSION", {
235
                                    "args" : [["EXPRESSION", {
236
                                      "args" : [["EXPRESSION", {
237
                                        "args" : [["CALL", ["SLICE_NAME", {
238
                                          "id" : ["SIMPLE_NAME", "V1"], "range" : ["RANGE_WITH_DIRECTION", {
239
                                            "direction" : "to", "from" : ["EXPRESSION", {
240
                                              "args" : [["EXPRESSION", {
241
                                                "args" : [["CALL", ["SIMPLE_NAME", "M2"]]]}
242
                                              ]]}
243
                                            ], "_to" : ["EXPRESSION", {
244
                                              "args" : [["EXPRESSION", {
245
                                                "args" : [["CALL", ["SIMPLE_NAME", "M3"]]]}
246
                                              ]]}
247
                                            ]}
248
                                          ]}
249
                                        ]]]}
250
                                      ]]}
251
                                    ]]}
252
                                  ], ["EXPRESSION", {
253
                                    "args" : [["EXPRESSION", {
254
                                      "args" : [["EXPRESSION", {
255
                                        "args" : [["CALL", ["SLICE_NAME", {
256
                                          "id" : ["SIMPLE_NAME", "V12"], "range" : ["RANGE_WITH_DIRECTION", {
257
                                            "direction" : "to", "from" : ["EXPRESSION", {
258
                                              "args" : [["EXPRESSION", {
259
                                                "args" : [["CALL", ["SIMPLE_NAME", "M4"]]]}
260
                                              ]]}
261
                                            ], "_to" : ["EXPRESSION", {
262
                                              "args" : [["EXPRESSION", {
263
                                                "args" : [["CALL", ["SIMPLE_NAME", "M5"]]]}
264
                                              ]]}
265
                                            ]}
266
                                          ]}
267
                                        ]]]}
268
                                      ]]}
269
                                    ]]}
270
                                  ]]}
271
                                ]]}
272
                              ]]}
273
                            ]]}
274
                          ]]}
275
                        ]]}
276
                      ]]}
277
                    ]]}
278
                  ]]}
279
                ]]}
280
              ], "if_block" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
281
                "lhs" : ["SIMPLE_NAME", "k"], "rhs" : ["EXPRESSION", {
282
                  "args" : [["EXPRESSION", {
283
                    "args" : [["EXPRESSION", {
284
                      "args" : [["EXPRESSION", {
285
                        "args" : [["CONSTANT_VALUE", {
286
                          "value" : ["CST_LITERAL", "5"]}
287
                        ]]}
288
                      ]]}
289
                    ]]}
290
                  ]]}
291
                ]}
292
              ]]}
293
            ]}
294
          ], ["ASSERTION_STATEMENT", {
295
            "cond" : ["EXPRESSION", {
296
              "args" : [["EXPRESSION", {
297
                "args" : [["EXPRESSION", {
298
                  "args" : [["EXPRESSION", {
299
                    "id" : "NOT", "args" : [["EXPRESSION", {
300
                      "id" : "=", "args" : [["EXPRESSION", {
301
                        "args" : [["EXPRESSION", {
302
                          "args" : [["EXPRESSION", {
303
                            "args" : [["CALL", ["SIMPLE_NAME", "k"]]]}
304
                          ]]}
305
                        ]]}
306
                      ], ["EXPRESSION", {
307
                        "args" : [["EXPRESSION", {
308
                          "args" : [["EXPRESSION", {
309
                            "args" : [["CONSTANT_VALUE", {
310
                              "value" : ["CST_LITERAL", "5"]}
311
                            ]]}
312
                          ]]}
313
                        ]]}
314
                      ]]}
315
                    ]]}
316
                  ]]}
317
                ]]}
318
              ]]}
319
            ], "report" : ["EXPRESSION", {
320
              "args" : [["EXPRESSION", {
321
                "args" : [["EXPRESSION", {
322
                  "args" : [["EXPRESSION", {
323
                    "args" : [["CONSTANT_VALUE", {
324
                      "value" : ["CST_LITERAL", "\"***PASSED TEST: c06s05b00x00p03n02i01122\""]}
325
                    ]]}
326
                  ]]}
327
                ]]}
328
              ]]}
329
            ], "severity" : ["EXPRESSION", {
330
              "args" : [["EXPRESSION", {
331
                "args" : [["EXPRESSION", {
332
                  "args" : [["EXPRESSION", {
333
                    "args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]}
334
                  ]]}
335
                ]]}
336
              ]]}
337
            ]}
338
          ], ["ASSERTION_STATEMENT", {
339
            "cond" : ["EXPRESSION", {
340
              "args" : [["EXPRESSION", {
341
                "args" : [["EXPRESSION", {
342
                  "args" : [["EXPRESSION", {
343
                    "args" : [["EXPRESSION", {
344
                      "id" : "=", "args" : [["EXPRESSION", {
345
                        "args" : [["EXPRESSION", {
346
                          "args" : [["EXPRESSION", {
347
                            "args" : [["CALL", ["SIMPLE_NAME", "k"]]]}
348
                          ]]}
349
                        ]]}
350
                      ], ["EXPRESSION", {
351
                        "args" : [["EXPRESSION", {
352
                          "args" : [["EXPRESSION", {
353
                            "args" : [["CONSTANT_VALUE", {
354
                              "value" : ["CST_LITERAL", "5"]}
355
                            ]]}
356
                          ]]}
357
                        ]]}
358
                      ]]}
359
                    ]]}
360
                  ]]}
361
                ]]}
362
              ]]}
363
            ], "report" : ["EXPRESSION", {
364
              "args" : [["EXPRESSION", {
365
                "args" : [["EXPRESSION", {
366
                  "args" : [["EXPRESSION", {
367
                    "args" : [["CONSTANT_VALUE", {
368
                      "value" : ["CST_LITERAL", "\"***FAILED TEST: c06s05b00x00p03n02i01122 - The type of the slice is the same as the base type of the one-dimensional array.\""]}
369
                    ]]}
370
                  ]]}
371
                ]]}
372
              ]]}
373
            ], "severity" : ["EXPRESSION", {
374
              "args" : [["EXPRESSION", {
375
                "args" : [["EXPRESSION", {
376
                  "args" : [["EXPRESSION", {
377
                    "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
378
                  ]]}
379
                ]]}
380
              ]]}
381
            ]}
382
          ], ["WAIT_STATEMENT"]]}
383
        ]]}
384
      ]}
385
    ]}
386
  }