lustrec-tests / vhdl_json / vhdl_files / 2-exportOK / ghdl / ghdl / testsuite / vests / vhdl-93 / billowitch / compliant / tc118.json @ 3fd18385
History | View | Annotate | Download (50.4 KB)
1 | 3fd18385 | Arnaud Dieumegard | { |
---|---|---|---|
2 | "DESIGN_FILE" : {
|
||
3 | "design_units" : [{
|
||
4 | "contexts" : [], "library" : ["PACKAGE_DECLARATION", { |
||
5 | "name" : ["IDENTIFIER", "c04s03b02x00p29n10i00118pkg"], "shared_defs" : [["TYPE_DECLARATION", { |
||
6 | "name" : ["IDENTIFIER", "Apollo_string"], "definition" : ["ARRAY_TYPE_DEFINITION", { |
||
7 | "const" : ["INDEX_CONSTRAINT", { |
||
8 | "ranges" : [["SUB_DISCRETE_RANGE", { |
||
9 | "name" : ["SIMPLE_NAME", "INTEGER"], "const" : ["RANGE_CONSTRAINT", { |
||
10 | "range" : ["RANGE_WITH_DIRECTION", { |
||
11 | "direction" : "to", "from" : ["EXPRESSION", { |
||
12 | "args" : [["EXPRESSION", { |
||
13 | "args" : [["CONSTANT_VALUE", { |
||
14 | "value" : ["CST_LITERAL", "1"]} |
||
15 | ]]} |
||
16 | ]]} |
||
17 | ], "_to" : ["EXPRESSION", { |
||
18 | "args" : [["EXPRESSION", { |
||
19 | "args" : [["CONSTANT_VALUE", { |
||
20 | "value" : ["CST_LITERAL", "8"]} |
||
21 | ]]} |
||
22 | ]]} |
||
23 | ]} |
||
24 | ]} |
||
25 | ]} |
||
26 | ]]} |
||
27 | ], "definition" : {
|
||
28 | "name" : ["SIMPLE_NAME", "CHARACTER"]} |
||
29 | } |
||
30 | ]} |
||
31 | ], ["TYPE_DECLARATION", {
|
||
32 | "name" : ["IDENTIFIER", "V_REGISTER"], "definition" : ["ARRAY_TYPE_DEFINITION", { |
||
33 | "const" : ["INDEX_CONSTRAINT", { |
||
34 | "ranges" : [["SUB_DISCRETE_RANGE", { |
||
35 | "name" : ["SIMPLE_NAME", "INTEGER"], "const" : ["RANGE_CONSTRAINT", { |
||
36 | "range" : ["RANGE_WITH_DIRECTION", { |
||
37 | "direction" : "to", "from" : ["EXPRESSION", { |
||
38 | "args" : [["EXPRESSION", { |
||
39 | "args" : [["CONSTANT_VALUE", { |
||
40 | "value" : ["CST_LITERAL", "0"]} |
||
41 | ]]} |
||
42 | ]]} |
||
43 | ], "_to" : ["EXPRESSION", { |
||
44 | "args" : [["EXPRESSION", { |
||
45 | "args" : [["CONSTANT_VALUE", { |
||
46 | "value" : ["CST_LITERAL", "7"]} |
||
47 | ]]} |
||
48 | ]]} |
||
49 | ]} |
||
50 | ]} |
||
51 | ]} |
||
52 | ]]} |
||
53 | ], "definition" : {
|
||
54 | "name" : ["SIMPLE_NAME", "BIT"]} |
||
55 | } |
||
56 | ]} |
||
57 | ]], "shared_decls" : [], "shared_uses" : []} |
||
58 | ]} |
||
59 | , { |
||
60 | "contexts" : [["USE_CLAUSE", [["SELECTED_NAME", [["SIMPLE_NAME", "work"], ["SIMPLE_NAME", "c04s03b02x00p29n10i00118pkg"]]]]]], "library" : ["ENTITY_DECLARATION", { |
||
61 | "name" : ["IDENTIFIER", "c04s03b02x00p29n10i00118ent"], "ports" : [{ |
||
62 | "names" : [["IDENTIFIER", "p23"]], "mode" : ["buffer"], "typ" : { |
||
63 | "name" : ["SIMPLE_NAME", "Boolean"]} |
||
64 | , "expr" : ["EXPRESSION", { |
||
65 | "args" : [["EXPRESSION", { |
||
66 | "args" : [["EXPRESSION", { |
||
67 | "args" : [["EXPRESSION", { |
||
68 | "args" : [["CALL", ["SIMPLE_NAME", "FALSE"]]]} |
||
69 | ]]} |
||
70 | ]]} |
||
71 | ]]} |
||
72 | ]} |
||
73 | , { |
||
74 | "names" : [["IDENTIFIER", "p24"]], "mode" : ["buffer"], "typ" : { |
||
75 | "name" : ["SIMPLE_NAME", "Bit"]} |
||
76 | , "expr" : ["EXPRESSION", { |
||
77 | "args" : [["EXPRESSION", { |
||
78 | "args" : [["EXPRESSION", { |
||
79 | "args" : [["EXPRESSION", { |
||
80 | "args" : [["CONSTANT_VALUE", { |
||
81 | "value" : ["CST_LITERAL", "'0'"]} |
||
82 | ]]} |
||
83 | ]]} |
||
84 | ]]} |
||
85 | ]]} |
||
86 | ]} |
||
87 | , { |
||
88 | "names" : [["IDENTIFIER", "p25"]], "mode" : ["buffer"], "typ" : { |
||
89 | "name" : ["SIMPLE_NAME", "Character"]} |
||
90 | , "expr" : ["EXPRESSION", { |
||
91 | "args" : [["EXPRESSION", { |
||
92 | "args" : [["EXPRESSION", { |
||
93 | "args" : [["EXPRESSION", { |
||
94 | "args" : [["CALL", ["SIMPLE_NAME", "NUL"]]]} |
||
95 | ]]} |
||
96 | ]]} |
||
97 | ]]} |
||
98 | ]} |
||
99 | , { |
||
100 | "names" : [["IDENTIFIER", "p26"]], "mode" : ["buffer"], "typ" : { |
||
101 | "name" : ["SIMPLE_NAME", "SEVERITY_LEVEL"]} |
||
102 | , "expr" : ["EXPRESSION", { |
||
103 | "args" : [["EXPRESSION", { |
||
104 | "args" : [["EXPRESSION", { |
||
105 | "args" : [["EXPRESSION", { |
||
106 | "args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]} |
||
107 | ]]} |
||
108 | ]]} |
||
109 | ]]} |
||
110 | ]} |
||
111 | , { |
||
112 | "names" : [["IDENTIFIER", "p27"]], "mode" : ["buffer"], "typ" : { |
||
113 | "name" : ["SIMPLE_NAME", "Integer"]} |
||
114 | , "expr" : ["EXPRESSION", { |
||
115 | "args" : [["EXPRESSION", { |
||
116 | "args" : [["EXPRESSION", { |
||
117 | "id" : "-", "args" : [["EXPRESSION", { |
||
118 | "args" : [["CONSTANT_VALUE", { |
||
119 | "value" : ["CST_LITERAL", "1"]} |
||
120 | ]]} |
||
121 | ]]} |
||
122 | ]]} |
||
123 | ]]} |
||
124 | ]} |
||
125 | , { |
||
126 | "names" : [["IDENTIFIER", "p28"]], "mode" : ["buffer"], "typ" : { |
||
127 | "name" : ["SIMPLE_NAME", "Real"]} |
||
128 | , "expr" : ["EXPRESSION", { |
||
129 | "args" : [["EXPRESSION", { |
||
130 | "args" : [["EXPRESSION", { |
||
131 | "id" : "-", "args" : [["EXPRESSION", { |
||
132 | "args" : [["CONSTANT_VALUE", { |
||
133 | "value" : ["CST_LITERAL", "1.0"]} |
||
134 | ]]} |
||
135 | ]]} |
||
136 | ]]} |
||
137 | ]]} |
||
138 | ]} |
||
139 | , { |
||
140 | "names" : [["IDENTIFIER", "p29"]], "mode" : ["buffer"], "typ" : { |
||
141 | "name" : ["SIMPLE_NAME", "TIME"]} |
||
142 | , "expr" : ["EXPRESSION", { |
||
143 | "args" : [["EXPRESSION", { |
||
144 | "args" : [["EXPRESSION", { |
||
145 | "args" : [["EXPRESSION", { |
||
146 | "args" : [["CONSTANT_VALUE", { |
||
147 | "value" : ["CST_LITERAL", "1"], "unit_name" : ["SIMPLE_NAME", "ns"]} |
||
148 | ]]} |
||
149 | ]]} |
||
150 | ]]} |
||
151 | ]]} |
||
152 | ]} |
||
153 | , { |
||
154 | "names" : [["IDENTIFIER", "p30"]], "mode" : ["buffer"], "typ" : { |
||
155 | "name" : ["SIMPLE_NAME", "Natural"]} |
||
156 | , "expr" : ["EXPRESSION", { |
||
157 | "args" : [["EXPRESSION", { |
||
158 | "args" : [["EXPRESSION", { |
||
159 | "args" : [["EXPRESSION", { |
||
160 | "args" : [["CONSTANT_VALUE", { |
||
161 | "value" : ["CST_LITERAL", "0"]} |
||
162 | ]]} |
||
163 | ]]} |
||
164 | ]]} |
||
165 | ]]} |
||
166 | ]} |
||
167 | , { |
||
168 | "names" : [["IDENTIFIER", "p31"]], "mode" : ["buffer"], "typ" : { |
||
169 | "name" : ["SIMPLE_NAME", "Positive"]} |
||
170 | , "expr" : ["EXPRESSION", { |
||
171 | "args" : [["EXPRESSION", { |
||
172 | "args" : [["EXPRESSION", { |
||
173 | "args" : [["EXPRESSION", { |
||
174 | "args" : [["CONSTANT_VALUE", { |
||
175 | "value" : ["CST_LITERAL", "1"]} |
||
176 | ]]} |
||
177 | ]]} |
||
178 | ]]} |
||
179 | ]]} |
||
180 | ]} |
||
181 | , { |
||
182 | "names" : [["IDENTIFIER", "p32"]], "mode" : ["buffer"], "typ" : { |
||
183 | "name" : ["SIMPLE_NAME", "Apollo_string"]} |
||
184 | , "expr" : ["EXPRESSION", { |
||
185 | "args" : [["EXPRESSION", { |
||
186 | "args" : [["EXPRESSION", { |
||
187 | "args" : [["EXPRESSION", { |
||
188 | "args" : [["CONSTANT_VALUE", { |
||
189 | "value" : ["CST_LITERAL", "\"abcdefgh\""]} |
||
190 | ]]} |
||
191 | ]]} |
||
192 | ]]} |
||
193 | ]]} |
||
194 | ]} |
||
195 | , { |
||
196 | "names" : [["IDENTIFIER", "p33"]], "mode" : ["buffer"], "typ" : { |
||
197 | "name" : ["SIMPLE_NAME", "V_register"]} |
||
198 | , "expr" : ["EXPRESSION", { |
||
199 | "args" : [["EXPRESSION", { |
||
200 | "args" : [["EXPRESSION", { |
||
201 | "args" : [["EXPRESSION", { |
||
202 | "args" : [["CONSTANT_VALUE", { |
||
203 | "value" : ["CST_LITERAL", "B\"10010110\""]} |
||
204 | ]]} |
||
205 | ]]} |
||
206 | ]]} |
||
207 | ]]} |
||
208 | ]} |
||
209 | ], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []} |
||
210 | ]} |
||
211 | , { |
||
212 | "contexts" : [], "library" : ["ARCHITECTURE_BODY", { |
||
213 | "name" : ["IDENTIFIER", "c04s03b02x00p29n10i00118arch"], "entity" : ["IDENTIFIER", "c04s03b02x00p29n10i00118ent"], "ARCHITECTURE_DECLARATIVE_PART" : [], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", { |
||
214 | "id" : ["IDENTIFIER", "TESTING"], "PROCESS_STATEMENT_PART" : [["SIGNAL_ASSIGNMENT_STATEMENT", { |
||
215 | "lhs" : ["SIMPLE_NAME", "p23"], "rhs" : [{ |
||
216 | "value" : ["EXPRESSION", { |
||
217 | "args" : [["EXPRESSION", { |
||
218 | "args" : [["EXPRESSION", { |
||
219 | "args" : [["EXPRESSION", { |
||
220 | "id" : "not", "args" : [["CALL", ["SIMPLE_NAME", "p23"]]]} |
||
221 | ]]} |
||
222 | ]]} |
||
223 | ]]} |
||
224 | ], "delay" : ["EXPRESSION", { |
||
225 | "args" : [["EXPRESSION", { |
||
226 | "args" : [["EXPRESSION", { |
||
227 | "args" : [["EXPRESSION", { |
||
228 | "args" : [["CONSTANT_VALUE", { |
||
229 | "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]} |
||
230 | ]]} |
||
231 | ]]} |
||
232 | ]]} |
||
233 | ]]} |
||
234 | ]} |
||
235 | ]} |
||
236 | ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
|
||
237 | "lhs" : ["SIMPLE_NAME", "p24"], "rhs" : [{ |
||
238 | "value" : ["EXPRESSION", { |
||
239 | "args" : [["EXPRESSION", { |
||
240 | "args" : [["EXPRESSION", { |
||
241 | "args" : [["EXPRESSION", { |
||
242 | "id" : "not", "args" : [["CALL", ["SIMPLE_NAME", "p24"]]]} |
||
243 | ]]} |
||
244 | ]]} |
||
245 | ]]} |
||
246 | ], "delay" : ["EXPRESSION", { |
||
247 | "args" : [["EXPRESSION", { |
||
248 | "args" : [["EXPRESSION", { |
||
249 | "args" : [["EXPRESSION", { |
||
250 | "args" : [["CONSTANT_VALUE", { |
||
251 | "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]} |
||
252 | ]]} |
||
253 | ]]} |
||
254 | ]]} |
||
255 | ]]} |
||
256 | ]} |
||
257 | ]} |
||
258 | ], ["IF_STATEMENT", {
|
||
259 | "if_cases" : [{
|
||
260 | "if_cond" : ["EXPRESSION", { |
||
261 | "args" : [["EXPRESSION", { |
||
262 | "args" : [["EXPRESSION", { |
||
263 | "args" : [["EXPRESSION", { |
||
264 | "args" : [["EXPRESSION", { |
||
265 | "id" : "/=", "args" : [["EXPRESSION", { |
||
266 | "args" : [["EXPRESSION", { |
||
267 | "args" : [["EXPRESSION", { |
||
268 | "args" : [["CALL", ["SIMPLE_NAME", "p25"]]]} |
||
269 | ]]} |
||
270 | ]]} |
||
271 | ], ["EXPRESSION", {
|
||
272 | "args" : [["EXPRESSION", { |
||
273 | "args" : [["EXPRESSION", { |
||
274 | "args" : [["CALL", ["ATTRIBUTE_NAME", { |
||
275 | "id" : ["SIMPLE_NAME", "character"], "designator" : ["SIMPLE_NAME", "high"]} |
||
276 | ]]]} |
||
277 | ]]} |
||
278 | ]]} |
||
279 | ]]} |
||
280 | ]]} |
||
281 | ]]} |
||
282 | ]]} |
||
283 | ]]} |
||
284 | ], "if_block" : [["SIGNAL_ASSIGNMENT_STATEMENT", { |
||
285 | "lhs" : ["SIMPLE_NAME", "p25"], "rhs" : [{ |
||
286 | "value" : ["EXPRESSION", { |
||
287 | "args" : [["EXPRESSION", { |
||
288 | "args" : [["EXPRESSION", { |
||
289 | "args" : [["EXPRESSION", { |
||
290 | "args" : [["CALL", ["ATTRIBUTE_NAME", { |
||
291 | "id" : ["SIMPLE_NAME", "character"], "designator" : ["SIMPLE_NAME", "succ"], "expression" : ["EXPRESSION", { |
||
292 | "args" : [["EXPRESSION", { |
||
293 | "args" : [["EXPRESSION", { |
||
294 | "args" : [["EXPRESSION", { |
||
295 | "args" : [["CALL", ["SIMPLE_NAME", "p25"]]]} |
||
296 | ]]} |
||
297 | ]]} |
||
298 | ]]} |
||
299 | ]} |
||
300 | ]]]} |
||
301 | ]]} |
||
302 | ]]} |
||
303 | ]]} |
||
304 | ], "delay" : ["EXPRESSION", { |
||
305 | "args" : [["EXPRESSION", { |
||
306 | "args" : [["EXPRESSION", { |
||
307 | "args" : [["EXPRESSION", { |
||
308 | "args" : [["CONSTANT_VALUE", { |
||
309 | "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]} |
||
310 | ]]} |
||
311 | ]]} |
||
312 | ]]} |
||
313 | ]]} |
||
314 | ]} |
||
315 | ]} |
||
316 | ]]} |
||
317 | ], "default" : [["SIGNAL_ASSIGNMENT_STATEMENT", { |
||
318 | "lhs" : ["SIMPLE_NAME", "p25"], "rhs" : [{ |
||
319 | "value" : ["EXPRESSION", { |
||
320 | "args" : [["EXPRESSION", { |
||
321 | "args" : [["EXPRESSION", { |
||
322 | "args" : [["EXPRESSION", { |
||
323 | "args" : [["CALL", ["ATTRIBUTE_NAME", { |
||
324 | "id" : ["SIMPLE_NAME", "character"], "designator" : ["SIMPLE_NAME", "low"]} |
||
325 | ]]]} |
||
326 | ]]} |
||
327 | ]]} |
||
328 | ]]} |
||
329 | ], "delay" : ["EXPRESSION", { |
||
330 | "args" : [["EXPRESSION", { |
||
331 | "args" : [["EXPRESSION", { |
||
332 | "args" : [["EXPRESSION", { |
||
333 | "args" : [["CONSTANT_VALUE", { |
||
334 | "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]} |
||
335 | ]]} |
||
336 | ]]} |
||
337 | ]]} |
||
338 | ]]} |
||
339 | ]} |
||
340 | ]} |
||
341 | ]]} |
||
342 | ], ["IF_STATEMENT", {
|
||
343 | "if_cases" : [{
|
||
344 | "if_cond" : ["EXPRESSION", { |
||
345 | "args" : [["EXPRESSION", { |
||
346 | "args" : [["EXPRESSION", { |
||
347 | "args" : [["EXPRESSION", { |
||
348 | "args" : [["EXPRESSION", { |
||
349 | "id" : "/=", "args" : [["EXPRESSION", { |
||
350 | "args" : [["EXPRESSION", { |
||
351 | "args" : [["EXPRESSION", { |
||
352 | "args" : [["CALL", ["SIMPLE_NAME", "p26"]]]} |
||
353 | ]]} |
||
354 | ]]} |
||
355 | ], ["EXPRESSION", {
|
||
356 | "args" : [["EXPRESSION", { |
||
357 | "args" : [["EXPRESSION", { |
||
358 | "args" : [["CALL", ["ATTRIBUTE_NAME", { |
||
359 | "id" : ["SIMPLE_NAME", "severity_level"], "designator" : ["SIMPLE_NAME", "high"]} |
||
360 | ]]]} |
||
361 | ]]} |
||
362 | ]]} |
||
363 | ]]} |
||
364 | ]]} |
||
365 | ]]} |
||
366 | ]]} |
||
367 | ]]} |
||
368 | ], "if_block" : [["SIGNAL_ASSIGNMENT_STATEMENT", { |
||
369 | "lhs" : ["SIMPLE_NAME", "p26"], "rhs" : [{ |
||
370 | "value" : ["EXPRESSION", { |
||
371 | "args" : [["EXPRESSION", { |
||
372 | "args" : [["EXPRESSION", { |
||
373 | "args" : [["EXPRESSION", { |
||
374 | "args" : [["CALL", ["ATTRIBUTE_NAME", { |
||
375 | "id" : ["SIMPLE_NAME", "severity_level"], "designator" : ["SIMPLE_NAME", "succ"], "expression" : ["EXPRESSION", { |
||
376 | "args" : [["EXPRESSION", { |
||
377 | "args" : [["EXPRESSION", { |
||
378 | "args" : [["EXPRESSION", { |
||
379 | "args" : [["CALL", ["SIMPLE_NAME", "p26"]]]} |
||
380 | ]]} |
||
381 | ]]} |
||
382 | ]]} |
||
383 | ]} |
||
384 | ]]]} |
||
385 | ]]} |
||
386 | ]]} |
||
387 | ]]} |
||
388 | ], "delay" : ["EXPRESSION", { |
||
389 | "args" : [["EXPRESSION", { |
||
390 | "args" : [["EXPRESSION", { |
||
391 | "args" : [["EXPRESSION", { |
||
392 | "args" : [["CONSTANT_VALUE", { |
||
393 | "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]} |
||
394 | ]]} |
||
395 | ]]} |
||
396 | ]]} |
||
397 | ]]} |
||
398 | ]} |
||
399 | ]} |
||
400 | ]]} |
||
401 | ], "default" : [["SIGNAL_ASSIGNMENT_STATEMENT", { |
||
402 | "lhs" : ["SIMPLE_NAME", "p26"], "rhs" : [{ |
||
403 | "value" : ["EXPRESSION", { |
||
404 | "args" : [["EXPRESSION", { |
||
405 | "args" : [["EXPRESSION", { |
||
406 | "args" : [["EXPRESSION", { |
||
407 | "args" : [["CALL", ["ATTRIBUTE_NAME", { |
||
408 | "id" : ["SIMPLE_NAME", "severity_level"], "designator" : ["SIMPLE_NAME", "low"]} |
||
409 | ]]]} |
||
410 | ]]} |
||
411 | ]]} |
||
412 | ]]} |
||
413 | ], "delay" : ["EXPRESSION", { |
||
414 | "args" : [["EXPRESSION", { |
||
415 | "args" : [["EXPRESSION", { |
||
416 | "args" : [["EXPRESSION", { |
||
417 | "args" : [["CONSTANT_VALUE", { |
||
418 | "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]} |
||
419 | ]]} |
||
420 | ]]} |
||
421 | ]]} |
||
422 | ]]} |
||
423 | ]} |
||
424 | ]} |
||
425 | ]]} |
||
426 | ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
|
||
427 | "lhs" : ["SIMPLE_NAME", "p27"], "rhs" : [{ |
||
428 | "value" : ["EXPRESSION", { |
||
429 | "args" : [["EXPRESSION", { |
||
430 | "args" : [["EXPRESSION", { |
||
431 | "args" : [["EXPRESSION", { |
||
432 | "args" : [["CALL", ["ATTRIBUTE_NAME", { |
||
433 | "id" : ["SIMPLE_NAME", "integer"], "designator" : ["SIMPLE_NAME", "succ"], "expression" : ["EXPRESSION", { |
||
434 | "args" : [["EXPRESSION", { |
||
435 | "args" : [["EXPRESSION", { |
||
436 | "args" : [["EXPRESSION", { |
||
437 | "args" : [["CALL", ["SIMPLE_NAME", "p27"]]]} |
||
438 | ]]} |
||
439 | ]]} |
||
440 | ]]} |
||
441 | ]} |
||
442 | ]]]} |
||
443 | ]]} |
||
444 | ]]} |
||
445 | ]]} |
||
446 | ], "delay" : ["EXPRESSION", { |
||
447 | "args" : [["EXPRESSION", { |
||
448 | "args" : [["EXPRESSION", { |
||
449 | "args" : [["EXPRESSION", { |
||
450 | "args" : [["CONSTANT_VALUE", { |
||
451 | "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]} |
||
452 | ]]} |
||
453 | ]]} |
||
454 | ]]} |
||
455 | ]]} |
||
456 | ]} |
||
457 | ]} |
||
458 | ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
|
||
459 | "lhs" : ["SIMPLE_NAME", "p28"], "rhs" : [{ |
||
460 | "value" : ["EXPRESSION", { |
||
461 | "args" : [["EXPRESSION", { |
||
462 | "args" : [["EXPRESSION", { |
||
463 | "args" : [["EXPRESSION", { |
||
464 | "id" : "+", "args" : [["EXPRESSION", { |
||
465 | "args" : [["CALL", ["SIMPLE_NAME", "p28"]]]} |
||
466 | ], ["EXPRESSION", {
|
||
467 | "args" : [["CONSTANT_VALUE", { |
||
468 | "value" : ["CST_LITERAL", "1.0"]} |
||
469 | ]]} |
||
470 | ]]} |
||
471 | ]]} |
||
472 | ]]} |
||
473 | ]]} |
||
474 | ], "delay" : ["EXPRESSION", { |
||
475 | "args" : [["EXPRESSION", { |
||
476 | "args" : [["EXPRESSION", { |
||
477 | "args" : [["EXPRESSION", { |
||
478 | "args" : [["CONSTANT_VALUE", { |
||
479 | "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]} |
||
480 | ]]} |
||
481 | ]]} |
||
482 | ]]} |
||
483 | ]]} |
||
484 | ]} |
||
485 | ]} |
||
486 | ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
|
||
487 | "lhs" : ["SIMPLE_NAME", "p29"], "rhs" : [{ |
||
488 | "value" : ["EXPRESSION", { |
||
489 | "args" : [["EXPRESSION", { |
||
490 | "args" : [["EXPRESSION", { |
||
491 | "args" : [["EXPRESSION", { |
||
492 | "id" : "*", "args" : [["EXPRESSION", { |
||
493 | "args" : [["CALL", ["SIMPLE_NAME", "p29"]]]} |
||
494 | ], ["EXPRESSION", {
|
||
495 | "args" : [["CONSTANT_VALUE", { |
||
496 | "value" : ["CST_LITERAL", "2"]} |
||
497 | ]]} |
||
498 | ]]} |
||
499 | ]]} |
||
500 | ]]} |
||
501 | ]]} |
||
502 | ], "delay" : ["EXPRESSION", { |
||
503 | "args" : [["EXPRESSION", { |
||
504 | "args" : [["EXPRESSION", { |
||
505 | "args" : [["EXPRESSION", { |
||
506 | "args" : [["CONSTANT_VALUE", { |
||
507 | "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]} |
||
508 | ]]} |
||
509 | ]]} |
||
510 | ]]} |
||
511 | ]]} |
||
512 | ]} |
||
513 | ]} |
||
514 | ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
|
||
515 | "lhs" : ["SIMPLE_NAME", "p30"], "rhs" : [{ |
||
516 | "value" : ["EXPRESSION", { |
||
517 | "args" : [["EXPRESSION", { |
||
518 | "args" : [["EXPRESSION", { |
||
519 | "args" : [["EXPRESSION", { |
||
520 | "id" : "+", "args" : [["EXPRESSION", { |
||
521 | "args" : [["CALL", ["SIMPLE_NAME", "p30"]]]} |
||
522 | ], ["EXPRESSION", {
|
||
523 | "args" : [["CONSTANT_VALUE", { |
||
524 | "value" : ["CST_LITERAL", "1"]} |
||
525 | ]]} |
||
526 | ]]} |
||
527 | ]]} |
||
528 | ]]} |
||
529 | ]]} |
||
530 | ], "delay" : ["EXPRESSION", { |
||
531 | "args" : [["EXPRESSION", { |
||
532 | "args" : [["EXPRESSION", { |
||
533 | "args" : [["EXPRESSION", { |
||
534 | "args" : [["CONSTANT_VALUE", { |
||
535 | "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]} |
||
536 | ]]} |
||
537 | ]]} |
||
538 | ]]} |
||
539 | ]]} |
||
540 | ]} |
||
541 | ]} |
||
542 | ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
|
||
543 | "lhs" : ["SIMPLE_NAME", "p31"], "rhs" : [{ |
||
544 | "value" : ["EXPRESSION", { |
||
545 | "args" : [["EXPRESSION", { |
||
546 | "args" : [["EXPRESSION", { |
||
547 | "args" : [["EXPRESSION", { |
||
548 | "id" : "*", "args" : [["EXPRESSION", { |
||
549 | "args" : [["CALL", ["SIMPLE_NAME", "p31"]]]} |
||
550 | ], ["EXPRESSION", {
|
||
551 | "args" : [["CONSTANT_VALUE", { |
||
552 | "value" : ["CST_LITERAL", "2"]} |
||
553 | ]]} |
||
554 | ]]} |
||
555 | ]]} |
||
556 | ]]} |
||
557 | ]]} |
||
558 | ], "delay" : ["EXPRESSION", { |
||
559 | "args" : [["EXPRESSION", { |
||
560 | "args" : [["EXPRESSION", { |
||
561 | "args" : [["EXPRESSION", { |
||
562 | "args" : [["CONSTANT_VALUE", { |
||
563 | "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]} |
||
564 | ]]} |
||
565 | ]]} |
||
566 | ]]} |
||
567 | ]]} |
||
568 | ]} |
||
569 | ]} |
||
570 | ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
|
||
571 | "lhs" : ["INDEXED_NAME", { |
||
572 | "id" : ["SIMPLE_NAME", "p32"], "exprs" : [["EXPRESSION", { |
||
573 | "args" : [["EXPRESSION", { |
||
574 | "args" : [["EXPRESSION", { |
||
575 | "args" : [["EXPRESSION", { |
||
576 | "args" : [["CONSTANT_VALUE", { |
||
577 | "value" : ["CST_LITERAL", "2"]} |
||
578 | ]]} |
||
579 | ]]} |
||
580 | ]]} |
||
581 | ]]} |
||
582 | ]]} |
||
583 | ], "rhs" : [{
|
||
584 | "value" : ["EXPRESSION", { |
||
585 | "args" : [["EXPRESSION", { |
||
586 | "args" : [["EXPRESSION", { |
||
587 | "args" : [["EXPRESSION", { |
||
588 | "args" : [["CALL", ["ATTRIBUTE_NAME", { |
||
589 | "id" : ["SIMPLE_NAME", "character"], "designator" : ["SIMPLE_NAME", "succ"], "expression" : ["EXPRESSION", { |
||
590 | "args" : [["EXPRESSION", { |
||
591 | "args" : [["EXPRESSION", { |
||
592 | "args" : [["EXPRESSION", { |
||
593 | "args" : [["CALL", ["INDEXED_NAME", { |
||
594 | "id" : ["SIMPLE_NAME", "p32"], "exprs" : [["EXPRESSION", { |
||
595 | "args" : [["EXPRESSION", { |
||
596 | "args" : [["EXPRESSION", { |
||
597 | "args" : [["EXPRESSION", { |
||
598 | "args" : [["CONSTANT_VALUE", { |
||
599 | "value" : ["CST_LITERAL", "2"]} |
||
600 | ]]} |
||
601 | ]]} |
||
602 | ]]} |
||
603 | ]]} |
||
604 | ]]} |
||
605 | ]]]} |
||
606 | ]]} |
||
607 | ]]} |
||
608 | ]]} |
||
609 | ]} |
||
610 | ]]]} |
||
611 | ]]} |
||
612 | ]]} |
||
613 | ]]} |
||
614 | ], "delay" : ["EXPRESSION", { |
||
615 | "args" : [["EXPRESSION", { |
||
616 | "args" : [["EXPRESSION", { |
||
617 | "args" : [["EXPRESSION", { |
||
618 | "args" : [["CONSTANT_VALUE", { |
||
619 | "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]} |
||
620 | ]]} |
||
621 | ]]} |
||
622 | ]]} |
||
623 | ]]} |
||
624 | ]} |
||
625 | ]} |
||
626 | ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
|
||
627 | "lhs" : ["INDEXED_NAME", { |
||
628 | "id" : ["SIMPLE_NAME", "p33"], "exprs" : [["EXPRESSION", { |
||
629 | "args" : [["EXPRESSION", { |
||
630 | "args" : [["EXPRESSION", { |
||
631 | "args" : [["EXPRESSION", { |
||
632 | "args" : [["CONSTANT_VALUE", { |
||
633 | "value" : ["CST_LITERAL", "1"]} |
||
634 | ]]} |
||
635 | ]]} |
||
636 | ]]} |
||
637 | ]]} |
||
638 | ]]} |
||
639 | ], "rhs" : [{
|
||
640 | "value" : ["EXPRESSION", { |
||
641 | "args" : [["EXPRESSION", { |
||
642 | "args" : [["EXPRESSION", { |
||
643 | "args" : [["EXPRESSION", { |
||
644 | "id" : "not", "args" : [["CALL", ["INDEXED_NAME", { |
||
645 | "id" : ["SIMPLE_NAME", "p33"], "exprs" : [["EXPRESSION", { |
||
646 | "args" : [["EXPRESSION", { |
||
647 | "args" : [["EXPRESSION", { |
||
648 | "args" : [["EXPRESSION", { |
||
649 | "args" : [["CONSTANT_VALUE", { |
||
650 | "value" : ["CST_LITERAL", "1"]} |
||
651 | ]]} |
||
652 | ]]} |
||
653 | ]]} |
||
654 | ]]} |
||
655 | ]]} |
||
656 | ]]]} |
||
657 | ]]} |
||
658 | ]]} |
||
659 | ]]} |
||
660 | ], "delay" : ["EXPRESSION", { |
||
661 | "args" : [["EXPRESSION", { |
||
662 | "args" : [["EXPRESSION", { |
||
663 | "args" : [["EXPRESSION", { |
||
664 | "args" : [["CONSTANT_VALUE", { |
||
665 | "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]} |
||
666 | ]]} |
||
667 | ]]} |
||
668 | ]]} |
||
669 | ]]} |
||
670 | ]} |
||
671 | ]} |
||
672 | ], ["WAIT_STATEMENT"], ["ASSERTION_STATEMENT", { |
||
673 | "cond" : ["EXPRESSION", { |
||
674 | "args" : [["EXPRESSION", { |
||
675 | "args" : [["EXPRESSION", { |
||
676 | "args" : [["EXPRESSION", { |
||
677 | "id" : "NOT", "args" : [["EXPRESSION", { |
||
678 | "id" : "and", "args" : [["EXPRESSION", { |
||
679 | "id" : "and", "args" : [["EXPRESSION", { |
||
680 | "id" : "and", "args" : [["EXPRESSION", { |
||
681 | "id" : "and", "args" : [["EXPRESSION", { |
||
682 | "id" : "and", "args" : [["EXPRESSION", { |
||
683 | "id" : "and", "args" : [["EXPRESSION", { |
||
684 | "id" : "and", "args" : [["EXPRESSION", { |
||
685 | "id" : "and", "args" : [["EXPRESSION", { |
||
686 | "id" : "and", "args" : [["EXPRESSION", { |
||
687 | "id" : "and", "args" : [["EXPRESSION", { |
||
688 | "id" : "=", "args" : [["EXPRESSION", { |
||
689 | "args" : [["EXPRESSION", { |
||
690 | "args" : [["EXPRESSION", { |
||
691 | "args" : [["CALL", ["SIMPLE_NAME", "p23"]]]} |
||
692 | ]]} |
||
693 | ]]} |
||
694 | ], ["EXPRESSION", {
|
||
695 | "args" : [["EXPRESSION", { |
||
696 | "args" : [["EXPRESSION", { |
||
697 | "args" : [["CALL", ["SIMPLE_NAME", "TRUE"]]]} |
||
698 | ]]} |
||
699 | ]]} |
||
700 | ]]} |
||
701 | ], ["EXPRESSION", {
|
||
702 | "id" : "=", "args" : [["EXPRESSION", { |
||
703 | "args" : [["EXPRESSION", { |
||
704 | "args" : [["EXPRESSION", { |
||
705 | "args" : [["CALL", ["SIMPLE_NAME", "p24"]]]} |
||
706 | ]]} |
||
707 | ]]} |
||
708 | ], ["EXPRESSION", {
|
||
709 | "args" : [["EXPRESSION", { |
||
710 | "args" : [["EXPRESSION", { |
||
711 | "args" : [["CONSTANT_VALUE", { |
||
712 | "value" : ["CST_LITERAL", "'1'"]} |
||
713 | ]]} |
||
714 | ]]} |
||
715 | ]]} |
||
716 | ]]} |
||
717 | ]]} |
||
718 | ], ["EXPRESSION", {
|
||
719 | "id" : "=", "args" : [["EXPRESSION", { |
||
720 | "args" : [["EXPRESSION", { |
||
721 | "args" : [["EXPRESSION", { |
||
722 | "args" : [["CALL", ["SIMPLE_NAME", "p25"]]]} |
||
723 | ]]} |
||
724 | ]]} |
||
725 | ], ["EXPRESSION", {
|
||
726 | "args" : [["EXPRESSION", { |
||
727 | "args" : [["EXPRESSION", { |
||
728 | "args" : [["CALL", ["SIMPLE_NAME", "SOH"]]]} |
||
729 | ]]} |
||
730 | ]]} |
||
731 | ]]} |
||
732 | ]]} |
||
733 | ], ["EXPRESSION", {
|
||
734 | "id" : "=", "args" : [["EXPRESSION", { |
||
735 | "args" : [["EXPRESSION", { |
||
736 | "args" : [["EXPRESSION", { |
||
737 | "args" : [["CALL", ["SIMPLE_NAME", "p26"]]]} |
||
738 | ]]} |
||
739 | ]]} |
||
740 | ], ["EXPRESSION", {
|
||
741 | "args" : [["EXPRESSION", { |
||
742 | "args" : [["EXPRESSION", { |
||
743 | "args" : [["CALL", ["SIMPLE_NAME", "WARNING"]]]} |
||
744 | ]]} |
||
745 | ]]} |
||
746 | ]]} |
||
747 | ]]} |
||
748 | ], ["EXPRESSION", {
|
||
749 | "id" : "=", "args" : [["EXPRESSION", { |
||
750 | "args" : [["EXPRESSION", { |
||
751 | "args" : [["EXPRESSION", { |
||
752 | "args" : [["CALL", ["SIMPLE_NAME", "p27"]]]} |
||
753 | ]]} |
||
754 | ]]} |
||
755 | ], ["EXPRESSION", {
|
||
756 | "args" : [["EXPRESSION", { |
||
757 | "args" : [["EXPRESSION", { |
||
758 | "args" : [["CONSTANT_VALUE", { |
||
759 | "value" : ["CST_LITERAL", "0"]} |
||
760 | ]]} |
||
761 | ]]} |
||
762 | ]]} |
||
763 | ]]} |
||
764 | ]]} |
||
765 | ], ["EXPRESSION", {
|
||
766 | "id" : "=", "args" : [["EXPRESSION", { |
||
767 | "args" : [["EXPRESSION", { |
||
768 | "args" : [["EXPRESSION", { |
||
769 | "args" : [["CALL", ["SIMPLE_NAME", "p28"]]]} |
||
770 | ]]} |
||
771 | ]]} |
||
772 | ], ["EXPRESSION", {
|
||
773 | "args" : [["EXPRESSION", { |
||
774 | "args" : [["EXPRESSION", { |
||
775 | "args" : [["CONSTANT_VALUE", { |
||
776 | "value" : ["CST_LITERAL", "0.0"]} |
||
777 | ]]} |
||
778 | ]]} |
||
779 | ]]} |
||
780 | ]]} |
||
781 | ]]} |
||
782 | ], ["EXPRESSION", {
|
||
783 | "id" : "=", "args" : [["EXPRESSION", { |
||
784 | "args" : [["EXPRESSION", { |
||
785 | "args" : [["EXPRESSION", { |
||
786 | "args" : [["CALL", ["SIMPLE_NAME", "p29"]]]} |
||
787 | ]]} |
||
788 | ]]} |
||
789 | ], ["EXPRESSION", {
|
||
790 | "args" : [["EXPRESSION", { |
||
791 | "args" : [["EXPRESSION", { |
||
792 | "args" : [["CONSTANT_VALUE", { |
||
793 | "value" : ["CST_LITERAL", "2"], "unit_name" : ["SIMPLE_NAME", "ns"]} |
||
794 | ]]} |
||
795 | ]]} |
||
796 | ]]} |
||
797 | ]]} |
||
798 | ]]} |
||
799 | ], ["EXPRESSION", {
|
||
800 | "id" : "=", "args" : [["EXPRESSION", { |
||
801 | "args" : [["EXPRESSION", { |
||
802 | "args" : [["EXPRESSION", { |
||
803 | "args" : [["CALL", ["SIMPLE_NAME", "p30"]]]} |
||
804 | ]]} |
||
805 | ]]} |
||
806 | ], ["EXPRESSION", {
|
||
807 | "args" : [["EXPRESSION", { |
||
808 | "args" : [["EXPRESSION", { |
||
809 | "args" : [["CONSTANT_VALUE", { |
||
810 | "value" : ["CST_LITERAL", "1"]} |
||
811 | ]]} |
||
812 | ]]} |
||
813 | ]]} |
||
814 | ]]} |
||
815 | ]]} |
||
816 | ], ["EXPRESSION", {
|
||
817 | "id" : "=", "args" : [["EXPRESSION", { |
||
818 | "args" : [["EXPRESSION", { |
||
819 | "args" : [["EXPRESSION", { |
||
820 | "args" : [["CALL", ["SIMPLE_NAME", "p31"]]]} |
||
821 | ]]} |
||
822 | ]]} |
||
823 | ], ["EXPRESSION", {
|
||
824 | "args" : [["EXPRESSION", { |
||
825 | "args" : [["EXPRESSION", { |
||
826 | "args" : [["CONSTANT_VALUE", { |
||
827 | "value" : ["CST_LITERAL", "2"]} |
||
828 | ]]} |
||
829 | ]]} |
||
830 | ]]} |
||
831 | ]]} |
||
832 | ]]} |
||
833 | ], ["EXPRESSION", {
|
||
834 | "id" : "=", "args" : [["EXPRESSION", { |
||
835 | "args" : [["EXPRESSION", { |
||
836 | "args" : [["EXPRESSION", { |
||
837 | "args" : [["CALL", ["SIMPLE_NAME", "p32"]]]} |
||
838 | ]]} |
||
839 | ]]} |
||
840 | ], ["EXPRESSION", {
|
||
841 | "args" : [["EXPRESSION", { |
||
842 | "args" : [["EXPRESSION", { |
||
843 | "args" : [["CONSTANT_VALUE", { |
||
844 | "value" : ["CST_LITERAL", "\"accdefgh\""]} |
||
845 | ]]} |
||
846 | ]]} |
||
847 | ]]} |
||
848 | ]]} |
||
849 | ]]} |
||
850 | ], ["EXPRESSION", {
|
||
851 | "id" : "=", "args" : [["EXPRESSION", { |
||
852 | "args" : [["EXPRESSION", { |
||
853 | "args" : [["EXPRESSION", { |
||
854 | "args" : [["CALL", ["SIMPLE_NAME", "p33"]]]} |
||
855 | ]]} |
||
856 | ]]} |
||
857 | ], ["EXPRESSION", {
|
||
858 | "args" : [["EXPRESSION", { |
||
859 | "args" : [["EXPRESSION", { |
||
860 | "args" : [["CONSTANT_VALUE", { |
||
861 | "value" : ["CST_LITERAL", "B\"11010110\""]} |
||
862 | ]]} |
||
863 | ]]} |
||
864 | ]]} |
||
865 | ]]} |
||
866 | ]]} |
||
867 | ]]} |
||
868 | ]]} |
||
869 | ]]} |
||
870 | ]]} |
||
871 | ], "report" : ["EXPRESSION", { |
||
872 | "args" : [["EXPRESSION", { |
||
873 | "args" : [["EXPRESSION", { |
||
874 | "args" : [["EXPRESSION", { |
||
875 | "args" : [["CONSTANT_VALUE", { |
||
876 | "value" : ["CST_LITERAL", "\"***PASSED TEST: c04s03b02x00p29n10i00118\""]} |
||
877 | ]]} |
||
878 | ]]} |
||
879 | ]]} |
||
880 | ]]} |
||
881 | ], "severity" : ["EXPRESSION", { |
||
882 | "args" : [["EXPRESSION", { |
||
883 | "args" : [["EXPRESSION", { |
||
884 | "args" : [["EXPRESSION", { |
||
885 | "args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]} |
||
886 | ]]} |
||
887 | ]]} |
||
888 | ]]} |
||
889 | ]} |
||
890 | ], ["ASSERTION_STATEMENT", {
|
||
891 | "cond" : ["EXPRESSION", { |
||
892 | "args" : [["EXPRESSION", { |
||
893 | "args" : [["EXPRESSION", { |
||
894 | "args" : [["EXPRESSION", { |
||
895 | "args" : [["EXPRESSION", { |
||
896 | "id" : "and", "args" : [["EXPRESSION", { |
||
897 | "id" : "and", "args" : [["EXPRESSION", { |
||
898 | "id" : "and", "args" : [["EXPRESSION", { |
||
899 | "id" : "and", "args" : [["EXPRESSION", { |
||
900 | "id" : "and", "args" : [["EXPRESSION", { |
||
901 | "id" : "and", "args" : [["EXPRESSION", { |
||
902 | "id" : "and", "args" : [["EXPRESSION", { |
||
903 | "id" : "and", "args" : [["EXPRESSION", { |
||
904 | "id" : "and", "args" : [["EXPRESSION", { |
||
905 | "id" : "and", "args" : [["EXPRESSION", { |
||
906 | "id" : "=", "args" : [["EXPRESSION", { |
||
907 | "args" : [["EXPRESSION", { |
||
908 | "args" : [["EXPRESSION", { |
||
909 | "args" : [["CALL", ["SIMPLE_NAME", "p23"]]]} |
||
910 | ]]} |
||
911 | ]]} |
||
912 | ], ["EXPRESSION", {
|
||
913 | "args" : [["EXPRESSION", { |
||
914 | "args" : [["EXPRESSION", { |
||
915 | "args" : [["CALL", ["SIMPLE_NAME", "TRUE"]]]} |
||
916 | ]]} |
||
917 | ]]} |
||
918 | ]]} |
||
919 | ], ["EXPRESSION", {
|
||
920 | "id" : "=", "args" : [["EXPRESSION", { |
||
921 | "args" : [["EXPRESSION", { |
||
922 | "args" : [["EXPRESSION", { |
||
923 | "args" : [["CALL", ["SIMPLE_NAME", "p24"]]]} |
||
924 | ]]} |
||
925 | ]]} |
||
926 | ], ["EXPRESSION", {
|
||
927 | "args" : [["EXPRESSION", { |
||
928 | "args" : [["EXPRESSION", { |
||
929 | "args" : [["CONSTANT_VALUE", { |
||
930 | "value" : ["CST_LITERAL", "'1'"]} |
||
931 | ]]} |
||
932 | ]]} |
||
933 | ]]} |
||
934 | ]]} |
||
935 | ]]} |
||
936 | ], ["EXPRESSION", {
|
||
937 | "id" : "=", "args" : [["EXPRESSION", { |
||
938 | "args" : [["EXPRESSION", { |
||
939 | "args" : [["EXPRESSION", { |
||
940 | "args" : [["CALL", ["SIMPLE_NAME", "p25"]]]} |
||
941 | ]]} |
||
942 | ]]} |
||
943 | ], ["EXPRESSION", {
|
||
944 | "args" : [["EXPRESSION", { |
||
945 | "args" : [["EXPRESSION", { |
||
946 | "args" : [["CALL", ["SIMPLE_NAME", "SOH"]]]} |
||
947 | ]]} |
||
948 | ]]} |
||
949 | ]]} |
||
950 | ]]} |
||
951 | ], ["EXPRESSION", {
|
||
952 | "id" : "=", "args" : [["EXPRESSION", { |
||
953 | "args" : [["EXPRESSION", { |
||
954 | "args" : [["EXPRESSION", { |
||
955 | "args" : [["CALL", ["SIMPLE_NAME", "p26"]]]} |
||
956 | ]]} |
||
957 | ]]} |
||
958 | ], ["EXPRESSION", {
|
||
959 | "args" : [["EXPRESSION", { |
||
960 | "args" : [["EXPRESSION", { |
||
961 | "args" : [["CALL", ["SIMPLE_NAME", "WARNING"]]]} |
||
962 | ]]} |
||
963 | ]]} |
||
964 | ]]} |
||
965 | ]]} |
||
966 | ], ["EXPRESSION", {
|
||
967 | "id" : "=", "args" : [["EXPRESSION", { |
||
968 | "args" : [["EXPRESSION", { |
||
969 | "args" : [["EXPRESSION", { |
||
970 | "args" : [["CALL", ["SIMPLE_NAME", "p27"]]]} |
||
971 | ]]} |
||
972 | ]]} |
||
973 | ], ["EXPRESSION", {
|
||
974 | "args" : [["EXPRESSION", { |
||
975 | "args" : [["EXPRESSION", { |
||
976 | "args" : [["CONSTANT_VALUE", { |
||
977 | "value" : ["CST_LITERAL", "0"]} |
||
978 | ]]} |
||
979 | ]]} |
||
980 | ]]} |
||
981 | ]]} |
||
982 | ]]} |
||
983 | ], ["EXPRESSION", {
|
||
984 | "id" : "=", "args" : [["EXPRESSION", { |
||
985 | "args" : [["EXPRESSION", { |
||
986 | "args" : [["EXPRESSION", { |
||
987 | "args" : [["CALL", ["SIMPLE_NAME", "p28"]]]} |
||
988 | ]]} |
||
989 | ]]} |
||
990 | ], ["EXPRESSION", {
|
||
991 | "args" : [["EXPRESSION", { |
||
992 | "args" : [["EXPRESSION", { |
||
993 | "args" : [["CONSTANT_VALUE", { |
||
994 | "value" : ["CST_LITERAL", "0.0"]} |
||
995 | ]]} |
||
996 | ]]} |
||
997 | ]]} |
||
998 | ]]} |
||
999 | ]]} |
||
1000 | ], ["EXPRESSION", {
|
||
1001 | "id" : "=", "args" : [["EXPRESSION", { |
||
1002 | "args" : [["EXPRESSION", { |
||
1003 | "args" : [["EXPRESSION", { |
||
1004 | "args" : [["CALL", ["SIMPLE_NAME", "p29"]]]} |
||
1005 | ]]} |
||
1006 | ]]} |
||
1007 | ], ["EXPRESSION", {
|
||
1008 | "args" : [["EXPRESSION", { |
||
1009 | "args" : [["EXPRESSION", { |
||
1010 | "args" : [["CONSTANT_VALUE", { |
||
1011 | "value" : ["CST_LITERAL", "2"], "unit_name" : ["SIMPLE_NAME", "ns"]} |
||
1012 | ]]} |
||
1013 | ]]} |
||
1014 | ]]} |
||
1015 | ]]} |
||
1016 | ]]} |
||
1017 | ], ["EXPRESSION", {
|
||
1018 | "id" : "=", "args" : [["EXPRESSION", { |
||
1019 | "args" : [["EXPRESSION", { |
||
1020 | "args" : [["EXPRESSION", { |
||
1021 | "args" : [["CALL", ["SIMPLE_NAME", "p30"]]]} |
||
1022 | ]]} |
||
1023 | ]]} |
||
1024 | ], ["EXPRESSION", {
|
||
1025 | "args" : [["EXPRESSION", { |
||
1026 | "args" : [["EXPRESSION", { |
||
1027 | "args" : [["CONSTANT_VALUE", { |
||
1028 | "value" : ["CST_LITERAL", "1"]} |
||
1029 | ]]} |
||
1030 | ]]} |
||
1031 | ]]} |
||
1032 | ]]} |
||
1033 | ]]} |
||
1034 | ], ["EXPRESSION", {
|
||
1035 | "id" : "=", "args" : [["EXPRESSION", { |
||
1036 | "args" : [["EXPRESSION", { |
||
1037 | "args" : [["EXPRESSION", { |
||
1038 | "args" : [["CALL", ["SIMPLE_NAME", "p31"]]]} |
||
1039 | ]]} |
||
1040 | ]]} |
||
1041 | ], ["EXPRESSION", {
|
||
1042 | "args" : [["EXPRESSION", { |
||
1043 | "args" : [["EXPRESSION", { |
||
1044 | "args" : [["CONSTANT_VALUE", { |
||
1045 | "value" : ["CST_LITERAL", "2"]} |
||
1046 | ]]} |
||
1047 | ]]} |
||
1048 | ]]} |
||
1049 | ]]} |
||
1050 | ]]} |
||
1051 | ], ["EXPRESSION", {
|
||
1052 | "id" : "=", "args" : [["EXPRESSION", { |
||
1053 | "args" : [["EXPRESSION", { |
||
1054 | "args" : [["EXPRESSION", { |
||
1055 | "args" : [["CALL", ["SIMPLE_NAME", "p32"]]]} |
||
1056 | ]]} |
||
1057 | ]]} |
||
1058 | ], ["EXPRESSION", {
|
||
1059 | "args" : [["EXPRESSION", { |
||
1060 | "args" : [["EXPRESSION", { |
||
1061 | "args" : [["CONSTANT_VALUE", { |
||
1062 | "value" : ["CST_LITERAL", "\"accdefgh\""]} |
||
1063 | ]]} |
||
1064 | ]]} |
||
1065 | ]]} |
||
1066 | ]]} |
||
1067 | ]]} |
||
1068 | ], ["EXPRESSION", {
|
||
1069 | "id" : "=", "args" : [["EXPRESSION", { |
||
1070 | "args" : [["EXPRESSION", { |
||
1071 | "args" : [["EXPRESSION", { |
||
1072 | "args" : [["CALL", ["SIMPLE_NAME", "p33"]]]} |
||
1073 | ]]} |
||
1074 | ]]} |
||
1075 | ], ["EXPRESSION", {
|
||
1076 | "args" : [["EXPRESSION", { |
||
1077 | "args" : [["EXPRESSION", { |
||
1078 | "args" : [["CONSTANT_VALUE", { |
||
1079 | "value" : ["CST_LITERAL", "B\"11010110\""]} |
||
1080 | ]]} |
||
1081 | ]]} |
||
1082 | ]]} |
||
1083 | ]]} |
||
1084 | ]]} |
||
1085 | ]]} |
||
1086 | ]]} |
||
1087 | ]]} |
||
1088 | ]]} |
||
1089 | ], "report" : ["EXPRESSION", { |
||
1090 | "args" : [["EXPRESSION", { |
||
1091 | "args" : [["EXPRESSION", { |
||
1092 | "args" : [["EXPRESSION", { |
||
1093 | "args" : [["CONSTANT_VALUE", { |
||
1094 | "value" : ["CST_LITERAL", "\"***FAILED TEST: c04s03b02x00p29n10i00118 - The buffer ports on entities should be able to read.\""]} |
||
1095 | ]]} |
||
1096 | ]]} |
||
1097 | ]]} |
||
1098 | ]]} |
||
1099 | ], "severity" : ["EXPRESSION", { |
||
1100 | "args" : [["EXPRESSION", { |
||
1101 | "args" : [["EXPRESSION", { |
||
1102 | "args" : [["EXPRESSION", { |
||
1103 | "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]} |
||
1104 | ]]} |
||
1105 | ]]} |
||
1106 | ]]} |
||
1107 | ]} |
||
1108 | ], ["WAIT_STATEMENT"]]}
|
||
1109 | ]]} |
||
1110 | ]} |
||
1111 | ]} |
||
1112 | } |