/[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 93431 by zurfluhs, Tue Nov 19 20:13:42 2013 UTC revision 93443 by zurfluhs, Tue Nov 19 21:46:04 2013 UTC
# Line 30  feature {NONE} -- Initialization Line 30  feature {NONE} -- Initialization
30                          rules.extend (create {CA_CQ_SEPARATION_RULE}.make)                          rules.extend (create {CA_CQ_SEPARATION_RULE}.make)
31                          rules.extend (create {CA_UNNEEDED_OT_LOCAL_RULE}.make)                          rules.extend (create {CA_UNNEEDED_OT_LOCAL_RULE}.make)
32                          rules.extend (create {CA_UNNEEDED_OBJECT_TEST_RULE}.make)                          rules.extend (create {CA_UNNEEDED_OBJECT_TEST_RULE}.make)
33                            rules.extend (create {CA_NESTED_COMPLEXITY_RULE}.make)
34    
35                          -- Issues (contract violations, exceptions) with {EPA_CFG_BUILDER} and                          -- Issues (contract violations, exceptions) with {EPA_CFG_BUILDER} and
36                          -- classes from library 'program_analysis' in general.                          -- classes from library 'program_analysis' in general.

Legend:
Removed from v.93431  
changed lines
  Added in v.93443

  ViewVC Help
Powered by ViewVC 1.1.23