Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (5.79 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "c07s02b06x00p11n01i02262ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6
      ]}
7
    , {
8
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9
        "name" : ["IDENTIFIER", "c07s02b06x00p11n01i02262arch"], "entity" : ["IDENTIFIER", "c07s02b06x00p11n01i02262ent"], "ARCHITECTURE_DECLARATIVE_PART" : [], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", {
10
          "id" : ["IDENTIFIER", "TESTING"], "PROCESS_DECLARATIVE_PART" : [{
11
            "declaration" : ["VARIABLE_DECLARATION", {
12
              "names" : [["IDENTIFIER", "k"]], "typ" : {
13
                "name" : ["SIMPLE_NAME", "integer"]}
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", "k"], "rhs" : ["EXPRESSION", {
28
              "args" : [["EXPRESSION", {
29
                "args" : [["EXPRESSION", {
30
                  "args" : [["EXPRESSION", {
31
                    "id" : "rem", "args" : [["EXPRESSION", {
32
                      "args" : [["CONSTANT_VALUE", {
33
                        "value" : ["CST_LITERAL", "10"]}
34
                      ]]}
35
                    ], ["EXPRESSION", {
36
                      "args" : [["EXPRESSION", {
37
                        "args" : [["EXPRESSION", {
38
                          "args" : [["EXPRESSION", {
39
                            "id" : "-", "args" : [["EXPRESSION", {
40
                              "args" : [["CONSTANT_VALUE", {
41
                                "value" : ["CST_LITERAL", "3"]}
42
                              ]]}
43
                            ]]}
44
                          ]]}
45
                        ]]}
46
                      ]]}
47
                    ]]}
48
                  ]]}
49
                ]]}
50
              ]]}
51
            ]}
52
          ], ["ASSERTION_STATEMENT", {
53
            "cond" : ["EXPRESSION", {
54
              "args" : [["EXPRESSION", {
55
                "args" : [["EXPRESSION", {
56
                  "args" : [["EXPRESSION", {
57
                    "id" : "NOT", "args" : [["EXPRESSION", {
58
                      "id" : "=", "args" : [["EXPRESSION", {
59
                        "args" : [["EXPRESSION", {
60
                          "args" : [["EXPRESSION", {
61
                            "args" : [["CALL", ["SIMPLE_NAME", "k"]]]}
62
                          ]]}
63
                        ]]}
64
                      ], ["EXPRESSION", {
65
                        "args" : [["EXPRESSION", {
66
                          "args" : [["EXPRESSION", {
67
                            "args" : [["CONSTANT_VALUE", {
68
                              "value" : ["CST_LITERAL", "1"]}
69
                            ]]}
70
                          ]]}
71
                        ]]}
72
                      ]]}
73
                    ]]}
74
                  ]]}
75
                ]]}
76
              ]]}
77
            ], "report" : ["EXPRESSION", {
78
              "args" : [["EXPRESSION", {
79
                "args" : [["EXPRESSION", {
80
                  "args" : [["EXPRESSION", {
81
                    "args" : [["CONSTANT_VALUE", {
82
                      "value" : ["CST_LITERAL", "\"***PASSED TEST: c07s02b06x00p11n01i02262\""]}
83
                    ]]}
84
                  ]]}
85
                ]]}
86
              ]]}
87
            ], "severity" : ["EXPRESSION", {
88
              "args" : [["EXPRESSION", {
89
                "args" : [["EXPRESSION", {
90
                  "args" : [["EXPRESSION", {
91
                    "args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]}
92
                  ]]}
93
                ]]}
94
              ]]}
95
            ]}
96
          ], ["ASSERTION_STATEMENT", {
97
            "cond" : ["EXPRESSION", {
98
              "args" : [["EXPRESSION", {
99
                "args" : [["EXPRESSION", {
100
                  "args" : [["EXPRESSION", {
101
                    "args" : [["EXPRESSION", {
102
                      "id" : "=", "args" : [["EXPRESSION", {
103
                        "args" : [["EXPRESSION", {
104
                          "args" : [["EXPRESSION", {
105
                            "args" : [["CALL", ["SIMPLE_NAME", "k"]]]}
106
                          ]]}
107
                        ]]}
108
                      ], ["EXPRESSION", {
109
                        "args" : [["EXPRESSION", {
110
                          "args" : [["EXPRESSION", {
111
                            "args" : [["CONSTANT_VALUE", {
112
                              "value" : ["CST_LITERAL", "1"]}
113
                            ]]}
114
                          ]]}
115
                        ]]}
116
                      ]]}
117
                    ]]}
118
                  ]]}
119
                ]]}
120
              ]]}
121
            ], "report" : ["EXPRESSION", {
122
              "args" : [["EXPRESSION", {
123
                "args" : [["EXPRESSION", {
124
                  "args" : [["EXPRESSION", {
125
                    "args" : [["CONSTANT_VALUE", {
126
                      "value" : ["CST_LITERAL", "\"***FAILED TEST: c07s02b06x00p11n01i02262 - Integer division and remainder are deined by the following relation : A = (A/B)*B + (A rem B).\""]}
127
                    ]]}
128
                  ]]}
129
                ]]}
130
              ]]}
131
            ], "severity" : ["EXPRESSION", {
132
              "args" : [["EXPRESSION", {
133
                "args" : [["EXPRESSION", {
134
                  "args" : [["EXPRESSION", {
135
                    "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
136
                  ]]}
137
                ]]}
138
              ]]}
139
            ]}
140
          ], ["WAIT_STATEMENT"]]}
141
        ]]}
142
      ]}
143
    ]}
144
  }