lustrec-tests / vhdl_json / vhdl_files / 2-exportOK / ghdl / ghdl / testsuite / vests / vhdl-93 / billowitch / compliant / tc1234.json @ 3fd18385
History | View | Annotate | Download (4.29 KB)
1 |
{ |
---|---|
2 |
"DESIGN_FILE" : {
|
3 |
"design_units" : [{
|
4 |
"contexts" : [], "library" : ["ENTITY_DECLARATION", { |
5 |
"name" : ["IDENTIFIER", "c08s02b00x00p03n01i01234ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []} |
6 |
]} |
7 |
, { |
8 |
"contexts" : [], "library" : ["ARCHITECTURE_BODY", { |
9 |
"name" : ["IDENTIFIER", "c08s02b00x00p03n01i01234arch"], "entity" : ["IDENTIFIER", "c08s02b00x00p03n01i01234ent"], "ARCHITECTURE_DECLARATIVE_PART" : [], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", { |
10 |
"id" : ["IDENTIFIER", "TESTING"], "PROCESS_DECLARATIVE_PART" : [{ |
11 |
"declaration" : ["VARIABLE_DECLARATION", { |
12 |
"names" : [["IDENTIFIER", "k"]], "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", "5"]} |
20 |
]]} |
21 |
]]} |
22 |
]]} |
23 |
]]} |
24 |
]} |
25 |
]} |
26 |
], "PROCESS_STATEMENT_PART" : [["ASSERTION_STATEMENT", { |
27 |
"cond" : ["EXPRESSION", { |
28 |
"args" : [["EXPRESSION", { |
29 |
"args" : [["EXPRESSION", { |
30 |
"args" : [["EXPRESSION", { |
31 |
"args" : [["EXPRESSION", { |
32 |
"id" : "<", "args" : [["EXPRESSION", { |
33 |
"args" : [["EXPRESSION", { |
34 |
"args" : [["EXPRESSION", { |
35 |
"args" : [["EXPRESSION", { |
36 |
"args" : [["EXPRESSION", { |
37 |
"args" : [["EXPRESSION", { |
38 |
"args" : [["EXPRESSION", { |
39 |
"id" : "+", "args" : [["EXPRESSION", { |
40 |
"args" : [["CALL", ["SIMPLE_NAME", "k"]]]} |
41 |
], ["EXPRESSION", {
|
42 |
"args" : [["CONSTANT_VALUE", { |
43 |
"value" : ["CST_LITERAL", "1"]} |
44 |
]]} |
45 |
]]} |
46 |
]]} |
47 |
]]} |
48 |
]]} |
49 |
]]} |
50 |
]]} |
51 |
]]} |
52 |
], ["EXPRESSION", {
|
53 |
"args" : [["EXPRESSION", { |
54 |
"args" : [["EXPRESSION", { |
55 |
"args" : [["EXPRESSION", { |
56 |
"args" : [["EXPRESSION", { |
57 |
"args" : [["EXPRESSION", { |
58 |
"args" : [["EXPRESSION", { |
59 |
"id" : "-", "args" : [["EXPRESSION", { |
60 |
"args" : [["CALL", ["SIMPLE_NAME", "k"]]]} |
61 |
], ["EXPRESSION", {
|
62 |
"args" : [["CONSTANT_VALUE", { |
63 |
"value" : ["CST_LITERAL", "3"]} |
64 |
]]} |
65 |
]]} |
66 |
]]} |
67 |
]]} |
68 |
]]} |
69 |
]]} |
70 |
]]} |
71 |
]]} |
72 |
]]} |
73 |
]]} |
74 |
]]} |
75 |
]]} |
76 |
]]} |
77 |
], "report" : ["EXPRESSION", { |
78 |
"args" : [["EXPRESSION", { |
79 |
"args" : [["EXPRESSION", { |
80 |
"args" : [["EXPRESSION", { |
81 |
"args" : [["CONSTANT_VALUE", { |
82 |
"value" : ["CST_LITERAL", "\"***PASSED TEST: c08s02b00x00p03n01i01234\""]} |
83 |
]]} |
84 |
]]} |
85 |
]]} |
86 |
]]} |
87 |
], "severity" : ["EXPRESSION", { |
88 |
"args" : [["EXPRESSION", { |
89 |
"args" : [["EXPRESSION", { |
90 |
"args" : [["EXPRESSION", { |
91 |
"args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]} |
92 |
]]} |
93 |
]]} |
94 |
]]} |
95 |
]} |
96 |
], ["WAIT_STATEMENT"]]}
|
97 |
]]} |
98 |
]} |
99 |
]} |
100 |
} |