Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (12.9 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "c06s05b00x00p05n02i01145ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6
      ]}
7
    , {
8
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9
        "name" : ["IDENTIFIER", "c06s05b00x00p05n02i01145arch"], "entity" : ["IDENTIFIER", "c06s05b00x00p05n02i01145ent"], "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" : ["VARIABLE_DECLARATION", {
46
              "names" : [["IDENTIFIER", "V1"]], "typ" : {
47
                "name" : ["SIMPLE_NAME", "A1"]}
48
              }
49
            ]}
50
          , {
51
            "declaration" : ["VARIABLE_DECLARATION", {
52
              "names" : [["IDENTIFIER", "V4"]], "typ" : {
53
                "name" : ["SIMPLE_NAME", "A1"]}
54
              }
55
            ]}
56
          , {
57
            "declaration" : ["VARIABLE_DECLARATION", {
58
              "names" : [["IDENTIFIER", "V2"], ["IDENTIFIER", "V3"]], "typ" : {
59
                "name" : ["SIMPLE_NAME", "ENUM1"]}
60
              }
61
            ]}
62
          ], "PROCESS_STATEMENT_PART" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
63
            "lhs" : ["SLICE_NAME", {
64
              "id" : ["SIMPLE_NAME", "V1"], "range" : ["RANGE_WITH_DIRECTION", {
65
                "direction" : "to", "from" : ["EXPRESSION", {
66
                  "args" : [["EXPRESSION", {
67
                    "args" : [["CALL", ["SIMPLE_NAME", "V2"]]]}
68
                  ]]}
69
                ], "_to" : ["EXPRESSION", {
70
                  "args" : [["EXPRESSION", {
71
                    "args" : [["CALL", ["SIMPLE_NAME", "V3"]]]}
72
                  ]]}
73
                ]}
74
              ]}
75
            ], "rhs" : ["EXPRESSION", {
76
              "args" : [["EXPRESSION", {
77
                "args" : [["EXPRESSION", {
78
                  "args" : [["EXPRESSION", {
79
                    "args" : [["CALL", ["SLICE_NAME", {
80
                      "id" : ["SIMPLE_NAME", "V4"], "range" : ["RANGE_WITH_DIRECTION", {
81
                        "direction" : "to", "from" : ["EXPRESSION", {
82
                          "args" : [["EXPRESSION", {
83
                            "args" : [["CALL", ["SIMPLE_NAME", "V2"]]]}
84
                          ]]}
85
                        ], "_to" : ["EXPRESSION", {
86
                          "args" : [["EXPRESSION", {
87
                            "args" : [["CALL", ["SIMPLE_NAME", "V3"]]]}
88
                          ]]}
89
                        ]}
90
                      ]}
91
                    ]]]}
92
                  ]]}
93
                ]]}
94
              ]]}
95
            ]}
96
          ], ["ASSERTION_STATEMENT", {
97
            "cond" : ["EXPRESSION", {
98
              "args" : [["EXPRESSION", {
99
                "args" : [["EXPRESSION", {
100
                  "args" : [["EXPRESSION", {
101
                    "id" : "NOT", "args" : [["EXPRESSION", {
102
                      "id" : "=", "args" : [["EXPRESSION", {
103
                        "args" : [["EXPRESSION", {
104
                          "args" : [["EXPRESSION", {
105
                            "args" : [["CALL", ["SIMPLE_NAME", "V1"]]]}
106
                          ]]}
107
                        ]]}
108
                      ], ["EXPRESSION", {
109
                        "args" : [["EXPRESSION", {
110
                          "args" : [["EXPRESSION", {
111
                            "args" : [["AGGREGATE", {
112
                              "elems" : [{
113
                                "expr" : ["EXPRESSION", {
114
                                  "args" : [["EXPRESSION", {
115
                                    "args" : [["EXPRESSION", {
116
                                      "args" : [["EXPRESSION", {
117
                                        "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
118
                                      ]]}
119
                                    ]]}
120
                                  ]]}
121
                                ]}
122
                              , {
123
                                "expr" : ["EXPRESSION", {
124
                                  "args" : [["EXPRESSION", {
125
                                    "args" : [["EXPRESSION", {
126
                                      "args" : [["EXPRESSION", {
127
                                        "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
128
                                      ]]}
129
                                    ]]}
130
                                  ]]}
131
                                ]}
132
                              , {
133
                                "expr" : ["EXPRESSION", {
134
                                  "args" : [["EXPRESSION", {
135
                                    "args" : [["EXPRESSION", {
136
                                      "args" : [["EXPRESSION", {
137
                                        "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
138
                                      ]]}
139
                                    ]]}
140
                                  ]]}
141
                                ]}
142
                              , {
143
                                "expr" : ["EXPRESSION", {
144
                                  "args" : [["EXPRESSION", {
145
                                    "args" : [["EXPRESSION", {
146
                                      "args" : [["EXPRESSION", {
147
                                        "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
148
                                      ]]}
149
                                    ]]}
150
                                  ]]}
151
                                ]}
152
                              , {
153
                                "expr" : ["EXPRESSION", {
154
                                  "args" : [["EXPRESSION", {
155
                                    "args" : [["EXPRESSION", {
156
                                      "args" : [["EXPRESSION", {
157
                                        "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
158
                                      ]]}
159
                                    ]]}
160
                                  ]]}
161
                                ]}
162
                              ]}
163
                            ]]}
164
                          ]]}
165
                        ]]}
166
                      ]]}
167
                    ]]}
168
                  ]]}
169
                ]]}
170
              ]]}
171
            ], "report" : ["EXPRESSION", {
172
              "args" : [["EXPRESSION", {
173
                "args" : [["EXPRESSION", {
174
                  "args" : [["EXPRESSION", {
175
                    "args" : [["CONSTANT_VALUE", {
176
                      "value" : ["CST_LITERAL", "\"***PASSED TEST: c06s05b00x00p05n02i01145\""]}
177
                    ]]}
178
                  ]]}
179
                ]]}
180
              ]]}
181
            ], "severity" : ["EXPRESSION", {
182
              "args" : [["EXPRESSION", {
183
                "args" : [["EXPRESSION", {
184
                  "args" : [["EXPRESSION", {
185
                    "args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]}
186
                  ]]}
187
                ]]}
188
              ]]}
189
            ]}
190
          ], ["ASSERTION_STATEMENT", {
191
            "cond" : ["EXPRESSION", {
192
              "args" : [["EXPRESSION", {
193
                "args" : [["EXPRESSION", {
194
                  "args" : [["EXPRESSION", {
195
                    "args" : [["EXPRESSION", {
196
                      "id" : "=", "args" : [["EXPRESSION", {
197
                        "args" : [["EXPRESSION", {
198
                          "args" : [["EXPRESSION", {
199
                            "args" : [["CALL", ["SIMPLE_NAME", "V1"]]]}
200
                          ]]}
201
                        ]]}
202
                      ], ["EXPRESSION", {
203
                        "args" : [["EXPRESSION", {
204
                          "args" : [["EXPRESSION", {
205
                            "args" : [["AGGREGATE", {
206
                              "elems" : [{
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
                                "expr" : ["EXPRESSION", {
228
                                  "args" : [["EXPRESSION", {
229
                                    "args" : [["EXPRESSION", {
230
                                      "args" : [["EXPRESSION", {
231
                                        "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
232
                                      ]]}
233
                                    ]]}
234
                                  ]]}
235
                                ]}
236
                              , {
237
                                "expr" : ["EXPRESSION", {
238
                                  "args" : [["EXPRESSION", {
239
                                    "args" : [["EXPRESSION", {
240
                                      "args" : [["EXPRESSION", {
241
                                        "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
242
                                      ]]}
243
                                    ]]}
244
                                  ]]}
245
                                ]}
246
                              , {
247
                                "expr" : ["EXPRESSION", {
248
                                  "args" : [["EXPRESSION", {
249
                                    "args" : [["EXPRESSION", {
250
                                      "args" : [["EXPRESSION", {
251
                                        "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
252
                                      ]]}
253
                                    ]]}
254
                                  ]]}
255
                                ]}
256
                              ]}
257
                            ]]}
258
                          ]]}
259
                        ]]}
260
                      ]]}
261
                    ]]}
262
                  ]]}
263
                ]]}
264
              ]]}
265
            ], "report" : ["EXPRESSION", {
266
              "args" : [["EXPRESSION", {
267
                "args" : [["EXPRESSION", {
268
                  "args" : [["EXPRESSION", {
269
                    "args" : [["CONSTANT_VALUE", {
270
                      "value" : ["CST_LITERAL", "\"***FAILED TEST: c06s05b00x00p05n02i01145 - Dynamic expressions are permitted in lower and upper bounds in range specifications in array slices.\""]}
271
                    ]]}
272
                  ]]}
273
                ]]}
274
              ]]}
275
            ], "severity" : ["EXPRESSION", {
276
              "args" : [["EXPRESSION", {
277
                "args" : [["EXPRESSION", {
278
                  "args" : [["EXPRESSION", {
279
                    "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
280
                  ]]}
281
                ]]}
282
              ]]}
283
            ]}
284
          ], ["WAIT_STATEMENT"]]}
285
        ]]}
286
      ]}
287
    ]}
288
  }