Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (6.21 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "c08s06b00x00p05n01i01424ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6
      ]}
7
    , {
8
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9
        "name" : ["IDENTIFIER", "c08s06b00x00p05n01i01424arch"], "entity" : ["IDENTIFIER", "c08s06b00x00p05n01i01424ent"], "ARCHITECTURE_DECLARATIVE_PART" : [{
10
          "declaration" : ["SUBPROGRAM_BODY", {
11
            "spec" : {
12
              "name" : "copy_into", "subprogram_type" : "procedure", "parameters" : [{
13
                "names" : [["IDENTIFIER", "dest"]], "mode" : ["out"], "typ" : {
14
                  "name" : ["SIMPLE_NAME", "integer"]}
15
                }
16
              , {
17
                "names" : [["IDENTIFIER", "src"]], "mode" : ["in"], "typ" : {
18
                  "name" : ["SIMPLE_NAME", "integer"]}
19
                , "expr" : ["EXPRESSION", {
20
                  "args" : [["EXPRESSION", {
21
                    "args" : [["EXPRESSION", {
22
                      "args" : [["EXPRESSION", {
23
                        "args" : [["CONSTANT_VALUE", {
24
                          "value" : ["CST_LITERAL", "0"]}
25
                        ]]}
26
                      ]]}
27
                    ]]}
28
                  ]]}
29
                ]}
30
              ]}
31
            , "stmts" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
32
              "lhs" : ["SIMPLE_NAME", "dest"], "rhs" : ["EXPRESSION", {
33
                "args" : [["EXPRESSION", {
34
                  "args" : [["EXPRESSION", {
35
                    "args" : [["EXPRESSION", {
36
                      "args" : [["CALL", ["SIMPLE_NAME", "src"]]]}
37
                    ]]}
38
                  ]]}
39
                ]]}
40
              ]}
41
            ]]}
42
          ]}
43
        ], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", {
44
          "id" : ["IDENTIFIER", "TESTING"], "PROCESS_DECLARATIVE_PART" : [{
45
            "declaration" : ["VARIABLE_DECLARATION", {
46
              "names" : [["IDENTIFIER", "v1"]], "typ" : {
47
                "name" : ["SIMPLE_NAME", "integer"]}
48
              , "init_val" : ["EXPRESSION", {
49
                "args" : [["EXPRESSION", {
50
                  "args" : [["EXPRESSION", {
51
                    "args" : [["EXPRESSION", {
52
                      "args" : [["CONSTANT_VALUE", {
53
                        "value" : ["CST_LITERAL", "0"]}
54
                      ]]}
55
                    ]]}
56
                  ]]}
57
                ]]}
58
              ]}
59
            ]}
60
          ], "PROCESS_STATEMENT_PART" : [["PROCEDURE_CALL_STATEMENT", {
61
            "name" : ["IDENTIFIER", "copy_into"], "assocs" : [{
62
              "actual_designator" : ["SIMPLE_NAME", "v1"]}
63
            ]}
64
          ], ["ASSERTION_STATEMENT", {
65
            "cond" : ["EXPRESSION", {
66
              "args" : [["EXPRESSION", {
67
                "args" : [["EXPRESSION", {
68
                  "args" : [["EXPRESSION", {
69
                    "id" : "NOT", "args" : [["EXPRESSION", {
70
                      "id" : "=", "args" : [["EXPRESSION", {
71
                        "args" : [["EXPRESSION", {
72
                          "args" : [["EXPRESSION", {
73
                            "args" : [["CALL", ["SIMPLE_NAME", "v1"]]]}
74
                          ]]}
75
                        ]]}
76
                      ], ["EXPRESSION", {
77
                        "args" : [["EXPRESSION", {
78
                          "args" : [["EXPRESSION", {
79
                            "args" : [["CONSTANT_VALUE", {
80
                              "value" : ["CST_LITERAL", "0"]}
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: c08s06b00x00p05n01i01424\""]}
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" : "=", "args" : [["EXPRESSION", {
115
                        "args" : [["EXPRESSION", {
116
                          "args" : [["EXPRESSION", {
117
                            "args" : [["CALL", ["SIMPLE_NAME", "v1"]]]}
118
                          ]]}
119
                        ]]}
120
                      ], ["EXPRESSION", {
121
                        "args" : [["EXPRESSION", {
122
                          "args" : [["EXPRESSION", {
123
                            "args" : [["CONSTANT_VALUE", {
124
                              "value" : ["CST_LITERAL", "0"]}
125
                            ]]}
126
                          ]]}
127
                        ]]}
128
                      ]]}
129
                    ]]}
130
                  ]]}
131
                ]]}
132
              ]]}
133
            ], "report" : ["EXPRESSION", {
134
              "args" : [["EXPRESSION", {
135
                "args" : [["EXPRESSION", {
136
                  "args" : [["EXPRESSION", {
137
                    "args" : [["CONSTANT_VALUE", {
138
                      "value" : ["CST_LITERAL", "\"***FAILED TEST: c08s06b00x00p05n01i01424 - Procedure call without an actual parameter part is permitted.\""]}
139
                    ]]}
140
                  ]]}
141
                ]]}
142
              ]]}
143
            ], "severity" : ["EXPRESSION", {
144
              "args" : [["EXPRESSION", {
145
                "args" : [["EXPRESSION", {
146
                  "args" : [["EXPRESSION", {
147
                    "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
148
                  ]]}
149
                ]]}
150
              ]]}
151
            ]}
152
          ], ["WAIT_STATEMENT"]]}
153
        ]]}
154
      ]}
155
    ]}
156
  }