Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (22.2 KB)

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