/[eiffelstudio]/branches/eth/eve/Src/framework/code_analysis/ca_code_analyzer.e
ViewVC logotype

Diff of /branches/eth/eve/Src/framework/code_analysis/ca_code_analyzer.e

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 95830 by schmisam, Wed Oct 1 18:42:26 2014 UTC revision 95832 by schmisam, Wed Oct 1 21:50:22 2014 UTC
# Line 31  feature {NONE} -- Initialization Line 31  feature {NONE} -- Initialization
31                          add_rule (create {CA_FEATURE_NEVER_CALLED_RULE}.make)                          add_rule (create {CA_FEATURE_NEVER_CALLED_RULE}.make)
32                          add_rule (create {CA_CQ_SEPARATION_RULE}.make)                          add_rule (create {CA_CQ_SEPARATION_RULE}.make)
33                          add_rule (create {CA_UNNEEDED_OT_LOCAL_RULE}.make)                          add_rule (create {CA_UNNEEDED_OT_LOCAL_RULE}.make)
34                          add_rule (create {CA_UNNEEDED_OBJECT_TEST_RULE}.make) -- Needs type info.                          add_rule (create {CA_UNNEEDED_OBJECT_TEST_RULE}.make)
35                          add_rule (create {CA_NESTED_COMPLEXITY_RULE}.make (settings.preference_manager))                          add_rule (create {CA_NESTED_COMPLEXITY_RULE}.make (settings.preference_manager))
36                          add_rule (create {CA_MANY_ARGUMENTS_RULE}.make (settings.preference_manager))                          add_rule (create {CA_MANY_ARGUMENTS_RULE}.make (settings.preference_manager))
37                          add_rule (create {CA_CREATION_PROC_EXPORTED_RULE}.make)                          add_rule (create {CA_CREATION_PROC_EXPORTED_RULE}.make)
# Line 55  feature {NONE} -- Initialization Line 55  feature {NONE} -- Initialization
55                          add_rule (create {CA_EMPTY_EFFECTIVE_ROUTINE_RULE}.make)                          add_rule (create {CA_EMPTY_EFFECTIVE_ROUTINE_RULE}.make)
56                          add_rule (create {CA_IF_ELSE_NOT_EQUAL_RULE}.make)                          add_rule (create {CA_IF_ELSE_NOT_EQUAL_RULE}.make)
57                          add_rule (create {CA_SHORT_CIRCUIT_IF_RULE}.make)                          add_rule (create {CA_SHORT_CIRCUIT_IF_RULE}.make)
58                          add_rule (create {CA_ITERABLE_LOOP_RULE}.make) -- Needs type info.                          add_rule (create {CA_ITERABLE_LOOP_RULE}.make)
59                          add_rule (create {CA_COUNT_EQUALS_ZERO_RULE}.make) -- Needs type info.                          add_rule (create {CA_COUNT_EQUALS_ZERO_RULE}.make)
60                          add_rule (create {CA_DEEPLY_NESTED_IF_RULE}.make (settings.preference_manager))                          add_rule (create {CA_DEEPLY_NESTED_IF_RULE}.make (settings.preference_manager))
61                          add_rule (create {CA_UNNEEDED_HELPER_VARIABLE_RULE}.make (settings.preference_manager))                          add_rule (create {CA_UNNEEDED_HELPER_VARIABLE_RULE}.make (settings.preference_manager))
62                          add_rule (create {CA_UNNEEDED_PARENTHESES_RULE}.make)                          add_rule (create {CA_UNNEEDED_PARENTHESES_RULE}.make)
# Line 80  feature {NONE} -- Initialization Line 80  feature {NONE} -- Initialization
80                          add_rule (create {CA_OBJECT_CREATION_WITHIN_LOOP_RULE}.make)                          add_rule (create {CA_OBJECT_CREATION_WITHIN_LOOP_RULE}.make)
81                          add_rule (create {CA_EMPTY_CREATION_PROC_RULE}.make)                          add_rule (create {CA_EMPTY_CREATION_PROC_RULE}.make)
82                          add_rule (create {CA_VOID_CHECK_USING_IS_EQUAL_RULE}.make)                          add_rule (create {CA_VOID_CHECK_USING_IS_EQUAL_RULE}.make)
83                          add_rule (create {CA_COMPARISON_OF_OBJECT_REFS_RULE}.make) -- Needs type info.                          add_rule (create {CA_COMPARISON_OF_OBJECT_REFS_RULE}.make)
84                          add_rule (create {CA_ATTRIBUTE_CAN_BE_CONSTANT_RULE}.make)                          add_rule (create {CA_ATTRIBUTE_CAN_BE_CONSTANT_RULE}.make)
85                          add_rule (create {CA_LOOP_INVARIANT_COMPUTATION_RULE}.make)                          add_rule (create {CA_LOOP_INVARIANT_COMPUTATION_RULE}.make)
86                          add_rule (create {CA_UNREACHABLE_CODE_RULE}.make)                          add_rule (create {CA_UNREACHABLE_CODE_RULE}.make)
87                          add_rule (create {CA_OBJECT_TEST_FAILING_RULE}.make) -- Needs type info.                          add_rule (create {CA_OBJECT_TEST_FAILING_RULE}.make)
88                          add_rule (create {CA_USELESS_CONTRACT_RULE}.make)                          add_rule (create {CA_USELESS_CONTRACT_RULE}.make)
89                            add_rule (create {CA_REAL_NAN_COMPARISON_RULE}.make)
90    
91                          settings.initialize_rule_settings (rules)                          settings.initialize_rule_settings (rules)
92    

Legend:
Removed from v.95830  
changed lines
  Added in v.95832

  ViewVC Help
Powered by ViewVC 1.1.23