Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (8.53 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "c06s06b00x00p02n01i01153ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6
      ]}
7
    , {
8
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9
        "name" : ["IDENTIFIER", "c06s06b00x00p02n01i01153arch"], "entity" : ["IDENTIFIER", "c06s06b00x00p02n01i01153ent"], "ARCHITECTURE_DECLARATIVE_PART" : [], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", {
10
          "id" : ["IDENTIFIER", "TESTING"], "PROCESS_DECLARATIVE_PART" : [{
11
            "definition" : ["TYPE_DECLARATION", {
12
              "name" : ["IDENTIFIER", "A1"], "definition" : ["ARRAY_TYPE_DEFINITION", {
13
                "const" : ["INDEX_CONSTRAINT", {
14
                  "ranges" : [["RANGE_WITH_DIRECTION", {
15
                    "direction" : "to", "from" : ["EXPRESSION", {
16
                      "args" : [["EXPRESSION", {
17
                        "args" : [["CONSTANT_VALUE", {
18
                          "value" : ["CST_LITERAL", "1"]}
19
                        ]]}
20
                      ]]}
21
                    ], "_to" : ["EXPRESSION", {
22
                      "args" : [["EXPRESSION", {
23
                        "args" : [["CONSTANT_VALUE", {
24
                          "value" : ["CST_LITERAL", "2"]}
25
                        ]]}
26
                      ]]}
27
                    ]}
28
                  ]]}
29
                ], "definition" : {
30
                  "name" : ["SIMPLE_NAME", "BOOLEAN"]}
31
                }
32
              ]}
33
            ]}
34
          , {
35
            "definition" : ["TYPE_DECLARATION", {
36
              "name" : ["IDENTIFIER", "A2"], "definition" : ["ARRAY_TYPE_DEFINITION", {
37
                "const" : ["INDEX_CONSTRAINT", {
38
                  "ranges" : [["RANGE_WITH_DIRECTION", {
39
                    "direction" : "to", "from" : ["EXPRESSION", {
40
                      "args" : [["EXPRESSION", {
41
                        "args" : [["CONSTANT_VALUE", {
42
                          "value" : ["CST_LITERAL", "1"]}
43
                        ]]}
44
                      ]]}
45
                    ], "_to" : ["EXPRESSION", {
46
                      "args" : [["EXPRESSION", {
47
                        "args" : [["CONSTANT_VALUE", {
48
                          "value" : ["CST_LITERAL", "2"]}
49
                        ]]}
50
                      ]]}
51
                    ]}
52
                  ]]}
53
                ], "definition" : {
54
                  "name" : ["SIMPLE_NAME", "A1"]}
55
                }
56
              ]}
57
            ]}
58
          , {
59
            "declaration" : ["VARIABLE_DECLARATION", {
60
              "names" : [["IDENTIFIER", "V"]], "typ" : {
61
                "name" : ["SIMPLE_NAME", "A2"]}
62
              }
63
            ]}
64
          , {
65
            "declaration" : ["VARIABLE_DECLARATION", {
66
              "names" : [["IDENTIFIER", "k"]], "typ" : {
67
                "name" : ["SIMPLE_NAME", "integer"]}
68
              }
69
            ]}
70
          ], "PROCESS_STATEMENT_PART" : [["IF_STATEMENT", {
71
            "if_cases" : [{
72
              "if_cond" : ["EXPRESSION", {
73
                "id" : "=", "args" : [["EXPRESSION", {
74
                  "args" : [["EXPRESSION", {
75
                    "args" : [["EXPRESSION", {
76
                      "args" : [["CALL", ["ATTRIBUTE_NAME", {
77
                        "id" : ["FUNCTION_CALL", {
78
                          "id" : ["SIMPLE_NAME", "V"], "assoc_list" : [{
79
                            "actual_expr" : ["EXPRESSION", {
80
                              "args" : [["EXPRESSION", {
81
                                "args" : [["EXPRESSION", {
82
                                  "args" : [["EXPRESSION", {
83
                                    "args" : [["CONSTANT_VALUE", {
84
                                      "value" : ["CST_LITERAL", "1"]}
85
                                    ]]}
86
                                  ]]}
87
                                ]]}
88
                              ]]}
89
                            ]}
90
                          ]}
91
                        ], "designator" : ["SIMPLE_NAME", "LOW"]}
92
                      ]]]}
93
                    ]]}
94
                  ]]}
95
                ], ["EXPRESSION", {
96
                  "args" : [["EXPRESSION", {
97
                    "args" : [["EXPRESSION", {
98
                      "args" : [["CONSTANT_VALUE", {
99
                        "value" : ["CST_LITERAL", "1"]}
100
                      ]]}
101
                    ]]}
102
                  ]]}
103
                ]]}
104
              ], "if_block" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
105
                "lhs" : ["SIMPLE_NAME", "k"], "rhs" : ["EXPRESSION", {
106
                  "args" : [["EXPRESSION", {
107
                    "args" : [["EXPRESSION", {
108
                      "args" : [["EXPRESSION", {
109
                        "args" : [["CONSTANT_VALUE", {
110
                          "value" : ["CST_LITERAL", "5"]}
111
                        ]]}
112
                      ]]}
113
                    ]]}
114
                  ]]}
115
                ]}
116
              ]]}
117
            ]}
118
          ], ["ASSERTION_STATEMENT", {
119
            "cond" : ["EXPRESSION", {
120
              "args" : [["EXPRESSION", {
121
                "args" : [["EXPRESSION", {
122
                  "args" : [["EXPRESSION", {
123
                    "id" : "NOT", "args" : [["EXPRESSION", {
124
                      "id" : "=", "args" : [["EXPRESSION", {
125
                        "args" : [["EXPRESSION", {
126
                          "args" : [["EXPRESSION", {
127
                            "args" : [["CALL", ["SIMPLE_NAME", "k"]]]}
128
                          ]]}
129
                        ]]}
130
                      ], ["EXPRESSION", {
131
                        "args" : [["EXPRESSION", {
132
                          "args" : [["EXPRESSION", {
133
                            "args" : [["CONSTANT_VALUE", {
134
                              "value" : ["CST_LITERAL", "5"]}
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: c06s06b00x00p02n01i01153\""]}
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", ["SIMPLE_NAME", "k"]]]}
172
                          ]]}
173
                        ]]}
174
                      ], ["EXPRESSION", {
175
                        "args" : [["EXPRESSION", {
176
                          "args" : [["EXPRESSION", {
177
                            "args" : [["CONSTANT_VALUE", {
178
                              "value" : ["CST_LITERAL", "5"]}
179
                            ]]}
180
                          ]]}
181
                        ]]}
182
                      ]]}
183
                    ]]}
184
                  ]]}
185
                ]]}
186
              ]]}
187
            ], "report" : ["EXPRESSION", {
188
              "args" : [["EXPRESSION", {
189
                "args" : [["EXPRESSION", {
190
                  "args" : [["EXPRESSION", {
191
                    "args" : [["CONSTANT_VALUE", {
192
                      "value" : ["CST_LITERAL", "\"***FAILED TEST: c06s06b00x00p02n01i01153 - The attribute name consists of a prefix, an apostrophe('), an attribute designator, and (optionally) a static expression enclosed with parentheses.\""]}
193
                    ]]}
194
                  ]]}
195
                ]]}
196
              ]]}
197
            ], "severity" : ["EXPRESSION", {
198
              "args" : [["EXPRESSION", {
199
                "args" : [["EXPRESSION", {
200
                  "args" : [["EXPRESSION", {
201
                    "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
202
                  ]]}
203
                ]]}
204
              ]]}
205
            ]}
206
          ], ["WAIT_STATEMENT"]]}
207
        ]]}
208
      ]}
209
    ]}
210
  }