Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (6.04 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "c08s06b00x00p05n01i01425ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6
      ]}
7
    , {
8
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9
        "name" : ["IDENTIFIER", "c08s06b00x00p05n01i01425arch"], "entity" : ["IDENTIFIER", "c08s06b00x00p05n01i01425ent"], "ARCHITECTURE_DECLARATIVE_PART" : [{
10
          "declaration" : ["SUBPROGRAM_BODY", {
11
            "spec" : {
12
              "name" : "assert_same_int", "subprogram_type" : "procedure", "parameters" : [{
13
                "names" : [["IDENTIFIER", "v1"], ["IDENTIFIER", "v2"]], "mode" : ["in"], "typ" : {
14
                  "name" : ["SIMPLE_NAME", "integer"]}
15
                , "expr" : ["EXPRESSION", {
16
                  "args" : [["EXPRESSION", {
17
                    "args" : [["EXPRESSION", {
18
                      "args" : [["EXPRESSION", {
19
                        "args" : [["CONSTANT_VALUE", {
20
                          "value" : ["CST_LITERAL", "0"]}
21
                        ]]}
22
                      ]]}
23
                    ]]}
24
                  ]]}
25
                ]}
26
              ]}
27
            , "stmts" : [["ASSERTION_STATEMENT", {
28
              "cond" : ["EXPRESSION", {
29
                "args" : [["EXPRESSION", {
30
                  "args" : [["EXPRESSION", {
31
                    "args" : [["EXPRESSION", {
32
                      "id" : "NOT", "args" : [["EXPRESSION", {
33
                        "id" : "=", "args" : [["EXPRESSION", {
34
                          "args" : [["EXPRESSION", {
35
                            "args" : [["EXPRESSION", {
36
                              "args" : [["CALL", ["SIMPLE_NAME", "v1"]]]}
37
                            ]]}
38
                          ]]}
39
                        ], ["EXPRESSION", {
40
                          "args" : [["EXPRESSION", {
41
                            "args" : [["EXPRESSION", {
42
                              "args" : [["CALL", ["SIMPLE_NAME", "v2"]]]}
43
                            ]]}
44
                          ]]}
45
                        ]]}
46
                      ]]}
47
                    ]]}
48
                  ]]}
49
                ]]}
50
              ], "report" : ["EXPRESSION", {
51
                "args" : [["EXPRESSION", {
52
                  "args" : [["EXPRESSION", {
53
                    "args" : [["EXPRESSION", {
54
                      "args" : [["CONSTANT_VALUE", {
55
                        "value" : ["CST_LITERAL", "\"***PASSED TEST: c08s06b00x00p05n01i01425\""]}
56
                      ]]}
57
                    ]]}
58
                  ]]}
59
                ]]}
60
              ], "severity" : ["EXPRESSION", {
61
                "args" : [["EXPRESSION", {
62
                  "args" : [["EXPRESSION", {
63
                    "args" : [["EXPRESSION", {
64
                      "args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]}
65
                    ]]}
66
                  ]]}
67
                ]]}
68
              ]}
69
            ], ["ASSERTION_STATEMENT", {
70
              "cond" : ["EXPRESSION", {
71
                "args" : [["EXPRESSION", {
72
                  "args" : [["EXPRESSION", {
73
                    "args" : [["EXPRESSION", {
74
                      "args" : [["EXPRESSION", {
75
                        "id" : "=", "args" : [["EXPRESSION", {
76
                          "args" : [["EXPRESSION", {
77
                            "args" : [["EXPRESSION", {
78
                              "args" : [["CALL", ["SIMPLE_NAME", "v1"]]]}
79
                            ]]}
80
                          ]]}
81
                        ], ["EXPRESSION", {
82
                          "args" : [["EXPRESSION", {
83
                            "args" : [["EXPRESSION", {
84
                              "args" : [["CALL", ["SIMPLE_NAME", "v2"]]]}
85
                            ]]}
86
                          ]]}
87
                        ]]}
88
                      ]]}
89
                    ]]}
90
                  ]]}
91
                ]]}
92
              ], "report" : ["EXPRESSION", {
93
                "args" : [["EXPRESSION", {
94
                  "args" : [["EXPRESSION", {
95
                    "args" : [["EXPRESSION", {
96
                      "args" : [["CONSTANT_VALUE", {
97
                        "value" : ["CST_LITERAL", "\"***FAILED TEST: c08s06b00x00p05n01i01425 - Procedure call without an actual parameter part is permitted.\""]}
98
                      ]]}
99
                    ]]}
100
                  ]]}
101
                ]]}
102
              ], "severity" : ["EXPRESSION", {
103
                "args" : [["EXPRESSION", {
104
                  "args" : [["EXPRESSION", {
105
                    "args" : [["EXPRESSION", {
106
                      "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
107
                    ]]}
108
                  ]]}
109
                ]]}
110
              ]}
111
            ]]}
112
          ]}
113
        ], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", {
114
          "id" : ["IDENTIFIER", "TESTING"], "PROCESS_DECLARATIVE_PART" : [{
115
            "declaration" : ["VARIABLE_DECLARATION", {
116
              "names" : [["IDENTIFIER", "v1"]], "typ" : {
117
                "name" : ["SIMPLE_NAME", "integer"]}
118
              , "init_val" : ["EXPRESSION", {
119
                "args" : [["EXPRESSION", {
120
                  "args" : [["EXPRESSION", {
121
                    "args" : [["EXPRESSION", {
122
                      "args" : [["CONSTANT_VALUE", {
123
                        "value" : ["CST_LITERAL", "1"]}
124
                      ]]}
125
                    ]]}
126
                  ]]}
127
                ]]}
128
              ]}
129
            ]}
130
          ], "PROCESS_STATEMENT_PART" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
131
            "lhs" : ["SIMPLE_NAME", "v1"], "rhs" : ["EXPRESSION", {
132
              "args" : [["EXPRESSION", {
133
                "args" : [["EXPRESSION", {
134
                  "args" : [["EXPRESSION", {
135
                    "args" : [["CONSTANT_VALUE", {
136
                      "value" : ["CST_LITERAL", "5"]}
137
                    ]]}
138
                  ]]}
139
                ]]}
140
              ]]}
141
            ]}
142
          ], ["PROCEDURE_CALL_STATEMENT", {
143
            "name" : ["IDENTIFIER", "assert_same_int"]}
144
          ], ["WAIT_STATEMENT"]]}
145
        ]]}
146
      ]}
147
    ]}
148
  }