Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / vhdl_json / vhdl_files / 2-exportOK / cnes_guidelines / rule / data / STD_03000_bad.json @ 3fd18385

History | View | Annotate | Download (6.95 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"]]]]], ["USE_CLAUSE", [["SELECTED_NAME", [["SIMPLE_NAME", "IEEE"], ["SIMPLE_NAME", "numeric_std"]]]]]], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "STD_03000_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_D"]], "mode" : ["in"], "typ" : {
19
            "name" : ["SIMPLE_NAME", "std_logic"]}
20
          }
21
        , {
22
          "names" : [["IDENTIFIER", "o_Q"]], "mode" : ["out"], "typ" : {
23
            "name" : ["SIMPLE_NAME", "std_logic"]}
24
          }
25
        ], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
26
      ]}
27
    , {
28
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
29
        "name" : ["IDENTIFIER", "Behavioral"], "entity" : ["IDENTIFIER", "STD_03000_bad"], "ARCHITECTURE_DECLARATIVE_PART" : [{
30
          "declaration" : ["SIGNAL_DECLARATION", {
31
            "names" : [["IDENTIFIER", "Q"]], "typ" : {
32
              "name" : ["SIMPLE_NAME", "std_logic"]}
33
            }
34
          ]}
35
        ], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", {
36
          "id" : ["IDENTIFIER", "P_FlipFlop"], "active_sigs" : [["SIMPLE_NAME", "i_Clock"], ["SIMPLE_NAME", "i_Reset_n"]], "PROCESS_STATEMENT_PART" : [["IF_STATEMENT", {
37
            "if_cases" : [{
38
              "if_cond" : ["EXPRESSION", {
39
                "args" : [["EXPRESSION", {
40
                  "args" : [["EXPRESSION", {
41
                    "args" : [["EXPRESSION", {
42
                      "args" : [["EXPRESSION", {
43
                        "id" : "=", "args" : [["EXPRESSION", {
44
                          "args" : [["EXPRESSION", {
45
                            "args" : [["EXPRESSION", {
46
                              "args" : [["CALL", ["SIMPLE_NAME", "i_Reset_n"]]]}
47
                            ]]}
48
                          ]]}
49
                        ], ["EXPRESSION", {
50
                          "args" : [["EXPRESSION", {
51
                            "args" : [["EXPRESSION", {
52
                              "args" : [["CONSTANT_VALUE", {
53
                                "value" : ["CST_LITERAL", "'0'"]}
54
                              ]]}
55
                            ]]}
56
                          ]]}
57
                        ]]}
58
                      ]]}
59
                    ]]}
60
                  ]]}
61
                ]]}
62
              ], "if_block" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
63
                "lhs" : ["SIMPLE_NAME", "Q"], "rhs" : [{
64
                  "value" : ["EXPRESSION", {
65
                    "args" : [["EXPRESSION", {
66
                      "args" : [["EXPRESSION", {
67
                        "args" : [["EXPRESSION", {
68
                          "args" : [["CONSTANT_VALUE", {
69
                            "value" : ["CST_LITERAL", "'0'"]}
70
                          ]]}
71
                        ]]}
72
                      ]]}
73
                    ]]}
74
                  ]}
75
                ]}
76
              ]]}
77
            , {
78
              "if_cond" : ["EXPRESSION", {
79
                "args" : [["EXPRESSION", {
80
                  "args" : [["EXPRESSION", {
81
                    "args" : [["EXPRESSION", {
82
                      "args" : [["EXPRESSION", {
83
                        "args" : [["EXPRESSION", {
84
                          "args" : [["EXPRESSION", {
85
                            "args" : [["EXPRESSION", {
86
                              "args" : [["CALL", ["INDEXED_NAME", {
87
                                "id" : ["SIMPLE_NAME", "rising_edge"], "exprs" : [["EXPRESSION", {
88
                                  "args" : [["EXPRESSION", {
89
                                    "args" : [["EXPRESSION", {
90
                                      "args" : [["EXPRESSION", {
91
                                        "args" : [["CALL", ["SIMPLE_NAME", "i_Clock"]]]}
92
                                      ]]}
93
                                    ]]}
94
                                  ]]}
95
                                ]]}
96
                              ]]]}
97
                            ]]}
98
                          ]]}
99
                        ]]}
100
                      ]]}
101
                    ]]}
102
                  ]]}
103
                ]]}
104
              ], "if_block" : [["IF_STATEMENT", {
105
                "if_cases" : [{
106
                  "if_cond" : ["EXPRESSION", {
107
                    "args" : [["EXPRESSION", {
108
                      "args" : [["EXPRESSION", {
109
                        "args" : [["EXPRESSION", {
110
                          "args" : [["EXPRESSION", {
111
                            "id" : "=", "args" : [["EXPRESSION", {
112
                              "args" : [["EXPRESSION", {
113
                                "args" : [["EXPRESSION", {
114
                                  "args" : [["CALL", ["SIMPLE_NAME", "i_Enable"]]]}
115
                                ]]}
116
                              ]]}
117
                            ], ["EXPRESSION", {
118
                              "args" : [["EXPRESSION", {
119
                                "args" : [["EXPRESSION", {
120
                                  "args" : [["CONSTANT_VALUE", {
121
                                    "value" : ["CST_LITERAL", "'1'"]}
122
                                  ]]}
123
                                ]]}
124
                              ]]}
125
                            ]]}
126
                          ]]}
127
                        ]]}
128
                      ]]}
129
                    ]]}
130
                  ], "if_block" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
131
                    "lhs" : ["SIMPLE_NAME", "Q"], "rhs" : [{
132
                      "value" : ["EXPRESSION", {
133
                        "args" : [["EXPRESSION", {
134
                          "args" : [["EXPRESSION", {
135
                            "args" : [["EXPRESSION", {
136
                              "args" : [["CALL", ["SIMPLE_NAME", "i_D"]]]}
137
                            ]]}
138
                          ]]}
139
                        ]]}
140
                      ]}
141
                    ]}
142
                  ]]}
143
                ]}
144
              ]]}
145
            ]}
146
          ]]}
147
        ], ["CONDITIONAL_SIGNAL_ASSIGNMENT", {
148
          "postponed" : false, "lhs" : ["SIMPLE_NAME", "o_Q"], "rhs" : [{
149
            "expr" : [{
150
              "value" : ["EXPRESSION", {
151
                "args" : [["EXPRESSION", {
152
                  "args" : [["EXPRESSION", {
153
                    "args" : [["EXPRESSION", {
154
                      "args" : [["CALL", ["SIMPLE_NAME", "Q"]]]}
155
                    ]]}
156
                  ]]}
157
                ]]}
158
              ]}
159
            ]}
160
          ]}
161
        ]]}
162
      ]}
163
    ]}
164
  }