Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (10.7 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "c07s01b00x00p08n01i01810ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6
      ]}
7
    , {
8
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9
        "name" : ["IDENTIFIER", "c07s01b00x00p08n01i01810arch"], "entity" : ["IDENTIFIER", "c07s01b00x00p08n01i01810ent"], "ARCHITECTURE_DECLARATIVE_PART" : [], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", {
10
          "id" : ["IDENTIFIER", "TESTING"], "PROCESS_DECLARATIVE_PART" : [{
11
            "declaration" : ["VARIABLE_DECLARATION", {
12
              "names" : [["IDENTIFIER", "a1"]], "typ" : {
13
                "name" : ["SIMPLE_NAME", "boolean"]}
14
              , "init_val" : ["EXPRESSION", {
15
                "args" : [["EXPRESSION", {
16
                  "args" : [["EXPRESSION", {
17
                    "args" : [["EXPRESSION", {
18
                      "args" : [["CALL", ["SIMPLE_NAME", "true"]]]}
19
                    ]]}
20
                  ]]}
21
                ]]}
22
              ]}
23
            ]}
24
          , {
25
            "declaration" : ["VARIABLE_DECLARATION", {
26
              "names" : [["IDENTIFIER", "b1"]], "typ" : {
27
                "name" : ["SIMPLE_NAME", "boolean"]}
28
              }
29
            ]}
30
          , {
31
            "declaration" : ["VARIABLE_DECLARATION", {
32
              "names" : [["IDENTIFIER", "x1"]], "typ" : {
33
                "name" : ["SIMPLE_NAME", "integer"]}
34
              , "init_val" : ["EXPRESSION", {
35
                "args" : [["EXPRESSION", {
36
                  "args" : [["EXPRESSION", {
37
                    "args" : [["EXPRESSION", {
38
                      "args" : [["CONSTANT_VALUE", {
39
                        "value" : ["CST_LITERAL", "12"]}
40
                      ]]}
41
                    ]]}
42
                  ]]}
43
                ]]}
44
              ]}
45
            ]}
46
          , {
47
            "declaration" : ["VARIABLE_DECLARATION", {
48
              "names" : [["IDENTIFIER", "y1"]], "typ" : {
49
                "name" : ["SIMPLE_NAME", "real"]}
50
              , "init_val" : ["EXPRESSION", {
51
                "args" : [["EXPRESSION", {
52
                  "args" : [["EXPRESSION", {
53
                    "args" : [["EXPRESSION", {
54
                      "args" : [["CONSTANT_VALUE", {
55
                        "value" : ["CST_LITERAL", "12.3"]}
56
                      ]]}
57
                    ]]}
58
                  ]]}
59
                ]]}
60
              ]}
61
            ]}
62
          , {
63
            "declaration" : ["VARIABLE_DECLARATION", {
64
              "names" : [["IDENTIFIER", "p1"]], "typ" : {
65
                "name" : ["SIMPLE_NAME", "real"]}
66
              , "init_val" : ["EXPRESSION", {
67
                "args" : [["EXPRESSION", {
68
                  "args" : [["EXPRESSION", {
69
                    "args" : [["EXPRESSION", {
70
                      "args" : [["CONSTANT_VALUE", {
71
                        "value" : ["CST_LITERAL", "12.5"]}
72
                      ]]}
73
                    ]]}
74
                  ]]}
75
                ]]}
76
              ]}
77
            ]}
78
          , {
79
            "declaration" : ["VARIABLE_DECLARATION", {
80
              "names" : [["IDENTIFIER", "z1"]], "typ" : {
81
                "name" : ["SIMPLE_NAME", "integer"]}
82
              , "init_val" : ["EXPRESSION", {
83
                "args" : [["EXPRESSION", {
84
                  "args" : [["EXPRESSION", {
85
                    "args" : [["EXPRESSION", {
86
                      "args" : [["CONSTANT_VALUE", {
87
                        "value" : ["CST_LITERAL", "10"]}
88
                      ]]}
89
                    ]]}
90
                  ]]}
91
                ]]}
92
              ]}
93
            ]}
94
          ], "PROCESS_STATEMENT_PART" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
95
            "lhs" : ["SIMPLE_NAME", "b1"], "rhs" : ["EXPRESSION", {
96
              "id" : "or", "args" : [["EXPRESSION", {
97
                "id" : "or", "args" : [["EXPRESSION", {
98
                  "id" : "or", "args" : [["EXPRESSION", {
99
                    "args" : [["EXPRESSION", {
100
                      "args" : [["EXPRESSION", {
101
                        "args" : [["EXPRESSION", {
102
                          "args" : [["EXPRESSION", {
103
                            "id" : "<", "args" : [["EXPRESSION", {
104
                              "args" : [["EXPRESSION", {
105
                                "args" : [["EXPRESSION", {
106
                                  "args" : [["CALL", ["SIMPLE_NAME", "x1"]]]}
107
                                ]]}
108
                              ]]}
109
                            ], ["EXPRESSION", {
110
                              "args" : [["EXPRESSION", {
111
                                "args" : [["EXPRESSION", {
112
                                  "args" : [["CALL", ["SIMPLE_NAME", "z1"]]]}
113
                                ]]}
114
                              ]]}
115
                            ]]}
116
                          ]]}
117
                        ]]}
118
                      ]]}
119
                    ]]}
120
                  ], ["EXPRESSION", {
121
                    "args" : [["EXPRESSION", {
122
                      "args" : [["EXPRESSION", {
123
                        "args" : [["EXPRESSION", {
124
                          "args" : [["EXPRESSION", {
125
                            "id" : ">", "args" : [["EXPRESSION", {
126
                              "args" : [["EXPRESSION", {
127
                                "args" : [["EXPRESSION", {
128
                                  "args" : [["CALL", ["SIMPLE_NAME", "y1"]]]}
129
                                ]]}
130
                              ]]}
131
                            ], ["EXPRESSION", {
132
                              "args" : [["EXPRESSION", {
133
                                "args" : [["EXPRESSION", {
134
                                  "args" : [["CALL", ["SIMPLE_NAME", "p1"]]]}
135
                                ]]}
136
                              ]]}
137
                            ]]}
138
                          ]]}
139
                        ]]}
140
                      ]]}
141
                    ]]}
142
                  ]]}
143
                ], ["EXPRESSION", {
144
                  "args" : [["EXPRESSION", {
145
                    "args" : [["EXPRESSION", {
146
                      "args" : [["EXPRESSION", {
147
                        "args" : [["EXPRESSION", {
148
                          "id" : "=", "args" : [["EXPRESSION", {
149
                            "args" : [["EXPRESSION", {
150
                              "args" : [["EXPRESSION", {
151
                                "args" : [["CALL", ["SIMPLE_NAME", "x1"]]]}
152
                              ]]}
153
                            ]]}
154
                          ], ["EXPRESSION", {
155
                            "args" : [["EXPRESSION", {
156
                              "args" : [["EXPRESSION", {
157
                                "args" : [["CALL", ["SIMPLE_NAME", "z1"]]]}
158
                              ]]}
159
                            ]]}
160
                          ]]}
161
                        ]]}
162
                      ]]}
163
                    ]]}
164
                  ]]}
165
                ]]}
166
              ], ["EXPRESSION", {
167
                "args" : [["EXPRESSION", {
168
                  "args" : [["EXPRESSION", {
169
                    "args" : [["EXPRESSION", {
170
                      "args" : [["CALL", ["SIMPLE_NAME", "a1"]]]}
171
                    ]]}
172
                  ]]}
173
                ]]}
174
              ]]}
175
            ]}
176
          ], ["ASSERTION_STATEMENT", {
177
            "cond" : ["EXPRESSION", {
178
              "args" : [["EXPRESSION", {
179
                "args" : [["EXPRESSION", {
180
                  "args" : [["EXPRESSION", {
181
                    "id" : "NOT", "args" : [["EXPRESSION", {
182
                      "id" : "=", "args" : [["EXPRESSION", {
183
                        "args" : [["EXPRESSION", {
184
                          "args" : [["EXPRESSION", {
185
                            "args" : [["CALL", ["SIMPLE_NAME", "b1"]]]}
186
                          ]]}
187
                        ]]}
188
                      ], ["EXPRESSION", {
189
                        "args" : [["EXPRESSION", {
190
                          "args" : [["EXPRESSION", {
191
                            "args" : [["CALL", ["SIMPLE_NAME", "true"]]]}
192
                          ]]}
193
                        ]]}
194
                      ]]}
195
                    ]]}
196
                  ]]}
197
                ]]}
198
              ]]}
199
            ], "report" : ["EXPRESSION", {
200
              "args" : [["EXPRESSION", {
201
                "args" : [["EXPRESSION", {
202
                  "args" : [["EXPRESSION", {
203
                    "args" : [["CONSTANT_VALUE", {
204
                      "value" : ["CST_LITERAL", "\"***PASSED TEST: c07s01b00x00p08n01i01810\""]}
205
                    ]]}
206
                  ]]}
207
                ]]}
208
              ]]}
209
            ], "severity" : ["EXPRESSION", {
210
              "args" : [["EXPRESSION", {
211
                "args" : [["EXPRESSION", {
212
                  "args" : [["EXPRESSION", {
213
                    "args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]}
214
                  ]]}
215
                ]]}
216
              ]]}
217
            ]}
218
          ], ["ASSERTION_STATEMENT", {
219
            "cond" : ["EXPRESSION", {
220
              "args" : [["EXPRESSION", {
221
                "args" : [["EXPRESSION", {
222
                  "args" : [["EXPRESSION", {
223
                    "args" : [["EXPRESSION", {
224
                      "id" : "=", "args" : [["EXPRESSION", {
225
                        "args" : [["EXPRESSION", {
226
                          "args" : [["EXPRESSION", {
227
                            "args" : [["CALL", ["SIMPLE_NAME", "b1"]]]}
228
                          ]]}
229
                        ]]}
230
                      ], ["EXPRESSION", {
231
                        "args" : [["EXPRESSION", {
232
                          "args" : [["EXPRESSION", {
233
                            "args" : [["CALL", ["SIMPLE_NAME", "true"]]]}
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: c07s01b00x00p08n01i01810 - The primary must be a name, a literal, an aggregate, a function call, a qualified expression, a type conversion, an allocator, or an expression enclosed with parentheses.\""]}
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
  }