Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (20.7 KB)

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