Project

General

Profile

Download (5.47 KB) Statistics
| Branch: | Tag: | Revision:

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

1 3fd18385 Arnaud Dieumegard 
{
2 
  "DESIGN_FILE" : {
3 
    "design_units" : [{
4 
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5 
        "name" : ["IDENTIFIER", "c07s02b01x00p01n01i01919ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6 
      ]}
7 
    , {
8 
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9 
        "name" : ["IDENTIFIER", "c07s02b01x00p01n01i01919arch"], "entity" : ["IDENTIFIER", "c07s02b01x00p01n01i01919ent"], "ARCHITECTURE_DECLARATIVE_PART" : [], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", {
10 
          "id" : ["IDENTIFIER", "TESTING"], "PROCESS_DECLARATIVE_PART" : [{
11 
            "declaration" : ["VARIABLE_DECLARATION", {
12 
              "names" : [["IDENTIFIER", "b1"]], "typ" : {
13 
                "name" : ["SIMPLE_NAME", "bit"]}
14 
              , "init_val" : ["EXPRESSION", {
15 
                "args" : [["EXPRESSION", {
16 
                  "args" : [["EXPRESSION", {
17 
                    "args" : [["EXPRESSION", {
18 
                      "args" : [["CONSTANT_VALUE", {
19 
                        "value" : ["CST_LITERAL", "'0'"]}
20 
                      ]]}
21 
                    ]]}
22 
                  ]]}
23 
                ]]}
24 
              ]}
25 
            ]}
26 
          ], "PROCESS_STATEMENT_PART" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
27 
            "lhs" : ["SIMPLE_NAME", "b1"], "rhs" : ["EXPRESSION", {
28 
              "id" : "nor", "args" : [["EXPRESSION", {
29 
                "args" : [["EXPRESSION", {
30 
                  "args" : [["EXPRESSION", {
31 
                    "args" : [["EXPRESSION", {
32 
                      "args" : [["CALL", ["SIMPLE_NAME", "b1"]]]}
33 
                    ]]}
34 
                  ]]}
35 
                ]]}
36 
              ], ["EXPRESSION", {
37 
                "args" : [["EXPRESSION", {
38 
                  "args" : [["EXPRESSION", {
39 
                    "args" : [["EXPRESSION", {
40 
                      "args" : [["CALL", ["SIMPLE_NAME", "b1"]]]}
41 
                    ]]}
42 
                  ]]}
43 
                ]]}
44 
              ]]}
45 
            ]}
46 
          ], ["ASSERTION_STATEMENT", {
47 
            "cond" : ["EXPRESSION", {
48 
              "args" : [["EXPRESSION", {
49 
                "args" : [["EXPRESSION", {
50 
                  "args" : [["EXPRESSION", {
51 
                    "id" : "NOT", "args" : [["EXPRESSION", {
52 
                      "id" : "=", "args" : [["EXPRESSION", {
53 
                        "args" : [["EXPRESSION", {
54 
                          "args" : [["EXPRESSION", {
55 
                            "args" : [["CALL", ["SIMPLE_NAME", "b1"]]]}
56 
                          ]]}
57 
                        ]]}
58 
                      ], ["EXPRESSION", {
59 
                        "args" : [["EXPRESSION", {
60 
                          "args" : [["EXPRESSION", {
61 
                            "args" : [["CONSTANT_VALUE", {
62 
                              "value" : ["CST_LITERAL", "'1'"]}
63 
                            ]]}
64 
                          ]]}
65 
                        ]]}
66 
                      ]]}
67 
                    ]]}
68 
                  ]]}
69 
                ]]}
70 
              ]]}
71 
            ], "report" : ["EXPRESSION", {
72 
              "args" : [["EXPRESSION", {
73 
                "args" : [["EXPRESSION", {
74 
                  "args" : [["EXPRESSION", {
75 
                    "args" : [["CONSTANT_VALUE", {
76 
                      "value" : ["CST_LITERAL", "\"***PASSED TEST: c07s02b01x00p01n01i01919\""]}
77 
                    ]]}
78 
                  ]]}
79 
                ]]}
80 
              ]]}
81 
            ], "severity" : ["EXPRESSION", {
82 
              "args" : [["EXPRESSION", {
83 
                "args" : [["EXPRESSION", {
84 
                  "args" : [["EXPRESSION", {
85 
                    "args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]}
86 
                  ]]}
87 
                ]]}
88 
              ]]}
89 
            ]}
90 
          ], ["ASSERTION_STATEMENT", {
91 
            "cond" : ["EXPRESSION", {
92 
              "args" : [["EXPRESSION", {
93 
                "args" : [["EXPRESSION", {
94 
                  "args" : [["EXPRESSION", {
95 
                    "args" : [["EXPRESSION", {
96 
                      "id" : "=", "args" : [["EXPRESSION", {
97 
                        "args" : [["EXPRESSION", {
98 
                          "args" : [["EXPRESSION", {
99 
                            "args" : [["CALL", ["SIMPLE_NAME", "b1"]]]}
100 
                          ]]}
101 
                        ]]}
102 
                      ], ["EXPRESSION", {
103 
                        "args" : [["EXPRESSION", {
104 
                          "args" : [["EXPRESSION", {
105 
                            "args" : [["CONSTANT_VALUE", {
106 
                              "value" : ["CST_LITERAL", "'1'"]}
107 
                            ]]}
108 
                          ]]}
109 
                        ]]}
110 
                      ]]}
111 
                    ]]}
112 
                  ]]}
113 
                ]]}
114 
              ]]}
115 
            ], "report" : ["EXPRESSION", {
116 
              "args" : [["EXPRESSION", {
117 
                "args" : [["EXPRESSION", {
118 
                  "args" : [["EXPRESSION", {
119 
                    "args" : [["CONSTANT_VALUE", {
120 
                      "value" : ["CST_LITERAL", "\"***FAILED TEST: c07s02b01x00p01n01i01919 - Logical operators  defined only for predefined types BIT and BOOLEAN.\""]}
121 
                    ]]}
122 
                  ]]}
123 
                ]]}
124 
              ]]}
125 
            ], "severity" : ["EXPRESSION", {
126 
              "args" : [["EXPRESSION", {
127 
                "args" : [["EXPRESSION", {
128 
                  "args" : [["EXPRESSION", {
129 
                    "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
130 
                  ]]}
131 
                ]]}
132 
              ]]}
133 
            ]}
134 
          ], ["WAIT_STATEMENT"]]}
135 
        ]]}
136 
      ]}
137 
    ]}
138 
  }