Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (9.53 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "c04s03b02x02p23n01i00164ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6
      ]}
7
    , {
8
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9
        "name" : ["IDENTIFIER", "c04s03b02x02p23n01i00164arch"], "entity" : ["IDENTIFIER", "c04s03b02x02p23n01i00164ent"], "ARCHITECTURE_DECLARATIVE_PART" : [{
10
          "declaration" : ["SIGNAL_DECLARATION", {
11
            "names" : [["IDENTIFIER", "p1"]], "typ" : {
12
              "name" : ["SIMPLE_NAME", "bit"]}
13
            }
14
          ]}
15
        ], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", {
16
          "id" : ["IDENTIFIER", "TESTING"], "PROCESS_DECLARATIVE_PART" : [{
17
            "declaration" : ["VARIABLE_DECLARATION", {
18
              "names" : [["IDENTIFIER", "v1"], ["IDENTIFIER", "v2"], ["IDENTIFIER", "v3"], ["IDENTIFIER", "v4"]], "typ" : {
19
                "name" : ["SIMPLE_NAME", "integer"]}
20
              }
21
            ]}
22
          , {
23
            "declaration" : ["SUBPROGRAM_BODY", {
24
              "spec" : {
25
                "name" : "default_test", "subprogram_type" : "procedure", "parameters" : [{
26
                  "names" : [["IDENTIFIER", "param_1"]], "mode" : ["in"], "typ" : {
27
                    "name" : ["SIMPLE_NAME", "integer"]}
28
                  }
29
                , {
30
                  "names" : [["IDENTIFIER", "default"]], "mode" : ["in"], "typ" : {
31
                    "name" : ["SIMPLE_NAME", "integer"]}
32
                  , "expr" : ["EXPRESSION", {
33
                    "args" : [["EXPRESSION", {
34
                      "args" : [["EXPRESSION", {
35
                        "args" : [["EXPRESSION", {
36
                          "args" : [["CONSTANT_VALUE", {
37
                            "value" : ["CST_LITERAL", "22"]}
38
                          ]]}
39
                        ]]}
40
                      ]]}
41
                    ]]}
42
                  ]}
43
                , {
44
                  "names" : [["IDENTIFIER", "param_3"]], "mode" : ["out"], "typ" : {
45
                    "name" : ["SIMPLE_NAME", "integer"]}
46
                  }
47
                , {
48
                  "names" : [["IDENTIFIER", "param_4"]], "mode" : ["out"], "typ" : {
49
                    "name" : ["SIMPLE_NAME", "integer"]}
50
                  }
51
                ]}
52
              , "stmts" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
53
                "lhs" : ["SIMPLE_NAME", "param_3"], "rhs" : ["EXPRESSION", {
54
                  "args" : [["EXPRESSION", {
55
                    "args" : [["EXPRESSION", {
56
                      "args" : [["EXPRESSION", {
57
                        "args" : [["CALL", ["SIMPLE_NAME", "param_1"]]]}
58
                      ]]}
59
                    ]]}
60
                  ]]}
61
                ]}
62
              ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
63
                "lhs" : ["SIMPLE_NAME", "param_4"], "rhs" : ["EXPRESSION", {
64
                  "args" : [["EXPRESSION", {
65
                    "args" : [["EXPRESSION", {
66
                      "args" : [["EXPRESSION", {
67
                        "args" : [["CALL", ["SIMPLE_NAME", "default"]]]}
68
                      ]]}
69
                    ]]}
70
                  ]]}
71
                ]}
72
              ]]}
73
            ]}
74
          ], "active_sigs" : [["SIMPLE_NAME", "p1"]], "PROCESS_STATEMENT_PART" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
75
            "lhs" : ["SIMPLE_NAME", "v1"], "rhs" : ["EXPRESSION", {
76
              "args" : [["EXPRESSION", {
77
                "args" : [["EXPRESSION", {
78
                  "args" : [["EXPRESSION", {
79
                    "args" : [["CONSTANT_VALUE", {
80
                      "value" : ["CST_LITERAL", "1919"]}
81
                    ]]}
82
                  ]]}
83
                ]]}
84
              ]]}
85
            ]}
86
          ], ["PROCEDURE_CALL_STATEMENT", {
87
            "name" : ["IDENTIFIER", "default_test"], "assocs" : [{
88
              "actual_designator" : ["SIMPLE_NAME", "v1"]}
89
            , {
90
              "formal_name" : ["SIMPLE_NAME", "param_3"], "actual_designator" : ["SIMPLE_NAME", "v3"]}
91
            , {
92
              "formal_name" : ["SIMPLE_NAME", "param_4"], "actual_designator" : ["SIMPLE_NAME", "v4"]}
93
            ]}
94
          ], ["ASSERTION_STATEMENT", {
95
            "cond" : ["EXPRESSION", {
96
              "args" : [["EXPRESSION", {
97
                "args" : [["EXPRESSION", {
98
                  "args" : [["EXPRESSION", {
99
                    "id" : "NOT", "args" : [["EXPRESSION", {
100
                      "id" : "and", "args" : [["EXPRESSION", {
101
                        "id" : "=", "args" : [["EXPRESSION", {
102
                          "args" : [["EXPRESSION", {
103
                            "args" : [["EXPRESSION", {
104
                              "args" : [["CALL", ["SIMPLE_NAME", "v3"]]]}
105
                            ]]}
106
                          ]]}
107
                        ], ["EXPRESSION", {
108
                          "args" : [["EXPRESSION", {
109
                            "args" : [["EXPRESSION", {
110
                              "args" : [["CONSTANT_VALUE", {
111
                                "value" : ["CST_LITERAL", "1919"]}
112
                              ]]}
113
                            ]]}
114
                          ]]}
115
                        ]]}
116
                      ], ["EXPRESSION", {
117
                        "id" : "=", "args" : [["EXPRESSION", {
118
                          "args" : [["EXPRESSION", {
119
                            "args" : [["EXPRESSION", {
120
                              "args" : [["CALL", ["SIMPLE_NAME", "v4"]]]}
121
                            ]]}
122
                          ]]}
123
                        ], ["EXPRESSION", {
124
                          "args" : [["EXPRESSION", {
125
                            "args" : [["EXPRESSION", {
126
                              "args" : [["CONSTANT_VALUE", {
127
                                "value" : ["CST_LITERAL", "22"]}
128
                              ]]}
129
                            ]]}
130
                          ]]}
131
                        ]]}
132
                      ]]}
133
                    ]]}
134
                  ]]}
135
                ]]}
136
              ]]}
137
            ], "report" : ["EXPRESSION", {
138
              "args" : [["EXPRESSION", {
139
                "args" : [["EXPRESSION", {
140
                  "args" : [["EXPRESSION", {
141
                    "args" : [["CONSTANT_VALUE", {
142
                      "value" : ["CST_LITERAL", "\"***PASSED TEST: c04s03b02x02p23n01i00164\""]}
143
                    ]]}
144
                  ]]}
145
                ]]}
146
              ]]}
147
            ], "severity" : ["EXPRESSION", {
148
              "args" : [["EXPRESSION", {
149
                "args" : [["EXPRESSION", {
150
                  "args" : [["EXPRESSION", {
151
                    "args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]}
152
                  ]]}
153
                ]]}
154
              ]]}
155
            ]}
156
          ], ["ASSERTION_STATEMENT", {
157
            "cond" : ["EXPRESSION", {
158
              "args" : [["EXPRESSION", {
159
                "args" : [["EXPRESSION", {
160
                  "args" : [["EXPRESSION", {
161
                    "args" : [["EXPRESSION", {
162
                      "id" : "and", "args" : [["EXPRESSION", {
163
                        "id" : "=", "args" : [["EXPRESSION", {
164
                          "args" : [["EXPRESSION", {
165
                            "args" : [["EXPRESSION", {
166
                              "args" : [["CALL", ["SIMPLE_NAME", "v3"]]]}
167
                            ]]}
168
                          ]]}
169
                        ], ["EXPRESSION", {
170
                          "args" : [["EXPRESSION", {
171
                            "args" : [["EXPRESSION", {
172
                              "args" : [["CONSTANT_VALUE", {
173
                                "value" : ["CST_LITERAL", "1919"]}
174
                              ]]}
175
                            ]]}
176
                          ]]}
177
                        ]]}
178
                      ], ["EXPRESSION", {
179
                        "id" : "=", "args" : [["EXPRESSION", {
180
                          "args" : [["EXPRESSION", {
181
                            "args" : [["EXPRESSION", {
182
                              "args" : [["CALL", ["SIMPLE_NAME", "v4"]]]}
183
                            ]]}
184
                          ]]}
185
                        ], ["EXPRESSION", {
186
                          "args" : [["EXPRESSION", {
187
                            "args" : [["EXPRESSION", {
188
                              "args" : [["CONSTANT_VALUE", {
189
                                "value" : ["CST_LITERAL", "22"]}
190
                              ]]}
191
                            ]]}
192
                          ]]}
193
                        ]]}
194
                      ]]}
195
                    ]]}
196
                  ]]}
197
                ]]}
198
              ]]}
199
            ], "report" : ["EXPRESSION", {
200
              "args" : [["EXPRESSION", {
201
                "args" : [["EXPRESSION", {
202
                  "args" : [["EXPRESSION", {
203
                    "args" : [["CONSTANT_VALUE", {
204
                      "value" : ["CST_LITERAL", "\"***FAILED TEST: c04s03b02x02p23n01i00164 - If an association element is omitted from an association list in order to make use of the default expression on the corresponding interface element, all subsequent association elements in that association list must be named associations.\""]}
205
                    ]]}
206
                  ]]}
207
                ]]}
208
              ]]}
209
            ], "severity" : ["EXPRESSION", {
210
              "args" : [["EXPRESSION", {
211
                "args" : [["EXPRESSION", {
212
                  "args" : [["EXPRESSION", {
213
                    "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
214
                  ]]}
215
                ]]}
216
              ]]}
217
            ]}
218
          ]]}
219
        ]]}
220
      ]}
221
    ]}
222
  }