lustrec-tests / vhdl_json / vhdl_files / 2-exportOK / ghdl / ghdl / testsuite / vests / vhdl-93 / billowitch / compliant / tc2272.json @ 3fd18385
History | View | Annotate | Download (18.3 KB)
1 |
{ |
---|---|
2 |
"DESIGN_FILE" : {
|
3 |
"design_units" : [{
|
4 |
"contexts" : [], "library" : ["ENTITY_DECLARATION", { |
5 |
"name" : ["IDENTIFIER", "c07s02b06x00p14n01i02272ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []} |
6 |
]} |
7 |
, { |
8 |
"contexts" : [], "library" : ["ARCHITECTURE_BODY", { |
9 |
"name" : ["IDENTIFIER", "c07s02b06x00p14n01i02272arch"], "entity" : ["IDENTIFIER", "c07s02b06x00p14n01i02272ent"], "ARCHITECTURE_DECLARATIVE_PART" : [{ |
10 |
"declaration" : ["SIGNAL_DECLARATION", { |
11 |
"names" : [["IDENTIFIER", "SS"]], "typ" : { |
12 |
"name" : ["SIMPLE_NAME", "TIME"]} |
13 |
} |
14 |
]} |
15 |
], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", { |
16 |
"id" : ["IDENTIFIER", "TESTING"], "PROCESS_DECLARATIVE_PART" : [{ |
17 |
"declaration" : ["VARIABLE_DECLARATION", { |
18 |
"names" : [["IDENTIFIER", "A"]], "typ" : { |
19 |
"name" : ["SIMPLE_NAME", "TIME"]} |
20 |
, "init_val" : ["EXPRESSION", { |
21 |
"args" : [["EXPRESSION", { |
22 |
"args" : [["EXPRESSION", { |
23 |
"args" : [["EXPRESSION", { |
24 |
"id" : "*", "args" : [["EXPRESSION", { |
25 |
"args" : [["CONSTANT_VALUE", { |
26 |
"value" : ["CST_LITERAL", "3"]} |
27 |
]]} |
28 |
], ["EXPRESSION", {
|
29 |
"args" : [["CONSTANT_VALUE", { |
30 |
"value" : ["CST_LITERAL", "11"], "unit_name" : ["SIMPLE_NAME", "ns"]} |
31 |
]]} |
32 |
]]} |
33 |
]]} |
34 |
]]} |
35 |
]]} |
36 |
]} |
37 |
]} |
38 |
, { |
39 |
"declaration" : ["VARIABLE_DECLARATION", { |
40 |
"names" : [["IDENTIFIER", "R"]], "typ" : { |
41 |
"name" : ["SIMPLE_NAME", "REAL"]} |
42 |
, "init_val" : ["EXPRESSION", { |
43 |
"args" : [["EXPRESSION", { |
44 |
"args" : [["EXPRESSION", { |
45 |
"args" : [["EXPRESSION", { |
46 |
"args" : [["CONSTANT_VALUE", { |
47 |
"value" : ["CST_LITERAL", "7.9999"]} |
48 |
]]} |
49 |
]]} |
50 |
]]} |
51 |
]]} |
52 |
]} |
53 |
]} |
54 |
, { |
55 |
"declaration" : ["VARIABLE_DECLARATION", { |
56 |
"names" : [["IDENTIFIER", "S"]], "typ" : { |
57 |
"name" : ["SIMPLE_NAME", "INTEGER"]} |
58 |
, "init_val" : ["EXPRESSION", { |
59 |
"args" : [["EXPRESSION", { |
60 |
"args" : [["EXPRESSION", { |
61 |
"args" : [["EXPRESSION", { |
62 |
"args" : [["CONSTANT_VALUE", { |
63 |
"value" : ["CST_LITERAL", "1"]} |
64 |
]]} |
65 |
]]} |
66 |
]]} |
67 |
]]} |
68 |
]} |
69 |
]} |
70 |
], "PROCESS_STATEMENT_PART" : [["SIGNAL_ASSIGNMENT_STATEMENT", { |
71 |
"lhs" : ["SIMPLE_NAME", "SS"], "rhs" : [{ |
72 |
"value" : ["EXPRESSION", { |
73 |
"args" : [["EXPRESSION", { |
74 |
"args" : [["EXPRESSION", { |
75 |
"args" : [["EXPRESSION", { |
76 |
"id" : "*", "args" : [["EXPRESSION", { |
77 |
"args" : [["CALL", ["SIMPLE_NAME", "R"]]]} |
78 |
], ["EXPRESSION", {
|
79 |
"args" : [["EXPRESSION", { |
80 |
"args" : [["EXPRESSION", { |
81 |
"args" : [["EXPRESSION", { |
82 |
"args" : [["EXPRESSION", { |
83 |
"id" : "*", "args" : [["EXPRESSION", { |
84 |
"args" : [["CALL", ["SIMPLE_NAME", "S"]]]} |
85 |
], ["EXPRESSION", {
|
86 |
"args" : [["CALL", ["SIMPLE_NAME", "A"]]]} |
87 |
]]} |
88 |
]]} |
89 |
]]} |
90 |
]]} |
91 |
]]} |
92 |
]]} |
93 |
]]} |
94 |
]]} |
95 |
]]} |
96 |
]} |
97 |
]} |
98 |
], ["WAIT_STATEMENT"], ["ASSERTION_STATEMENT", { |
99 |
"cond" : ["EXPRESSION", { |
100 |
"args" : [["EXPRESSION", { |
101 |
"args" : [["EXPRESSION", { |
102 |
"args" : [["EXPRESSION", { |
103 |
"id" : "NOT", "args" : [["EXPRESSION", { |
104 |
"id" : "and", "args" : [["EXPRESSION", { |
105 |
"args" : [["EXPRESSION", { |
106 |
"args" : [["EXPRESSION", { |
107 |
"args" : [["EXPRESSION", { |
108 |
"args" : [["EXPRESSION", { |
109 |
"id" : "<", "args" : [["EXPRESSION", { |
110 |
"args" : [["EXPRESSION", { |
111 |
"id" : "-", "args" : [["EXPRESSION", { |
112 |
"args" : [["CONSTANT_VALUE", { |
113 |
"value" : ["CST_LITERAL", "0.01"], "unit_name" : ["SIMPLE_NAME", "ns"]} |
114 |
]]} |
115 |
]]} |
116 |
]]} |
117 |
], ["EXPRESSION", {
|
118 |
"args" : [["EXPRESSION", { |
119 |
"args" : [["EXPRESSION", { |
120 |
"args" : [["EXPRESSION", { |
121 |
"args" : [["EXPRESSION", { |
122 |
"args" : [["EXPRESSION", { |
123 |
"args" : [["EXPRESSION", { |
124 |
"id" : "-", "args" : [["EXPRESSION", { |
125 |
"args" : [["CALL", ["SIMPLE_NAME", "SS"]]]} |
126 |
], ["EXPRESSION", {
|
127 |
"id" : "*", "args" : [["EXPRESSION", { |
128 |
"id" : "*", "args" : [["EXPRESSION", { |
129 |
"args" : [["CONSTANT_VALUE", { |
130 |
"value" : ["CST_LITERAL", "3"]} |
131 |
]]} |
132 |
], ["EXPRESSION", {
|
133 |
"args" : [["CONSTANT_VALUE", { |
134 |
"value" : ["CST_LITERAL", "11"]} |
135 |
]]} |
136 |
]]} |
137 |
], ["EXPRESSION", {
|
138 |
"args" : [["CONSTANT_VALUE", { |
139 |
"value" : ["CST_LITERAL", "7.9999"], "unit_name" : ["SIMPLE_NAME", "ns"]} |
140 |
]]} |
141 |
]]} |
142 |
]]} |
143 |
]]} |
144 |
]]} |
145 |
]]} |
146 |
]]} |
147 |
]]} |
148 |
]]} |
149 |
]]} |
150 |
]]} |
151 |
]]} |
152 |
]]} |
153 |
]]} |
154 |
], ["EXPRESSION", {
|
155 |
"args" : [["EXPRESSION", { |
156 |
"args" : [["EXPRESSION", { |
157 |
"args" : [["EXPRESSION", { |
158 |
"args" : [["EXPRESSION", { |
159 |
"id" : "<", "args" : [["EXPRESSION", { |
160 |
"args" : [["EXPRESSION", { |
161 |
"args" : [["EXPRESSION", { |
162 |
"args" : [["EXPRESSION", { |
163 |
"args" : [["EXPRESSION", { |
164 |
"args" : [["EXPRESSION", { |
165 |
"args" : [["EXPRESSION", { |
166 |
"id" : "-", "args" : [["EXPRESSION", { |
167 |
"args" : [["CALL", ["SIMPLE_NAME", "SS"]]]} |
168 |
], ["EXPRESSION", {
|
169 |
"id" : "*", "args" : [["EXPRESSION", { |
170 |
"id" : "*", "args" : [["EXPRESSION", { |
171 |
"args" : [["CONSTANT_VALUE", { |
172 |
"value" : ["CST_LITERAL", "3"]} |
173 |
]]} |
174 |
], ["EXPRESSION", {
|
175 |
"args" : [["CONSTANT_VALUE", { |
176 |
"value" : ["CST_LITERAL", "11"]} |
177 |
]]} |
178 |
]]} |
179 |
], ["EXPRESSION", {
|
180 |
"args" : [["CONSTANT_VALUE", { |
181 |
"value" : ["CST_LITERAL", "7.9999"], "unit_name" : ["SIMPLE_NAME", "ns"]} |
182 |
]]} |
183 |
]]} |
184 |
]]} |
185 |
]]} |
186 |
]]} |
187 |
]]} |
188 |
]]} |
189 |
]]} |
190 |
]]} |
191 |
], ["EXPRESSION", {
|
192 |
"args" : [["EXPRESSION", { |
193 |
"args" : [["EXPRESSION", { |
194 |
"args" : [["CONSTANT_VALUE", { |
195 |
"value" : ["CST_LITERAL", "0.01"], "unit_name" : ["SIMPLE_NAME", "ns"]} |
196 |
]]} |
197 |
]]} |
198 |
]]} |
199 |
]]} |
200 |
]]} |
201 |
]]} |
202 |
]]} |
203 |
]]} |
204 |
]]} |
205 |
]]} |
206 |
]]} |
207 |
]]} |
208 |
]]} |
209 |
], "report" : ["EXPRESSION", { |
210 |
"args" : [["EXPRESSION", { |
211 |
"args" : [["EXPRESSION", { |
212 |
"args" : [["EXPRESSION", { |
213 |
"args" : [["CONSTANT_VALUE", { |
214 |
"value" : ["CST_LITERAL", "\"***PASSED TEST: c07s02b06x00p14n01i02272\""]} |
215 |
]]} |
216 |
]]} |
217 |
]]} |
218 |
]]} |
219 |
], "severity" : ["EXPRESSION", { |
220 |
"args" : [["EXPRESSION", { |
221 |
"args" : [["EXPRESSION", { |
222 |
"args" : [["EXPRESSION", { |
223 |
"args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]} |
224 |
]]} |
225 |
]]} |
226 |
]]} |
227 |
]} |
228 |
], ["ASSERTION_STATEMENT", {
|
229 |
"cond" : ["EXPRESSION", { |
230 |
"args" : [["EXPRESSION", { |
231 |
"args" : [["EXPRESSION", { |
232 |
"args" : [["EXPRESSION", { |
233 |
"args" : [["EXPRESSION", { |
234 |
"id" : "and", "args" : [["EXPRESSION", { |
235 |
"args" : [["EXPRESSION", { |
236 |
"args" : [["EXPRESSION", { |
237 |
"args" : [["EXPRESSION", { |
238 |
"args" : [["EXPRESSION", { |
239 |
"id" : "<", "args" : [["EXPRESSION", { |
240 |
"args" : [["EXPRESSION", { |
241 |
"id" : "-", "args" : [["EXPRESSION", { |
242 |
"args" : [["CONSTANT_VALUE", { |
243 |
"value" : ["CST_LITERAL", "0.01"], "unit_name" : ["SIMPLE_NAME", "ns"]} |
244 |
]]} |
245 |
]]} |
246 |
]]} |
247 |
], ["EXPRESSION", {
|
248 |
"args" : [["EXPRESSION", { |
249 |
"args" : [["EXPRESSION", { |
250 |
"args" : [["EXPRESSION", { |
251 |
"args" : [["EXPRESSION", { |
252 |
"args" : [["EXPRESSION", { |
253 |
"args" : [["EXPRESSION", { |
254 |
"id" : "-", "args" : [["EXPRESSION", { |
255 |
"args" : [["CALL", ["SIMPLE_NAME", "SS"]]]} |
256 |
], ["EXPRESSION", {
|
257 |
"id" : "*", "args" : [["EXPRESSION", { |
258 |
"id" : "*", "args" : [["EXPRESSION", { |
259 |
"args" : [["CONSTANT_VALUE", { |
260 |
"value" : ["CST_LITERAL", "3"]} |
261 |
]]} |
262 |
], ["EXPRESSION", {
|
263 |
"args" : [["CONSTANT_VALUE", { |
264 |
"value" : ["CST_LITERAL", "11"]} |
265 |
]]} |
266 |
]]} |
267 |
], ["EXPRESSION", {
|
268 |
"args" : [["CONSTANT_VALUE", { |
269 |
"value" : ["CST_LITERAL", "7.9999"], "unit_name" : ["SIMPLE_NAME", "ns"]} |
270 |
]]} |
271 |
]]} |
272 |
]]} |
273 |
]]} |
274 |
]]} |
275 |
]]} |
276 |
]]} |
277 |
]]} |
278 |
]]} |
279 |
]]} |
280 |
]]} |
281 |
]]} |
282 |
]]} |
283 |
]]} |
284 |
], ["EXPRESSION", {
|
285 |
"args" : [["EXPRESSION", { |
286 |
"args" : [["EXPRESSION", { |
287 |
"args" : [["EXPRESSION", { |
288 |
"args" : [["EXPRESSION", { |
289 |
"id" : "<", "args" : [["EXPRESSION", { |
290 |
"args" : [["EXPRESSION", { |
291 |
"args" : [["EXPRESSION", { |
292 |
"args" : [["EXPRESSION", { |
293 |
"args" : [["EXPRESSION", { |
294 |
"args" : [["EXPRESSION", { |
295 |
"args" : [["EXPRESSION", { |
296 |
"id" : "-", "args" : [["EXPRESSION", { |
297 |
"args" : [["CALL", ["SIMPLE_NAME", "SS"]]]} |
298 |
], ["EXPRESSION", {
|
299 |
"id" : "*", "args" : [["EXPRESSION", { |
300 |
"id" : "*", "args" : [["EXPRESSION", { |
301 |
"args" : [["CONSTANT_VALUE", { |
302 |
"value" : ["CST_LITERAL", "3"]} |
303 |
]]} |
304 |
], ["EXPRESSION", {
|
305 |
"args" : [["CONSTANT_VALUE", { |
306 |
"value" : ["CST_LITERAL", "11"]} |
307 |
]]} |
308 |
]]} |
309 |
], ["EXPRESSION", {
|
310 |
"args" : [["CONSTANT_VALUE", { |
311 |
"value" : ["CST_LITERAL", "7.9999"], "unit_name" : ["SIMPLE_NAME", "ns"]} |
312 |
]]} |
313 |
]]} |
314 |
]]} |
315 |
]]} |
316 |
]]} |
317 |
]]} |
318 |
]]} |
319 |
]]} |
320 |
]]} |
321 |
], ["EXPRESSION", {
|
322 |
"args" : [["EXPRESSION", { |
323 |
"args" : [["EXPRESSION", { |
324 |
"args" : [["CONSTANT_VALUE", { |
325 |
"value" : ["CST_LITERAL", "0.01"], "unit_name" : ["SIMPLE_NAME", "ns"]} |
326 |
]]} |
327 |
]]} |
328 |
]]} |
329 |
]]} |
330 |
]]} |
331 |
]]} |
332 |
]]} |
333 |
]]} |
334 |
]]} |
335 |
]]} |
336 |
]]} |
337 |
]]} |
338 |
]]} |
339 |
], "report" : ["EXPRESSION", { |
340 |
"args" : [["EXPRESSION", { |
341 |
"args" : [["EXPRESSION", { |
342 |
"args" : [["EXPRESSION", { |
343 |
"args" : [["CONSTANT_VALUE", { |
344 |
"value" : ["CST_LITERAL", "\"***FAILED TEST: c07s02b06x00p14n01i02272 - The left operand of the multiplication operation can be an integer type and the right operand of physical type.\""]} |
345 |
]]} |
346 |
]]} |
347 |
]]} |
348 |
]]} |
349 |
], "severity" : ["EXPRESSION", { |
350 |
"args" : [["EXPRESSION", { |
351 |
"args" : [["EXPRESSION", { |
352 |
"args" : [["EXPRESSION", { |
353 |
"args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]} |
354 |
]]} |
355 |
]]} |
356 |
]]} |
357 |
]} |
358 |
], ["WAIT_STATEMENT"]]}
|
359 |
]]} |
360 |
]} |
361 |
]} |
362 |
} |