Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / vhdl_json / vhdl_files / 2-exportOK / cnes_guidelines / rule / data / testcases / computational.json @ 2051e520

History | View | Annotate | Download (10.2 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [["LIBRARY_CLAUSE", [["IDENTIFIER", "IEEE"]]], ["USE_CLAUSE", [["SELECTED_NAME", [["SIMPLE_NAME", "IEEE"], ["SIMPLE_NAME", "std_logic_1164"]]]]]], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "computational"], "ports" : [{
6
          "names" : [["IDENTIFIER", "i_clock"]], "mode" : ["in"], "typ" : {
7
            "name" : ["SIMPLE_NAME", "std_logic"]}
8
          }
9
        , {
10
          "names" : [["IDENTIFIER", "i_reset"]], "mode" : ["in"], "typ" : {
11
            "name" : ["SIMPLE_NAME", "std_logic"]}
12
          }
13
        , {
14
          "names" : [["IDENTIFIER", "i_a"]], "mode" : ["in"], "typ" : {
15
            "name" : ["SIMPLE_NAME", "std_logic"]}
16
          }
17
        , {
18
          "names" : [["IDENTIFIER", "i_b"]], "mode" : ["in"], "typ" : {
19
            "name" : ["SIMPLE_NAME", "std_logic"]}
20
          }
21
        , {
22
          "names" : [["IDENTIFIER", "i_c"]], "mode" : ["in"], "typ" : {
23
            "name" : ["SIMPLE_NAME", "std_logic"]}
24
          }
25
        , {
26
          "names" : [["IDENTIFIER", "o_a"]], "mode" : ["out"], "typ" : {
27
            "name" : ["SIMPLE_NAME", "std_logic"]}
28
          }
29
        , {
30
          "names" : [["IDENTIFIER", "o_b"]], "mode" : ["out"], "typ" : {
31
            "name" : ["SIMPLE_NAME", "std_logic"]}
32
          }
33
        , {
34
          "names" : [["IDENTIFIER", "o_c"]], "mode" : ["out"], "typ" : {
35
            "name" : ["SIMPLE_NAME", "std_logic"]}
36
          }
37
        ], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
38
      ]}
39
    , {
40
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
41
        "name" : ["IDENTIFIER", "Behavioral"], "entity" : ["IDENTIFIER", "computational"], "ARCHITECTURE_DECLARATIVE_PART" : [], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", {
42
          "active_sigs" : [["SIMPLE_NAME", "i_a"], ["SIMPLE_NAME", "i_b"], ["SIMPLE_NAME", "i_c"]], "PROCESS_STATEMENT_PART" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
43
            "lhs" : ["SIMPLE_NAME", "o_a"], "rhs" : [{
44
              "value" : ["EXPRESSION", {
45
                "args" : [["EXPRESSION", {
46
                  "args" : [["EXPRESSION", {
47
                    "args" : [["EXPRESSION", {
48
                      "args" : [["CALL", ["SIMPLE_NAME", "i_b"]]]}
49
                    ]]}
50
                  ]]}
51
                ]]}
52
              ]}
53
            ]}
54
          ], ["IF_STATEMENT", {
55
            "if_cases" : [{
56
              "if_cond" : ["EXPRESSION", {
57
                "args" : [["EXPRESSION", {
58
                  "args" : [["EXPRESSION", {
59
                    "args" : [["EXPRESSION", {
60
                      "args" : [["EXPRESSION", {
61
                        "id" : "=", "args" : [["EXPRESSION", {
62
                          "args" : [["EXPRESSION", {
63
                            "args" : [["EXPRESSION", {
64
                              "args" : [["CALL", ["SIMPLE_NAME", "i_a"]]]}
65
                            ]]}
66
                          ]]}
67
                        ], ["EXPRESSION", {
68
                          "args" : [["EXPRESSION", {
69
                            "args" : [["EXPRESSION", {
70
                              "args" : [["CONSTANT_VALUE", {
71
                                "value" : ["CST_LITERAL", "'1'"]}
72
                              ]]}
73
                            ]]}
74
                          ]]}
75
                        ]]}
76
                      ]]}
77
                    ]]}
78
                  ]]}
79
                ]]}
80
              ], "if_block" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
81
                "lhs" : ["SIMPLE_NAME", "o_a"], "rhs" : [{
82
                  "value" : ["EXPRESSION", {
83
                    "args" : [["EXPRESSION", {
84
                      "args" : [["EXPRESSION", {
85
                        "args" : [["EXPRESSION", {
86
                          "args" : [["CALL", ["SIMPLE_NAME", "i_c"]]]}
87
                        ]]}
88
                      ]]}
89
                    ]]}
90
                  ]}
91
                ]}
92
              ]]}
93
            ]}
94
          ]]}
95
        ], ["PROCESS_STATEMENT", {
96
          "active_sigs" : [["SIMPLE_NAME", "i_a"], ["SIMPLE_NAME", "i_b"], ["SIMPLE_NAME", "i_c"]], "PROCESS_STATEMENT_PART" : [["IF_STATEMENT", {
97
            "if_cases" : [{
98
              "if_cond" : ["EXPRESSION", {
99
                "args" : [["EXPRESSION", {
100
                  "args" : [["EXPRESSION", {
101
                    "args" : [["EXPRESSION", {
102
                      "args" : [["EXPRESSION", {
103
                        "id" : "=", "args" : [["EXPRESSION", {
104
                          "args" : [["EXPRESSION", {
105
                            "args" : [["EXPRESSION", {
106
                              "args" : [["CALL", ["SIMPLE_NAME", "i_a"]]]}
107
                            ]]}
108
                          ]]}
109
                        ], ["EXPRESSION", {
110
                          "args" : [["EXPRESSION", {
111
                            "args" : [["EXPRESSION", {
112
                              "args" : [["CONSTANT_VALUE", {
113
                                "value" : ["CST_LITERAL", "'1'"]}
114
                              ]]}
115
                            ]]}
116
                          ]]}
117
                        ]]}
118
                      ]]}
119
                    ]]}
120
                  ]]}
121
                ]]}
122
              ], "if_block" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
123
                "lhs" : ["SIMPLE_NAME", "o_a"], "rhs" : [{
124
                  "value" : ["EXPRESSION", {
125
                    "args" : [["EXPRESSION", {
126
                      "args" : [["EXPRESSION", {
127
                        "args" : [["EXPRESSION", {
128
                          "args" : [["CALL", ["SIMPLE_NAME", "i_c"]]]}
129
                        ]]}
130
                      ]]}
131
                    ]]}
132
                  ]}
133
                ]}
134
              ]]}
135
            ], "default" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
136
              "lhs" : ["SIMPLE_NAME", "o_a"], "rhs" : [{
137
                "value" : ["EXPRESSION", {
138
                  "args" : [["EXPRESSION", {
139
                    "args" : [["EXPRESSION", {
140
                      "args" : [["EXPRESSION", {
141
                        "args" : [["CALL", ["SIMPLE_NAME", "i_b"]]]}
142
                      ]]}
143
                    ]]}
144
                  ]]}
145
                ]}
146
              ]}
147
            ]]}
148
          ]]}
149
        ], ["PROCESS_STATEMENT", {
150
          "active_sigs" : [["SIMPLE_NAME", "i_c"]], "PROCESS_STATEMENT_PART" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
151
            "lhs" : ["SIMPLE_NAME", "o_a"], "rhs" : [{
152
              "value" : ["EXPRESSION", {
153
                "args" : [["EXPRESSION", {
154
                  "args" : [["EXPRESSION", {
155
                    "args" : [["EXPRESSION", {
156
                      "args" : [["CALL", ["SIMPLE_NAME", "i_a"]]]}
157
                    ]]}
158
                  ]]}
159
                ]]}
160
              ]}
161
            ]}
162
          ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
163
            "lhs" : ["SIMPLE_NAME", "o_a"], "rhs" : [{
164
              "value" : ["EXPRESSION", {
165
                "args" : [["EXPRESSION", {
166
                  "args" : [["EXPRESSION", {
167
                    "args" : [["EXPRESSION", {
168
                      "args" : [["CALL", ["SIMPLE_NAME", "i_b"]]]}
169
                    ]]}
170
                  ]]}
171
                ]]}
172
              ]}
173
            ]}
174
          ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
175
            "lhs" : ["SIMPLE_NAME", "o_a"], "rhs" : [{
176
              "value" : ["EXPRESSION", {
177
                "args" : [["EXPRESSION", {
178
                  "args" : [["EXPRESSION", {
179
                    "args" : [["EXPRESSION", {
180
                      "args" : [["CALL", ["SIMPLE_NAME", "i_c"]]]}
181
                    ]]}
182
                  ]]}
183
                ]]}
184
              ]}
185
            ]}
186
          ]]}
187
        ], ["PROCESS_STATEMENT", {
188
          "active_sigs" : [["SIMPLE_NAME", "i_c"]], "PROCESS_STATEMENT_PART" : [["IF_STATEMENT", {
189
            "if_cases" : [{
190
              "if_cond" : ["EXPRESSION", {
191
                "args" : [["EXPRESSION", {
192
                  "args" : [["EXPRESSION", {
193
                    "args" : [["EXPRESSION", {
194
                      "args" : [["EXPRESSION", {
195
                        "id" : "=", "args" : [["EXPRESSION", {
196
                          "args" : [["EXPRESSION", {
197
                            "args" : [["EXPRESSION", {
198
                              "args" : [["CALL", ["SIMPLE_NAME", "i_a"]]]}
199
                            ]]}
200
                          ]]}
201
                        ], ["EXPRESSION", {
202
                          "args" : [["EXPRESSION", {
203
                            "args" : [["EXPRESSION", {
204
                              "args" : [["CONSTANT_VALUE", {
205
                                "value" : ["CST_LITERAL", "'1'"]}
206
                              ]]}
207
                            ]]}
208
                          ]]}
209
                        ]]}
210
                      ]]}
211
                    ]]}
212
                  ]]}
213
                ]]}
214
              ], "if_block" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
215
                "lhs" : ["SIMPLE_NAME", "o_a"], "rhs" : [{
216
                  "value" : ["EXPRESSION", {
217
                    "args" : [["EXPRESSION", {
218
                      "args" : [["EXPRESSION", {
219
                        "args" : [["EXPRESSION", {
220
                          "args" : [["CALL", ["SIMPLE_NAME", "i_c"]]]}
221
                        ]]}
222
                      ]]}
223
                    ]]}
224
                  ]}
225
                ]}
226
              ]]}
227
            ], "default" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
228
              "lhs" : ["SIMPLE_NAME", "o_a"], "rhs" : [{
229
                "value" : ["EXPRESSION", {
230
                  "args" : [["EXPRESSION", {
231
                    "args" : [["EXPRESSION", {
232
                      "args" : [["EXPRESSION", {
233
                        "args" : [["CALL", ["SIMPLE_NAME", "i_b"]]]}
234
                      ]]}
235
                    ]]}
236
                  ]]}
237
                ]}
238
              ]}
239
            ]]}
240
          ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
241
            "lhs" : ["SIMPLE_NAME", "o_a"], "rhs" : [{
242
              "value" : ["EXPRESSION", {
243
                "args" : [["EXPRESSION", {
244
                  "args" : [["EXPRESSION", {
245
                    "args" : [["EXPRESSION", {
246
                      "args" : [["CALL", ["SIMPLE_NAME", "i_c"]]]}
247
                    ]]}
248
                  ]]}
249
                ]]}
250
              ]}
251
            ]}
252
          ]]}
253
        ]]}
254
      ]}
255
    ]}
256
  }