Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (6.26 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "c07s01b00x00p07n01i01807ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6
      ]}
7
    , {
8
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9
        "name" : ["IDENTIFIER", "c07s01b00x00p07n01i01807arch"], "entity" : ["IDENTIFIER", "c07s01b00x00p07n01i01807ent"], "ARCHITECTURE_DECLARATIVE_PART" : [{
10
          "declaration" : ["SIGNAL_DECLARATION", {
11
            "names" : [["IDENTIFIER", "POS"]], "typ" : {
12
              "name" : ["SIMPLE_NAME", "integer"]}
13
            }
14
          ]}
15
        , {
16
          "declaration" : ["SIGNAL_DECLARATION", {
17
            "names" : [["IDENTIFIER", "P1"]], "typ" : {
18
              "name" : ["SIMPLE_NAME", "integer"]}
19
            , "init_val" : ["EXPRESSION", {
20
              "args" : [["EXPRESSION", {
21
                "args" : [["EXPRESSION", {
22
                  "args" : [["EXPRESSION", {
23
                    "args" : [["CONSTANT_VALUE", {
24
                      "value" : ["CST_LITERAL", "2"]}
25
                    ]]}
26
                  ]]}
27
                ]]}
28
              ]]}
29
            ]}
30
          ]}
31
        , {
32
          "declaration" : ["SIGNAL_DECLARATION", {
33
            "names" : [["IDENTIFIER", "P2"]], "typ" : {
34
              "name" : ["SIMPLE_NAME", "integer"]}
35
            , "init_val" : ["EXPRESSION", {
36
              "args" : [["EXPRESSION", {
37
                "args" : [["EXPRESSION", {
38
                  "args" : [["EXPRESSION", {
39
                    "args" : [["CONSTANT_VALUE", {
40
                      "value" : ["CST_LITERAL", "2"]}
41
                    ]]}
42
                  ]]}
43
                ]]}
44
              ]]}
45
            ]}
46
          ]}
47
        ], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", {
48
          "id" : ["IDENTIFIER", "TESTING"], "PROCESS_STATEMENT_PART" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
49
            "lhs" : ["SIMPLE_NAME", "POS"], "rhs" : [{
50
              "value" : ["EXPRESSION", {
51
                "args" : [["EXPRESSION", {
52
                  "args" : [["EXPRESSION", {
53
                    "args" : [["EXPRESSION", {
54
                      "id" : "**", "args" : [["CALL", ["SIMPLE_NAME", "P1"]], ["CALL", ["SIMPLE_NAME", "P2"]]]}
55
                    ]]}
56
                  ]]}
57
                ]]}
58
              ], "delay" : ["EXPRESSION", {
59
                "args" : [["EXPRESSION", {
60
                  "args" : [["EXPRESSION", {
61
                    "args" : [["EXPRESSION", {
62
                      "args" : [["CONSTANT_VALUE", {
63
                        "value" : ["CST_LITERAL", "20"], "unit_name" : ["SIMPLE_NAME", "ns"]}
64
                      ]]}
65
                    ]]}
66
                  ]]}
67
                ]]}
68
              ]}
69
            ]}
70
          ], ["WAIT_STATEMENT"], ["ASSERTION_STATEMENT", {
71
            "cond" : ["EXPRESSION", {
72
              "args" : [["EXPRESSION", {
73
                "args" : [["EXPRESSION", {
74
                  "args" : [["EXPRESSION", {
75
                    "id" : "NOT", "args" : [["EXPRESSION", {
76
                      "id" : "=", "args" : [["EXPRESSION", {
77
                        "args" : [["EXPRESSION", {
78
                          "args" : [["EXPRESSION", {
79
                            "args" : [["CALL", ["SIMPLE_NAME", "POS"]]]}
80
                          ]]}
81
                        ]]}
82
                      ], ["EXPRESSION", {
83
                        "args" : [["EXPRESSION", {
84
                          "args" : [["EXPRESSION", {
85
                            "args" : [["CONSTANT_VALUE", {
86
                              "value" : ["CST_LITERAL", "4"]}
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", "\"***PASSED TEST: c07s01b00x00p07n01i01807\""]}
101
                    ]]}
102
                  ]]}
103
                ]]}
104
              ]]}
105
            ], "severity" : ["EXPRESSION", {
106
              "args" : [["EXPRESSION", {
107
                "args" : [["EXPRESSION", {
108
                  "args" : [["EXPRESSION", {
109
                    "args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]}
110
                  ]]}
111
                ]]}
112
              ]]}
113
            ]}
114
          ], ["ASSERTION_STATEMENT", {
115
            "cond" : ["EXPRESSION", {
116
              "args" : [["EXPRESSION", {
117
                "args" : [["EXPRESSION", {
118
                  "args" : [["EXPRESSION", {
119
                    "args" : [["EXPRESSION", {
120
                      "id" : "=", "args" : [["EXPRESSION", {
121
                        "args" : [["EXPRESSION", {
122
                          "args" : [["EXPRESSION", {
123
                            "args" : [["CALL", ["SIMPLE_NAME", "POS"]]]}
124
                          ]]}
125
                        ]]}
126
                      ], ["EXPRESSION", {
127
                        "args" : [["EXPRESSION", {
128
                          "args" : [["EXPRESSION", {
129
                            "args" : [["CONSTANT_VALUE", {
130
                              "value" : ["CST_LITERAL", "4"]}
131
                            ]]}
132
                          ]]}
133
                        ]]}
134
                      ]]}
135
                    ]]}
136
                  ]]}
137
                ]]}
138
              ]]}
139
            ], "report" : ["EXPRESSION", {
140
              "args" : [["EXPRESSION", {
141
                "args" : [["EXPRESSION", {
142
                  "args" : [["EXPRESSION", {
143
                    "args" : [["CONSTANT_VALUE", {
144
                      "value" : ["CST_LITERAL", "\"***FAILED TEST: c07s01b00x00p07n01i01807 - Primary**primary test failed.\""]}
145
                    ]]}
146
                  ]]}
147
                ]]}
148
              ]]}
149
            ], "severity" : ["EXPRESSION", {
150
              "args" : [["EXPRESSION", {
151
                "args" : [["EXPRESSION", {
152
                  "args" : [["EXPRESSION", {
153
                    "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
154
                  ]]}
155
                ]]}
156
              ]]}
157
            ]}
158
          ], ["WAIT_STATEMENT"]]}
159
        ]]}
160
      ]}
161
    ]}
162
  }