Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (9.79 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "c06s04b00x00p03n02i01050ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6
      ]}
7
    , {
8
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9
        "name" : ["IDENTIFIER", "c06s04b00x00p03n02i01050arch"], "entity" : ["IDENTIFIER", "c06s04b00x00p03n02i01050ent"], "ARCHITECTURE_DECLARATIVE_PART" : [{
10
          "definition" : ["TYPE_DECLARATION", {
11
            "name" : ["IDENTIFIER", "arrtype"], "definition" : ["ARRAY_TYPE_DEFINITION", {
12
              "const" : ["INDEX_CONSTRAINT", {
13
                "ranges" : [["SUB_DISCRETE_RANGE", {
14
                  "name" : ["SIMPLE_NAME", "positive"], "const" : ["RANGE_CONSTRAINT", {
15
                    "range" : ["RANGE_WITH_DIRECTION", {
16
                      "direction" : "to", "from" : ["EXPRESSION", {
17
                        "args" : [["EXPRESSION", {
18
                          "args" : [["CONSTANT_VALUE", {
19
                            "value" : ["CST_LITERAL", "1"]}
20
                          ]]}
21
                        ]]}
22
                      ], "_to" : ["EXPRESSION", {
23
                        "args" : [["EXPRESSION", {
24
                          "args" : [["CONSTANT_VALUE", {
25
                            "value" : ["CST_LITERAL", "10"]}
26
                          ]]}
27
                        ]]}
28
                      ]}
29
                    ]}
30
                  ]}
31
                ], ["SUB_DISCRETE_RANGE", {
32
                  "name" : ["SIMPLE_NAME", "bit"], "const" : ["RANGE_CONSTRAINT", {
33
                    "range" : ["RANGE_WITH_DIRECTION", {
34
                      "direction" : "to", "from" : ["EXPRESSION", {
35
                        "args" : [["EXPRESSION", {
36
                          "args" : [["CONSTANT_VALUE", {
37
                            "value" : ["CST_LITERAL", "'0'"]}
38
                          ]]}
39
                        ]]}
40
                      ], "_to" : ["EXPRESSION", {
41
                        "args" : [["EXPRESSION", {
42
                          "args" : [["CONSTANT_VALUE", {
43
                            "value" : ["CST_LITERAL", "'1'"]}
44
                          ]]}
45
                        ]]}
46
                      ]}
47
                    ]}
48
                  ]}
49
                ]]}
50
              ], "definition" : {
51
                "name" : ["SIMPLE_NAME", "real"]}
52
              }
53
            ]}
54
          ]}
55
        ], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", {
56
          "id" : ["IDENTIFIER", "TESTING"], "PROCESS_DECLARATIVE_PART" : [{
57
            "declaration" : ["VARIABLE_DECLARATION", {
58
              "names" : [["IDENTIFIER", "k"]], "typ" : {
59
                "name" : ["SIMPLE_NAME", "arrtype"]}
60
              }
61
            ]}
62
          ], "PROCESS_STATEMENT_PART" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
63
            "lhs" : ["INDEXED_NAME", {
64
              "id" : ["SIMPLE_NAME", "k"], "exprs" : [["EXPRESSION", {
65
                "args" : [["EXPRESSION", {
66
                  "args" : [["EXPRESSION", {
67
                    "args" : [["EXPRESSION", {
68
                      "args" : [["CONSTANT_VALUE", {
69
                        "value" : ["CST_LITERAL", "1"]}
70
                      ]]}
71
                    ]]}
72
                  ]]}
73
                ]]}
74
              ], ["EXPRESSION", {
75
                "args" : [["EXPRESSION", {
76
                  "args" : [["EXPRESSION", {
77
                    "args" : [["EXPRESSION", {
78
                      "args" : [["CONSTANT_VALUE", {
79
                        "value" : ["CST_LITERAL", "'0'"]}
80
                      ]]}
81
                    ]]}
82
                  ]]}
83
                ]]}
84
              ]]}
85
            ], "rhs" : ["EXPRESSION", {
86
              "args" : [["EXPRESSION", {
87
                "args" : [["EXPRESSION", {
88
                  "args" : [["EXPRESSION", {
89
                    "args" : [["CONSTANT_VALUE", {
90
                      "value" : ["CST_LITERAL", "1.2"]}
91
                    ]]}
92
                  ]]}
93
                ]]}
94
              ]]}
95
            ]}
96
          ], ["ASSERTION_STATEMENT", {
97
            "cond" : ["EXPRESSION", {
98
              "args" : [["EXPRESSION", {
99
                "args" : [["EXPRESSION", {
100
                  "args" : [["EXPRESSION", {
101
                    "id" : "NOT", "args" : [["EXPRESSION", {
102
                      "id" : "=", "args" : [["EXPRESSION", {
103
                        "args" : [["EXPRESSION", {
104
                          "args" : [["EXPRESSION", {
105
                            "args" : [["CALL", ["INDEXED_NAME", {
106
                              "id" : ["SIMPLE_NAME", "k"], "exprs" : [["EXPRESSION", {
107
                                "args" : [["EXPRESSION", {
108
                                  "args" : [["EXPRESSION", {
109
                                    "args" : [["EXPRESSION", {
110
                                      "args" : [["CONSTANT_VALUE", {
111
                                        "value" : ["CST_LITERAL", "1"]}
112
                                      ]]}
113
                                    ]]}
114
                                  ]]}
115
                                ]]}
116
                              ], ["EXPRESSION", {
117
                                "args" : [["EXPRESSION", {
118
                                  "args" : [["EXPRESSION", {
119
                                    "args" : [["EXPRESSION", {
120
                                      "args" : [["CONSTANT_VALUE", {
121
                                        "value" : ["CST_LITERAL", "'0'"]}
122
                                      ]]}
123
                                    ]]}
124
                                  ]]}
125
                                ]]}
126
                              ]]}
127
                            ]]]}
128
                          ]]}
129
                        ]]}
130
                      ], ["EXPRESSION", {
131
                        "args" : [["EXPRESSION", {
132
                          "args" : [["EXPRESSION", {
133
                            "args" : [["CONSTANT_VALUE", {
134
                              "value" : ["CST_LITERAL", "1.2"]}
135
                            ]]}
136
                          ]]}
137
                        ]]}
138
                      ]]}
139
                    ]]}
140
                  ]]}
141
                ]]}
142
              ]]}
143
            ], "report" : ["EXPRESSION", {
144
              "args" : [["EXPRESSION", {
145
                "args" : [["EXPRESSION", {
146
                  "args" : [["EXPRESSION", {
147
                    "args" : [["CONSTANT_VALUE", {
148
                      "value" : ["CST_LITERAL", "\"***PASSED TEST: c06s04b00x00p03n02i01050\""]}
149
                    ]]}
150
                  ]]}
151
                ]]}
152
              ]]}
153
            ], "severity" : ["EXPRESSION", {
154
              "args" : [["EXPRESSION", {
155
                "args" : [["EXPRESSION", {
156
                  "args" : [["EXPRESSION", {
157
                    "args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]}
158
                  ]]}
159
                ]]}
160
              ]]}
161
            ]}
162
          ], ["ASSERTION_STATEMENT", {
163
            "cond" : ["EXPRESSION", {
164
              "args" : [["EXPRESSION", {
165
                "args" : [["EXPRESSION", {
166
                  "args" : [["EXPRESSION", {
167
                    "args" : [["EXPRESSION", {
168
                      "id" : "=", "args" : [["EXPRESSION", {
169
                        "args" : [["EXPRESSION", {
170
                          "args" : [["EXPRESSION", {
171
                            "args" : [["CALL", ["INDEXED_NAME", {
172
                              "id" : ["SIMPLE_NAME", "k"], "exprs" : [["EXPRESSION", {
173
                                "args" : [["EXPRESSION", {
174
                                  "args" : [["EXPRESSION", {
175
                                    "args" : [["EXPRESSION", {
176
                                      "args" : [["CONSTANT_VALUE", {
177
                                        "value" : ["CST_LITERAL", "1"]}
178
                                      ]]}
179
                                    ]]}
180
                                  ]]}
181
                                ]]}
182
                              ], ["EXPRESSION", {
183
                                "args" : [["EXPRESSION", {
184
                                  "args" : [["EXPRESSION", {
185
                                    "args" : [["EXPRESSION", {
186
                                      "args" : [["CONSTANT_VALUE", {
187
                                        "value" : ["CST_LITERAL", "'0'"]}
188
                                      ]]}
189
                                    ]]}
190
                                  ]]}
191
                                ]]}
192
                              ]]}
193
                            ]]]}
194
                          ]]}
195
                        ]]}
196
                      ], ["EXPRESSION", {
197
                        "args" : [["EXPRESSION", {
198
                          "args" : [["EXPRESSION", {
199
                            "args" : [["CONSTANT_VALUE", {
200
                              "value" : ["CST_LITERAL", "1.2"]}
201
                            ]]}
202
                          ]]}
203
                        ]]}
204
                      ]]}
205
                    ]]}
206
                  ]]}
207
                ]]}
208
              ]]}
209
            ], "report" : ["EXPRESSION", {
210
              "args" : [["EXPRESSION", {
211
                "args" : [["EXPRESSION", {
212
                  "args" : [["EXPRESSION", {
213
                    "args" : [["CONSTANT_VALUE", {
214
                      "value" : ["CST_LITERAL", "\"***FAILED TEST: c06s04b00x00p03n02i01050 - The expressions specify the index values for the element.\""]}
215
                    ]]}
216
                  ]]}
217
                ]]}
218
              ]]}
219
            ], "severity" : ["EXPRESSION", {
220
              "args" : [["EXPRESSION", {
221
                "args" : [["EXPRESSION", {
222
                  "args" : [["EXPRESSION", {
223
                    "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
224
                  ]]}
225
                ]]}
226
              ]]}
227
            ]}
228
          ], ["WAIT_STATEMENT"]]}
229
        ]]}
230
      ]}
231
    ]}
232
  }