Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (22.5 KB)

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