Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (16.5 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "c04s02b00x00p02n01i00010ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6
      ]}
7
    , {
8
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9
        "name" : ["IDENTIFIER", "c04s02b00x00p02n01i00010arch"], "entity" : ["IDENTIFIER", "c04s02b00x00p02n01i00010ent"], "ARCHITECTURE_DECLARATIVE_PART" : [{
10
          "definition" : ["SUBTYPE_DECLARATION", {
11
            "name" : ["IDENTIFIER", "eight_bit"], "typ" : {
12
              "name" : ["SIMPLE_NAME", "integer"], "const" : ["RANGE_CONSTRAINT", {
13
                "range" : ["RANGE_WITH_DIRECTION", {
14
                  "direction" : "to", "from" : ["EXPRESSION", {
15
                    "id" : "-", "args" : [["EXPRESSION", {
16
                      "args" : [["CONSTANT_VALUE", {
17
                        "value" : ["CST_LITERAL", "32768"]}
18
                      ]]}
19
                    ]]}
20
                  ], "_to" : ["EXPRESSION", {
21
                    "args" : [["EXPRESSION", {
22
                      "args" : [["CONSTANT_VALUE", {
23
                        "value" : ["CST_LITERAL", "32767"]}
24
                      ]]}
25
                    ]]}
26
                  ]}
27
                ]}
28
              ]}
29
            }
30
          ]}
31
        , {
32
          "definition" : ["SUBTYPE_DECLARATION", {
33
            "name" : ["IDENTIFIER", "positive_8_bit"], "typ" : {
34
              "name" : ["SIMPLE_NAME", "eight_bit"], "const" : ["RANGE_CONSTRAINT", {
35
                "range" : ["RANGE_WITH_DIRECTION", {
36
                  "direction" : "to", "from" : ["EXPRESSION", {
37
                    "args" : [["EXPRESSION", {
38
                      "args" : [["CONSTANT_VALUE", {
39
                        "value" : ["CST_LITERAL", "1"]}
40
                      ]]}
41
                    ]]}
42
                  ], "_to" : ["EXPRESSION", {
43
                    "args" : [["EXPRESSION", {
44
                      "args" : [["CONSTANT_VALUE", {
45
                        "value" : ["CST_LITERAL", "32767"]}
46
                      ]]}
47
                    ]]}
48
                  ]}
49
                ]}
50
              ]}
51
            }
52
          ]}
53
        , {
54
          "definition" : ["TYPE_DECLARATION", {
55
            "name" : ["IDENTIFIER", "memory"], "definition" : ["ARRAY_TYPE_DEFINITION", {
56
              "indexes" : [["SIMPLE_NAME", "integer"]], "definition" : {
57
                "name" : ["SIMPLE_NAME", "bit"]}
58
              }
59
            ]}
60
          ]}
61
        , {
62
          "definition" : ["SUBTYPE_DECLARATION", {
63
            "name" : ["IDENTIFIER", "foo1"], "typ" : {
64
              "name" : ["SIMPLE_NAME", "memory"], "const" : ["INDEX_CONSTRAINT", {
65
                "ranges" : [["RANGE_WITH_DIRECTION", {
66
                  "direction" : "to", "from" : ["EXPRESSION", {
67
                    "args" : [["EXPRESSION", {
68
                      "args" : [["CONSTANT_VALUE", {
69
                        "value" : ["CST_LITERAL", "1"]}
70
                      ]]}
71
                    ]]}
72
                  ], "_to" : ["EXPRESSION", {
73
                    "args" : [["EXPRESSION", {
74
                      "args" : [["CONSTANT_VALUE", {
75
                        "value" : ["CST_LITERAL", "10"]}
76
                      ]]}
77
                    ]]}
78
                  ]}
79
                ]]}
80
              ]}
81
            }
82
          ]}
83
        , {
84
          "definition" : ["SUBTYPE_DECLARATION", {
85
            "name" : ["IDENTIFIER", "foo3"], "typ" : {
86
              "name" : ["SIMPLE_NAME", "memory"], "const" : ["INDEX_CONSTRAINT", {
87
                "ranges" : [["SUB_DISCRETE_RANGE", {
88
                  "name" : ["SIMPLE_NAME", "integer"], "const" : ["RANGE_CONSTRAINT", {
89
                    "range" : ["RANGE_WITH_DIRECTION", {
90
                      "direction" : "downto", "from" : ["EXPRESSION", {
91
                        "args" : [["EXPRESSION", {
92
                          "args" : [["CONSTANT_VALUE", {
93
                            "value" : ["CST_LITERAL", "25"]}
94
                          ]]}
95
                        ]]}
96
                      ], "_to" : ["EXPRESSION", {
97
                        "args" : [["EXPRESSION", {
98
                          "args" : [["CONSTANT_VALUE", {
99
                            "value" : ["CST_LITERAL", "2"]}
100
                          ]]}
101
                        ]]}
102
                      ]}
103
                    ]}
104
                  ]}
105
                ]]}
106
              ]}
107
            }
108
          ]}
109
        ], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", {
110
          "id" : ["IDENTIFIER", "TESTING"], "PROCESS_DECLARATIVE_PART" : [{
111
            "declaration" : ["VARIABLE_DECLARATION", {
112
              "names" : [["IDENTIFIER", "k1"]], "typ" : {
113
                "name" : ["SIMPLE_NAME", "eight_bit"]}
114
              , "init_val" : ["EXPRESSION", {
115
                "args" : [["EXPRESSION", {
116
                  "args" : [["EXPRESSION", {
117
                    "args" : [["EXPRESSION", {
118
                      "args" : [["CONSTANT_VALUE", {
119
                        "value" : ["CST_LITERAL", "0"]}
120
                      ]]}
121
                    ]]}
122
                  ]]}
123
                ]]}
124
              ]}
125
            ]}
126
          , {
127
            "declaration" : ["VARIABLE_DECLARATION", {
128
              "names" : [["IDENTIFIER", "k2"]], "typ" : {
129
                "name" : ["SIMPLE_NAME", "positive_8_bit"]}
130
              , "init_val" : ["EXPRESSION", {
131
                "args" : [["EXPRESSION", {
132
                  "args" : [["EXPRESSION", {
133
                    "args" : [["EXPRESSION", {
134
                      "args" : [["CONSTANT_VALUE", {
135
                        "value" : ["CST_LITERAL", "10"]}
136
                      ]]}
137
                    ]]}
138
                  ]]}
139
                ]]}
140
              ]}
141
            ]}
142
          , {
143
            "declaration" : ["VARIABLE_DECLARATION", {
144
              "names" : [["IDENTIFIER", "k3"]], "typ" : {
145
                "name" : ["SIMPLE_NAME", "foo1"]}
146
              , "init_val" : ["EXPRESSION", {
147
                "args" : [["EXPRESSION", {
148
                  "args" : [["EXPRESSION", {
149
                    "args" : [["EXPRESSION", {
150
                      "args" : [["EXPRESSION", {
151
                        "args" : [["EXPRESSION", {
152
                          "args" : [["EXPRESSION", {
153
                            "args" : [["EXPRESSION", {
154
                              "args" : [["CONSTANT_VALUE", {
155
                                "value" : ["CST_LITERAL", "\"1111111111\""]}
156
                              ]]}
157
                            ]]}
158
                          ]]}
159
                        ]]}
160
                      ]]}
161
                    ]]}
162
                  ]]}
163
                ]]}
164
              ]}
165
            ]}
166
          , {
167
            "declaration" : ["VARIABLE_DECLARATION", {
168
              "names" : [["IDENTIFIER", "k5"]], "typ" : {
169
                "name" : ["SIMPLE_NAME", "foo3"]}
170
              , "init_val" : ["EXPRESSION", {
171
                "args" : [["EXPRESSION", {
172
                  "args" : [["EXPRESSION", {
173
                    "args" : [["EXPRESSION", {
174
                      "args" : [["EXPRESSION", {
175
                        "args" : [["EXPRESSION", {
176
                          "args" : [["EXPRESSION", {
177
                            "args" : [["EXPRESSION", {
178
                              "args" : [["CONSTANT_VALUE", {
179
                                "value" : ["CST_LITERAL", "\"111111111111111111111111\""]}
180
                              ]]}
181
                            ]]}
182
                          ]]}
183
                        ]]}
184
                      ]]}
185
                    ]]}
186
                  ]]}
187
                ]]}
188
              ]}
189
            ]}
190
          ], "PROCESS_STATEMENT_PART" : [["ASSERTION_STATEMENT", {
191
            "cond" : ["EXPRESSION", {
192
              "args" : [["EXPRESSION", {
193
                "args" : [["EXPRESSION", {
194
                  "args" : [["EXPRESSION", {
195
                    "id" : "NOT", "args" : [["EXPRESSION", {
196
                      "id" : "and", "args" : [["EXPRESSION", {
197
                        "id" : "and", "args" : [["EXPRESSION", {
198
                          "id" : "and", "args" : [["EXPRESSION", {
199
                            "id" : "=", "args" : [["EXPRESSION", {
200
                              "args" : [["EXPRESSION", {
201
                                "args" : [["EXPRESSION", {
202
                                  "args" : [["CALL", ["SIMPLE_NAME", "k1"]]]}
203
                                ]]}
204
                              ]]}
205
                            ], ["EXPRESSION", {
206
                              "args" : [["EXPRESSION", {
207
                                "args" : [["EXPRESSION", {
208
                                  "args" : [["CONSTANT_VALUE", {
209
                                    "value" : ["CST_LITERAL", "0"]}
210
                                  ]]}
211
                                ]]}
212
                              ]]}
213
                            ]]}
214
                          ], ["EXPRESSION", {
215
                            "id" : "=", "args" : [["EXPRESSION", {
216
                              "args" : [["EXPRESSION", {
217
                                "args" : [["EXPRESSION", {
218
                                  "args" : [["CALL", ["SIMPLE_NAME", "k2"]]]}
219
                                ]]}
220
                              ]]}
221
                            ], ["EXPRESSION", {
222
                              "args" : [["EXPRESSION", {
223
                                "args" : [["EXPRESSION", {
224
                                  "args" : [["CONSTANT_VALUE", {
225
                                    "value" : ["CST_LITERAL", "10"]}
226
                                  ]]}
227
                                ]]}
228
                              ]]}
229
                            ]]}
230
                          ]]}
231
                        ], ["EXPRESSION", {
232
                          "id" : "=", "args" : [["EXPRESSION", {
233
                            "args" : [["EXPRESSION", {
234
                              "args" : [["EXPRESSION", {
235
                                "args" : [["CALL", ["SIMPLE_NAME", "k3"]]]}
236
                              ]]}
237
                            ]]}
238
                          ], ["EXPRESSION", {
239
                            "args" : [["EXPRESSION", {
240
                              "args" : [["EXPRESSION", {
241
                                "args" : [["CONSTANT_VALUE", {
242
                                  "value" : ["CST_LITERAL", "\"1111111111\""]}
243
                                ]]}
244
                              ]]}
245
                            ]]}
246
                          ]]}
247
                        ]]}
248
                      ], ["EXPRESSION", {
249
                        "id" : "=", "args" : [["EXPRESSION", {
250
                          "args" : [["EXPRESSION", {
251
                            "args" : [["EXPRESSION", {
252
                              "args" : [["CALL", ["SIMPLE_NAME", "k5"]]]}
253
                            ]]}
254
                          ]]}
255
                        ], ["EXPRESSION", {
256
                          "args" : [["EXPRESSION", {
257
                            "args" : [["EXPRESSION", {
258
                              "args" : [["CONSTANT_VALUE", {
259
                                "value" : ["CST_LITERAL", "\"111111111111111111111111\""]}
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: c04s02b00x00p02n01i00010\""]}
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
                          "id" : "and", "args" : [["EXPRESSION", {
297
                            "id" : "=", "args" : [["EXPRESSION", {
298
                              "args" : [["EXPRESSION", {
299
                                "args" : [["EXPRESSION", {
300
                                  "args" : [["CALL", ["SIMPLE_NAME", "k1"]]]}
301
                                ]]}
302
                              ]]}
303
                            ], ["EXPRESSION", {
304
                              "args" : [["EXPRESSION", {
305
                                "args" : [["EXPRESSION", {
306
                                  "args" : [["CONSTANT_VALUE", {
307
                                    "value" : ["CST_LITERAL", "0"]}
308
                                  ]]}
309
                                ]]}
310
                              ]]}
311
                            ]]}
312
                          ], ["EXPRESSION", {
313
                            "id" : "=", "args" : [["EXPRESSION", {
314
                              "args" : [["EXPRESSION", {
315
                                "args" : [["EXPRESSION", {
316
                                  "args" : [["CALL", ["SIMPLE_NAME", "k2"]]]}
317
                                ]]}
318
                              ]]}
319
                            ], ["EXPRESSION", {
320
                              "args" : [["EXPRESSION", {
321
                                "args" : [["EXPRESSION", {
322
                                  "args" : [["CONSTANT_VALUE", {
323
                                    "value" : ["CST_LITERAL", "10"]}
324
                                  ]]}
325
                                ]]}
326
                              ]]}
327
                            ]]}
328
                          ]]}
329
                        ], ["EXPRESSION", {
330
                          "id" : "=", "args" : [["EXPRESSION", {
331
                            "args" : [["EXPRESSION", {
332
                              "args" : [["EXPRESSION", {
333
                                "args" : [["CALL", ["SIMPLE_NAME", "k3"]]]}
334
                              ]]}
335
                            ]]}
336
                          ], ["EXPRESSION", {
337
                            "args" : [["EXPRESSION", {
338
                              "args" : [["EXPRESSION", {
339
                                "args" : [["CONSTANT_VALUE", {
340
                                  "value" : ["CST_LITERAL", "\"1111111111\""]}
341
                                ]]}
342
                              ]]}
343
                            ]]}
344
                          ]]}
345
                        ]]}
346
                      ], ["EXPRESSION", {
347
                        "id" : "=", "args" : [["EXPRESSION", {
348
                          "args" : [["EXPRESSION", {
349
                            "args" : [["EXPRESSION", {
350
                              "args" : [["CALL", ["SIMPLE_NAME", "k5"]]]}
351
                            ]]}
352
                          ]]}
353
                        ], ["EXPRESSION", {
354
                          "args" : [["EXPRESSION", {
355
                            "args" : [["EXPRESSION", {
356
                              "args" : [["CONSTANT_VALUE", {
357
                                "value" : ["CST_LITERAL", "\"111111111111111111111111\""]}
358
                              ]]}
359
                            ]]}
360
                          ]]}
361
                        ]]}
362
                      ]]}
363
                    ]]}
364
                  ]]}
365
                ]]}
366
              ]]}
367
            ], "report" : ["EXPRESSION", {
368
              "args" : [["EXPRESSION", {
369
                "args" : [["EXPRESSION", {
370
                  "args" : [["EXPRESSION", {
371
                    "args" : [["CONSTANT_VALUE", {
372
                      "value" : ["CST_LITERAL", "\"***FAILED TEST: c04s02b00x00p02n01i00010 - Subtype declaration syntactic format test fail.\""]}
373
                    ]]}
374
                  ]]}
375
                ]]}
376
              ]]}
377
            ], "severity" : ["EXPRESSION", {
378
              "args" : [["EXPRESSION", {
379
                "args" : [["EXPRESSION", {
380
                  "args" : [["EXPRESSION", {
381
                    "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
382
                  ]]}
383
                ]]}
384
              ]]}
385
            ]}
386
          ], ["WAIT_STATEMENT"]]}
387
        ]]}
388
      ]}
389
    ]}
390
  }