Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (11.1 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "c08s07b00x00p04n01i01457ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6
      ]}
7
    , {
8
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9
        "name" : ["IDENTIFIER", "c08s07b00x00p04n01i01457arch"], "entity" : ["IDENTIFIER", "c08s07b00x00p04n01i01457ent"], "ARCHITECTURE_DECLARATIVE_PART" : [], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", {
10
          "id" : ["IDENTIFIER", "TESTING"], "PROCESS_DECLARATIVE_PART" : [{
11
            "declaration" : ["VARIABLE_DECLARATION", {
12
              "names" : [["IDENTIFIER", "a"]], "typ" : {
13
                "name" : ["SIMPLE_NAME", "integer"]}
14
              , "init_val" : ["EXPRESSION", {
15
                "args" : [["EXPRESSION", {
16
                  "args" : [["EXPRESSION", {
17
                    "args" : [["EXPRESSION", {
18
                      "args" : [["CONSTANT_VALUE", {
19
                        "value" : ["CST_LITERAL", "1"]}
20
                      ]]}
21
                    ]]}
22
                  ]]}
23
                ]]}
24
              ]}
25
            ]}
26
          , {
27
            "declaration" : ["VARIABLE_DECLARATION", {
28
              "names" : [["IDENTIFIER", "k"]], "typ" : {
29
                "name" : ["SIMPLE_NAME", "integer"]}
30
              , "init_val" : ["EXPRESSION", {
31
                "args" : [["EXPRESSION", {
32
                  "args" : [["EXPRESSION", {
33
                    "args" : [["EXPRESSION", {
34
                      "args" : [["CONSTANT_VALUE", {
35
                        "value" : ["CST_LITERAL", "0"]}
36
                      ]]}
37
                    ]]}
38
                  ]]}
39
                ]]}
40
              ]}
41
            ]}
42
          , {
43
            "declaration" : ["VARIABLE_DECLARATION", {
44
              "names" : [["IDENTIFIER", "m"]], "typ" : {
45
                "name" : ["SIMPLE_NAME", "integer"]}
46
              , "init_val" : ["EXPRESSION", {
47
                "args" : [["EXPRESSION", {
48
                  "args" : [["EXPRESSION", {
49
                    "args" : [["EXPRESSION", {
50
                      "args" : [["CONSTANT_VALUE", {
51
                        "value" : ["CST_LITERAL", "0"]}
52
                      ]]}
53
                    ]]}
54
                  ]]}
55
                ]]}
56
              ]}
57
            ]}
58
          ], "PROCESS_STATEMENT_PART" : [["IF_STATEMENT", {
59
            "if_cases" : [{
60
              "if_cond" : ["EXPRESSION", {
61
                "id" : "=", "args" : [["EXPRESSION", {
62
                  "args" : [["EXPRESSION", {
63
                    "args" : [["EXPRESSION", {
64
                      "args" : [["CALL", ["SIMPLE_NAME", "a"]]]}
65
                    ]]}
66
                  ]]}
67
                ], ["EXPRESSION", {
68
                  "args" : [["EXPRESSION", {
69
                    "args" : [["EXPRESSION", {
70
                      "args" : [["CONSTANT_VALUE", {
71
                        "value" : ["CST_LITERAL", "0"]}
72
                      ]]}
73
                    ]]}
74
                  ]]}
75
                ]]}
76
              ], "if_block" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
77
                "lhs" : ["SIMPLE_NAME", "m"], "rhs" : ["EXPRESSION", {
78
                  "args" : [["EXPRESSION", {
79
                    "args" : [["EXPRESSION", {
80
                      "args" : [["EXPRESSION", {
81
                        "args" : [["CONSTANT_VALUE", {
82
                          "value" : ["CST_LITERAL", "1"]}
83
                        ]]}
84
                      ]]}
85
                    ]]}
86
                  ]]}
87
                ]}
88
              ]]}
89
            , {
90
              "if_cond" : ["EXPRESSION", {
91
                "id" : "=", "args" : [["EXPRESSION", {
92
                  "args" : [["EXPRESSION", {
93
                    "args" : [["EXPRESSION", {
94
                      "args" : [["CALL", ["SIMPLE_NAME", "a"]]]}
95
                    ]]}
96
                  ]]}
97
                ], ["EXPRESSION", {
98
                  "args" : [["EXPRESSION", {
99
                    "args" : [["EXPRESSION", {
100
                      "args" : [["CONSTANT_VALUE", {
101
                        "value" : ["CST_LITERAL", "1"]}
102
                      ]]}
103
                    ]]}
104
                  ]]}
105
                ]]}
106
              ], "if_block" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
107
                "lhs" : ["SIMPLE_NAME", "k"], "rhs" : ["EXPRESSION", {
108
                  "args" : [["EXPRESSION", {
109
                    "args" : [["EXPRESSION", {
110
                      "args" : [["EXPRESSION", {
111
                        "args" : [["CONSTANT_VALUE", {
112
                          "value" : ["CST_LITERAL", "1"]}
113
                        ]]}
114
                      ]]}
115
                    ]]}
116
                  ]]}
117
                ]}
118
              ]]}
119
            ]}
120
          ], ["WAIT_STATEMENT"], ["ASSERTION_STATEMENT", {
121
            "cond" : ["EXPRESSION", {
122
              "args" : [["EXPRESSION", {
123
                "args" : [["EXPRESSION", {
124
                  "args" : [["EXPRESSION", {
125
                    "id" : "NOT", "args" : [["EXPRESSION", {
126
                      "id" : "and", "args" : [["EXPRESSION", {
127
                        "args" : [["EXPRESSION", {
128
                          "args" : [["EXPRESSION", {
129
                            "args" : [["EXPRESSION", {
130
                              "args" : [["EXPRESSION", {
131
                                "id" : "=", "args" : [["EXPRESSION", {
132
                                  "args" : [["EXPRESSION", {
133
                                    "args" : [["EXPRESSION", {
134
                                      "args" : [["CALL", ["SIMPLE_NAME", "m"]]]}
135
                                    ]]}
136
                                  ]]}
137
                                ], ["EXPRESSION", {
138
                                  "args" : [["EXPRESSION", {
139
                                    "args" : [["EXPRESSION", {
140
                                      "args" : [["CONSTANT_VALUE", {
141
                                        "value" : ["CST_LITERAL", "0"]}
142
                                      ]]}
143
                                    ]]}
144
                                  ]]}
145
                                ]]}
146
                              ]]}
147
                            ]]}
148
                          ]]}
149
                        ]]}
150
                      ], ["EXPRESSION", {
151
                        "args" : [["EXPRESSION", {
152
                          "args" : [["EXPRESSION", {
153
                            "args" : [["EXPRESSION", {
154
                              "args" : [["EXPRESSION", {
155
                                "id" : "=", "args" : [["EXPRESSION", {
156
                                  "args" : [["EXPRESSION", {
157
                                    "args" : [["EXPRESSION", {
158
                                      "args" : [["CALL", ["SIMPLE_NAME", "k"]]]}
159
                                    ]]}
160
                                  ]]}
161
                                ], ["EXPRESSION", {
162
                                  "args" : [["EXPRESSION", {
163
                                    "args" : [["EXPRESSION", {
164
                                      "args" : [["CONSTANT_VALUE", {
165
                                        "value" : ["CST_LITERAL", "1"]}
166
                                      ]]}
167
                                    ]]}
168
                                  ]]}
169
                                ]]}
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: c08s07b00x00p04n01i01457\""]}
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
              "id" : "and", "args" : [["EXPRESSION", {
201
                "args" : [["EXPRESSION", {
202
                  "args" : [["EXPRESSION", {
203
                    "args" : [["EXPRESSION", {
204
                      "args" : [["EXPRESSION", {
205
                        "id" : "=", "args" : [["EXPRESSION", {
206
                          "args" : [["EXPRESSION", {
207
                            "args" : [["EXPRESSION", {
208
                              "args" : [["CALL", ["SIMPLE_NAME", "m"]]]}
209
                            ]]}
210
                          ]]}
211
                        ], ["EXPRESSION", {
212
                          "args" : [["EXPRESSION", {
213
                            "args" : [["EXPRESSION", {
214
                              "args" : [["CONSTANT_VALUE", {
215
                                "value" : ["CST_LITERAL", "0"]}
216
                              ]]}
217
                            ]]}
218
                          ]]}
219
                        ]]}
220
                      ]]}
221
                    ]]}
222
                  ]]}
223
                ]]}
224
              ], ["EXPRESSION", {
225
                "args" : [["EXPRESSION", {
226
                  "args" : [["EXPRESSION", {
227
                    "args" : [["EXPRESSION", {
228
                      "args" : [["EXPRESSION", {
229
                        "id" : "=", "args" : [["EXPRESSION", {
230
                          "args" : [["EXPRESSION", {
231
                            "args" : [["EXPRESSION", {
232
                              "args" : [["CALL", ["SIMPLE_NAME", "k"]]]}
233
                            ]]}
234
                          ]]}
235
                        ], ["EXPRESSION", {
236
                          "args" : [["EXPRESSION", {
237
                            "args" : [["EXPRESSION", {
238
                              "args" : [["CONSTANT_VALUE", {
239
                                "value" : ["CST_LITERAL", "1"]}
240
                              ]]}
241
                            ]]}
242
                          ]]}
243
                        ]]}
244
                      ]]}
245
                    ]]}
246
                  ]]}
247
                ]]}
248
              ]]}
249
            ], "report" : ["EXPRESSION", {
250
              "args" : [["EXPRESSION", {
251
                "args" : [["EXPRESSION", {
252
                  "args" : [["EXPRESSION", {
253
                    "args" : [["CONSTANT_VALUE", {
254
                      "value" : ["CST_LITERAL", "\"***FAILED TEST: c08s07b00x00p04n01i01457 - only the condition after the ELSIF statement is TRUE, all others should be FALSE\""]}
255
                    ]]}
256
                  ]]}
257
                ]]}
258
              ]]}
259
            ], "severity" : ["EXPRESSION", {
260
              "args" : [["EXPRESSION", {
261
                "args" : [["EXPRESSION", {
262
                  "args" : [["EXPRESSION", {
263
                    "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
264
                  ]]}
265
                ]]}
266
              ]]}
267
            ]}
268
          ], ["WAIT_STATEMENT"]]}
269
        ]]}
270
      ]}
271
    ]}
272
  }