Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (18.3 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "c07s02b06x00p14n01i02272ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6
      ]}
7
    , {
8
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9
        "name" : ["IDENTIFIER", "c07s02b06x00p14n01i02272arch"], "entity" : ["IDENTIFIER", "c07s02b06x00p14n01i02272ent"], "ARCHITECTURE_DECLARATIVE_PART" : [{
10
          "declaration" : ["SIGNAL_DECLARATION", {
11
            "names" : [["IDENTIFIER", "SS"]], "typ" : {
12
              "name" : ["SIMPLE_NAME", "TIME"]}
13
            }
14
          ]}
15
        ], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", {
16
          "id" : ["IDENTIFIER", "TESTING"], "PROCESS_DECLARATIVE_PART" : [{
17
            "declaration" : ["VARIABLE_DECLARATION", {
18
              "names" : [["IDENTIFIER", "A"]], "typ" : {
19
                "name" : ["SIMPLE_NAME", "TIME"]}
20
              , "init_val" : ["EXPRESSION", {
21
                "args" : [["EXPRESSION", {
22
                  "args" : [["EXPRESSION", {
23
                    "args" : [["EXPRESSION", {
24
                      "id" : "*", "args" : [["EXPRESSION", {
25
                        "args" : [["CONSTANT_VALUE", {
26
                          "value" : ["CST_LITERAL", "3"]}
27
                        ]]}
28
                      ], ["EXPRESSION", {
29
                        "args" : [["CONSTANT_VALUE", {
30
                          "value" : ["CST_LITERAL", "11"], "unit_name" : ["SIMPLE_NAME", "ns"]}
31
                        ]]}
32
                      ]]}
33
                    ]]}
34
                  ]]}
35
                ]]}
36
              ]}
37
            ]}
38
          , {
39
            "declaration" : ["VARIABLE_DECLARATION", {
40
              "names" : [["IDENTIFIER", "R"]], "typ" : {
41
                "name" : ["SIMPLE_NAME", "REAL"]}
42
              , "init_val" : ["EXPRESSION", {
43
                "args" : [["EXPRESSION", {
44
                  "args" : [["EXPRESSION", {
45
                    "args" : [["EXPRESSION", {
46
                      "args" : [["CONSTANT_VALUE", {
47
                        "value" : ["CST_LITERAL", "7.9999"]}
48
                      ]]}
49
                    ]]}
50
                  ]]}
51
                ]]}
52
              ]}
53
            ]}
54
          , {
55
            "declaration" : ["VARIABLE_DECLARATION", {
56
              "names" : [["IDENTIFIER", "S"]], "typ" : {
57
                "name" : ["SIMPLE_NAME", "INTEGER"]}
58
              , "init_val" : ["EXPRESSION", {
59
                "args" : [["EXPRESSION", {
60
                  "args" : [["EXPRESSION", {
61
                    "args" : [["EXPRESSION", {
62
                      "args" : [["CONSTANT_VALUE", {
63
                        "value" : ["CST_LITERAL", "1"]}
64
                      ]]}
65
                    ]]}
66
                  ]]}
67
                ]]}
68
              ]}
69
            ]}
70
          ], "PROCESS_STATEMENT_PART" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
71
            "lhs" : ["SIMPLE_NAME", "SS"], "rhs" : [{
72
              "value" : ["EXPRESSION", {
73
                "args" : [["EXPRESSION", {
74
                  "args" : [["EXPRESSION", {
75
                    "args" : [["EXPRESSION", {
76
                      "id" : "*", "args" : [["EXPRESSION", {
77
                        "args" : [["CALL", ["SIMPLE_NAME", "R"]]]}
78
                      ], ["EXPRESSION", {
79
                        "args" : [["EXPRESSION", {
80
                          "args" : [["EXPRESSION", {
81
                            "args" : [["EXPRESSION", {
82
                              "args" : [["EXPRESSION", {
83
                                "id" : "*", "args" : [["EXPRESSION", {
84
                                  "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
85
                                ], ["EXPRESSION", {
86
                                  "args" : [["CALL", ["SIMPLE_NAME", "A"]]]}
87
                                ]]}
88
                              ]]}
89
                            ]]}
90
                          ]]}
91
                        ]]}
92
                      ]]}
93
                    ]]}
94
                  ]]}
95
                ]]}
96
              ]}
97
            ]}
98
          ], ["WAIT_STATEMENT"], ["ASSERTION_STATEMENT", {
99
            "cond" : ["EXPRESSION", {
100
              "args" : [["EXPRESSION", {
101
                "args" : [["EXPRESSION", {
102
                  "args" : [["EXPRESSION", {
103
                    "id" : "NOT", "args" : [["EXPRESSION", {
104
                      "id" : "and", "args" : [["EXPRESSION", {
105
                        "args" : [["EXPRESSION", {
106
                          "args" : [["EXPRESSION", {
107
                            "args" : [["EXPRESSION", {
108
                              "args" : [["EXPRESSION", {
109
                                "id" : "<", "args" : [["EXPRESSION", {
110
                                  "args" : [["EXPRESSION", {
111
                                    "id" : "-", "args" : [["EXPRESSION", {
112
                                      "args" : [["CONSTANT_VALUE", {
113
                                        "value" : ["CST_LITERAL", "0.01"], "unit_name" : ["SIMPLE_NAME", "ns"]}
114
                                      ]]}
115
                                    ]]}
116
                                  ]]}
117
                                ], ["EXPRESSION", {
118
                                  "args" : [["EXPRESSION", {
119
                                    "args" : [["EXPRESSION", {
120
                                      "args" : [["EXPRESSION", {
121
                                        "args" : [["EXPRESSION", {
122
                                          "args" : [["EXPRESSION", {
123
                                            "args" : [["EXPRESSION", {
124
                                              "id" : "-", "args" : [["EXPRESSION", {
125
                                                "args" : [["CALL", ["SIMPLE_NAME", "SS"]]]}
126
                                              ], ["EXPRESSION", {
127
                                                "id" : "*", "args" : [["EXPRESSION", {
128
                                                  "id" : "*", "args" : [["EXPRESSION", {
129
                                                    "args" : [["CONSTANT_VALUE", {
130
                                                      "value" : ["CST_LITERAL", "3"]}
131
                                                    ]]}
132
                                                  ], ["EXPRESSION", {
133
                                                    "args" : [["CONSTANT_VALUE", {
134
                                                      "value" : ["CST_LITERAL", "11"]}
135
                                                    ]]}
136
                                                  ]]}
137
                                                ], ["EXPRESSION", {
138
                                                  "args" : [["CONSTANT_VALUE", {
139
                                                    "value" : ["CST_LITERAL", "7.9999"], "unit_name" : ["SIMPLE_NAME", "ns"]}
140
                                                  ]]}
141
                                                ]]}
142
                                              ]]}
143
                                            ]]}
144
                                          ]]}
145
                                        ]]}
146
                                      ]]}
147
                                    ]]}
148
                                  ]]}
149
                                ]]}
150
                              ]]}
151
                            ]]}
152
                          ]]}
153
                        ]]}
154
                      ], ["EXPRESSION", {
155
                        "args" : [["EXPRESSION", {
156
                          "args" : [["EXPRESSION", {
157
                            "args" : [["EXPRESSION", {
158
                              "args" : [["EXPRESSION", {
159
                                "id" : "<", "args" : [["EXPRESSION", {
160
                                  "args" : [["EXPRESSION", {
161
                                    "args" : [["EXPRESSION", {
162
                                      "args" : [["EXPRESSION", {
163
                                        "args" : [["EXPRESSION", {
164
                                          "args" : [["EXPRESSION", {
165
                                            "args" : [["EXPRESSION", {
166
                                              "id" : "-", "args" : [["EXPRESSION", {
167
                                                "args" : [["CALL", ["SIMPLE_NAME", "SS"]]]}
168
                                              ], ["EXPRESSION", {
169
                                                "id" : "*", "args" : [["EXPRESSION", {
170
                                                  "id" : "*", "args" : [["EXPRESSION", {
171
                                                    "args" : [["CONSTANT_VALUE", {
172
                                                      "value" : ["CST_LITERAL", "3"]}
173
                                                    ]]}
174
                                                  ], ["EXPRESSION", {
175
                                                    "args" : [["CONSTANT_VALUE", {
176
                                                      "value" : ["CST_LITERAL", "11"]}
177
                                                    ]]}
178
                                                  ]]}
179
                                                ], ["EXPRESSION", {
180
                                                  "args" : [["CONSTANT_VALUE", {
181
                                                    "value" : ["CST_LITERAL", "7.9999"], "unit_name" : ["SIMPLE_NAME", "ns"]}
182
                                                  ]]}
183
                                                ]]}
184
                                              ]]}
185
                                            ]]}
186
                                          ]]}
187
                                        ]]}
188
                                      ]]}
189
                                    ]]}
190
                                  ]]}
191
                                ], ["EXPRESSION", {
192
                                  "args" : [["EXPRESSION", {
193
                                    "args" : [["EXPRESSION", {
194
                                      "args" : [["CONSTANT_VALUE", {
195
                                        "value" : ["CST_LITERAL", "0.01"], "unit_name" : ["SIMPLE_NAME", "ns"]}
196
                                      ]]}
197
                                    ]]}
198
                                  ]]}
199
                                ]]}
200
                              ]]}
201
                            ]]}
202
                          ]]}
203
                        ]]}
204
                      ]]}
205
                    ]]}
206
                  ]]}
207
                ]]}
208
              ]]}
209
            ], "report" : ["EXPRESSION", {
210
              "args" : [["EXPRESSION", {
211
                "args" : [["EXPRESSION", {
212
                  "args" : [["EXPRESSION", {
213
                    "args" : [["CONSTANT_VALUE", {
214
                      "value" : ["CST_LITERAL", "\"***PASSED TEST: c07s02b06x00p14n01i02272\""]}
215
                    ]]}
216
                  ]]}
217
                ]]}
218
              ]]}
219
            ], "severity" : ["EXPRESSION", {
220
              "args" : [["EXPRESSION", {
221
                "args" : [["EXPRESSION", {
222
                  "args" : [["EXPRESSION", {
223
                    "args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]}
224
                  ]]}
225
                ]]}
226
              ]]}
227
            ]}
228
          ], ["ASSERTION_STATEMENT", {
229
            "cond" : ["EXPRESSION", {
230
              "args" : [["EXPRESSION", {
231
                "args" : [["EXPRESSION", {
232
                  "args" : [["EXPRESSION", {
233
                    "args" : [["EXPRESSION", {
234
                      "id" : "and", "args" : [["EXPRESSION", {
235
                        "args" : [["EXPRESSION", {
236
                          "args" : [["EXPRESSION", {
237
                            "args" : [["EXPRESSION", {
238
                              "args" : [["EXPRESSION", {
239
                                "id" : "<", "args" : [["EXPRESSION", {
240
                                  "args" : [["EXPRESSION", {
241
                                    "id" : "-", "args" : [["EXPRESSION", {
242
                                      "args" : [["CONSTANT_VALUE", {
243
                                        "value" : ["CST_LITERAL", "0.01"], "unit_name" : ["SIMPLE_NAME", "ns"]}
244
                                      ]]}
245
                                    ]]}
246
                                  ]]}
247
                                ], ["EXPRESSION", {
248
                                  "args" : [["EXPRESSION", {
249
                                    "args" : [["EXPRESSION", {
250
                                      "args" : [["EXPRESSION", {
251
                                        "args" : [["EXPRESSION", {
252
                                          "args" : [["EXPRESSION", {
253
                                            "args" : [["EXPRESSION", {
254
                                              "id" : "-", "args" : [["EXPRESSION", {
255
                                                "args" : [["CALL", ["SIMPLE_NAME", "SS"]]]}
256
                                              ], ["EXPRESSION", {
257
                                                "id" : "*", "args" : [["EXPRESSION", {
258
                                                  "id" : "*", "args" : [["EXPRESSION", {
259
                                                    "args" : [["CONSTANT_VALUE", {
260
                                                      "value" : ["CST_LITERAL", "3"]}
261
                                                    ]]}
262
                                                  ], ["EXPRESSION", {
263
                                                    "args" : [["CONSTANT_VALUE", {
264
                                                      "value" : ["CST_LITERAL", "11"]}
265
                                                    ]]}
266
                                                  ]]}
267
                                                ], ["EXPRESSION", {
268
                                                  "args" : [["CONSTANT_VALUE", {
269
                                                    "value" : ["CST_LITERAL", "7.9999"], "unit_name" : ["SIMPLE_NAME", "ns"]}
270
                                                  ]]}
271
                                                ]]}
272
                                              ]]}
273
                                            ]]}
274
                                          ]]}
275
                                        ]]}
276
                                      ]]}
277
                                    ]]}
278
                                  ]]}
279
                                ]]}
280
                              ]]}
281
                            ]]}
282
                          ]]}
283
                        ]]}
284
                      ], ["EXPRESSION", {
285
                        "args" : [["EXPRESSION", {
286
                          "args" : [["EXPRESSION", {
287
                            "args" : [["EXPRESSION", {
288
                              "args" : [["EXPRESSION", {
289
                                "id" : "<", "args" : [["EXPRESSION", {
290
                                  "args" : [["EXPRESSION", {
291
                                    "args" : [["EXPRESSION", {
292
                                      "args" : [["EXPRESSION", {
293
                                        "args" : [["EXPRESSION", {
294
                                          "args" : [["EXPRESSION", {
295
                                            "args" : [["EXPRESSION", {
296
                                              "id" : "-", "args" : [["EXPRESSION", {
297
                                                "args" : [["CALL", ["SIMPLE_NAME", "SS"]]]}
298
                                              ], ["EXPRESSION", {
299
                                                "id" : "*", "args" : [["EXPRESSION", {
300
                                                  "id" : "*", "args" : [["EXPRESSION", {
301
                                                    "args" : [["CONSTANT_VALUE", {
302
                                                      "value" : ["CST_LITERAL", "3"]}
303
                                                    ]]}
304
                                                  ], ["EXPRESSION", {
305
                                                    "args" : [["CONSTANT_VALUE", {
306
                                                      "value" : ["CST_LITERAL", "11"]}
307
                                                    ]]}
308
                                                  ]]}
309
                                                ], ["EXPRESSION", {
310
                                                  "args" : [["CONSTANT_VALUE", {
311
                                                    "value" : ["CST_LITERAL", "7.9999"], "unit_name" : ["SIMPLE_NAME", "ns"]}
312
                                                  ]]}
313
                                                ]]}
314
                                              ]]}
315
                                            ]]}
316
                                          ]]}
317
                                        ]]}
318
                                      ]]}
319
                                    ]]}
320
                                  ]]}
321
                                ], ["EXPRESSION", {
322
                                  "args" : [["EXPRESSION", {
323
                                    "args" : [["EXPRESSION", {
324
                                      "args" : [["CONSTANT_VALUE", {
325
                                        "value" : ["CST_LITERAL", "0.01"], "unit_name" : ["SIMPLE_NAME", "ns"]}
326
                                      ]]}
327
                                    ]]}
328
                                  ]]}
329
                                ]]}
330
                              ]]}
331
                            ]]}
332
                          ]]}
333
                        ]]}
334
                      ]]}
335
                    ]]}
336
                  ]]}
337
                ]]}
338
              ]]}
339
            ], "report" : ["EXPRESSION", {
340
              "args" : [["EXPRESSION", {
341
                "args" : [["EXPRESSION", {
342
                  "args" : [["EXPRESSION", {
343
                    "args" : [["CONSTANT_VALUE", {
344
                      "value" : ["CST_LITERAL", "\"***FAILED TEST: c07s02b06x00p14n01i02272 - The left operand of the multiplication operation can be an integer type and the right operand of physical type.\""]}
345
                    ]]}
346
                  ]]}
347
                ]]}
348
              ]]}
349
            ], "severity" : ["EXPRESSION", {
350
              "args" : [["EXPRESSION", {
351
                "args" : [["EXPRESSION", {
352
                  "args" : [["EXPRESSION", {
353
                    "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
354
                  ]]}
355
                ]]}
356
              ]]}
357
            ]}
358
          ], ["WAIT_STATEMENT"]]}
359
        ]]}
360
      ]}
361
    ]}
362
  }