Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (14.9 KB)

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