Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (7.92 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "c06s05b00x00p05n02i01138ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6
      ]}
7
    , {
8
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9
        "name" : ["IDENTIFIER", "c06s05b00x00p05n02i01138arch"], "entity" : ["IDENTIFIER", "c06s05b00x00p05n02i01138ent"], "ARCHITECTURE_DECLARATIVE_PART" : [{
10
          "declaration" : ["SIGNAL_DECLARATION", {
11
            "names" : [["IDENTIFIER", "T1"]], "typ" : {
12
              "name" : ["SIMPLE_NAME", "boolean"]}
13
            }
14
          ]}
15
        ], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", {
16
          "id" : ["IDENTIFIER", "TESTING"], "PROCESS_DECLARATIVE_PART" : [{
17
            "declaration" : ["VARIABLE_DECLARATION", {
18
              "names" : [["IDENTIFIER", "B"]], "typ" : {
19
                "name" : ["SIMPLE_NAME", "Bit_vector"], "const" : ["INDEX_CONSTRAINT", {
20
                  "ranges" : [["RANGE_WITH_DIRECTION", {
21
                    "direction" : "to", "from" : ["EXPRESSION", {
22
                      "args" : [["EXPRESSION", {
23
                        "args" : [["CONSTANT_VALUE", {
24
                          "value" : ["CST_LITERAL", "1"]}
25
                        ]]}
26
                      ]]}
27
                    ], "_to" : ["EXPRESSION", {
28
                      "args" : [["EXPRESSION", {
29
                        "args" : [["CONSTANT_VALUE", {
30
                          "value" : ["CST_LITERAL", "10"]}
31
                        ]]}
32
                      ]]}
33
                    ]}
34
                  ]]}
35
                ]}
36
              , "init_val" : ["EXPRESSION", {
37
                "args" : [["EXPRESSION", {
38
                  "args" : [["EXPRESSION", {
39
                    "args" : [["EXPRESSION", {
40
                      "args" : [["CONSTANT_VALUE", {
41
                        "value" : ["CST_LITERAL", "B\"01010_10101\""]}
42
                      ]]}
43
                    ]]}
44
                  ]]}
45
                ]]}
46
              ]}
47
            ]}
48
          ], "PROCESS_STATEMENT_PART" : [["IF_STATEMENT", {
49
            "if_cases" : [{
50
              "if_cond" : ["EXPRESSION", {
51
                "id" : "=", "args" : [["EXPRESSION", {
52
                  "args" : [["EXPRESSION", {
53
                    "args" : [["EXPRESSION", {
54
                      "args" : [["CALL", ["SLICE_NAME", {
55
                        "id" : ["SIMPLE_NAME", "B"], "range" : ["RANGE_WITH_DIRECTION", {
56
                          "direction" : "to", "from" : ["EXPRESSION", {
57
                            "args" : [["EXPRESSION", {
58
                              "args" : [["CONSTANT_VALUE", {
59
                                "value" : ["CST_LITERAL", "1"]}
60
                              ]]}
61
                            ]]}
62
                          ], "_to" : ["EXPRESSION", {
63
                            "args" : [["EXPRESSION", {
64
                              "args" : [["CONSTANT_VALUE", {
65
                                "value" : ["CST_LITERAL", "2"]}
66
                              ]]}
67
                            ]]}
68
                          ]}
69
                        ]}
70
                      ]]]}
71
                    ]]}
72
                  ]]}
73
                ], ["EXPRESSION", {
74
                  "args" : [["EXPRESSION", {
75
                    "args" : [["EXPRESSION", {
76
                      "args" : [["CONSTANT_VALUE", {
77
                        "value" : ["CST_LITERAL", "B\"01\""]}
78
                      ]]}
79
                    ]]}
80
                  ]]}
81
                ]]}
82
              ], "if_block" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
83
                "lhs" : ["SIMPLE_NAME", "T1"], "rhs" : [{
84
                  "value" : ["EXPRESSION", {
85
                    "args" : [["EXPRESSION", {
86
                      "args" : [["EXPRESSION", {
87
                        "args" : [["EXPRESSION", {
88
                          "args" : [["CALL", ["SIMPLE_NAME", "TRUE"]]]}
89
                        ]]}
90
                      ]]}
91
                    ]]}
92
                  ]}
93
                ]}
94
              ]]}
95
            ], "default" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
96
              "lhs" : ["SIMPLE_NAME", "T1"], "rhs" : [{
97
                "value" : ["EXPRESSION", {
98
                  "args" : [["EXPRESSION", {
99
                    "args" : [["EXPRESSION", {
100
                      "args" : [["EXPRESSION", {
101
                        "args" : [["CALL", ["SIMPLE_NAME", "FALSE"]]]}
102
                      ]]}
103
                    ]]}
104
                  ]]}
105
                ]}
106
              ]}
107
            ]]}
108
          ], ["WAIT_STATEMENT"], ["ASSERTION_STATEMENT", {
109
            "cond" : ["EXPRESSION", {
110
              "args" : [["EXPRESSION", {
111
                "args" : [["EXPRESSION", {
112
                  "args" : [["EXPRESSION", {
113
                    "id" : "NOT", "args" : [["EXPRESSION", {
114
                      "id" : "=", "args" : [["EXPRESSION", {
115
                        "args" : [["EXPRESSION", {
116
                          "args" : [["EXPRESSION", {
117
                            "args" : [["CALL", ["SIMPLE_NAME", "T1"]]]}
118
                          ]]}
119
                        ]]}
120
                      ], ["EXPRESSION", {
121
                        "args" : [["EXPRESSION", {
122
                          "args" : [["EXPRESSION", {
123
                            "args" : [["CALL", ["SIMPLE_NAME", "TRUE"]]]}
124
                          ]]}
125
                        ]]}
126
                      ]]}
127
                    ]]}
128
                  ]]}
129
                ]]}
130
              ]]}
131
            ], "report" : ["EXPRESSION", {
132
              "args" : [["EXPRESSION", {
133
                "args" : [["EXPRESSION", {
134
                  "args" : [["EXPRESSION", {
135
                    "args" : [["CONSTANT_VALUE", {
136
                      "value" : ["CST_LITERAL", "\"***PASSED TEST: c06s05b00x00p05n02i01138\""]}
137
                    ]]}
138
                  ]]}
139
                ]]}
140
              ]]}
141
            ], "severity" : ["EXPRESSION", {
142
              "args" : [["EXPRESSION", {
143
                "args" : [["EXPRESSION", {
144
                  "args" : [["EXPRESSION", {
145
                    "args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]}
146
                  ]]}
147
                ]]}
148
              ]]}
149
            ]}
150
          ], ["ASSERTION_STATEMENT", {
151
            "cond" : ["EXPRESSION", {
152
              "args" : [["EXPRESSION", {
153
                "args" : [["EXPRESSION", {
154
                  "args" : [["EXPRESSION", {
155
                    "args" : [["EXPRESSION", {
156
                      "id" : "=", "args" : [["EXPRESSION", {
157
                        "args" : [["EXPRESSION", {
158
                          "args" : [["EXPRESSION", {
159
                            "args" : [["CALL", ["SIMPLE_NAME", "T1"]]]}
160
                          ]]}
161
                        ]]}
162
                      ], ["EXPRESSION", {
163
                        "args" : [["EXPRESSION", {
164
                          "args" : [["EXPRESSION", {
165
                            "args" : [["CALL", ["SIMPLE_NAME", "TRUE"]]]}
166
                          ]]}
167
                        ]]}
168
                      ]]}
169
                    ]]}
170
                  ]]}
171
                ]]}
172
              ]]}
173
            ], "report" : ["EXPRESSION", {
174
              "args" : [["EXPRESSION", {
175
                "args" : [["EXPRESSION", {
176
                  "args" : [["EXPRESSION", {
177
                    "args" : [["CONSTANT_VALUE", {
178
                      "value" : ["CST_LITERAL", "\"***FAILED TEST: c06s05b00x00p05n02i01138 - The prefix and the discrete range of the slice is not correctly evaluated.\""]}
179
                    ]]}
180
                  ]]}
181
                ]]}
182
              ]]}
183
            ], "severity" : ["EXPRESSION", {
184
              "args" : [["EXPRESSION", {
185
                "args" : [["EXPRESSION", {
186
                  "args" : [["EXPRESSION", {
187
                    "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
188
                  ]]}
189
                ]]}
190
              ]]}
191
            ]}
192
          ], ["WAIT_STATEMENT"]]}
193
        ]]}
194
      ]}
195
    ]}
196
  }