Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (14.6 KB)

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