Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (12.5 KB)

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