/[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 93298 by zurfluhs, Sun Nov 10 16:23:07 2013 UTC revision 93299 by zurfluhs, Sun Nov 10 21:37:47 2013 UTC
# Line 26  feature {NONE} -- Initialization Line 26  feature {NONE} -- Initialization
26                          rules.extend (create {CA_UNUSED_ARGUMENT_RULE}.make)                          rules.extend (create {CA_UNUSED_ARGUMENT_RULE}.make)
27                          rules.extend (create {CA_NPATH_RULE}.make)                          rules.extend (create {CA_NPATH_RULE}.make)
28                          rules.extend (create {CA_EMPTY_IF_RULE}.make)                          rules.extend (create {CA_EMPTY_IF_RULE}.make)
29                            rules.extend (create {CA_FEATURE_NEVER_CALLED_RULE}.make)
30                          -- Issues (contract violations, exceptions) with {EPA_CFG_BUILDER} and                          -- Issues (contract violations, exceptions) with {EPA_CFG_BUILDER} and
31                          -- classes from library 'program_analysis' in general.                          -- classes from library 'program_analysis' in general.
32  --                      rules.extend (create {CA_VARIABLE_NOT_READ_RULE}.make)  --                      rules.extend (create {CA_VARIABLE_NOT_READ_RULE}.make)

Legend:
Removed from v.93298  
changed lines
  Added in v.93299

  ViewVC Help
Powered by ViewVC 1.1.23