Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (7.29 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "c08s12b00x00p03n01i01619ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6
      ]}
7
    , {
8
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9
        "name" : ["IDENTIFIER", "c08s12b00x00p03n01i01619arch"], "entity" : ["IDENTIFIER", "c08s12b00x00p03n01i01619ent"], "ARCHITECTURE_DECLARATIVE_PART" : [{
10
          "declaration" : ["SUBPROGRAM_BODY", {
11
            "spec" : {
12
              "name" : "F", "subprogram_type" : "function", "parameters" : [{
13
                "names" : [["IDENTIFIER", "p"]], "typ" : {
14
                  "name" : ["SIMPLE_NAME", "integer"]}
15
                }
16
              ], "typeMark" : ["SIMPLE_NAME", "BIT"], "isPure" : false}
17
            , "stmts" : [["IF_STATEMENT", {
18
              "if_cases" : [{
19
                "if_cond" : ["EXPRESSION", {
20
                  "id" : "=", "args" : [["EXPRESSION", {
21
                    "args" : [["EXPRESSION", {
22
                      "args" : [["EXPRESSION", {
23
                        "args" : [["CALL", ["SIMPLE_NAME", "p"]]]}
24
                      ]]}
25
                    ]]}
26
                  ], ["EXPRESSION", {
27
                    "args" : [["EXPRESSION", {
28
                      "args" : [["EXPRESSION", {
29
                        "args" : [["CONSTANT_VALUE", {
30
                          "value" : ["CST_LITERAL", "5"]}
31
                        ]]}
32
                      ]]}
33
                    ]]}
34
                  ]]}
35
                ], "if_block" : [["RETURN_STATEMENT", {
36
                  "expr" : ["EXPRESSION", {
37
                    "args" : [["EXPRESSION", {
38
                      "args" : [["EXPRESSION", {
39
                        "args" : [["EXPRESSION", {
40
                          "args" : [["CONSTANT_VALUE", {
41
                            "value" : ["CST_LITERAL", "'0'"]}
42
                          ]]}
43
                        ]]}
44
                      ]]}
45
                    ]]}
46
                  ]}
47
                ]]}
48
              ], "default" : [["RETURN_STATEMENT", {
49
                "expr" : ["EXPRESSION", {
50
                  "args" : [["EXPRESSION", {
51
                    "args" : [["EXPRESSION", {
52
                      "args" : [["EXPRESSION", {
53
                        "args" : [["CONSTANT_VALUE", {
54
                          "value" : ["CST_LITERAL", "'1'"]}
55
                        ]]}
56
                      ]]}
57
                    ]]}
58
                  ]]}
59
                ]}
60
              ]]}
61
            ]]}
62
          ]}
63
        ], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", {
64
          "id" : ["IDENTIFIER", "TESTING"], "PROCESS_DECLARATIVE_PART" : [{
65
            "declaration" : ["VARIABLE_DECLARATION", {
66
              "names" : [["IDENTIFIER", "k"]], "typ" : {
67
                "name" : ["SIMPLE_NAME", "BIT"]}
68
              }
69
            ]}
70
          ], "PROCESS_STATEMENT_PART" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
71
            "lhs" : ["SIMPLE_NAME", "k"], "rhs" : ["EXPRESSION", {
72
              "args" : [["EXPRESSION", {
73
                "args" : [["EXPRESSION", {
74
                  "args" : [["EXPRESSION", {
75
                    "args" : [["CALL", ["INDEXED_NAME", {
76
                      "id" : ["SIMPLE_NAME", "F"], "exprs" : [["EXPRESSION", {
77
                        "args" : [["EXPRESSION", {
78
                          "args" : [["EXPRESSION", {
79
                            "args" : [["EXPRESSION", {
80
                              "args" : [["CONSTANT_VALUE", {
81
                                "value" : ["CST_LITERAL", "5"]}
82
                              ]]}
83
                            ]]}
84
                          ]]}
85
                        ]]}
86
                      ]]}
87
                    ]]]}
88
                  ]]}
89
                ]]}
90
              ]]}
91
            ]}
92
          ], ["ASSERTION_STATEMENT", {
93
            "cond" : ["EXPRESSION", {
94
              "args" : [["EXPRESSION", {
95
                "args" : [["EXPRESSION", {
96
                  "args" : [["EXPRESSION", {
97
                    "id" : "NOT", "args" : [["EXPRESSION", {
98
                      "id" : "=", "args" : [["EXPRESSION", {
99
                        "args" : [["EXPRESSION", {
100
                          "args" : [["EXPRESSION", {
101
                            "args" : [["CALL", ["SIMPLE_NAME", "k"]]]}
102
                          ]]}
103
                        ]]}
104
                      ], ["EXPRESSION", {
105
                        "args" : [["EXPRESSION", {
106
                          "args" : [["EXPRESSION", {
107
                            "args" : [["CONSTANT_VALUE", {
108
                              "value" : ["CST_LITERAL", "'0'"]}
109
                            ]]}
110
                          ]]}
111
                        ]]}
112
                      ]]}
113
                    ]]}
114
                  ]]}
115
                ]]}
116
              ]]}
117
            ], "report" : ["EXPRESSION", {
118
              "args" : [["EXPRESSION", {
119
                "args" : [["EXPRESSION", {
120
                  "args" : [["EXPRESSION", {
121
                    "args" : [["CONSTANT_VALUE", {
122
                      "value" : ["CST_LITERAL", "\"***PASSED TEST: c08s12b00x00p03n01i01619\""]}
123
                    ]]}
124
                  ]]}
125
                ]]}
126
              ]]}
127
            ], "severity" : ["EXPRESSION", {
128
              "args" : [["EXPRESSION", {
129
                "args" : [["EXPRESSION", {
130
                  "args" : [["EXPRESSION", {
131
                    "args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]}
132
                  ]]}
133
                ]]}
134
              ]]}
135
            ]}
136
          ], ["ASSERTION_STATEMENT", {
137
            "cond" : ["EXPRESSION", {
138
              "args" : [["EXPRESSION", {
139
                "args" : [["EXPRESSION", {
140
                  "args" : [["EXPRESSION", {
141
                    "args" : [["EXPRESSION", {
142
                      "id" : "=", "args" : [["EXPRESSION", {
143
                        "args" : [["EXPRESSION", {
144
                          "args" : [["EXPRESSION", {
145
                            "args" : [["CALL", ["SIMPLE_NAME", "k"]]]}
146
                          ]]}
147
                        ]]}
148
                      ], ["EXPRESSION", {
149
                        "args" : [["EXPRESSION", {
150
                          "args" : [["EXPRESSION", {
151
                            "args" : [["CONSTANT_VALUE", {
152
                              "value" : ["CST_LITERAL", "'0'"]}
153
                            ]]}
154
                          ]]}
155
                        ]]}
156
                      ]]}
157
                    ]]}
158
                  ]]}
159
                ]]}
160
              ]]}
161
            ], "report" : ["EXPRESSION", {
162
              "args" : [["EXPRESSION", {
163
                "args" : [["EXPRESSION", {
164
                  "args" : [["EXPRESSION", {
165
                    "args" : [["CONSTANT_VALUE", {
166
                      "value" : ["CST_LITERAL", "\"***FAILED TEST: c08s12b00x00p03n01i01619 - Multiple return statements in a function body.\""]}
167
                    ]]}
168
                  ]]}
169
                ]]}
170
              ]]}
171
            ], "severity" : ["EXPRESSION", {
172
              "args" : [["EXPRESSION", {
173
                "args" : [["EXPRESSION", {
174
                  "args" : [["EXPRESSION", {
175
                    "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
176
                  ]]}
177
                ]]}
178
              ]]}
179
            ]}
180
          ], ["WAIT_STATEMENT"]]}
181
        ]]}
182
      ]}
183
    ]}
184
  }