Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (9.62 KB)

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