Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (15.2 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "c06s05b00x00p05n02i01139ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6
      ]}
7
    , {
8
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9
        "name" : ["IDENTIFIER", "c06s05b00x00p05n02i01139arch"], "entity" : ["IDENTIFIER", "c06s05b00x00p05n02i01139ent"], "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"]]]}
13
            ]}
14
          , {
15
            "definition" : ["TYPE_DECLARATION", {
16
              "name" : ["IDENTIFIER", "ABASE"], "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", "A1"], "typ" : {
25
                "name" : ["SIMPLE_NAME", "ABASE"], "const" : ["INDEX_CONSTRAINT", {
26
                  "ranges" : [["SUB_DISCRETE_RANGE", {
27
                    "name" : ["SIMPLE_NAME", "ENUM1"], "const" : ["RANGE_CONSTRAINT", {
28
                      "range" : ["RANGE_WITH_DIRECTION", {
29
                        "direction" : "to", "from" : ["EXPRESSION", {
30
                          "args" : [["EXPRESSION", {
31
                            "args" : [["CALL", ["SIMPLE_NAME", "M1"]]]}
32
                          ]]}
33
                        ], "_to" : ["EXPRESSION", {
34
                          "args" : [["EXPRESSION", {
35
                            "args" : [["CALL", ["SIMPLE_NAME", "M5"]]]}
36
                          ]]}
37
                        ]}
38
                      ]}
39
                    ]}
40
                  ]]}
41
                ]}
42
              }
43
            ]}
44
          , {
45
            "declaration" : ["SUBPROGRAM_BODY", {
46
              "spec" : {
47
                "name" : "F", "subprogram_type" : "function", "parameters" : [{
48
                  "names" : [["IDENTIFIER", "i"]], "typ" : {
49
                    "name" : ["SIMPLE_NAME", "integer"]}
50
                  }
51
                ], "typeMark" : ["SIMPLE_NAME", "ENUM1"], "isPure" : false}
52
              , "stmts" : [["RETURN_STATEMENT", {
53
                "expr" : ["EXPRESSION", {
54
                  "args" : [["EXPRESSION", {
55
                    "args" : [["EXPRESSION", {
56
                      "args" : [["EXPRESSION", {
57
                        "args" : [["CALL", ["SIMPLE_NAME", "M2"]]]}
58
                      ]]}
59
                    ]]}
60
                  ]]}
61
                ]}
62
              ]]}
63
            ]}
64
          , {
65
            "declaration" : ["SUBPROGRAM_BODY", {
66
              "spec" : {
67
                "name" : "G", "subprogram_type" : "function", "parameters" : [{
68
                  "names" : [["IDENTIFIER", "j"]], "typ" : {
69
                    "name" : ["SIMPLE_NAME", "integer"]}
70
                  }
71
                ], "typeMark" : ["SIMPLE_NAME", "ENUM1"], "isPure" : false}
72
              , "stmts" : [["RETURN_STATEMENT", {
73
                "expr" : ["EXPRESSION", {
74
                  "args" : [["EXPRESSION", {
75
                    "args" : [["EXPRESSION", {
76
                      "args" : [["EXPRESSION", {
77
                        "args" : [["CALL", ["SIMPLE_NAME", "M4"]]]}
78
                      ]]}
79
                    ]]}
80
                  ]]}
81
                ]}
82
              ]]}
83
            ]}
84
          , {
85
            "declaration" : ["VARIABLE_DECLARATION", {
86
              "names" : [["IDENTIFIER", "ii"]], "typ" : {
87
                "name" : ["SIMPLE_NAME", "integer"]}
88
              }
89
            ]}
90
          , {
91
            "declaration" : ["VARIABLE_DECLARATION", {
92
              "names" : [["IDENTIFIER", "jj"]], "typ" : {
93
                "name" : ["SIMPLE_NAME", "integer"]}
94
              }
95
            ]}
96
          , {
97
            "declaration" : ["VARIABLE_DECLARATION", {
98
              "names" : [["IDENTIFIER", "V1"]], "typ" : {
99
                "name" : ["SIMPLE_NAME", "A1"]}
100
              }
101
            ]}
102
          , {
103
            "declaration" : ["VARIABLE_DECLARATION", {
104
              "names" : [["IDENTIFIER", "V4"]], "typ" : {
105
                "name" : ["SIMPLE_NAME", "A1"]}
106
              }
107
            ]}
108
          , {
109
            "declaration" : ["VARIABLE_DECLARATION", {
110
              "names" : [["IDENTIFIER", "V2"], ["IDENTIFIER", "V3"]], "typ" : {
111
                "name" : ["SIMPLE_NAME", "ENUM1"]}
112
              }
113
            ]}
114
          ], "PROCESS_STATEMENT_PART" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
115
            "lhs" : ["SLICE_NAME", {
116
              "id" : ["SIMPLE_NAME", "V1"], "range" : ["RANGE_WITH_DIRECTION", {
117
                "direction" : "to", "from" : ["EXPRESSION", {
118
                  "args" : [["EXPRESSION", {
119
                    "args" : [["CALL", ["SIMPLE_NAME", "M1"]]]}
120
                  ]]}
121
                ], "_to" : ["EXPRESSION", {
122
                  "args" : [["EXPRESSION", {
123
                    "args" : [["CALL", ["SIMPLE_NAME", "M3"]]]}
124
                  ]]}
125
                ]}
126
              ]}
127
            ], "rhs" : ["EXPRESSION", {
128
              "args" : [["EXPRESSION", {
129
                "args" : [["EXPRESSION", {
130
                  "args" : [["EXPRESSION", {
131
                    "args" : [["CALL", ["SLICE_NAME", {
132
                      "id" : ["SIMPLE_NAME", "V1"], "range" : ["RANGE_WITH_DIRECTION", {
133
                        "direction" : "to", "from" : ["EXPRESSION", {
134
                          "args" : [["EXPRESSION", {
135
                            "args" : [["CALL", ["INDEXED_NAME", {
136
                              "id" : ["SIMPLE_NAME", "F"], "exprs" : [["EXPRESSION", {
137
                                "args" : [["EXPRESSION", {
138
                                  "args" : [["EXPRESSION", {
139
                                    "args" : [["EXPRESSION", {
140
                                      "args" : [["CALL", ["SIMPLE_NAME", "ii"]]]}
141
                                    ]]}
142
                                  ]]}
143
                                ]]}
144
                              ]]}
145
                            ]]]}
146
                          ]]}
147
                        ], "_to" : ["EXPRESSION", {
148
                          "args" : [["EXPRESSION", {
149
                            "args" : [["CALL", ["INDEXED_NAME", {
150
                              "id" : ["SIMPLE_NAME", "G"], "exprs" : [["EXPRESSION", {
151
                                "args" : [["EXPRESSION", {
152
                                  "args" : [["EXPRESSION", {
153
                                    "args" : [["EXPRESSION", {
154
                                      "args" : [["CALL", ["SIMPLE_NAME", "jj"]]]}
155
                                    ]]}
156
                                  ]]}
157
                                ]]}
158
                              ]]}
159
                            ]]]}
160
                          ]]}
161
                        ]}
162
                      ]}
163
                    ]]]}
164
                  ]]}
165
                ]]}
166
              ]]}
167
            ]}
168
          ], ["ASSERTION_STATEMENT", {
169
            "cond" : ["EXPRESSION", {
170
              "args" : [["EXPRESSION", {
171
                "args" : [["EXPRESSION", {
172
                  "args" : [["EXPRESSION", {
173
                    "id" : "NOT", "args" : [["EXPRESSION", {
174
                      "id" : "=", "args" : [["EXPRESSION", {
175
                        "args" : [["EXPRESSION", {
176
                          "args" : [["EXPRESSION", {
177
                            "args" : [["CALL", ["SLICE_NAME", {
178
                              "id" : ["SIMPLE_NAME", "V1"], "range" : ["RANGE_WITH_DIRECTION", {
179
                                "direction" : "to", "from" : ["EXPRESSION", {
180
                                  "args" : [["EXPRESSION", {
181
                                    "args" : [["CALL", ["SIMPLE_NAME", "M1"]]]}
182
                                  ]]}
183
                                ], "_to" : ["EXPRESSION", {
184
                                  "args" : [["EXPRESSION", {
185
                                    "args" : [["CALL", ["SIMPLE_NAME", "M3"]]]}
186
                                  ]]}
187
                                ]}
188
                              ]}
189
                            ]]]}
190
                          ]]}
191
                        ]]}
192
                      ], ["EXPRESSION", {
193
                        "args" : [["EXPRESSION", {
194
                          "args" : [["EXPRESSION", {
195
                            "args" : [["AGGREGATE", {
196
                              "elems" : [{
197
                                "expr" : ["EXPRESSION", {
198
                                  "args" : [["EXPRESSION", {
199
                                    "args" : [["EXPRESSION", {
200
                                      "args" : [["EXPRESSION", {
201
                                        "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
202
                                      ]]}
203
                                    ]]}
204
                                  ]]}
205
                                ]}
206
                              , {
207
                                "expr" : ["EXPRESSION", {
208
                                  "args" : [["EXPRESSION", {
209
                                    "args" : [["EXPRESSION", {
210
                                      "args" : [["EXPRESSION", {
211
                                        "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
212
                                      ]]}
213
                                    ]]}
214
                                  ]]}
215
                                ]}
216
                              , {
217
                                "expr" : ["EXPRESSION", {
218
                                  "args" : [["EXPRESSION", {
219
                                    "args" : [["EXPRESSION", {
220
                                      "args" : [["EXPRESSION", {
221
                                        "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
222
                                      ]]}
223
                                    ]]}
224
                                  ]]}
225
                                ]}
226
                              ]}
227
                            ]]}
228
                          ]]}
229
                        ]]}
230
                      ]]}
231
                    ]]}
232
                  ]]}
233
                ]]}
234
              ]]}
235
            ], "report" : ["EXPRESSION", {
236
              "args" : [["EXPRESSION", {
237
                "args" : [["EXPRESSION", {
238
                  "args" : [["EXPRESSION", {
239
                    "args" : [["CONSTANT_VALUE", {
240
                      "value" : ["CST_LITERAL", "\"***PASSED TEST: c06s05b00x00p05n02i01139\""]}
241
                    ]]}
242
                  ]]}
243
                ]]}
244
              ]]}
245
            ], "severity" : ["EXPRESSION", {
246
              "args" : [["EXPRESSION", {
247
                "args" : [["EXPRESSION", {
248
                  "args" : [["EXPRESSION", {
249
                    "args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]}
250
                  ]]}
251
                ]]}
252
              ]]}
253
            ]}
254
          ], ["ASSERTION_STATEMENT", {
255
            "cond" : ["EXPRESSION", {
256
              "args" : [["EXPRESSION", {
257
                "args" : [["EXPRESSION", {
258
                  "args" : [["EXPRESSION", {
259
                    "args" : [["EXPRESSION", {
260
                      "id" : "=", "args" : [["EXPRESSION", {
261
                        "args" : [["EXPRESSION", {
262
                          "args" : [["EXPRESSION", {
263
                            "args" : [["CALL", ["SLICE_NAME", {
264
                              "id" : ["SIMPLE_NAME", "V1"], "range" : ["RANGE_WITH_DIRECTION", {
265
                                "direction" : "to", "from" : ["EXPRESSION", {
266
                                  "args" : [["EXPRESSION", {
267
                                    "args" : [["CALL", ["SIMPLE_NAME", "M1"]]]}
268
                                  ]]}
269
                                ], "_to" : ["EXPRESSION", {
270
                                  "args" : [["EXPRESSION", {
271
                                    "args" : [["CALL", ["SIMPLE_NAME", "M3"]]]}
272
                                  ]]}
273
                                ]}
274
                              ]}
275
                            ]]]}
276
                          ]]}
277
                        ]]}
278
                      ], ["EXPRESSION", {
279
                        "args" : [["EXPRESSION", {
280
                          "args" : [["EXPRESSION", {
281
                            "args" : [["AGGREGATE", {
282
                              "elems" : [{
283
                                "expr" : ["EXPRESSION", {
284
                                  "args" : [["EXPRESSION", {
285
                                    "args" : [["EXPRESSION", {
286
                                      "args" : [["EXPRESSION", {
287
                                        "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
288
                                      ]]}
289
                                    ]]}
290
                                  ]]}
291
                                ]}
292
                              , {
293
                                "expr" : ["EXPRESSION", {
294
                                  "args" : [["EXPRESSION", {
295
                                    "args" : [["EXPRESSION", {
296
                                      "args" : [["EXPRESSION", {
297
                                        "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
298
                                      ]]}
299
                                    ]]}
300
                                  ]]}
301
                                ]}
302
                              , {
303
                                "expr" : ["EXPRESSION", {
304
                                  "args" : [["EXPRESSION", {
305
                                    "args" : [["EXPRESSION", {
306
                                      "args" : [["EXPRESSION", {
307
                                        "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
308
                                      ]]}
309
                                    ]]}
310
                                  ]]}
311
                                ]}
312
                              ]}
313
                            ]]}
314
                          ]]}
315
                        ]]}
316
                      ]]}
317
                    ]]}
318
                  ]]}
319
                ]]}
320
              ]]}
321
            ], "report" : ["EXPRESSION", {
322
              "args" : [["EXPRESSION", {
323
                "args" : [["EXPRESSION", {
324
                  "args" : [["EXPRESSION", {
325
                    "args" : [["CONSTANT_VALUE", {
326
                      "value" : ["CST_LITERAL", "\"***FAILED TEST: c06s05b00x00p05n02i01139 - Dynamic expressions are permitted in lower and upper bounds in range specifications in array slices.\""]}
327
                    ]]}
328
                  ]]}
329
                ]]}
330
              ]]}
331
            ], "severity" : ["EXPRESSION", {
332
              "args" : [["EXPRESSION", {
333
                "args" : [["EXPRESSION", {
334
                  "args" : [["EXPRESSION", {
335
                    "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
336
                  ]]}
337
                ]]}
338
              ]]}
339
            ]}
340
          ], ["WAIT_STATEMENT"]]}
341
        ]]}
342
      ]}
343
    ]}
344
  }