Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (13.5 KB)

1 2051e520 Arnaud Dieumegard
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [["LIBRARY_CLAUSE", [["IDENTIFIER", "IEEE"]]], ["USE_CLAUSE", [["SELECTED_NAME", [["SIMPLE_NAME", "IEEE"], ["SIMPLE_NAME", "std_logic_1164"]]]]], ["USE_CLAUSE", [["SELECTED_NAME", [["SIMPLE_NAME", "IEEE"], ["SIMPLE_NAME", "numeric_std"]]]]]], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "STD_06600_bad"], "ports" : [{
6
          "names" : [["IDENTIFIER", "i_Clock"]], "mode" : ["in"], "typ" : {
7
            "name" : ["SIMPLE_NAME", "std_logic"]}
8
          }
9
        , {
10
          "names" : [["IDENTIFIER", "i_Reset_n"]], "mode" : ["in"], "typ" : {
11
            "name" : ["SIMPLE_NAME", "std_logic"]}
12
          }
13
        , {
14
          "names" : [["IDENTIFIER", "i_Enable"]], "mode" : ["in"], "typ" : {
15
            "name" : ["SIMPLE_NAME", "std_logic"]}
16
          }
17
        , {
18
          "names" : [["IDENTIFIER", "i_Length"]], "mode" : ["in"], "typ" : {
19
            "name" : ["SIMPLE_NAME", "std_logic_vector"], "const" : ["INDEX_CONSTRAINT", {
20
              "ranges" : [["RANGE_WITH_DIRECTION", {
21
                "direction" : "downto", "from" : ["EXPRESSION", {
22
                  "args" : [["EXPRESSION", {
23
                    "args" : [["CONSTANT_VALUE", {
24
                      "value" : ["CST_LITERAL", "3"]}
25
                    ]]}
26
                  ]]}
27
                ], "_to" : ["EXPRESSION", {
28
                  "args" : [["EXPRESSION", {
29
                    "args" : [["CONSTANT_VALUE", {
30
                      "value" : ["CST_LITERAL", "0"]}
31
                    ]]}
32
                  ]]}
33
                ]}
34
              ]]}
35
            ]}
36
          }
37
        , {
38
          "names" : [["IDENTIFIER", "o_Count"]], "mode" : ["out"], "typ" : {
39
            "name" : ["SIMPLE_NAME", "std_logic_vector"], "const" : ["INDEX_CONSTRAINT", {
40
              "ranges" : [["RANGE_WITH_DIRECTION", {
41
                "direction" : "downto", "from" : ["EXPRESSION", {
42
                  "args" : [["EXPRESSION", {
43
                    "args" : [["CONSTANT_VALUE", {
44
                      "value" : ["CST_LITERAL", "3"]}
45
                    ]]}
46
                  ]]}
47
                ], "_to" : ["EXPRESSION", {
48
                  "args" : [["EXPRESSION", {
49
                    "args" : [["CONSTANT_VALUE", {
50
                      "value" : ["CST_LITERAL", "0"]}
51
                    ]]}
52
                  ]]}
53
                ]}
54
              ]]}
55
            ]}
56
          }
57
        ], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
58
      ]}
59
    , {
60
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
61
        "name" : ["IDENTIFIER", "Behavioral"], "entity" : ["IDENTIFIER", "STD_06600_bad"], "ARCHITECTURE_DECLARATIVE_PART" : [{
62
          "declaration" : ["SIGNAL_DECLARATION", {
63
            "names" : [["IDENTIFIER", "Count"]], "typ" : {
64
              "name" : ["SIMPLE_NAME", "signed"], "const" : ["INDEX_CONSTRAINT", {
65
                "ranges" : [["RANGE_WITH_DIRECTION", {
66
                  "direction" : "downto", "from" : ["EXPRESSION", {
67
                    "args" : [["EXPRESSION", {
68
                      "args" : [["CONSTANT_VALUE", {
69
                        "value" : ["CST_LITERAL", "7"]}
70
                      ]]}
71
                    ]]}
72
                  ], "_to" : ["EXPRESSION", {
73
                    "args" : [["EXPRESSION", {
74
                      "args" : [["CONSTANT_VALUE", {
75
                        "value" : ["CST_LITERAL", "0"]}
76
                      ]]}
77
                    ]]}
78
                  ]}
79
                ]]}
80
              ]}
81
            }
82
          ]}
83
        , {
84
          "declaration" : ["SIGNAL_DECLARATION", {
85
            "names" : [["IDENTIFIER", "Count_Length"]], "typ" : {
86
              "name" : ["SIMPLE_NAME", "unsigned"], "const" : ["INDEX_CONSTRAINT", {
87
                "ranges" : [["RANGE_WITH_DIRECTION", {
88
                  "direction" : "downto", "from" : ["EXPRESSION", {
89
                    "args" : [["EXPRESSION", {
90
                      "args" : [["CONSTANT_VALUE", {
91
                        "value" : ["CST_LITERAL", "3"]}
92
                      ]]}
93
                    ]]}
94
                  ], "_to" : ["EXPRESSION", {
95
                    "args" : [["EXPRESSION", {
96
                      "args" : [["CONSTANT_VALUE", {
97
                        "value" : ["CST_LITERAL", "0"]}
98
                      ]]}
99
                    ]]}
100
                  ]}
101
                ]]}
102
              ]}
103
            }
104
          ]}
105
        ], "ARCHITECTURE_STATEMENT_PART" : [["CONDITIONAL_SIGNAL_ASSIGNMENT", {
106
          "postponed" : false, "lhs" : ["SIMPLE_NAME", "Count_Length"], "rhs" : [{
107
            "expr" : [{
108
              "value" : ["EXPRESSION", {
109
                "args" : [["EXPRESSION", {
110
                  "args" : [["EXPRESSION", {
111
                    "args" : [["EXPRESSION", {
112
                      "args" : [["CALL", ["FUNCTION_CALL", {
113
                        "id" : ["SIMPLE_NAME", "unsigned"], "assoc_list" : [{
114
                          "actual_designator" : ["SIMPLE_NAME", "i_Length"]}
115
                        ]}
116
                      ]]]}
117
                    ]]}
118
                  ]]}
119
                ]]}
120
              ]}
121
            ]}
122
          ]}
123
        ], ["PROCESS_STATEMENT", {
124
          "id" : ["IDENTIFIER", "P_Count"], "active_sigs" : [["SIMPLE_NAME", "i_Reset_n"], ["SIMPLE_NAME", "i_Clock"]], "PROCESS_STATEMENT_PART" : [["IF_STATEMENT", {
125
            "if_cases" : [{
126
              "if_cond" : ["EXPRESSION", {
127
                "args" : [["EXPRESSION", {
128
                  "args" : [["EXPRESSION", {
129
                    "args" : [["EXPRESSION", {
130
                      "args" : [["EXPRESSION", {
131
                        "id" : "=", "args" : [["EXPRESSION", {
132
                          "args" : [["EXPRESSION", {
133
                            "args" : [["EXPRESSION", {
134
                              "args" : [["CALL", ["SIMPLE_NAME", "i_Reset_n"]]]}
135
                            ]]}
136
                          ]]}
137
                        ], ["EXPRESSION", {
138
                          "args" : [["EXPRESSION", {
139
                            "args" : [["EXPRESSION", {
140
                              "args" : [["CONSTANT_VALUE", {
141
                                "value" : ["CST_LITERAL", "'0'"]}
142
                              ]]}
143
                            ]]}
144
                          ]]}
145
                        ]]}
146
                      ]]}
147
                    ]]}
148
                  ]]}
149
                ]]}
150
              ], "if_block" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
151
                "lhs" : ["SIMPLE_NAME", "Count"], "rhs" : [{
152
                  "value" : ["EXPRESSION", {
153
                    "args" : [["EXPRESSION", {
154
                      "args" : [["EXPRESSION", {
155
                        "args" : [["EXPRESSION", {
156
                          "args" : [["AGGREGATE", {
157
                            "elems" : [{
158
                              "choices" : [["OTHERS"]], "expr" : ["EXPRESSION", {
159
                                "args" : [["EXPRESSION", {
160
                                  "args" : [["EXPRESSION", {
161
                                    "args" : [["EXPRESSION", {
162
                                      "args" : [["CONSTANT_VALUE", {
163
                                        "value" : ["CST_LITERAL", "'0'"]}
164
                                      ]]}
165
                                    ]]}
166
                                  ]]}
167
                                ]]}
168
                              ]}
169
                            ]}
170
                          ]]}
171
                        ]]}
172
                      ]]}
173
                    ]]}
174
                  ]}
175
                ]}
176
              ]]}
177
            , {
178
              "if_cond" : ["EXPRESSION", {
179
                "args" : [["EXPRESSION", {
180
                  "args" : [["EXPRESSION", {
181
                    "args" : [["EXPRESSION", {
182
                      "args" : [["EXPRESSION", {
183
                        "args" : [["EXPRESSION", {
184
                          "args" : [["EXPRESSION", {
185
                            "args" : [["EXPRESSION", {
186
                              "args" : [["CALL", ["FUNCTION_CALL", {
187
                                "id" : ["SIMPLE_NAME", "rising_edge"], "assoc_list" : [{
188
                                  "actual_designator" : ["SIMPLE_NAME", "i_Clock"]}
189
                                ]}
190
                              ]]]}
191
                            ]]}
192
                          ]]}
193
                        ]]}
194
                      ]]}
195
                    ]]}
196
                  ]]}
197
                ]]}
198
              ], "if_block" : [["IF_STATEMENT", {
199
                "if_cases" : [{
200
                  "if_cond" : ["EXPRESSION", {
201
                    "args" : [["EXPRESSION", {
202
                      "args" : [["EXPRESSION", {
203
                        "args" : [["EXPRESSION", {
204
                          "args" : [["EXPRESSION", {
205
                            "id" : ">=", "args" : [["EXPRESSION", {
206
                              "args" : [["EXPRESSION", {
207
                                "args" : [["EXPRESSION", {
208
                                  "args" : [["CALL", ["SIMPLE_NAME", "Count"]]]}
209
                                ]]}
210
                              ]]}
211
                            ], ["EXPRESSION", {
212
                              "args" : [["EXPRESSION", {
213
                                "args" : [["EXPRESSION", {
214
                                  "args" : [["CALL", ["SIMPLE_NAME", "Count_Length"]]]}
215
                                ]]}
216
                              ]]}
217
                            ]]}
218
                          ]]}
219
                        ]]}
220
                      ]]}
221
                    ]]}
222
                  ], "if_block" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
223
                    "lhs" : ["SIMPLE_NAME", "Count"], "rhs" : [{
224
                      "value" : ["EXPRESSION", {
225
                        "args" : [["EXPRESSION", {
226
                          "args" : [["EXPRESSION", {
227
                            "args" : [["EXPRESSION", {
228
                              "args" : [["AGGREGATE", {
229
                                "elems" : [{
230
                                  "choices" : [["OTHERS"]], "expr" : ["EXPRESSION", {
231
                                    "args" : [["EXPRESSION", {
232
                                      "args" : [["EXPRESSION", {
233
                                        "args" : [["EXPRESSION", {
234
                                          "args" : [["CONSTANT_VALUE", {
235
                                            "value" : ["CST_LITERAL", "'0'"]}
236
                                          ]]}
237
                                        ]]}
238
                                      ]]}
239
                                    ]]}
240
                                  ]}
241
                                ]}
242
                              ]]}
243
                            ]]}
244
                          ]]}
245
                        ]]}
246
                      ]}
247
                    ]}
248
                  ]]}
249
                , {
250
                  "if_cond" : ["EXPRESSION", {
251
                    "args" : [["EXPRESSION", {
252
                      "args" : [["EXPRESSION", {
253
                        "args" : [["EXPRESSION", {
254
                          "args" : [["EXPRESSION", {
255
                            "id" : "=", "args" : [["EXPRESSION", {
256
                              "args" : [["EXPRESSION", {
257
                                "args" : [["EXPRESSION", {
258
                                  "args" : [["CALL", ["SIMPLE_NAME", "i_Enable"]]]}
259
                                ]]}
260
                              ]]}
261
                            ], ["EXPRESSION", {
262
                              "args" : [["EXPRESSION", {
263
                                "args" : [["EXPRESSION", {
264
                                  "args" : [["CONSTANT_VALUE", {
265
                                    "value" : ["CST_LITERAL", "'1'"]}
266
                                  ]]}
267
                                ]]}
268
                              ]]}
269
                            ]]}
270
                          ]]}
271
                        ]]}
272
                      ]]}
273
                    ]]}
274
                  ], "if_block" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
275
                    "lhs" : ["SIMPLE_NAME", "Count"], "rhs" : [{
276
                      "value" : ["EXPRESSION", {
277
                        "args" : [["EXPRESSION", {
278
                          "args" : [["EXPRESSION", {
279
                            "args" : [["EXPRESSION", {
280
                              "id" : "+", "args" : [["EXPRESSION", {
281
                                "args" : [["CALL", ["SIMPLE_NAME", "Count"]]]}
282
                              ], ["EXPRESSION", {
283
                                "args" : [["CONSTANT_VALUE", {
284
                                  "value" : ["CST_LITERAL", "1"]}
285
                                ]]}
286
                              ]]}
287
                            ]]}
288
                          ]]}
289
                        ]]}
290
                      ]}
291
                    ]}
292
                  ]]}
293
                ]}
294
              ]]}
295
            ]}
296
          ]]}
297
        ], ["CONDITIONAL_SIGNAL_ASSIGNMENT", {
298
          "postponed" : false, "lhs" : ["SIMPLE_NAME", "o_Count"], "rhs" : [{
299
            "expr" : [{
300
              "value" : ["EXPRESSION", {
301
                "args" : [["EXPRESSION", {
302
                  "args" : [["EXPRESSION", {
303
                    "args" : [["EXPRESSION", {
304
                      "args" : [["CALL", ["FUNCTION_CALL", {
305
                        "id" : ["SIMPLE_NAME", "std_logic_vector"], "assoc_list" : [{
306
                          "actual_designator" : ["SIMPLE_NAME", "Count"]}
307
                        ]}
308
                      ]]]}
309
                    ]]}
310
                  ]]}
311
                ]]}
312
              ]}
313
            ]}
314
          ]}
315
        ]]}
316
      ]}
317
    ]}
318
  }