Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (4.73 KB)

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