Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (7.68 KB)

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