/[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 95756 by schmisam, Sat Aug 23 01:19:55 2014 UTC revision 95757 by schmisam, Fri Sep 12 12:25:28 2014 UTC
# Line 82  feature {NONE} -- Initialization Line 82  feature {NONE} -- Initialization
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)
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)
86                            add_rule (create {CA_UNREACHABLE_CODE_RULE}.make)
87    
88                          settings.initialize_rule_settings (rules)                          settings.initialize_rule_settings (rules)
89    
Legend:
Removed from v.95756  
changed lines
  Added in v.95757
  ViewVC Help
Powered by ViewVC 1.1.23