/[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 95829 by schmisam, Fri Sep 12 12:25:28 2014 UTC revision 95830 by schmisam, Wed Oct 1 18:42:26 2014 UTC
# 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)                          add_rule (create {CA_COMPARISON_OF_OBJECT_REFS_RULE}.make) -- Needs type info.
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.
88                            add_rule (create {CA_USELESS_CONTRACT_RULE}.make)
89    
90                          settings.initialize_rule_settings (rules)                          settings.initialize_rule_settings (rules)
91    

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

  ViewVC Help
Powered by ViewVC 1.1.23