Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (13.3 KB)

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