Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (7.15 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "c04s02b00x00p06n03i00016ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6
      ]}
7
    , {
8
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9
        "name" : ["IDENTIFIER", "c04s02b00x00p06n03i00016arch"], "entity" : ["IDENTIFIER", "c04s02b00x00p06n03i00016ent"], "ARCHITECTURE_DECLARATIVE_PART" : [], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", {
10
          "id" : ["IDENTIFIER", "TESTING"], "PROCESS_DECLARATIVE_PART" : [{
11
            "definition" : ["SUBTYPE_DECLARATION", {
12
              "name" : ["IDENTIFIER", "ZERO"], "typ" : {
13
                "name" : ["SIMPLE_NAME", "NATURAL"]}
14
              }
15
            ]}
16
          , {
17
            "declaration" : ["VARIABLE_DECLARATION", {
18
              "names" : [["IDENTIFIER", "ZEROV"]], "typ" : {
19
                "name" : ["SIMPLE_NAME", "ZERO"]}
20
              , "init_val" : ["EXPRESSION", {
21
                "args" : [["EXPRESSION", {
22
                  "args" : [["EXPRESSION", {
23
                    "args" : [["EXPRESSION", {
24
                      "args" : [["CONSTANT_VALUE", {
25
                        "value" : ["CST_LITERAL", "0"]}
26
                      ]]}
27
                    ]]}
28
                  ]]}
29
                ]]}
30
              ]}
31
            ]}
32
          , {
33
            "declaration" : ["VARIABLE_DECLARATION", {
34
              "names" : [["IDENTIFIER", "NATURALV"]], "typ" : {
35
                "name" : ["SIMPLE_NAME", "NATURAL"]}
36
              , "init_val" : ["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
          ], "PROCESS_STATEMENT_PART" : [["ASSERTION_STATEMENT", {
49
            "cond" : ["EXPRESSION", {
50
              "args" : [["EXPRESSION", {
51
                "args" : [["EXPRESSION", {
52
                  "args" : [["EXPRESSION", {
53
                    "id" : "NOT", "args" : [["EXPRESSION", {
54
                      "id" : "and", "args" : [["EXPRESSION", {
55
                        "id" : "=", "args" : [["EXPRESSION", {
56
                          "args" : [["EXPRESSION", {
57
                            "args" : [["EXPRESSION", {
58
                              "args" : [["CALL", ["SIMPLE_NAME", "Naturalv"]]]}
59
                            ]]}
60
                          ]]}
61
                        ], ["EXPRESSION", {
62
                          "args" : [["EXPRESSION", {
63
                            "args" : [["EXPRESSION", {
64
                              "args" : [["CALL", ["SIMPLE_NAME", "zerov"]]]}
65
                            ]]}
66
                          ]]}
67
                        ]]}
68
                      ], ["EXPRESSION", {
69
                        "id" : "=", "args" : [["EXPRESSION", {
70
                          "args" : [["EXPRESSION", {
71
                            "args" : [["EXPRESSION", {
72
                              "args" : [["CALL", ["SIMPLE_NAME", "zerov"]]]}
73
                            ]]}
74
                          ]]}
75
                        ], ["EXPRESSION", {
76
                          "args" : [["EXPRESSION", {
77
                            "args" : [["EXPRESSION", {
78
                              "args" : [["CALL", ["ATTRIBUTE_NAME", {
79
                                "id" : ["SIMPLE_NAME", "zero"], "designator" : ["SIMPLE_NAME", "low"]}
80
                              ]]]}
81
                            ]]}
82
                          ]]}
83
                        ]]}
84
                      ]]}
85
                    ]]}
86
                  ]]}
87
                ]]}
88
              ]]}
89
            ], "report" : ["EXPRESSION", {
90
              "args" : [["EXPRESSION", {
91
                "args" : [["EXPRESSION", {
92
                  "args" : [["EXPRESSION", {
93
                    "args" : [["CONSTANT_VALUE", {
94
                      "value" : ["CST_LITERAL", "\"***PASSED TEST: c04s02b00x00p06n03i00016\""]}
95
                    ]]}
96
                  ]]}
97
                ]]}
98
              ]]}
99
            ], "severity" : ["EXPRESSION", {
100
              "args" : [["EXPRESSION", {
101
                "args" : [["EXPRESSION", {
102
                  "args" : [["EXPRESSION", {
103
                    "args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]}
104
                  ]]}
105
                ]]}
106
              ]]}
107
            ]}
108
          ], ["ASSERTION_STATEMENT", {
109
            "cond" : ["EXPRESSION", {
110
              "args" : [["EXPRESSION", {
111
                "args" : [["EXPRESSION", {
112
                  "args" : [["EXPRESSION", {
113
                    "args" : [["EXPRESSION", {
114
                      "id" : "and", "args" : [["EXPRESSION", {
115
                        "id" : "=", "args" : [["EXPRESSION", {
116
                          "args" : [["EXPRESSION", {
117
                            "args" : [["EXPRESSION", {
118
                              "args" : [["CALL", ["SIMPLE_NAME", "Naturalv"]]]}
119
                            ]]}
120
                          ]]}
121
                        ], ["EXPRESSION", {
122
                          "args" : [["EXPRESSION", {
123
                            "args" : [["EXPRESSION", {
124
                              "args" : [["CALL", ["SIMPLE_NAME", "zerov"]]]}
125
                            ]]}
126
                          ]]}
127
                        ]]}
128
                      ], ["EXPRESSION", {
129
                        "id" : "=", "args" : [["EXPRESSION", {
130
                          "args" : [["EXPRESSION", {
131
                            "args" : [["EXPRESSION", {
132
                              "args" : [["CALL", ["SIMPLE_NAME", "zerov"]]]}
133
                            ]]}
134
                          ]]}
135
                        ], ["EXPRESSION", {
136
                          "args" : [["EXPRESSION", {
137
                            "args" : [["EXPRESSION", {
138
                              "args" : [["CALL", ["ATTRIBUTE_NAME", {
139
                                "id" : ["SIMPLE_NAME", "zero"], "designator" : ["SIMPLE_NAME", "low"]}
140
                              ]]]}
141
                            ]]}
142
                          ]]}
143
                        ]]}
144
                      ]]}
145
                    ]]}
146
                  ]]}
147
                ]]}
148
              ]]}
149
            ], "report" : ["EXPRESSION", {
150
              "args" : [["EXPRESSION", {
151
                "args" : [["EXPRESSION", {
152
                  "args" : [["EXPRESSION", {
153
                    "args" : [["CONSTANT_VALUE", {
154
                      "value" : ["CST_LITERAL", "\"***FAILED TEST: c04s02b00x00p06n03i00016 - The base type of a subtype is the base type of the type mark.\""]}
155
                    ]]}
156
                  ]]}
157
                ]]}
158
              ]]}
159
            ], "severity" : ["EXPRESSION", {
160
              "args" : [["EXPRESSION", {
161
                "args" : [["EXPRESSION", {
162
                  "args" : [["EXPRESSION", {
163
                    "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
164
                  ]]}
165
                ]]}
166
              ]]}
167
            ]}
168
          ], ["WAIT_STATEMENT"]]}
169
        ]]}
170
      ]}
171
    ]}
172
  }