Project

General

Profile

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

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

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