Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (14.8 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "c06s05b00x00p05n03i01147ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6
      ]}
7
    , {
8
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9
        "name" : ["IDENTIFIER", "c06s05b00x00p05n03i01147arch"], "entity" : ["IDENTIFIER", "c06s05b00x00p05n03i01147ent"], "ARCHITECTURE_DECLARATIVE_PART" : [{
10
          "definition" : ["SUBTYPE_DECLARATION", {
11
            "name" : ["IDENTIFIER", "thirteen"], "typ" : {
12
              "name" : ["SIMPLE_NAME", "INTEGER"], "const" : ["RANGE_CONSTRAINT", {
13
                "range" : ["RANGE_WITH_DIRECTION", {
14
                  "direction" : "to", "from" : ["EXPRESSION", {
15
                    "args" : [["EXPRESSION", {
16
                      "args" : [["CONSTANT_VALUE", {
17
                        "value" : ["CST_LITERAL", "0"]}
18
                      ]]}
19
                    ]]}
20
                  ], "_to" : ["EXPRESSION", {
21
                    "args" : [["EXPRESSION", {
22
                      "args" : [["CONSTANT_VALUE", {
23
                        "value" : ["CST_LITERAL", "12"]}
24
                      ]]}
25
                    ]]}
26
                  ]}
27
                ]}
28
              ]}
29
            }
30
          ]}
31
        ], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", {
32
          "id" : ["IDENTIFIER", "TESTING"], "PROCESS_DECLARATIVE_PART" : [{
33
            "declaration" : ["VARIABLE_DECLARATION", {
34
              "names" : [["IDENTIFIER", "null_array"]], "typ" : {
35
                "name" : ["SIMPLE_NAME", "bit_vector"], "const" : ["INDEX_CONSTRAINT", {
36
                  "ranges" : [["RANGE_WITH_DIRECTION", {
37
                    "direction" : "to", "from" : ["EXPRESSION", {
38
                      "args" : [["EXPRESSION", {
39
                        "args" : [["CONSTANT_VALUE", {
40
                          "value" : ["CST_LITERAL", "1"]}
41
                        ]]}
42
                      ]]}
43
                    ], "_to" : ["EXPRESSION", {
44
                      "args" : [["EXPRESSION", {
45
                        "args" : [["CONSTANT_VALUE", {
46
                          "value" : ["CST_LITERAL", "0"]}
47
                        ]]}
48
                      ]]}
49
                    ]}
50
                  ]]}
51
                ]}
52
              }
53
            ]}
54
          , {
55
            "declaration" : ["VARIABLE_DECLARATION", {
56
              "names" : [["IDENTIFIER", "slice"]], "typ" : {
57
                "name" : ["SIMPLE_NAME", "bit_vector"], "const" : ["INDEX_CONSTRAINT", {
58
                  "ranges" : [["SUB_DISCRETE_RANGE", {
59
                    "name" : ["SIMPLE_NAME", "thirteen"]}
60
                  ]]}
61
                ]}
62
              }
63
            ]}
64
          ], "PROCESS_STATEMENT_PART" : [["ASSERTION_STATEMENT", {
65
            "cond" : ["EXPRESSION", {
66
              "args" : [["EXPRESSION", {
67
                "args" : [["EXPRESSION", {
68
                  "args" : [["EXPRESSION", {
69
                    "id" : "NOT", "args" : [["EXPRESSION", {
70
                      "id" : "and", "args" : [["EXPRESSION", {
71
                        "id" : "and", "args" : [["EXPRESSION", {
72
                          "id" : "=", "args" : [["EXPRESSION", {
73
                            "args" : [["EXPRESSION", {
74
                              "args" : [["EXPRESSION", {
75
                                "args" : [["CALL", ["SIMPLE_NAME", "null_array"]]]}
76
                              ]]}
77
                            ]]}
78
                          ], ["EXPRESSION", {
79
                            "args" : [["EXPRESSION", {
80
                              "args" : [["EXPRESSION", {
81
                                "args" : [["CALL", ["SLICE_NAME", {
82
                                  "id" : ["SIMPLE_NAME", "slice"], "range" : ["RANGE_WITH_DIRECTION", {
83
                                    "direction" : "to", "from" : ["EXPRESSION", {
84
                                      "args" : [["EXPRESSION", {
85
                                        "args" : [["CONSTANT_VALUE", {
86
                                          "value" : ["CST_LITERAL", "11"]}
87
                                        ]]}
88
                                      ]]}
89
                                    ], "_to" : ["EXPRESSION", {
90
                                      "args" : [["EXPRESSION", {
91
                                        "args" : [["CONSTANT_VALUE", {
92
                                          "value" : ["CST_LITERAL", "10"]}
93
                                        ]]}
94
                                      ]]}
95
                                    ]}
96
                                  ]}
97
                                ]]]}
98
                              ]]}
99
                            ]]}
100
                          ]]}
101
                        ], ["EXPRESSION", {
102
                          "id" : "=", "args" : [["EXPRESSION", {
103
                            "args" : [["EXPRESSION", {
104
                              "args" : [["EXPRESSION", {
105
                                "args" : [["CALL", ["SIMPLE_NAME", "null_array"]]]}
106
                              ]]}
107
                            ]]}
108
                          ], ["EXPRESSION", {
109
                            "args" : [["EXPRESSION", {
110
                              "args" : [["EXPRESSION", {
111
                                "args" : [["CALL", ["SLICE_NAME", {
112
                                  "id" : ["SIMPLE_NAME", "slice"], "range" : ["RANGE_WITH_DIRECTION", {
113
                                    "direction" : "to", "from" : ["EXPRESSION", {
114
                                      "id" : "-", "args" : [["EXPRESSION", {
115
                                        "args" : [["CONSTANT_VALUE", {
116
                                          "value" : ["CST_LITERAL", "1"]}
117
                                        ]]}
118
                                      ]]}
119
                                    ], "_to" : ["EXPRESSION", {
120
                                      "id" : "-", "args" : [["EXPRESSION", {
121
                                        "args" : [["CONSTANT_VALUE", {
122
                                          "value" : ["CST_LITERAL", "5"]}
123
                                        ]]}
124
                                      ]]}
125
                                    ]}
126
                                  ]}
127
                                ]]]}
128
                              ]]}
129
                            ]]}
130
                          ]]}
131
                        ]]}
132
                      ], ["EXPRESSION", {
133
                        "id" : "=", "args" : [["EXPRESSION", {
134
                          "args" : [["EXPRESSION", {
135
                            "args" : [["EXPRESSION", {
136
                              "args" : [["CALL", ["SIMPLE_NAME", "null_array"]]]}
137
                            ]]}
138
                          ]]}
139
                        ], ["EXPRESSION", {
140
                          "args" : [["EXPRESSION", {
141
                            "args" : [["EXPRESSION", {
142
                              "args" : [["CALL", ["SLICE_NAME", {
143
                                "id" : ["SIMPLE_NAME", "slice"], "range" : ["RANGE_WITH_DIRECTION", {
144
                                  "direction" : "to", "from" : ["EXPRESSION", {
145
                                    "args" : [["EXPRESSION", {
146
                                      "args" : [["CONSTANT_VALUE", {
147
                                        "value" : ["CST_LITERAL", "15"]}
148
                                      ]]}
149
                                    ]]}
150
                                  ], "_to" : ["EXPRESSION", {
151
                                    "args" : [["EXPRESSION", {
152
                                      "args" : [["CONSTANT_VALUE", {
153
                                        "value" : ["CST_LITERAL", "14"]}
154
                                      ]]}
155
                                    ]]}
156
                                  ]}
157
                                ]}
158
                              ]]]}
159
                            ]]}
160
                          ]]}
161
                        ]]}
162
                      ]]}
163
                    ]]}
164
                  ]]}
165
                ]]}
166
              ]]}
167
            ], "report" : ["EXPRESSION", {
168
              "args" : [["EXPRESSION", {
169
                "args" : [["EXPRESSION", {
170
                  "args" : [["EXPRESSION", {
171
                    "args" : [["CONSTANT_VALUE", {
172
                      "value" : ["CST_LITERAL", "\"***PASSED TEST: c06s05b00x00p05n03i01147\""]}
173
                    ]]}
174
                  ]]}
175
                ]]}
176
              ]]}
177
            ], "severity" : ["EXPRESSION", {
178
              "args" : [["EXPRESSION", {
179
                "args" : [["EXPRESSION", {
180
                  "args" : [["EXPRESSION", {
181
                    "args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]}
182
                  ]]}
183
                ]]}
184
              ]]}
185
            ]}
186
          ], ["ASSERTION_STATEMENT", {
187
            "cond" : ["EXPRESSION", {
188
              "args" : [["EXPRESSION", {
189
                "args" : [["EXPRESSION", {
190
                  "args" : [["EXPRESSION", {
191
                    "args" : [["EXPRESSION", {
192
                      "id" : "and", "args" : [["EXPRESSION", {
193
                        "id" : "and", "args" : [["EXPRESSION", {
194
                          "id" : "=", "args" : [["EXPRESSION", {
195
                            "args" : [["EXPRESSION", {
196
                              "args" : [["EXPRESSION", {
197
                                "args" : [["CALL", ["SIMPLE_NAME", "null_array"]]]}
198
                              ]]}
199
                            ]]}
200
                          ], ["EXPRESSION", {
201
                            "args" : [["EXPRESSION", {
202
                              "args" : [["EXPRESSION", {
203
                                "args" : [["CALL", ["SLICE_NAME", {
204
                                  "id" : ["SIMPLE_NAME", "slice"], "range" : ["RANGE_WITH_DIRECTION", {
205
                                    "direction" : "to", "from" : ["EXPRESSION", {
206
                                      "args" : [["EXPRESSION", {
207
                                        "args" : [["CONSTANT_VALUE", {
208
                                          "value" : ["CST_LITERAL", "11"]}
209
                                        ]]}
210
                                      ]]}
211
                                    ], "_to" : ["EXPRESSION", {
212
                                      "args" : [["EXPRESSION", {
213
                                        "args" : [["CONSTANT_VALUE", {
214
                                          "value" : ["CST_LITERAL", "10"]}
215
                                        ]]}
216
                                      ]]}
217
                                    ]}
218
                                  ]}
219
                                ]]]}
220
                              ]]}
221
                            ]]}
222
                          ]]}
223
                        ], ["EXPRESSION", {
224
                          "id" : "=", "args" : [["EXPRESSION", {
225
                            "args" : [["EXPRESSION", {
226
                              "args" : [["EXPRESSION", {
227
                                "args" : [["CALL", ["SIMPLE_NAME", "null_array"]]]}
228
                              ]]}
229
                            ]]}
230
                          ], ["EXPRESSION", {
231
                            "args" : [["EXPRESSION", {
232
                              "args" : [["EXPRESSION", {
233
                                "args" : [["CALL", ["SLICE_NAME", {
234
                                  "id" : ["SIMPLE_NAME", "slice"], "range" : ["RANGE_WITH_DIRECTION", {
235
                                    "direction" : "to", "from" : ["EXPRESSION", {
236
                                      "id" : "-", "args" : [["EXPRESSION", {
237
                                        "args" : [["CONSTANT_VALUE", {
238
                                          "value" : ["CST_LITERAL", "1"]}
239
                                        ]]}
240
                                      ]]}
241
                                    ], "_to" : ["EXPRESSION", {
242
                                      "id" : "-", "args" : [["EXPRESSION", {
243
                                        "args" : [["CONSTANT_VALUE", {
244
                                          "value" : ["CST_LITERAL", "5"]}
245
                                        ]]}
246
                                      ]]}
247
                                    ]}
248
                                  ]}
249
                                ]]]}
250
                              ]]}
251
                            ]]}
252
                          ]]}
253
                        ]]}
254
                      ], ["EXPRESSION", {
255
                        "id" : "=", "args" : [["EXPRESSION", {
256
                          "args" : [["EXPRESSION", {
257
                            "args" : [["EXPRESSION", {
258
                              "args" : [["CALL", ["SIMPLE_NAME", "null_array"]]]}
259
                            ]]}
260
                          ]]}
261
                        ], ["EXPRESSION", {
262
                          "args" : [["EXPRESSION", {
263
                            "args" : [["EXPRESSION", {
264
                              "args" : [["CALL", ["SLICE_NAME", {
265
                                "id" : ["SIMPLE_NAME", "slice"], "range" : ["RANGE_WITH_DIRECTION", {
266
                                  "direction" : "to", "from" : ["EXPRESSION", {
267
                                    "args" : [["EXPRESSION", {
268
                                      "args" : [["CONSTANT_VALUE", {
269
                                        "value" : ["CST_LITERAL", "15"]}
270
                                      ]]}
271
                                    ]]}
272
                                  ], "_to" : ["EXPRESSION", {
273
                                    "args" : [["EXPRESSION", {
274
                                      "args" : [["CONSTANT_VALUE", {
275
                                        "value" : ["CST_LITERAL", "14"]}
276
                                      ]]}
277
                                    ]]}
278
                                  ]}
279
                                ]}
280
                              ]]]}
281
                            ]]}
282
                          ]]}
283
                        ]]}
284
                      ]]}
285
                    ]]}
286
                  ]]}
287
                ]]}
288
              ]]}
289
            ], "report" : ["EXPRESSION", {
290
              "args" : [["EXPRESSION", {
291
                "args" : [["EXPRESSION", {
292
                  "args" : [["EXPRESSION", {
293
                    "args" : [["CONSTANT_VALUE", {
294
                      "value" : ["CST_LITERAL", "\"***FAILED TEST: c06s05b00x00p05n03i01147 - The bounds of a null slice need not belong to the subtype of the index.\""]}
295
                    ]]}
296
                  ]]}
297
                ]]}
298
              ]]}
299
            ], "severity" : ["EXPRESSION", {
300
              "args" : [["EXPRESSION", {
301
                "args" : [["EXPRESSION", {
302
                  "args" : [["EXPRESSION", {
303
                    "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
304
                  ]]}
305
                ]]}
306
              ]]}
307
            ]}
308
          ], ["WAIT_STATEMENT"]]}
309
        ]]}
310
      ]}
311
    ]}
312
  }