Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (5.13 KB)

1 3fd18385 Arnaud Dieumegard 
{
2 
  "DESIGN_FILE" : {
3 
    "design_units" : [{
4 
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5 
        "name" : ["IDENTIFIER", "c08s00b00x00p02n01i01180ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6 
      ]}
7 
    , {
8 
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9 
        "name" : ["IDENTIFIER", "c08s00b00x00p02n01i01180arch"], "entity" : ["IDENTIFIER", "c08s00b00x00p02n01i01180ent"], "ARCHITECTURE_DECLARATIVE_PART" : [], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", {
10 
          "id" : ["IDENTIFIER", "TESTING"], "PROCESS_DECLARATIVE_PART" : [{
11 
            "declaration" : ["SUBPROGRAM_BODY", {
12 
              "spec" : {
13 
                "name" : "check", "subprogram_type" : "procedure", "parameters" : [{
14 
                  "names" : [["IDENTIFIER", "x"]], "mode" : ["out"], "typ" : {
15 
                    "name" : ["SIMPLE_NAME", "boolean"]}
16 
                  }
17 
                ]}
18 
              , "stmts" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
19 
                "lhs" : ["SIMPLE_NAME", "x"], "rhs" : ["EXPRESSION", {
20 
                  "args" : [["EXPRESSION", {
21 
                    "args" : [["EXPRESSION", {
22 
                      "args" : [["EXPRESSION", {
23 
                        "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
24 
                      ]]}
25 
                    ]]}
26 
                  ]]}
27 
                ]}
28 
              ]]}
29 
            ]}
30 
          , {
31 
            "declaration" : ["VARIABLE_DECLARATION", {
32 
              "names" : [["IDENTIFIER", "k"]], "typ" : {
33 
                "name" : ["SIMPLE_NAME", "boolean"]}
34 
              }
35 
            ]}
36 
          ], "PROCESS_STATEMENT_PART" : [["PROCEDURE_CALL_STATEMENT", {
37 
            "name" : ["IDENTIFIER", "check"], "assocs" : [{
38 
              "actual_designator" : ["SIMPLE_NAME", "k"]}
39 
            ]}
40 
          ], ["ASSERTION_STATEMENT", {
41 
            "cond" : ["EXPRESSION", {
42 
              "args" : [["EXPRESSION", {
43 
                "args" : [["EXPRESSION", {
44 
                  "args" : [["EXPRESSION", {
45 
                    "id" : "NOT", "args" : [["EXPRESSION", {
46 
                      "id" : "=", "args" : [["EXPRESSION", {
47 
                        "args" : [["EXPRESSION", {
48 
                          "args" : [["EXPRESSION", {
49 
                            "args" : [["CALL", ["SIMPLE_NAME", "k"]]]}
50 
                          ]]}
51 
                        ]]}
52 
                      ], ["EXPRESSION", {
53 
                        "args" : [["EXPRESSION", {
54 
                          "args" : [["EXPRESSION", {
55 
                            "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
56 
                          ]]}
57 
                        ]]}
58 
                      ]]}
59 
                    ]]}
60 
                  ]]}
61 
                ]]}
62 
              ]]}
63 
            ], "report" : ["EXPRESSION", {
64 
              "args" : [["EXPRESSION", {
65 
                "args" : [["EXPRESSION", {
66 
                  "args" : [["EXPRESSION", {
67 
                    "args" : [["CONSTANT_VALUE", {
68 
                      "value" : ["CST_LITERAL", "\"***PASSED TEST: c08s00b00x00p02n01i01180\""]}
69 
                    ]]}
70 
                  ]]}
71 
                ]]}
72 
              ]]}
73 
            ], "severity" : ["EXPRESSION", {
74 
              "args" : [["EXPRESSION", {
75 
                "args" : [["EXPRESSION", {
76 
                  "args" : [["EXPRESSION", {
77 
                    "args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]}
78 
                  ]]}
79 
                ]]}
80 
              ]]}
81 
            ]}
82 
          ], ["ASSERTION_STATEMENT", {
83 
            "cond" : ["EXPRESSION", {
84 
              "args" : [["EXPRESSION", {
85 
                "args" : [["EXPRESSION", {
86 
                  "args" : [["EXPRESSION", {
87 
                    "args" : [["EXPRESSION", {
88 
                      "id" : "=", "args" : [["EXPRESSION", {
89 
                        "args" : [["EXPRESSION", {
90 
                          "args" : [["EXPRESSION", {
91 
                            "args" : [["CALL", ["SIMPLE_NAME", "k"]]]}
92 
                          ]]}
93 
                        ]]}
94 
                      ], ["EXPRESSION", {
95 
                        "args" : [["EXPRESSION", {
96 
                          "args" : [["EXPRESSION", {
97 
                            "args" : [["CALL", ["SIMPLE_NAME", "false"]]]}
98 
                          ]]}
99 
                        ]]}
100 
                      ]]}
101 
                    ]]}
102 
                  ]]}
103 
                ]]}
104 
              ]]}
105 
            ], "report" : ["EXPRESSION", {
106 
              "args" : [["EXPRESSION", {
107 
                "args" : [["EXPRESSION", {
108 
                  "args" : [["EXPRESSION", {
109 
                    "args" : [["CONSTANT_VALUE", {
110 
                      "value" : ["CST_LITERAL", "\"***FAILED TEST: c08s00b00x00p02n01i01180 - Procedure call is a sequential statement.\""]}
111 
                    ]]}
112 
                  ]]}
113 
                ]]}
114 
              ]]}
115 
            ], "severity" : ["EXPRESSION", {
116 
              "args" : [["EXPRESSION", {
117 
                "args" : [["EXPRESSION", {
118 
                  "args" : [["EXPRESSION", {
119 
                    "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
120 
                  ]]}
121 
                ]]}
122 
              ]]}
123 
            ]}
124 
          ], ["WAIT_STATEMENT"]]}
125 
        ]]}
126 
      ]}
127 
    ]}
128 
  }