Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (12.2 KB)

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