/[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 96896 by schmisam, Sat Mar 21 05:47:55 2015 UTC revision 96897 by schmisam, Mon Mar 23 04:41:13 2015 UTC
# Line 83  feature {NONE} -- Initialization Line 83  feature {NONE} -- Initialization
83                          add_rule (create {CA_ATTRIBUTE_CAN_BE_CONSTANT_RULE}.make)                          add_rule (create {CA_ATTRIBUTE_CAN_BE_CONSTANT_RULE}.make)
84                          add_rule (create {CA_LOOP_INVARIANT_COMPUTATION_RULE}.make)                          add_rule (create {CA_LOOP_INVARIANT_COMPUTATION_RULE}.make)
85                          add_rule (create {CA_UNREACHABLE_CODE_RULE}.make)                          add_rule (create {CA_UNREACHABLE_CODE_RULE}.make)
86                          add_rule (create {CA_OBJECT_TEST_FAILING_RULE}.make)                          add_rule (create {CA_OBJECT_TEST_FAILING_RULE}.make_with_defaults)
87                          add_rule (create {CA_USELESS_CONTRACT_RULE}.make)                          add_rule (create {CA_USELESS_CONTRACT_RULE}.make)
88                          add_rule (create {CA_REAL_NAN_COMPARISON_RULE}.make)                          add_rule (create {CA_REAL_NAN_COMPARISON_RULE}.make)
89                          add_rule (create {CA_LOCAL_USED_FOR_RESULT_RULE}.make)                          add_rule (create {CA_LOCAL_USED_FOR_RESULT_RULE}.make)

Legend:
Removed from v.96896  
changed lines
  Added in v.96897

  ViewVC Help
Powered by ViewVC 1.1.23