Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (18.8 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "c06s04b00x00p03n02i01075ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6
      ]}
7
    , {
8
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9
        "name" : ["IDENTIFIER", "c06s04b00x00p03n02i01075arch"], "entity" : ["IDENTIFIER", "c06s04b00x00p03n02i01075ent"], "ARCHITECTURE_DECLARATIVE_PART" : [], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", {
10
          "id" : ["IDENTIFIER", "TESTING"], "PROCESS_DECLARATIVE_PART" : [{
11
            "definition" : ["TYPE_DECLARATION", {
12
              "name" : ["IDENTIFIER", "CSTRING"], "definition" : ["ARRAY_TYPE_DEFINITION", {
13
                "indexes" : [["SIMPLE_NAME", "CHARACTER"]], "definition" : {
14
                  "name" : ["SIMPLE_NAME", "CHARACTER"]}
15
                }
16
              ]}
17
            ]}
18
          , {
19
            "declaration" : ["CONSTANT_DECLARATION", {
20
              "names" : [["IDENTIFIER", "C1"]], "typ" : {
21
                "name" : ["SIMPLE_NAME", "CSTRING"], "const" : ["INDEX_CONSTRAINT", {
22
                  "ranges" : [["RANGE_WITH_DIRECTION", {
23
                    "direction" : "to", "from" : ["EXPRESSION", {
24
                      "args" : [["EXPRESSION", {
25
                        "args" : [["CONSTANT_VALUE", {
26
                          "value" : ["CST_LITERAL", "'A'"]}
27
                        ]]}
28
                      ]]}
29
                    ], "_to" : ["EXPRESSION", {
30
                      "args" : [["EXPRESSION", {
31
                        "args" : [["CONSTANT_VALUE", {
32
                          "value" : ["CST_LITERAL", "'H'"]}
33
                        ]]}
34
                      ]]}
35
                    ]}
36
                  ]]}
37
                ]}
38
              , "init_val" : ["EXPRESSION", {
39
                "args" : [["EXPRESSION", {
40
                  "args" : [["EXPRESSION", {
41
                    "args" : [["EXPRESSION", {
42
                      "args" : [["CONSTANT_VALUE", {
43
                        "value" : ["CST_LITERAL", "\"BCDEFGHA\""]}
44
                      ]]}
45
                    ]]}
46
                  ]]}
47
                ]]}
48
              ]}
49
            ]}
50
          , {
51
            "declaration" : ["CONSTANT_DECLARATION", {
52
              "names" : [["IDENTIFIER", "C2"]], "typ" : {
53
                "name" : ["SIMPLE_NAME", "CSTRING"], "const" : ["INDEX_CONSTRAINT", {
54
                  "ranges" : [["RANGE_WITH_DIRECTION", {
55
                    "direction" : "to", "from" : ["EXPRESSION", {
56
                      "args" : [["EXPRESSION", {
57
                        "args" : [["CONSTANT_VALUE", {
58
                          "value" : ["CST_LITERAL", "'A'"]}
59
                        ]]}
60
                      ]]}
61
                    ], "_to" : ["EXPRESSION", {
62
                      "args" : [["EXPRESSION", {
63
                        "args" : [["CONSTANT_VALUE", {
64
                          "value" : ["CST_LITERAL", "'H'"]}
65
                        ]]}
66
                      ]]}
67
                    ]}
68
                  ]]}
69
                ]}
70
              , "init_val" : ["EXPRESSION", {
71
                "args" : [["EXPRESSION", {
72
                  "args" : [["EXPRESSION", {
73
                    "args" : [["EXPRESSION", {
74
                      "args" : [["CONSTANT_VALUE", {
75
                        "value" : ["CST_LITERAL", "\"CDEFGHAB\""]}
76
                      ]]}
77
                    ]]}
78
                  ]]}
79
                ]]}
80
              ]}
81
            ]}
82
          , {
83
            "declaration" : ["CONSTANT_DECLARATION", {
84
              "names" : [["IDENTIFIER", "C3"]], "typ" : {
85
                "name" : ["SIMPLE_NAME", "CSTRING"], "const" : ["INDEX_CONSTRAINT", {
86
                  "ranges" : [["RANGE_WITH_DIRECTION", {
87
                    "direction" : "to", "from" : ["EXPRESSION", {
88
                      "args" : [["EXPRESSION", {
89
                        "args" : [["CONSTANT_VALUE", {
90
                          "value" : ["CST_LITERAL", "'A'"]}
91
                        ]]}
92
                      ]]}
93
                    ], "_to" : ["EXPRESSION", {
94
                      "args" : [["EXPRESSION", {
95
                        "args" : [["CONSTANT_VALUE", {
96
                          "value" : ["CST_LITERAL", "'H'"]}
97
                        ]]}
98
                      ]]}
99
                    ]}
100
                  ]]}
101
                ]}
102
              , "init_val" : ["EXPRESSION", {
103
                "args" : [["EXPRESSION", {
104
                  "args" : [["EXPRESSION", {
105
                    "args" : [["EXPRESSION", {
106
                      "args" : [["CONSTANT_VALUE", {
107
                        "value" : ["CST_LITERAL", "\"DEFGHABC\""]}
108
                      ]]}
109
                    ]]}
110
                  ]]}
111
                ]]}
112
              ]}
113
            ]}
114
          , {
115
            "declaration" : ["VARIABLE_DECLARATION", {
116
              "names" : [["IDENTIFIER", "V1"]], "typ" : {
117
                "name" : ["SIMPLE_NAME", "CHARACTER"]}
118
              }
119
            ]}
120
          , {
121
            "declaration" : ["VARIABLE_DECLARATION", {
122
              "names" : [["IDENTIFIER", "V2"]], "typ" : {
123
                "name" : ["SIMPLE_NAME", "CHARACTER"]}
124
              }
125
            ]}
126
          , {
127
            "declaration" : ["VARIABLE_DECLARATION", {
128
              "names" : [["IDENTIFIER", "V3"]], "typ" : {
129
                "name" : ["SIMPLE_NAME", "CHARACTER"]}
130
              }
131
            ]}
132
          ], "PROCESS_STATEMENT_PART" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
133
            "lhs" : ["SIMPLE_NAME", "V1"], "rhs" : ["EXPRESSION", {
134
              "args" : [["EXPRESSION", {
135
                "args" : [["EXPRESSION", {
136
                  "args" : [["EXPRESSION", {
137
                    "args" : [["CALL", ["INDEXED_NAME", {
138
                      "id" : ["SIMPLE_NAME", "C1"], "exprs" : [["EXPRESSION", {
139
                        "args" : [["EXPRESSION", {
140
                          "args" : [["EXPRESSION", {
141
                            "args" : [["EXPRESSION", {
142
                              "args" : [["CONSTANT_VALUE", {
143
                                "value" : ["CST_LITERAL", "'A'"]}
144
                              ]]}
145
                            ]]}
146
                          ]]}
147
                        ]]}
148
                      ]]}
149
                    ]]]}
150
                  ]]}
151
                ]]}
152
              ]]}
153
            ]}
154
          ], ["ASSERTION_STATEMENT", {
155
            "cond" : ["EXPRESSION", {
156
              "id" : "=", "args" : [["EXPRESSION", {
157
                "args" : [["EXPRESSION", {
158
                  "args" : [["EXPRESSION", {
159
                    "args" : [["CALL", ["SIMPLE_NAME", "V1"]]]}
160
                  ]]}
161
                ]]}
162
              ], ["EXPRESSION", {
163
                "args" : [["EXPRESSION", {
164
                  "args" : [["EXPRESSION", {
165
                    "args" : [["CONSTANT_VALUE", {
166
                      "value" : ["CST_LITERAL", "'B'"]}
167
                    ]]}
168
                  ]]}
169
                ]]}
170
              ]]}
171
            ]}
172
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
173
            "lhs" : ["SIMPLE_NAME", "V2"], "rhs" : ["EXPRESSION", {
174
              "args" : [["EXPRESSION", {
175
                "args" : [["EXPRESSION", {
176
                  "args" : [["EXPRESSION", {
177
                    "args" : [["CALL", ["INDEXED_NAME", {
178
                      "id" : ["SIMPLE_NAME", "C2"], "exprs" : [["EXPRESSION", {
179
                        "args" : [["EXPRESSION", {
180
                          "args" : [["EXPRESSION", {
181
                            "args" : [["EXPRESSION", {
182
                              "args" : [["CALL", ["INDEXED_NAME", {
183
                                "id" : ["SIMPLE_NAME", "C1"], "exprs" : [["EXPRESSION", {
184
                                  "args" : [["EXPRESSION", {
185
                                    "args" : [["EXPRESSION", {
186
                                      "args" : [["EXPRESSION", {
187
                                        "args" : [["CONSTANT_VALUE", {
188
                                          "value" : ["CST_LITERAL", "'A'"]}
189
                                        ]]}
190
                                      ]]}
191
                                    ]]}
192
                                  ]]}
193
                                ]]}
194
                              ]]]}
195
                            ]]}
196
                          ]]}
197
                        ]]}
198
                      ]]}
199
                    ]]]}
200
                  ]]}
201
                ]]}
202
              ]]}
203
            ]}
204
          ], ["ASSERTION_STATEMENT", {
205
            "cond" : ["EXPRESSION", {
206
              "id" : "=", "args" : [["EXPRESSION", {
207
                "args" : [["EXPRESSION", {
208
                  "args" : [["EXPRESSION", {
209
                    "args" : [["CALL", ["SIMPLE_NAME", "V2"]]]}
210
                  ]]}
211
                ]]}
212
              ], ["EXPRESSION", {
213
                "args" : [["EXPRESSION", {
214
                  "args" : [["EXPRESSION", {
215
                    "args" : [["CONSTANT_VALUE", {
216
                      "value" : ["CST_LITERAL", "'D'"]}
217
                    ]]}
218
                  ]]}
219
                ]]}
220
              ]]}
221
            ]}
222
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
223
            "lhs" : ["SIMPLE_NAME", "V3"], "rhs" : ["EXPRESSION", {
224
              "args" : [["EXPRESSION", {
225
                "args" : [["EXPRESSION", {
226
                  "args" : [["EXPRESSION", {
227
                    "args" : [["CALL", ["INDEXED_NAME", {
228
                      "id" : ["SIMPLE_NAME", "C3"], "exprs" : [["EXPRESSION", {
229
                        "args" : [["EXPRESSION", {
230
                          "args" : [["EXPRESSION", {
231
                            "args" : [["EXPRESSION", {
232
                              "args" : [["CALL", ["INDEXED_NAME", {
233
                                "id" : ["SIMPLE_NAME", "C2"], "exprs" : [["EXPRESSION", {
234
                                  "args" : [["EXPRESSION", {
235
                                    "args" : [["EXPRESSION", {
236
                                      "args" : [["EXPRESSION", {
237
                                        "args" : [["CALL", ["INDEXED_NAME", {
238
                                          "id" : ["SIMPLE_NAME", "C1"], "exprs" : [["EXPRESSION", {
239
                                            "args" : [["EXPRESSION", {
240
                                              "args" : [["EXPRESSION", {
241
                                                "args" : [["EXPRESSION", {
242
                                                  "args" : [["CONSTANT_VALUE", {
243
                                                    "value" : ["CST_LITERAL", "'A'"]}
244
                                                  ]]}
245
                                                ]]}
246
                                              ]]}
247
                                            ]]}
248
                                          ]]}
249
                                        ]]]}
250
                                      ]]}
251
                                    ]]}
252
                                  ]]}
253
                                ]]}
254
                              ]]]}
255
                            ]]}
256
                          ]]}
257
                        ]]}
258
                      ]]}
259
                    ]]]}
260
                  ]]}
261
                ]]}
262
              ]]}
263
            ]}
264
          ], ["ASSERTION_STATEMENT", {
265
            "cond" : ["EXPRESSION", {
266
              "id" : "=", "args" : [["EXPRESSION", {
267
                "args" : [["EXPRESSION", {
268
                  "args" : [["EXPRESSION", {
269
                    "args" : [["CALL", ["SIMPLE_NAME", "V3"]]]}
270
                  ]]}
271
                ]]}
272
              ], ["EXPRESSION", {
273
                "args" : [["EXPRESSION", {
274
                  "args" : [["EXPRESSION", {
275
                    "args" : [["CONSTANT_VALUE", {
276
                      "value" : ["CST_LITERAL", "'G'"]}
277
                    ]]}
278
                  ]]}
279
                ]]}
280
              ]]}
281
            ]}
282
          ], ["WAIT_STATEMENT"], ["ASSERTION_STATEMENT", {
283
            "cond" : ["EXPRESSION", {
284
              "args" : [["EXPRESSION", {
285
                "args" : [["EXPRESSION", {
286
                  "args" : [["EXPRESSION", {
287
                    "id" : "NOT", "args" : [["EXPRESSION", {
288
                      "id" : "and", "args" : [["EXPRESSION", {
289
                        "id" : "and", "args" : [["EXPRESSION", {
290
                          "id" : "=", "args" : [["EXPRESSION", {
291
                            "args" : [["EXPRESSION", {
292
                              "args" : [["EXPRESSION", {
293
                                "args" : [["CALL", ["SIMPLE_NAME", "V1"]]]}
294
                              ]]}
295
                            ]]}
296
                          ], ["EXPRESSION", {
297
                            "args" : [["EXPRESSION", {
298
                              "args" : [["EXPRESSION", {
299
                                "args" : [["CONSTANT_VALUE", {
300
                                  "value" : ["CST_LITERAL", "'B'"]}
301
                                ]]}
302
                              ]]}
303
                            ]]}
304
                          ]]}
305
                        ], ["EXPRESSION", {
306
                          "id" : "=", "args" : [["EXPRESSION", {
307
                            "args" : [["EXPRESSION", {
308
                              "args" : [["EXPRESSION", {
309
                                "args" : [["CALL", ["SIMPLE_NAME", "V2"]]]}
310
                              ]]}
311
                            ]]}
312
                          ], ["EXPRESSION", {
313
                            "args" : [["EXPRESSION", {
314
                              "args" : [["EXPRESSION", {
315
                                "args" : [["CONSTANT_VALUE", {
316
                                  "value" : ["CST_LITERAL", "'D'"]}
317
                                ]]}
318
                              ]]}
319
                            ]]}
320
                          ]]}
321
                        ]]}
322
                      ], ["EXPRESSION", {
323
                        "id" : "=", "args" : [["EXPRESSION", {
324
                          "args" : [["EXPRESSION", {
325
                            "args" : [["EXPRESSION", {
326
                              "args" : [["CALL", ["SIMPLE_NAME", "V3"]]]}
327
                            ]]}
328
                          ]]}
329
                        ], ["EXPRESSION", {
330
                          "args" : [["EXPRESSION", {
331
                            "args" : [["EXPRESSION", {
332
                              "args" : [["CONSTANT_VALUE", {
333
                                "value" : ["CST_LITERAL", "'G'"]}
334
                              ]]}
335
                            ]]}
336
                          ]]}
337
                        ]]}
338
                      ]]}
339
                    ]]}
340
                  ]]}
341
                ]]}
342
              ]]}
343
            ], "report" : ["EXPRESSION", {
344
              "args" : [["EXPRESSION", {
345
                "args" : [["EXPRESSION", {
346
                  "args" : [["EXPRESSION", {
347
                    "args" : [["CONSTANT_VALUE", {
348
                      "value" : ["CST_LITERAL", "\"***PASSED TEST: c06s04b00x00p03n02i01075\""]}
349
                    ]]}
350
                  ]]}
351
                ]]}
352
              ]]}
353
            ], "severity" : ["EXPRESSION", {
354
              "args" : [["EXPRESSION", {
355
                "args" : [["EXPRESSION", {
356
                  "args" : [["EXPRESSION", {
357
                    "args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]}
358
                  ]]}
359
                ]]}
360
              ]]}
361
            ]}
362
          ], ["ASSERTION_STATEMENT", {
363
            "cond" : ["EXPRESSION", {
364
              "args" : [["EXPRESSION", {
365
                "args" : [["EXPRESSION", {
366
                  "args" : [["EXPRESSION", {
367
                    "args" : [["EXPRESSION", {
368
                      "id" : "and", "args" : [["EXPRESSION", {
369
                        "id" : "and", "args" : [["EXPRESSION", {
370
                          "id" : "=", "args" : [["EXPRESSION", {
371
                            "args" : [["EXPRESSION", {
372
                              "args" : [["EXPRESSION", {
373
                                "args" : [["CALL", ["SIMPLE_NAME", "V1"]]]}
374
                              ]]}
375
                            ]]}
376
                          ], ["EXPRESSION", {
377
                            "args" : [["EXPRESSION", {
378
                              "args" : [["EXPRESSION", {
379
                                "args" : [["CONSTANT_VALUE", {
380
                                  "value" : ["CST_LITERAL", "'B'"]}
381
                                ]]}
382
                              ]]}
383
                            ]]}
384
                          ]]}
385
                        ], ["EXPRESSION", {
386
                          "id" : "=", "args" : [["EXPRESSION", {
387
                            "args" : [["EXPRESSION", {
388
                              "args" : [["EXPRESSION", {
389
                                "args" : [["CALL", ["SIMPLE_NAME", "V2"]]]}
390
                              ]]}
391
                            ]]}
392
                          ], ["EXPRESSION", {
393
                            "args" : [["EXPRESSION", {
394
                              "args" : [["EXPRESSION", {
395
                                "args" : [["CONSTANT_VALUE", {
396
                                  "value" : ["CST_LITERAL", "'D'"]}
397
                                ]]}
398
                              ]]}
399
                            ]]}
400
                          ]]}
401
                        ]]}
402
                      ], ["EXPRESSION", {
403
                        "id" : "=", "args" : [["EXPRESSION", {
404
                          "args" : [["EXPRESSION", {
405
                            "args" : [["EXPRESSION", {
406
                              "args" : [["CALL", ["SIMPLE_NAME", "V3"]]]}
407
                            ]]}
408
                          ]]}
409
                        ], ["EXPRESSION", {
410
                          "args" : [["EXPRESSION", {
411
                            "args" : [["EXPRESSION", {
412
                              "args" : [["CONSTANT_VALUE", {
413
                                "value" : ["CST_LITERAL", "'G'"]}
414
                              ]]}
415
                            ]]}
416
                          ]]}
417
                        ]]}
418
                      ]]}
419
                    ]]}
420
                  ]]}
421
                ]]}
422
              ]]}
423
            ], "report" : ["EXPRESSION", {
424
              "args" : [["EXPRESSION", {
425
                "args" : [["EXPRESSION", {
426
                  "args" : [["EXPRESSION", {
427
                    "args" : [["CONSTANT_VALUE", {
428
                      "value" : ["CST_LITERAL", "\"***FAILED TEST: c06s04b00x00p03n02i01075 - The expresion for index name check test failed.\""]}
429
                    ]]}
430
                  ]]}
431
                ]]}
432
              ]]}
433
            ], "severity" : ["EXPRESSION", {
434
              "args" : [["EXPRESSION", {
435
                "args" : [["EXPRESSION", {
436
                  "args" : [["EXPRESSION", {
437
                    "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
438
                  ]]}
439
                ]]}
440
              ]]}
441
            ]}
442
          ], ["WAIT_STATEMENT"]]}
443
        ]]}
444
      ]}
445
    ]}
446
  }