Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (11.7 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "c04s03b02x00p29n06i00110ent"], "ports" : [{
6
          "names" : [["IDENTIFIER", "S1"]], "mode" : ["out"], "typ" : {
7
            "name" : ["SIMPLE_NAME", "BIT_VECTOR"], "const" : ["INDEX_CONSTRAINT", {
8
              "ranges" : [["RANGE_WITH_DIRECTION", {
9
                "direction" : "to", "from" : ["EXPRESSION", {
10
                  "args" : [["EXPRESSION", {
11
                    "args" : [["CONSTANT_VALUE", {
12
                      "value" : ["CST_LITERAL", "0"]}
13
                    ]]}
14
                  ]]}
15
                ], "_to" : ["EXPRESSION", {
16
                  "args" : [["EXPRESSION", {
17
                    "args" : [["CONSTANT_VALUE", {
18
                      "value" : ["CST_LITERAL", "3"]}
19
                    ]]}
20
                  ]]}
21
                ]}
22
              ]]}
23
            ]}
24
          , "expr" : ["EXPRESSION", {
25
            "args" : [["EXPRESSION", {
26
              "args" : [["EXPRESSION", {
27
                "args" : [["EXPRESSION", {
28
                  "args" : [["CONSTANT_VALUE", {
29
                    "value" : ["CST_LITERAL", "\"1011\""]}
30
                  ]]}
31
                ]]}
32
              ]]}
33
            ]]}
34
          ]}
35
        ], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
36
      ]}
37
    , {
38
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
39
        "name" : ["IDENTIFIER", "c04s03b02x00p29n06i00110arch"], "entity" : ["IDENTIFIER", "c04s03b02x00p29n06i00110ent"], "ARCHITECTURE_DECLARATIVE_PART" : [{
40
          "declaration" : ["SIGNAL_DECLARATION", {
41
            "names" : [["IDENTIFIER", "S2"], ["IDENTIFIER", "S3"]], "typ" : {
42
              "name" : ["SIMPLE_NAME", "BIT"]}
43
            }
44
          ]}
45
        ], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", {
46
          "id" : ["IDENTIFIER", "TESTING"], "PROCESS_STATEMENT_PART" : [["IF_STATEMENT", {
47
            "if_cases" : [{
48
              "if_cond" : ["EXPRESSION", {
49
                "args" : [["EXPRESSION", {
50
                  "args" : [["EXPRESSION", {
51
                    "args" : [["EXPRESSION", {
52
                      "args" : [["EXPRESSION", {
53
                        "id" : "=", "args" : [["EXPRESSION", {
54
                          "args" : [["EXPRESSION", {
55
                            "args" : [["EXPRESSION", {
56
                              "args" : [["CALL", ["ATTRIBUTE_NAME", {
57
                                "id" : ["SIMPLE_NAME", "S1"], "designator" : ["SIMPLE_NAME", "LOW"]}
58
                              ]]]}
59
                            ]]}
60
                          ]]}
61
                        ], ["EXPRESSION", {
62
                          "args" : [["EXPRESSION", {
63
                            "args" : [["EXPRESSION", {
64
                              "args" : [["CONSTANT_VALUE", {
65
                                "value" : ["CST_LITERAL", "0"]}
66
                              ]]}
67
                            ]]}
68
                          ]]}
69
                        ]]}
70
                      ]]}
71
                    ]]}
72
                  ]]}
73
                ]]}
74
              ], "if_block" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
75
                "lhs" : ["SIMPLE_NAME", "S2"], "rhs" : [{
76
                  "value" : ["EXPRESSION", {
77
                    "args" : [["EXPRESSION", {
78
                      "args" : [["EXPRESSION", {
79
                        "args" : [["EXPRESSION", {
80
                          "args" : [["CONSTANT_VALUE", {
81
                            "value" : ["CST_LITERAL", "'1'"]}
82
                          ]]}
83
                        ]]}
84
                      ]]}
85
                    ]]}
86
                  ], "delay" : ["EXPRESSION", {
87
                    "args" : [["EXPRESSION", {
88
                      "args" : [["EXPRESSION", {
89
                        "args" : [["EXPRESSION", {
90
                          "args" : [["CONSTANT_VALUE", {
91
                            "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]}
92
                          ]]}
93
                        ]]}
94
                      ]]}
95
                    ]]}
96
                  ]}
97
                ]}
98
              ]]}
99
            ]}
100
          ], ["IF_STATEMENT", {
101
            "if_cases" : [{
102
              "if_cond" : ["EXPRESSION", {
103
                "args" : [["EXPRESSION", {
104
                  "args" : [["EXPRESSION", {
105
                    "args" : [["EXPRESSION", {
106
                      "args" : [["EXPRESSION", {
107
                        "id" : "=", "args" : [["EXPRESSION", {
108
                          "args" : [["EXPRESSION", {
109
                            "args" : [["EXPRESSION", {
110
                              "args" : [["CALL", ["ATTRIBUTE_NAME", {
111
                                "id" : ["SIMPLE_NAME", "S1"], "designator" : ["SIMPLE_NAME", "HIGH"]}
112
                              ]]]}
113
                            ]]}
114
                          ]]}
115
                        ], ["EXPRESSION", {
116
                          "args" : [["EXPRESSION", {
117
                            "args" : [["EXPRESSION", {
118
                              "args" : [["CONSTANT_VALUE", {
119
                                "value" : ["CST_LITERAL", "3"]}
120
                              ]]}
121
                            ]]}
122
                          ]]}
123
                        ]]}
124
                      ]]}
125
                    ]]}
126
                  ]]}
127
                ]]}
128
              ], "if_block" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
129
                "lhs" : ["SIMPLE_NAME", "S3"], "rhs" : [{
130
                  "value" : ["EXPRESSION", {
131
                    "args" : [["EXPRESSION", {
132
                      "args" : [["EXPRESSION", {
133
                        "args" : [["EXPRESSION", {
134
                          "args" : [["CONSTANT_VALUE", {
135
                            "value" : ["CST_LITERAL", "'1'"]}
136
                          ]]}
137
                        ]]}
138
                      ]]}
139
                    ]]}
140
                  ], "delay" : ["EXPRESSION", {
141
                    "args" : [["EXPRESSION", {
142
                      "args" : [["EXPRESSION", {
143
                        "args" : [["EXPRESSION", {
144
                          "args" : [["CONSTANT_VALUE", {
145
                            "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]}
146
                          ]]}
147
                        ]]}
148
                      ]]}
149
                    ]]}
150
                  ]}
151
                ]}
152
              ]]}
153
            ]}
154
          ], ["WAIT_STATEMENT"], ["ASSERTION_STATEMENT", {
155
            "cond" : ["EXPRESSION", {
156
              "args" : [["EXPRESSION", {
157
                "args" : [["EXPRESSION", {
158
                  "args" : [["EXPRESSION", {
159
                    "id" : "NOT", "args" : [["EXPRESSION", {
160
                      "id" : "and", "args" : [["EXPRESSION", {
161
                        "id" : "=", "args" : [["EXPRESSION", {
162
                          "args" : [["EXPRESSION", {
163
                            "args" : [["EXPRESSION", {
164
                              "args" : [["CALL", ["SIMPLE_NAME", "S2"]]]}
165
                            ]]}
166
                          ]]}
167
                        ], ["EXPRESSION", {
168
                          "args" : [["EXPRESSION", {
169
                            "args" : [["EXPRESSION", {
170
                              "args" : [["CONSTANT_VALUE", {
171
                                "value" : ["CST_LITERAL", "'1'"]}
172
                              ]]}
173
                            ]]}
174
                          ]]}
175
                        ]]}
176
                      ], ["EXPRESSION", {
177
                        "id" : "=", "args" : [["EXPRESSION", {
178
                          "args" : [["EXPRESSION", {
179
                            "args" : [["EXPRESSION", {
180
                              "args" : [["CALL", ["SIMPLE_NAME", "S3"]]]}
181
                            ]]}
182
                          ]]}
183
                        ], ["EXPRESSION", {
184
                          "args" : [["EXPRESSION", {
185
                            "args" : [["EXPRESSION", {
186
                              "args" : [["CONSTANT_VALUE", {
187
                                "value" : ["CST_LITERAL", "'1'"]}
188
                              ]]}
189
                            ]]}
190
                          ]]}
191
                        ]]}
192
                      ]]}
193
                    ]]}
194
                  ]]}
195
                ]]}
196
              ]]}
197
            ], "report" : ["EXPRESSION", {
198
              "args" : [["EXPRESSION", {
199
                "args" : [["EXPRESSION", {
200
                  "args" : [["EXPRESSION", {
201
                    "args" : [["CONSTANT_VALUE", {
202
                      "value" : ["CST_LITERAL", "\"***PASSED TEST: c04s03b02x00p29n06i00110\""]}
203
                    ]]}
204
                  ]]}
205
                ]]}
206
              ]]}
207
            ], "severity" : ["EXPRESSION", {
208
              "args" : [["EXPRESSION", {
209
                "args" : [["EXPRESSION", {
210
                  "args" : [["EXPRESSION", {
211
                    "args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]}
212
                  ]]}
213
                ]]}
214
              ]]}
215
            ]}
216
          ], ["ASSERTION_STATEMENT", {
217
            "cond" : ["EXPRESSION", {
218
              "args" : [["EXPRESSION", {
219
                "args" : [["EXPRESSION", {
220
                  "args" : [["EXPRESSION", {
221
                    "args" : [["EXPRESSION", {
222
                      "id" : "and", "args" : [["EXPRESSION", {
223
                        "id" : "=", "args" : [["EXPRESSION", {
224
                          "args" : [["EXPRESSION", {
225
                            "args" : [["EXPRESSION", {
226
                              "args" : [["CALL", ["SIMPLE_NAME", "S2"]]]}
227
                            ]]}
228
                          ]]}
229
                        ], ["EXPRESSION", {
230
                          "args" : [["EXPRESSION", {
231
                            "args" : [["EXPRESSION", {
232
                              "args" : [["CONSTANT_VALUE", {
233
                                "value" : ["CST_LITERAL", "'1'"]}
234
                              ]]}
235
                            ]]}
236
                          ]]}
237
                        ]]}
238
                      ], ["EXPRESSION", {
239
                        "id" : "=", "args" : [["EXPRESSION", {
240
                          "args" : [["EXPRESSION", {
241
                            "args" : [["EXPRESSION", {
242
                              "args" : [["CALL", ["SIMPLE_NAME", "S3"]]]}
243
                            ]]}
244
                          ]]}
245
                        ], ["EXPRESSION", {
246
                          "args" : [["EXPRESSION", {
247
                            "args" : [["EXPRESSION", {
248
                              "args" : [["CONSTANT_VALUE", {
249
                                "value" : ["CST_LITERAL", "'1'"]}
250
                              ]]}
251
                            ]]}
252
                          ]]}
253
                        ]]}
254
                      ]]}
255
                    ]]}
256
                  ]]}
257
                ]]}
258
              ]]}
259
            ], "report" : ["EXPRESSION", {
260
              "args" : [["EXPRESSION", {
261
                "args" : [["EXPRESSION", {
262
                  "args" : [["EXPRESSION", {
263
                    "args" : [["CONSTANT_VALUE", {
264
                      "value" : ["CST_LITERAL", "\"***FAILED TEST: c04s03b02x00p29n06i00110 - Reading of the attributes LOW and HIGH of the interface element of mode out is allowed.\""]}
265
                    ]]}
266
                  ]]}
267
                ]]}
268
              ]]}
269
            ], "severity" : ["EXPRESSION", {
270
              "args" : [["EXPRESSION", {
271
                "args" : [["EXPRESSION", {
272
                  "args" : [["EXPRESSION", {
273
                    "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
274
                  ]]}
275
                ]]}
276
              ]]}
277
            ]}
278
          ], ["WAIT_STATEMENT"]]}
279
        ]]}
280
      ]}
281
    ]}
282
  }