Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (8.41 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "c06s05b00x00p01n02i01079ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6
      ]}
7
    , {
8
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9
        "name" : ["IDENTIFIER", "c06s05b00x00p01n02i01079arch"], "entity" : ["IDENTIFIER", "c06s05b00x00p01n02i01079ent"], "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
        , {
54
          "declaration" : ["SIGNAL_DECLARATION", {
55
            "names" : [["IDENTIFIER", "v_slice"]], "typ" : {
56
              "name" : ["SIMPLE_NAME", "bit_vector_8"]}
57
            , "init_val" : ["EXPRESSION", {
58
              "args" : [["EXPRESSION", {
59
                "args" : [["EXPRESSION", {
60
                  "args" : [["EXPRESSION", {
61
                    "args" : [["CONSTANT_VALUE", {
62
                      "value" : ["CST_LITERAL", "B\"1010_1100\""]}
63
                    ]]}
64
                  ]]}
65
                ]]}
66
              ]]}
67
            ]}
68
          ]}
69
        , {
70
          "declaration" : ["SUBPROGRAM_BODY", {
71
            "spec" : {
72
              "name" : "subprogram", "subprogram_type" : "procedure", "parameters" : []}
73
            , "stmts" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
74
              "lhs" : ["SIMPLE_NAME", "v"], "rhs" : [{
75
                "value" : ["EXPRESSION", {
76
                  "args" : [["EXPRESSION", {
77
                    "args" : [["EXPRESSION", {
78
                      "args" : [["EXPRESSION", {
79
                        "args" : [["CONSTANT_VALUE", {
80
                          "value" : ["CST_LITERAL", "B\"0101\""]}
81
                        ]]}
82
                      ]]}
83
                    ]]}
84
                  ]]}
85
                ], "delay" : ["EXPRESSION", {
86
                  "args" : [["EXPRESSION", {
87
                    "args" : [["EXPRESSION", {
88
                      "args" : [["EXPRESSION", {
89
                        "args" : [["CONSTANT_VALUE", {
90
                          "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]}
91
                        ]]}
92
                      ]]}
93
                    ]]}
94
                  ]]}
95
                ]}
96
              ]}
97
            ]]}
98
          ]}
99
        ], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", {
100
          "id" : ["IDENTIFIER", "TESTING"], "PROCESS_STATEMENT_PART" : [["PROCEDURE_CALL_STATEMENT", {
101
            "name" : ["IDENTIFIER", "subprogram"], "assocs" : [{
102
              "actual_designator" : ["SLICE_NAME", {
103
                "id" : ["SIMPLE_NAME", "v_slice"], "range" : ["RANGE_WITH_DIRECTION", {
104
                  "direction" : "to", "from" : ["EXPRESSION", {
105
                    "args" : [["EXPRESSION", {
106
                      "args" : [["CONSTANT_VALUE", {
107
                        "value" : ["CST_LITERAL", "0"]}
108
                      ]]}
109
                    ]]}
110
                  ], "_to" : ["EXPRESSION", {
111
                    "args" : [["EXPRESSION", {
112
                      "args" : [["CONSTANT_VALUE", {
113
                        "value" : ["CST_LITERAL", "3"]}
114
                      ]]}
115
                    ]]}
116
                  ]}
117
                ]}
118
              ]}
119
            ]}
120
          ], ["WAIT_STATEMENT"], ["ASSERTION_STATEMENT", {
121
            "cond" : ["EXPRESSION", {
122
              "args" : [["EXPRESSION", {
123
                "args" : [["EXPRESSION", {
124
                  "args" : [["EXPRESSION", {
125
                    "id" : "NOT", "args" : [["EXPRESSION", {
126
                      "id" : "=", "args" : [["EXPRESSION", {
127
                        "args" : [["EXPRESSION", {
128
                          "args" : [["EXPRESSION", {
129
                            "args" : [["CALL", ["SIMPLE_NAME", "v_slice"]]]}
130
                          ]]}
131
                        ]]}
132
                      ], ["EXPRESSION", {
133
                        "args" : [["EXPRESSION", {
134
                          "args" : [["EXPRESSION", {
135
                            "args" : [["CONSTANT_VALUE", {
136
                              "value" : ["CST_LITERAL", "B\"0101_1100\""]}
137
                            ]]}
138
                          ]]}
139
                        ]]}
140
                      ]]}
141
                    ]]}
142
                  ]]}
143
                ]]}
144
              ]]}
145
            ], "report" : ["EXPRESSION", {
146
              "args" : [["EXPRESSION", {
147
                "args" : [["EXPRESSION", {
148
                  "args" : [["EXPRESSION", {
149
                    "args" : [["CONSTANT_VALUE", {
150
                      "value" : ["CST_LITERAL", "\"***PASSED TEST: c06s05b00x00p01n02i01079\""]}
151
                    ]]}
152
                  ]]}
153
                ]]}
154
              ]]}
155
            ], "severity" : ["EXPRESSION", {
156
              "args" : [["EXPRESSION", {
157
                "args" : [["EXPRESSION", {
158
                  "args" : [["EXPRESSION", {
159
                    "args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]}
160
                  ]]}
161
                ]]}
162
              ]]}
163
            ]}
164
          ], ["ASSERTION_STATEMENT", {
165
            "cond" : ["EXPRESSION", {
166
              "args" : [["EXPRESSION", {
167
                "args" : [["EXPRESSION", {
168
                  "args" : [["EXPRESSION", {
169
                    "args" : [["EXPRESSION", {
170
                      "id" : "=", "args" : [["EXPRESSION", {
171
                        "args" : [["EXPRESSION", {
172
                          "args" : [["EXPRESSION", {
173
                            "args" : [["CALL", ["SIMPLE_NAME", "v_slice"]]]}
174
                          ]]}
175
                        ]]}
176
                      ], ["EXPRESSION", {
177
                        "args" : [["EXPRESSION", {
178
                          "args" : [["EXPRESSION", {
179
                            "args" : [["CONSTANT_VALUE", {
180
                              "value" : ["CST_LITERAL", "B\"0101_1100\""]}
181
                            ]]}
182
                          ]]}
183
                        ]]}
184
                      ]]}
185
                    ]]}
186
                  ]]}
187
                ]]}
188
              ]]}
189
            ], "report" : ["EXPRESSION", {
190
              "args" : [["EXPRESSION", {
191
                "args" : [["EXPRESSION", {
192
                  "args" : [["EXPRESSION", {
193
                    "args" : [["CONSTANT_VALUE", {
194
                      "value" : ["CST_LITERAL", "\"***FAILED TEST: c06s05b00x00p01n02i01079 - A slice of a signal should still be a signal.\""]}
195
                    ]]}
196
                  ]]}
197
                ]]}
198
              ]]}
199
            ], "severity" : ["EXPRESSION", {
200
              "args" : [["EXPRESSION", {
201
                "args" : [["EXPRESSION", {
202
                  "args" : [["EXPRESSION", {
203
                    "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
204
                  ]]}
205
                ]]}
206
              ]]}
207
            ]}
208
          ], ["WAIT_STATEMENT"]]}
209
        ]]}
210
      ]}
211
    ]}
212
  }