Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (18.2 KB)

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