Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (13.9 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "c06s05b00x00p03n01i01117ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6
      ]}
7
    , {
8
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9
        "name" : ["IDENTIFIER", "c06s05b00x00p03n01i01117arch"], "entity" : ["IDENTIFIER", "c06s05b00x00p03n01i01117ent"], "ARCHITECTURE_DECLARATIVE_PART" : [{
10
          "definition" : ["SUBTYPE_DECLARATION", {
11
            "name" : ["IDENTIFIER", "FIVE"], "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", "1"]}
18
                      ]]}
19
                    ]]}
20
                  ], "_to" : ["EXPRESSION", {
21
                    "args" : [["EXPRESSION", {
22
                      "args" : [["CONSTANT_VALUE", {
23
                        "value" : ["CST_LITERAL", "5"]}
24
                      ]]}
25
                    ]]}
26
                  ]}
27
                ]}
28
              ]}
29
            }
30
          ]}
31
        , {
32
          "definition" : ["TYPE_DECLARATION", {
33
            "name" : ["IDENTIFIER", "ABASE"], "definition" : ["ARRAY_TYPE_DEFINITION", {
34
              "indexes" : [["SIMPLE_NAME", "FIVE"]], "definition" : {
35
                "name" : ["SIMPLE_NAME", "BOOLEAN"]}
36
              }
37
            ]}
38
          ]}
39
        , {
40
          "definition" : ["SUBTYPE_DECLARATION", {
41
            "name" : ["IDENTIFIER", "A1"], "typ" : {
42
              "name" : ["SIMPLE_NAME", "ABASE"], "const" : ["INDEX_CONSTRAINT", {
43
                "ranges" : [["SUB_DISCRETE_RANGE", {
44
                  "name" : ["SIMPLE_NAME", "FIVE"]}
45
                ]]}
46
              ]}
47
            }
48
          ]}
49
        , {
50
          "declaration" : ["SUBPROGRAM_BODY", {
51
            "spec" : {
52
              "name" : "F", "subprogram_type" : "function", "parameters" : [{
53
                "names" : [["IDENTIFIER", "i"]], "typ" : {
54
                  "name" : ["SIMPLE_NAME", "integer"]}
55
                }
56
              ], "typeMark" : ["SIMPLE_NAME", "A1"], "isPure" : false}
57
            , "decl_part" : [["VARIABLE_DECLARATION", {
58
              "names" : [["IDENTIFIER", "ARR"]], "typ" : {
59
                "name" : ["SIMPLE_NAME", "A1"]}
60
              }
61
            ]], "stmts" : [["RETURN_STATEMENT", {
62
              "expr" : ["EXPRESSION", {
63
                "args" : [["EXPRESSION", {
64
                  "args" : [["EXPRESSION", {
65
                    "args" : [["EXPRESSION", {
66
                      "args" : [["CALL", ["SIMPLE_NAME", "ARR"]]]}
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", "V1"]], "typ" : {
77
                "name" : ["SIMPLE_NAME", "A1"]}
78
              }
79
            ]}
80
          ], "PROCESS_STATEMENT_PART" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
81
            "lhs" : ["SLICE_NAME", {
82
              "id" : ["SIMPLE_NAME", "V1"], "range" : ["RANGE_WITH_DIRECTION", {
83
                "direction" : "to", "from" : ["EXPRESSION", {
84
                  "args" : [["EXPRESSION", {
85
                    "args" : [["CONSTANT_VALUE", {
86
                      "value" : ["CST_LITERAL", "2"]}
87
                    ]]}
88
                  ]]}
89
                ], "_to" : ["EXPRESSION", {
90
                  "args" : [["EXPRESSION", {
91
                    "args" : [["CONSTANT_VALUE", {
92
                      "value" : ["CST_LITERAL", "4"]}
93
                    ]]}
94
                  ]]}
95
                ]}
96
              ]}
97
            ], "rhs" : ["EXPRESSION", {
98
              "args" : [["EXPRESSION", {
99
                "args" : [["EXPRESSION", {
100
                  "args" : [["EXPRESSION", {
101
                    "args" : [["CALL", ["SLICE_NAME", {
102
                      "id" : ["FUNCTION_CALL", {
103
                        "id" : ["SIMPLE_NAME", "F"], "assoc_list" : [{
104
                          "actual_expr" : ["EXPRESSION", {
105
                            "args" : [["EXPRESSION", {
106
                              "args" : [["EXPRESSION", {
107
                                "args" : [["EXPRESSION", {
108
                                  "args" : [["CONSTANT_VALUE", {
109
                                    "value" : ["CST_LITERAL", "5"]}
110
                                  ]]}
111
                                ]]}
112
                              ]]}
113
                            ]]}
114
                          ]}
115
                        ]}
116
                      ], "range" : ["RANGE_WITH_DIRECTION", {
117
                        "direction" : "to", "from" : ["EXPRESSION", {
118
                          "args" : [["EXPRESSION", {
119
                            "args" : [["CONSTANT_VALUE", {
120
                              "value" : ["CST_LITERAL", "2"]}
121
                            ]]}
122
                          ]]}
123
                        ], "_to" : ["EXPRESSION", {
124
                          "args" : [["EXPRESSION", {
125
                            "args" : [["CONSTANT_VALUE", {
126
                              "value" : ["CST_LITERAL", "4"]}
127
                            ]]}
128
                          ]]}
129
                        ]}
130
                      ]}
131
                    ]]]}
132
                  ]]}
133
                ]]}
134
              ]]}
135
            ]}
136
          ], ["ASSERTION_STATEMENT", {
137
            "cond" : ["EXPRESSION", {
138
              "args" : [["EXPRESSION", {
139
                "args" : [["EXPRESSION", {
140
                  "args" : [["EXPRESSION", {
141
                    "id" : "NOT", "args" : [["EXPRESSION", {
142
                      "id" : "=", "args" : [["EXPRESSION", {
143
                        "args" : [["EXPRESSION", {
144
                          "args" : [["EXPRESSION", {
145
                            "args" : [["CALL", ["SLICE_NAME", {
146
                              "id" : ["SIMPLE_NAME", "V1"], "range" : ["RANGE_WITH_DIRECTION", {
147
                                "direction" : "to", "from" : ["EXPRESSION", {
148
                                  "args" : [["EXPRESSION", {
149
                                    "args" : [["CONSTANT_VALUE", {
150
                                      "value" : ["CST_LITERAL", "2"]}
151
                                    ]]}
152
                                  ]]}
153
                                ], "_to" : ["EXPRESSION", {
154
                                  "args" : [["EXPRESSION", {
155
                                    "args" : [["CONSTANT_VALUE", {
156
                                      "value" : ["CST_LITERAL", "4"]}
157
                                    ]]}
158
                                  ]]}
159
                                ]}
160
                              ]}
161
                            ]]]}
162
                          ]]}
163
                        ]]}
164
                      ], ["EXPRESSION", {
165
                        "args" : [["EXPRESSION", {
166
                          "args" : [["EXPRESSION", {
167
                            "args" : [["AGGREGATE", {
168
                              "elems" : [{
169
                                "expr" : ["EXPRESSION", {
170
                                  "args" : [["EXPRESSION", {
171
                                    "args" : [["EXPRESSION", {
172
                                      "args" : [["EXPRESSION", {
173
                                        "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
174
                                      ]]}
175
                                    ]]}
176
                                  ]]}
177
                                ]}
178
                              , {
179
                                "expr" : ["EXPRESSION", {
180
                                  "args" : [["EXPRESSION", {
181
                                    "args" : [["EXPRESSION", {
182
                                      "args" : [["EXPRESSION", {
183
                                        "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
184
                                      ]]}
185
                                    ]]}
186
                                  ]]}
187
                                ]}
188
                              , {
189
                                "expr" : ["EXPRESSION", {
190
                                  "args" : [["EXPRESSION", {
191
                                    "args" : [["EXPRESSION", {
192
                                      "args" : [["EXPRESSION", {
193
                                        "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
194
                                      ]]}
195
                                    ]]}
196
                                  ]]}
197
                                ]}
198
                              ]}
199
                            ]]}
200
                          ]]}
201
                        ]]}
202
                      ]]}
203
                    ]]}
204
                  ]]}
205
                ]]}
206
              ]]}
207
            ], "report" : ["EXPRESSION", {
208
              "args" : [["EXPRESSION", {
209
                "args" : [["EXPRESSION", {
210
                  "args" : [["EXPRESSION", {
211
                    "args" : [["CONSTANT_VALUE", {
212
                      "value" : ["CST_LITERAL", "\"***PASSED TEST: c06s05b00x00p03n01i01117\""]}
213
                    ]]}
214
                  ]]}
215
                ]]}
216
              ]]}
217
            ], "severity" : ["EXPRESSION", {
218
              "args" : [["EXPRESSION", {
219
                "args" : [["EXPRESSION", {
220
                  "args" : [["EXPRESSION", {
221
                    "args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]}
222
                  ]]}
223
                ]]}
224
              ]]}
225
            ]}
226
          ], ["ASSERTION_STATEMENT", {
227
            "cond" : ["EXPRESSION", {
228
              "args" : [["EXPRESSION", {
229
                "args" : [["EXPRESSION", {
230
                  "args" : [["EXPRESSION", {
231
                    "args" : [["EXPRESSION", {
232
                      "id" : "=", "args" : [["EXPRESSION", {
233
                        "args" : [["EXPRESSION", {
234
                          "args" : [["EXPRESSION", {
235
                            "args" : [["CALL", ["SLICE_NAME", {
236
                              "id" : ["SIMPLE_NAME", "V1"], "range" : ["RANGE_WITH_DIRECTION", {
237
                                "direction" : "to", "from" : ["EXPRESSION", {
238
                                  "args" : [["EXPRESSION", {
239
                                    "args" : [["CONSTANT_VALUE", {
240
                                      "value" : ["CST_LITERAL", "2"]}
241
                                    ]]}
242
                                  ]]}
243
                                ], "_to" : ["EXPRESSION", {
244
                                  "args" : [["EXPRESSION", {
245
                                    "args" : [["CONSTANT_VALUE", {
246
                                      "value" : ["CST_LITERAL", "4"]}
247
                                    ]]}
248
                                  ]]}
249
                                ]}
250
                              ]}
251
                            ]]]}
252
                          ]]}
253
                        ]]}
254
                      ], ["EXPRESSION", {
255
                        "args" : [["EXPRESSION", {
256
                          "args" : [["EXPRESSION", {
257
                            "args" : [["AGGREGATE", {
258
                              "elems" : [{
259
                                "expr" : ["EXPRESSION", {
260
                                  "args" : [["EXPRESSION", {
261
                                    "args" : [["EXPRESSION", {
262
                                      "args" : [["EXPRESSION", {
263
                                        "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
264
                                      ]]}
265
                                    ]]}
266
                                  ]]}
267
                                ]}
268
                              , {
269
                                "expr" : ["EXPRESSION", {
270
                                  "args" : [["EXPRESSION", {
271
                                    "args" : [["EXPRESSION", {
272
                                      "args" : [["EXPRESSION", {
273
                                        "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
274
                                      ]]}
275
                                    ]]}
276
                                  ]]}
277
                                ]}
278
                              , {
279
                                "expr" : ["EXPRESSION", {
280
                                  "args" : [["EXPRESSION", {
281
                                    "args" : [["EXPRESSION", {
282
                                      "args" : [["EXPRESSION", {
283
                                        "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
284
                                      ]]}
285
                                    ]]}
286
                                  ]]}
287
                                ]}
288
                              ]}
289
                            ]]}
290
                          ]]}
291
                        ]]}
292
                      ]]}
293
                    ]]}
294
                  ]]}
295
                ]]}
296
              ]]}
297
            ], "report" : ["EXPRESSION", {
298
              "args" : [["EXPRESSION", {
299
                "args" : [["EXPRESSION", {
300
                  "args" : [["EXPRESSION", {
301
                    "args" : [["CONSTANT_VALUE", {
302
                      "value" : ["CST_LITERAL", "\"***FAILED TEST: c06s05b00x00p03n01i01117 - Prefix of a slice number must be a one-dimensional array type.\""]}
303
                    ]]}
304
                  ]]}
305
                ]]}
306
              ]]}
307
            ], "severity" : ["EXPRESSION", {
308
              "args" : [["EXPRESSION", {
309
                "args" : [["EXPRESSION", {
310
                  "args" : [["EXPRESSION", {
311
                    "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
312
                  ]]}
313
                ]]}
314
              ]]}
315
            ]}
316
          ], ["WAIT_STATEMENT"]]}
317
        ]]}
318
      ]}
319
    ]}
320
  }