Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (14 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "c06s04b00x00p03n01i01040ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6
      ]}
7
    , {
8
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9
        "name" : ["IDENTIFIER", "c06s04b00x00p03n01i01040arch"], "entity" : ["IDENTIFIER", "c06s04b00x00p03n01i01040ent"], "ARCHITECTURE_DECLARATIVE_PART" : [{
10
          "definition" : ["TYPE_DECLARATION", {
11
            "name" : ["IDENTIFIER", "A"], "definition" : ["ARRAY_TYPE_DEFINITION", {
12
              "const" : ["INDEX_CONSTRAINT", {
13
                "ranges" : [["RANGE_WITH_DIRECTION", {
14
                  "direction" : "to", "from" : ["EXPRESSION", {
15
                    "args" : [["EXPRESSION", {
16
                      "args" : [["CONSTANT_VALUE", {
17
                        "value" : ["CST_LITERAL", "1"]}
18
                      ]]}
19
                    ]]}
20
                  ], "_to" : ["EXPRESSION", {
21
                    "args" : [["EXPRESSION", {
22
                      "args" : [["CONSTANT_VALUE", {
23
                        "value" : ["CST_LITERAL", "10"]}
24
                      ]]}
25
                    ]]}
26
                  ]}
27
                ]]}
28
              ], "definition" : {
29
                "name" : ["SIMPLE_NAME", "integer"]}
30
              }
31
            ]}
32
          ]}
33
        , {
34
          "declaration" : ["SUBPROGRAM_BODY", {
35
            "spec" : {
36
              "name" : "foo", "subprogram_type" : "function", "parameters" : [{
37
                "names" : [["IDENTIFIER", "f"]], "typ" : {
38
                  "name" : ["SIMPLE_NAME", "integer"]}
39
                , "expr" : ["EXPRESSION", {
40
                  "args" : [["EXPRESSION", {
41
                    "args" : [["EXPRESSION", {
42
                      "args" : [["EXPRESSION", {
43
                        "args" : [["CONSTANT_VALUE", {
44
                          "value" : ["CST_LITERAL", "3"]}
45
                        ]]}
46
                      ]]}
47
                    ]]}
48
                  ]]}
49
                ]}
50
              ], "typeMark" : ["SIMPLE_NAME", "A"], "isPure" : false}
51
            , "decl_part" : [["VARIABLE_DECLARATION", {
52
              "names" : [["IDENTIFIER", "v"]], "typ" : {
53
                "name" : ["SIMPLE_NAME", "A"]}
54
              , "init_val" : ["EXPRESSION", {
55
                "args" : [["EXPRESSION", {
56
                  "args" : [["EXPRESSION", {
57
                    "args" : [["EXPRESSION", {
58
                      "args" : [["AGGREGATE", {
59
                        "elems" : [{
60
                          "expr" : ["EXPRESSION", {
61
                            "args" : [["EXPRESSION", {
62
                              "args" : [["EXPRESSION", {
63
                                "args" : [["EXPRESSION", {
64
                                  "args" : [["CONSTANT_VALUE", {
65
                                    "value" : ["CST_LITERAL", "1"]}
66
                                  ]]}
67
                                ]]}
68
                              ]]}
69
                            ]]}
70
                          ]}
71
                        , {
72
                          "expr" : ["EXPRESSION", {
73
                            "args" : [["EXPRESSION", {
74
                              "args" : [["EXPRESSION", {
75
                                "args" : [["EXPRESSION", {
76
                                  "args" : [["CONSTANT_VALUE", {
77
                                    "value" : ["CST_LITERAL", "2"]}
78
                                  ]]}
79
                                ]]}
80
                              ]]}
81
                            ]]}
82
                          ]}
83
                        , {
84
                          "expr" : ["EXPRESSION", {
85
                            "args" : [["EXPRESSION", {
86
                              "args" : [["EXPRESSION", {
87
                                "args" : [["EXPRESSION", {
88
                                  "args" : [["CONSTANT_VALUE", {
89
                                    "value" : ["CST_LITERAL", "3"]}
90
                                  ]]}
91
                                ]]}
92
                              ]]}
93
                            ]]}
94
                          ]}
95
                        , {
96
                          "expr" : ["EXPRESSION", {
97
                            "args" : [["EXPRESSION", {
98
                              "args" : [["EXPRESSION", {
99
                                "args" : [["EXPRESSION", {
100
                                  "args" : [["CONSTANT_VALUE", {
101
                                    "value" : ["CST_LITERAL", "4"]}
102
                                  ]]}
103
                                ]]}
104
                              ]]}
105
                            ]]}
106
                          ]}
107
                        , {
108
                          "expr" : ["EXPRESSION", {
109
                            "args" : [["EXPRESSION", {
110
                              "args" : [["EXPRESSION", {
111
                                "args" : [["EXPRESSION", {
112
                                  "args" : [["CONSTANT_VALUE", {
113
                                    "value" : ["CST_LITERAL", "5"]}
114
                                  ]]}
115
                                ]]}
116
                              ]]}
117
                            ]]}
118
                          ]}
119
                        , {
120
                          "expr" : ["EXPRESSION", {
121
                            "args" : [["EXPRESSION", {
122
                              "args" : [["EXPRESSION", {
123
                                "args" : [["EXPRESSION", {
124
                                  "args" : [["CONSTANT_VALUE", {
125
                                    "value" : ["CST_LITERAL", "6"]}
126
                                  ]]}
127
                                ]]}
128
                              ]]}
129
                            ]]}
130
                          ]}
131
                        , {
132
                          "expr" : ["EXPRESSION", {
133
                            "args" : [["EXPRESSION", {
134
                              "args" : [["EXPRESSION", {
135
                                "args" : [["EXPRESSION", {
136
                                  "args" : [["CONSTANT_VALUE", {
137
                                    "value" : ["CST_LITERAL", "7"]}
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", "8"]}
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", "9"]}
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", "10"]}
174
                                  ]]}
175
                                ]]}
176
                              ]]}
177
                            ]]}
178
                          ]}
179
                        ]}
180
                      ]]}
181
                    ]]}
182
                  ]]}
183
                ]]}
184
              ]}
185
            ]], "stmts" : [["RETURN_STATEMENT", {
186
              "expr" : ["EXPRESSION", {
187
                "args" : [["EXPRESSION", {
188
                  "args" : [["EXPRESSION", {
189
                    "args" : [["EXPRESSION", {
190
                      "args" : [["CALL", ["SIMPLE_NAME", "v"]]]}
191
                    ]]}
192
                  ]]}
193
                ]]}
194
              ]}
195
            ]]}
196
          ]}
197
        ], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", {
198
          "id" : ["IDENTIFIER", "TESTING"], "PROCESS_DECLARATIVE_PART" : [{
199
            "declaration" : ["VARIABLE_DECLARATION", {
200
              "names" : [["IDENTIFIER", "k"]], "typ" : {
201
                "name" : ["SIMPLE_NAME", "integer"]}
202
              , "init_val" : ["EXPRESSION", {
203
                "args" : [["EXPRESSION", {
204
                  "args" : [["EXPRESSION", {
205
                    "args" : [["EXPRESSION", {
206
                      "args" : [["CONSTANT_VALUE", {
207
                        "value" : ["CST_LITERAL", "0"]}
208
                      ]]}
209
                    ]]}
210
                  ]]}
211
                ]]}
212
              ]}
213
            ]}
214
          ], "PROCESS_STATEMENT_PART" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
215
            "lhs" : ["SIMPLE_NAME", "k"], "rhs" : ["EXPRESSION", {
216
              "args" : [["EXPRESSION", {
217
                "args" : [["EXPRESSION", {
218
                  "args" : [["EXPRESSION", {
219
                    "args" : [["CALL", ["INDEXED_NAME", {
220
                      "id" : ["SIMPLE_NAME", "foo"], "exprs" : [["EXPRESSION", {
221
                        "args" : [["EXPRESSION", {
222
                          "args" : [["EXPRESSION", {
223
                            "args" : [["EXPRESSION", {
224
                              "args" : [["CONSTANT_VALUE", {
225
                                "value" : ["CST_LITERAL", "3"]}
226
                              ]]}
227
                            ]]}
228
                          ]]}
229
                        ]]}
230
                      ], ["EXPRESSION", {
231
                        "args" : [["EXPRESSION", {
232
                          "args" : [["EXPRESSION", {
233
                            "args" : [["EXPRESSION", {
234
                              "args" : [["CONSTANT_VALUE", {
235
                                "value" : ["CST_LITERAL", "3"]}
236
                              ]]}
237
                            ]]}
238
                          ]]}
239
                        ]]}
240
                      ]]}
241
                    ]]]}
242
                  ]]}
243
                ]]}
244
              ]]}
245
            ]}
246
          ], ["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", "3"]}
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: c06s04b00x00p03n01i01040\""]}
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", "3"]}
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: c06s04b00x00p03n01i01040 - The prefix of an indexed name must be appropriate for an array type.\""]}
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
  }