Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (5.11 KB)

1 3fd18385 Arnaud Dieumegard 
{
2 
  "DESIGN_FILE" : {
3 
    "design_units" : [{
4 
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5 
        "name" : ["IDENTIFIER", "c07s02b01x00p01n01i01914ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6 
      ]}
7 
    , {
8 
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9 
        "name" : ["IDENTIFIER", "c07s02b01x00p01n01i01914arch"], "entity" : ["IDENTIFIER", "c07s02b01x00p01n01i01914ent"], "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 
              "args" : [["EXPRESSION", {
29 
                "args" : [["EXPRESSION", {
30 
                  "args" : [["EXPRESSION", {
31 
                    "id" : "not", "args" : [["CALL", ["SIMPLE_NAME", "b1"]]]}
32 
                  ]]}
33 
                ]]}
34 
              ]]}
35 
            ]}
36 
          ], ["ASSERTION_STATEMENT", {
37 
            "cond" : ["EXPRESSION", {
38 
              "args" : [["EXPRESSION", {
39 
                "args" : [["EXPRESSION", {
40 
                  "args" : [["EXPRESSION", {
41 
                    "id" : "NOT", "args" : [["EXPRESSION", {
42 
                      "id" : "=", "args" : [["EXPRESSION", {
43 
                        "args" : [["EXPRESSION", {
44 
                          "args" : [["EXPRESSION", {
45 
                            "args" : [["CALL", ["SIMPLE_NAME", "b1"]]]}
46 
                          ]]}
47 
                        ]]}
48 
                      ], ["EXPRESSION", {
49 
                        "args" : [["EXPRESSION", {
50 
                          "args" : [["EXPRESSION", {
51 
                            "args" : [["CONSTANT_VALUE", {
52 
                              "value" : ["CST_LITERAL", "'1'"]}
53 
                            ]]}
54 
                          ]]}
55 
                        ]]}
56 
                      ]]}
57 
                    ]]}
58 
                  ]]}
59 
                ]]}
60 
              ]]}
61 
            ], "report" : ["EXPRESSION", {
62 
              "args" : [["EXPRESSION", {
63 
                "args" : [["EXPRESSION", {
64 
                  "args" : [["EXPRESSION", {
65 
                    "args" : [["CONSTANT_VALUE", {
66 
                      "value" : ["CST_LITERAL", "\"***PASSED TEST: c07s02b01x00p01n01i01914\""]}
67 
                    ]]}
68 
                  ]]}
69 
                ]]}
70 
              ]]}
71 
            ], "severity" : ["EXPRESSION", {
72 
              "args" : [["EXPRESSION", {
73 
                "args" : [["EXPRESSION", {
74 
                  "args" : [["EXPRESSION", {
75 
                    "args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]}
76 
                  ]]}
77 
                ]]}
78 
              ]]}
79 
            ]}
80 
          ], ["ASSERTION_STATEMENT", {
81 
            "cond" : ["EXPRESSION", {
82 
              "args" : [["EXPRESSION", {
83 
                "args" : [["EXPRESSION", {
84 
                  "args" : [["EXPRESSION", {
85 
                    "args" : [["EXPRESSION", {
86 
                      "id" : "=", "args" : [["EXPRESSION", {
87 
                        "args" : [["EXPRESSION", {
88 
                          "args" : [["EXPRESSION", {
89 
                            "args" : [["CALL", ["SIMPLE_NAME", "b1"]]]}
90 
                          ]]}
91 
                        ]]}
92 
                      ], ["EXPRESSION", {
93 
                        "args" : [["EXPRESSION", {
94 
                          "args" : [["EXPRESSION", {
95 
                            "args" : [["CONSTANT_VALUE", {
96 
                              "value" : ["CST_LITERAL", "'1'"]}
97 
                            ]]}
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: c07s02b01x00p01n01i01914 - Logical operators  defined only for predefined types BIT and BOOLEAN.\""]}
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 
  }