Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (11.3 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "c08s05b00x00p03n01i01356ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6
      ]}
7
    , {
8
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9
        "name" : ["IDENTIFIER", "c08s05b00x00p03n01i01356arch"], "entity" : ["IDENTIFIER", "c08s05b00x00p03n01i01356ent"], "ARCHITECTURE_DECLARATIVE_PART" : [], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", {
10
          "id" : ["IDENTIFIER", "TESTING"], "PROCESS_DECLARATIVE_PART" : [{
11
            "definition" : ["TYPE_DECLARATION", {
12
              "name" : ["IDENTIFIER", "t1"], "definition" : ["RECORD_TYPE_DEFINITION", [{
13
                "names" : [["IDENTIFIER", "ele1"]], "definition" : {
14
                  "name" : ["SIMPLE_NAME", "integer"]}
15
                }
16
              , {
17
                "names" : [["IDENTIFIER", "ele2"]], "definition" : {
18
                  "name" : ["SIMPLE_NAME", "real"]}
19
                }
20
              ]]}
21
            ]}
22
          , {
23
            "declaration" : ["VARIABLE_DECLARATION", {
24
              "names" : [["IDENTIFIER", "f1"]], "typ" : {
25
                "name" : ["SIMPLE_NAME", "t1"]}
26
              }
27
            ]}
28
          , {
29
            "declaration" : ["VARIABLE_DECLARATION", {
30
              "names" : [["IDENTIFIER", "i"]], "typ" : {
31
                "name" : ["SIMPLE_NAME", "integer"]}
32
              , "init_val" : ["EXPRESSION", {
33
                "args" : [["EXPRESSION", {
34
                  "args" : [["EXPRESSION", {
35
                    "args" : [["EXPRESSION", {
36
                      "args" : [["CONSTANT_VALUE", {
37
                        "value" : ["CST_LITERAL", "0"]}
38
                      ]]}
39
                    ]]}
40
                  ]]}
41
                ]]}
42
              ]}
43
            ]}
44
          , {
45
            "declaration" : ["VARIABLE_DECLARATION", {
46
              "names" : [["IDENTIFIER", "r"]], "typ" : {
47
                "name" : ["SIMPLE_NAME", "real"]}
48
              , "init_val" : ["EXPRESSION", {
49
                "args" : [["EXPRESSION", {
50
                  "args" : [["EXPRESSION", {
51
                    "args" : [["EXPRESSION", {
52
                      "args" : [["CONSTANT_VALUE", {
53
                        "value" : ["CST_LITERAL", "0.0"]}
54
                      ]]}
55
                    ]]}
56
                  ]]}
57
                ]]}
58
              ]}
59
            ]}
60
          ], "PROCESS_STATEMENT_PART" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
61
            "lhs" : ["SELECTED_NAME", [["SIMPLE_NAME", "f1"], ["IDENTIFIER", "ele1"]]], "rhs" : ["EXPRESSION", {
62
              "args" : [["EXPRESSION", {
63
                "args" : [["EXPRESSION", {
64
                  "args" : [["EXPRESSION", {
65
                    "args" : [["CONSTANT_VALUE", {
66
                      "value" : ["CST_LITERAL", "1"]}
67
                    ]]}
68
                  ]]}
69
                ]]}
70
              ]]}
71
            ]}
72
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
73
            "lhs" : ["SELECTED_NAME", [["SIMPLE_NAME", "f1"], ["IDENTIFIER", "ele2"]]], "rhs" : ["EXPRESSION", {
74
              "args" : [["EXPRESSION", {
75
                "args" : [["EXPRESSION", {
76
                  "args" : [["EXPRESSION", {
77
                    "args" : [["CONSTANT_VALUE", {
78
                      "value" : ["CST_LITERAL", "2.3"]}
79
                    ]]}
80
                  ]]}
81
                ]]}
82
              ]]}
83
            ]}
84
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
85
            "lhs" : ["SIMPLE_NAME", "i"], "rhs" : ["EXPRESSION", {
86
              "args" : [["EXPRESSION", {
87
                "args" : [["EXPRESSION", {
88
                  "args" : [["EXPRESSION", {
89
                    "args" : [["CALL", ["SELECTED_NAME", [["SIMPLE_NAME", "f1"], ["IDENTIFIER", "ele1"]]]]]}
90
                  ]]}
91
                ]]}
92
              ]]}
93
            ]}
94
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
95
            "lhs" : ["SIMPLE_NAME", "r"], "rhs" : ["EXPRESSION", {
96
              "args" : [["EXPRESSION", {
97
                "args" : [["EXPRESSION", {
98
                  "args" : [["EXPRESSION", {
99
                    "args" : [["CALL", ["SELECTED_NAME", [["SIMPLE_NAME", "f1"], ["IDENTIFIER", "ele2"]]]]]}
100
                  ]]}
101
                ]]}
102
              ]]}
103
            ]}
104
          ], ["ASSERTION_STATEMENT", {
105
            "cond" : ["EXPRESSION", {
106
              "args" : [["EXPRESSION", {
107
                "args" : [["EXPRESSION", {
108
                  "args" : [["EXPRESSION", {
109
                    "id" : "NOT", "args" : [["EXPRESSION", {
110
                      "id" : "and", "args" : [["EXPRESSION", {
111
                        "args" : [["EXPRESSION", {
112
                          "args" : [["EXPRESSION", {
113
                            "args" : [["EXPRESSION", {
114
                              "args" : [["EXPRESSION", {
115
                                "id" : "=", "args" : [["EXPRESSION", {
116
                                  "args" : [["EXPRESSION", {
117
                                    "args" : [["EXPRESSION", {
118
                                      "args" : [["CALL", ["SIMPLE_NAME", "i"]]]}
119
                                    ]]}
120
                                  ]]}
121
                                ], ["EXPRESSION", {
122
                                  "args" : [["EXPRESSION", {
123
                                    "args" : [["EXPRESSION", {
124
                                      "args" : [["CONSTANT_VALUE", {
125
                                        "value" : ["CST_LITERAL", "1"]}
126
                                      ]]}
127
                                    ]]}
128
                                  ]]}
129
                                ]]}
130
                              ]]}
131
                            ]]}
132
                          ]]}
133
                        ]]}
134
                      ], ["EXPRESSION", {
135
                        "args" : [["EXPRESSION", {
136
                          "args" : [["EXPRESSION", {
137
                            "args" : [["EXPRESSION", {
138
                              "args" : [["EXPRESSION", {
139
                                "id" : "=", "args" : [["EXPRESSION", {
140
                                  "args" : [["EXPRESSION", {
141
                                    "args" : [["EXPRESSION", {
142
                                      "args" : [["CALL", ["SIMPLE_NAME", "r"]]]}
143
                                    ]]}
144
                                  ]]}
145
                                ], ["EXPRESSION", {
146
                                  "args" : [["EXPRESSION", {
147
                                    "args" : [["EXPRESSION", {
148
                                      "args" : [["CONSTANT_VALUE", {
149
                                        "value" : ["CST_LITERAL", "2.3"]}
150
                                      ]]}
151
                                    ]]}
152
                                  ]]}
153
                                ]]}
154
                              ]]}
155
                            ]]}
156
                          ]]}
157
                        ]]}
158
                      ]]}
159
                    ]]}
160
                  ]]}
161
                ]]}
162
              ]]}
163
            ], "report" : ["EXPRESSION", {
164
              "args" : [["EXPRESSION", {
165
                "args" : [["EXPRESSION", {
166
                  "args" : [["EXPRESSION", {
167
                    "args" : [["CONSTANT_VALUE", {
168
                      "value" : ["CST_LITERAL", "\"***PASSED TEST: c08s05b00x00p03n01i01356\""]}
169
                    ]]}
170
                  ]]}
171
                ]]}
172
              ]]}
173
            ], "severity" : ["EXPRESSION", {
174
              "args" : [["EXPRESSION", {
175
                "args" : [["EXPRESSION", {
176
                  "args" : [["EXPRESSION", {
177
                    "args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]}
178
                  ]]}
179
                ]]}
180
              ]]}
181
            ]}
182
          ], ["ASSERTION_STATEMENT", {
183
            "cond" : ["EXPRESSION", {
184
              "args" : [["EXPRESSION", {
185
                "args" : [["EXPRESSION", {
186
                  "args" : [["EXPRESSION", {
187
                    "args" : [["EXPRESSION", {
188
                      "id" : "and", "args" : [["EXPRESSION", {
189
                        "args" : [["EXPRESSION", {
190
                          "args" : [["EXPRESSION", {
191
                            "args" : [["EXPRESSION", {
192
                              "args" : [["EXPRESSION", {
193
                                "id" : "=", "args" : [["EXPRESSION", {
194
                                  "args" : [["EXPRESSION", {
195
                                    "args" : [["EXPRESSION", {
196
                                      "args" : [["CALL", ["SIMPLE_NAME", "i"]]]}
197
                                    ]]}
198
                                  ]]}
199
                                ], ["EXPRESSION", {
200
                                  "args" : [["EXPRESSION", {
201
                                    "args" : [["EXPRESSION", {
202
                                      "args" : [["CONSTANT_VALUE", {
203
                                        "value" : ["CST_LITERAL", "1"]}
204
                                      ]]}
205
                                    ]]}
206
                                  ]]}
207
                                ]]}
208
                              ]]}
209
                            ]]}
210
                          ]]}
211
                        ]]}
212
                      ], ["EXPRESSION", {
213
                        "args" : [["EXPRESSION", {
214
                          "args" : [["EXPRESSION", {
215
                            "args" : [["EXPRESSION", {
216
                              "args" : [["EXPRESSION", {
217
                                "id" : "=", "args" : [["EXPRESSION", {
218
                                  "args" : [["EXPRESSION", {
219
                                    "args" : [["EXPRESSION", {
220
                                      "args" : [["CALL", ["SIMPLE_NAME", "r"]]]}
221
                                    ]]}
222
                                  ]]}
223
                                ], ["EXPRESSION", {
224
                                  "args" : [["EXPRESSION", {
225
                                    "args" : [["EXPRESSION", {
226
                                      "args" : [["CONSTANT_VALUE", {
227
                                        "value" : ["CST_LITERAL", "2.3"]}
228
                                      ]]}
229
                                    ]]}
230
                                  ]]}
231
                                ]]}
232
                              ]]}
233
                            ]]}
234
                          ]]}
235
                        ]]}
236
                      ]]}
237
                    ]]}
238
                  ]]}
239
                ]]}
240
              ]]}
241
            ], "report" : ["EXPRESSION", {
242
              "args" : [["EXPRESSION", {
243
                "args" : [["EXPRESSION", {
244
                  "args" : [["EXPRESSION", {
245
                    "args" : [["CONSTANT_VALUE", {
246
                      "value" : ["CST_LITERAL", "\"***FAILED TEST: c08s05b00x00p03n01i01356 - Target and the expression on the right-hand side should have the same type.\""]}
247
                    ]]}
248
                  ]]}
249
                ]]}
250
              ]]}
251
            ], "severity" : ["EXPRESSION", {
252
              "args" : [["EXPRESSION", {
253
                "args" : [["EXPRESSION", {
254
                  "args" : [["EXPRESSION", {
255
                    "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
256
                  ]]}
257
                ]]}
258
              ]]}
259
            ]}
260
          ], ["WAIT_STATEMENT"]]}
261
        ]]}
262
      ]}
263
    ]}
264
  }