Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (4.94 KB)

1 3fd18385 Arnaud Dieumegard 
{
2 
  "DESIGN_FILE" : {
3 
    "design_units" : [{
4 
      "contexts" : [], "library" : ["PACKAGE_DECLARATION", {
5 
        "name" : ["IDENTIFIER", "c10s03b00x00p10n01i00916pkg"], "shared_defs" : [], "shared_decls" : [["CONSTANT_DECLARATION", {
6 
          "names" : [["IDENTIFIER", "x"]], "typ" : {
7 
            "name" : ["SIMPLE_NAME", "integer"]}
8 
          , "init_val" : ["EXPRESSION", {
9 
            "args" : [["EXPRESSION", {
10 
              "args" : [["EXPRESSION", {
11 
                "args" : [["EXPRESSION", {
12 
                  "args" : [["CONSTANT_VALUE", {
13 
                    "value" : ["CST_LITERAL", "2"]}
14 
                  ]]}
15 
                ]]}
16 
              ]]}
17 
            ]]}
18 
          ]}
19 
        ]], "shared_uses" : []}
20 
      ]}
21 
    , {
22 
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
23 
        "name" : ["IDENTIFIER", "c10s03b00x00p10n01i00916ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
24 
      ]}
25 
    , {
26 
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
27 
        "name" : ["IDENTIFIER", "c10s03b00x00p10n01i00916arch"], "entity" : ["IDENTIFIER", "c10s03b00x00p10n01i00916ent"], "ARCHITECTURE_DECLARATIVE_PART" : [{
28 
          "use_clause" : ["USE_CLAUSE", [["SELECTED_NAME", [["SIMPLE_NAME", "work"], ["SIMPLE_NAME", "c10s03b00x00p10n01i00916pkg"], ["IDENTIFIER", "x"]]]]]}
29 
        ], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", {
30 
          "id" : ["IDENTIFIER", "TESTING"], "PROCESS_STATEMENT_PART" : [["ASSERTION_STATEMENT", {
31 
            "cond" : ["EXPRESSION", {
32 
              "args" : [["EXPRESSION", {
33 
                "args" : [["EXPRESSION", {
34 
                  "args" : [["EXPRESSION", {
35 
                    "id" : "NOT", "args" : [["EXPRESSION", {
36 
                      "id" : "=", "args" : [["EXPRESSION", {
37 
                        "args" : [["EXPRESSION", {
38 
                          "args" : [["EXPRESSION", {
39 
                            "args" : [["CALL", ["SIMPLE_NAME", "x"]]]}
40 
                          ]]}
41 
                        ]]}
42 
                      ], ["EXPRESSION", {
43 
                        "args" : [["EXPRESSION", {
44 
                          "args" : [["EXPRESSION", {
45 
                            "args" : [["CONSTANT_VALUE", {
46 
                              "value" : ["CST_LITERAL", "2"]}
47 
                            ]]}
48 
                          ]]}
49 
                        ]]}
50 
                      ]]}
51 
                    ]]}
52 
                  ]]}
53 
                ]]}
54 
              ]]}
55 
            ], "report" : ["EXPRESSION", {
56 
              "args" : [["EXPRESSION", {
57 
                "args" : [["EXPRESSION", {
58 
                  "args" : [["EXPRESSION", {
59 
                    "args" : [["CONSTANT_VALUE", {
60 
                      "value" : ["CST_LITERAL", "\"***PASSED TEST: c10s03b00x00p10n01i00916\""]}
61 
                    ]]}
62 
                  ]]}
63 
                ]]}
64 
              ]]}
65 
            ], "severity" : ["EXPRESSION", {
66 
              "args" : [["EXPRESSION", {
67 
                "args" : [["EXPRESSION", {
68 
                  "args" : [["EXPRESSION", {
69 
                    "args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]}
70 
                  ]]}
71 
                ]]}
72 
              ]]}
73 
            ]}
74 
          ], ["ASSERTION_STATEMENT", {
75 
            "cond" : ["EXPRESSION", {
76 
              "args" : [["EXPRESSION", {
77 
                "args" : [["EXPRESSION", {
78 
                  "args" : [["EXPRESSION", {
79 
                    "args" : [["EXPRESSION", {
80 
                      "id" : "=", "args" : [["EXPRESSION", {
81 
                        "args" : [["EXPRESSION", {
82 
                          "args" : [["EXPRESSION", {
83 
                            "args" : [["CALL", ["SIMPLE_NAME", "x"]]]}
84 
                          ]]}
85 
                        ]]}
86 
                      ], ["EXPRESSION", {
87 
                        "args" : [["EXPRESSION", {
88 
                          "args" : [["EXPRESSION", {
89 
                            "args" : [["CONSTANT_VALUE", {
90 
                              "value" : ["CST_LITERAL", "2"]}
91 
                            ]]}
92 
                          ]]}
93 
                        ]]}
94 
                      ]]}
95 
                    ]]}
96 
                  ]]}
97 
                ]]}
98 
              ]]}
99 
            ], "report" : ["EXPRESSION", {
100 
              "args" : [["EXPRESSION", {
101 
                "args" : [["EXPRESSION", {
102 
                  "args" : [["EXPRESSION", {
103 
                    "args" : [["CONSTANT_VALUE", {
104 
                      "value" : ["CST_LITERAL", "\"***FAILED TEST: c10s03b00x00p10n01i00916 - A declaration ina package can be made visible by selection.\""]}
105 
                    ]]}
106 
                  ]]}
107 
                ]]}
108 
              ]]}
109 
            ], "severity" : ["EXPRESSION", {
110 
              "args" : [["EXPRESSION", {
111 
                "args" : [["EXPRESSION", {
112 
                  "args" : [["EXPRESSION", {
113 
                    "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
114 
                  ]]}
115 
                ]]}
116 
              ]]}
117 
            ]}
118 
          ], ["WAIT_STATEMENT"]]}
119 
        ]]}
120 
      ]}
121 
    ]}
122 
  }