Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (14.1 KB)

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