Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (12.2 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "c06s05b00x00p05n02i01140ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6
      ]}
7
    , {
8
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9
        "name" : ["IDENTIFIER", "c06s05b00x00p05n02i01140arch"], "entity" : ["IDENTIFIER", "c06s05b00x00p05n02i01140ent"], "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", ["SLICE_NAME", {
106
                              "id" : ["SIMPLE_NAME", "V1"], "range" : ["RANGE_WITH_DIRECTION", {
107
                                "direction" : "to", "from" : ["EXPRESSION", {
108
                                  "args" : [["EXPRESSION", {
109
                                    "args" : [["CALL", ["SIMPLE_NAME", "M1"]]]}
110
                                  ]]}
111
                                ], "_to" : ["EXPRESSION", {
112
                                  "args" : [["EXPRESSION", {
113
                                    "args" : [["CALL", ["SIMPLE_NAME", "M3"]]]}
114
                                  ]]}
115
                                ]}
116
                              ]}
117
                            ]]]}
118
                          ]]}
119
                        ]]}
120
                      ], ["EXPRESSION", {
121
                        "args" : [["EXPRESSION", {
122
                          "args" : [["EXPRESSION", {
123
                            "args" : [["AGGREGATE", {
124
                              "elems" : [{
125
                                "expr" : ["EXPRESSION", {
126
                                  "args" : [["EXPRESSION", {
127
                                    "args" : [["EXPRESSION", {
128
                                      "args" : [["EXPRESSION", {
129
                                        "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
130
                                      ]]}
131
                                    ]]}
132
                                  ]]}
133
                                ]}
134
                              , {
135
                                "expr" : ["EXPRESSION", {
136
                                  "args" : [["EXPRESSION", {
137
                                    "args" : [["EXPRESSION", {
138
                                      "args" : [["EXPRESSION", {
139
                                        "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
140
                                      ]]}
141
                                    ]]}
142
                                  ]]}
143
                                ]}
144
                              , {
145
                                "expr" : ["EXPRESSION", {
146
                                  "args" : [["EXPRESSION", {
147
                                    "args" : [["EXPRESSION", {
148
                                      "args" : [["EXPRESSION", {
149
                                        "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
150
                                      ]]}
151
                                    ]]}
152
                                  ]]}
153
                                ]}
154
                              ]}
155
                            ]]}
156
                          ]]}
157
                        ]]}
158
                      ]]}
159
                    ]]}
160
                  ]]}
161
                ]]}
162
              ]]}
163
            ], "report" : ["EXPRESSION", {
164
              "args" : [["EXPRESSION", {
165
                "args" : [["EXPRESSION", {
166
                  "args" : [["EXPRESSION", {
167
                    "args" : [["CONSTANT_VALUE", {
168
                      "value" : ["CST_LITERAL", "\"***PASSED TEST: c06s05b00x00p05n02i01140\""]}
169
                    ]]}
170
                  ]]}
171
                ]]}
172
              ]]}
173
            ], "severity" : ["EXPRESSION", {
174
              "args" : [["EXPRESSION", {
175
                "args" : [["EXPRESSION", {
176
                  "args" : [["EXPRESSION", {
177
                    "args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]}
178
                  ]]}
179
                ]]}
180
              ]]}
181
            ]}
182
          ], ["ASSERTION_STATEMENT", {
183
            "cond" : ["EXPRESSION", {
184
              "args" : [["EXPRESSION", {
185
                "args" : [["EXPRESSION", {
186
                  "args" : [["EXPRESSION", {
187
                    "args" : [["EXPRESSION", {
188
                      "id" : "=", "args" : [["EXPRESSION", {
189
                        "args" : [["EXPRESSION", {
190
                          "args" : [["EXPRESSION", {
191
                            "args" : [["CALL", ["SLICE_NAME", {
192
                              "id" : ["SIMPLE_NAME", "V1"], "range" : ["RANGE_WITH_DIRECTION", {
193
                                "direction" : "to", "from" : ["EXPRESSION", {
194
                                  "args" : [["EXPRESSION", {
195
                                    "args" : [["CALL", ["SIMPLE_NAME", "M1"]]]}
196
                                  ]]}
197
                                ], "_to" : ["EXPRESSION", {
198
                                  "args" : [["EXPRESSION", {
199
                                    "args" : [["CALL", ["SIMPLE_NAME", "M3"]]]}
200
                                  ]]}
201
                                ]}
202
                              ]}
203
                            ]]]}
204
                          ]]}
205
                        ]]}
206
                      ], ["EXPRESSION", {
207
                        "args" : [["EXPRESSION", {
208
                          "args" : [["EXPRESSION", {
209
                            "args" : [["AGGREGATE", {
210
                              "elems" : [{
211
                                "expr" : ["EXPRESSION", {
212
                                  "args" : [["EXPRESSION", {
213
                                    "args" : [["EXPRESSION", {
214
                                      "args" : [["EXPRESSION", {
215
                                        "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
216
                                      ]]}
217
                                    ]]}
218
                                  ]]}
219
                                ]}
220
                              , {
221
                                "expr" : ["EXPRESSION", {
222
                                  "args" : [["EXPRESSION", {
223
                                    "args" : [["EXPRESSION", {
224
                                      "args" : [["EXPRESSION", {
225
                                        "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
226
                                      ]]}
227
                                    ]]}
228
                                  ]]}
229
                                ]}
230
                              , {
231
                                "expr" : ["EXPRESSION", {
232
                                  "args" : [["EXPRESSION", {
233
                                    "args" : [["EXPRESSION", {
234
                                      "args" : [["EXPRESSION", {
235
                                        "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
236
                                      ]]}
237
                                    ]]}
238
                                  ]]}
239
                                ]}
240
                              ]}
241
                            ]]}
242
                          ]]}
243
                        ]]}
244
                      ]]}
245
                    ]]}
246
                  ]]}
247
                ]]}
248
              ]]}
249
            ], "report" : ["EXPRESSION", {
250
              "args" : [["EXPRESSION", {
251
                "args" : [["EXPRESSION", {
252
                  "args" : [["EXPRESSION", {
253
                    "args" : [["CONSTANT_VALUE", {
254
                      "value" : ["CST_LITERAL", "\"***FAILED TEST: c06s05b00x00p05n02i01140 - Dynamic expressions are permitted in lower and upper bounds in range specifications in array slices.\""]}
255
                    ]]}
256
                  ]]}
257
                ]]}
258
              ]]}
259
            ], "severity" : ["EXPRESSION", {
260
              "args" : [["EXPRESSION", {
261
                "args" : [["EXPRESSION", {
262
                  "args" : [["EXPRESSION", {
263
                    "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
264
                  ]]}
265
                ]]}
266
              ]]}
267
            ]}
268
          ], ["WAIT_STATEMENT"]]}
269
        ]]}
270
      ]}
271
    ]}
272
  }