/[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 93546 by zurfluhs, Tue Nov 26 13:33:50 2013 UTC revision 93588 by zurfluhs, Sun Dec 1 16:42:39 2013 UTC
# Line 34  feature {NONE} -- Initialization Line 34  feature {NONE} -- Initialization
34                          rules.extend (create {CA_MANY_ARGUMENTS_RULE}.make (settings.preference_manager))                          rules.extend (create {CA_MANY_ARGUMENTS_RULE}.make (settings.preference_manager))
35                          rules.extend (create {CA_CREATION_PROC_EXPORTED_RULE}.make)                          rules.extend (create {CA_CREATION_PROC_EXPORTED_RULE}.make)
36    
37                          -- Issues (contract violations, exceptions) with {EPA_CFG_BUILDER} and                          rules.extend (create {CA_VARIABLE_NOT_READ_RULE}.make)
                         -- classes from library 'program_analysis' in general.  
 --                      rules.extend (create {CA_VARIABLE_NOT_READ_RULE}.make)  
38    
39                          settings.initialize_rule_settings (rules)                          settings.initialize_rule_settings (rules)
40    

Legend:
Removed from v.93546  
changed lines
  Added in v.93588

  ViewVC Help
Powered by ViewVC 1.1.23