Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (17.8 KB)

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