/[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 93475 by zurfluhs, Wed Nov 20 16:09:46 2013 UTC revision 93526 by zurfluhs, Mon Nov 25 15:03:37 2013 UTC
# Line 24  feature {NONE} -- Initialization Line 24  feature {NONE} -- Initialization
24                          -- Adding example rules                          -- Adding example rules
25                          rules.extend (create {CA_SELF_ASSIGNMENT_RULE}.make)                          rules.extend (create {CA_SELF_ASSIGNMENT_RULE}.make)
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 (settings.preference_manager))
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)                          rules.extend (create {CA_FEATURE_NEVER_CALLED_RULE}.make)
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)                          rules.extend (create {CA_NESTED_COMPLEXITY_RULE}.make (settings.preference_manager))
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.
37  --                      rules.extend (create {CA_VARIABLE_NOT_READ_RULE}.make)  --                      rules.extend (create {CA_VARIABLE_NOT_READ_RULE}.make)
38    
39                            settings.initialize_rule_settings (rules)
40    
41                          create classes_to_analyze.make                          create classes_to_analyze.make
42                          create rule_violations.make (100)                          create rule_violations.make (100)
43                          create completed_actions                          create completed_actions
# Line 66  feature -- Analysis interface Line 68  feature -- Analysis interface
68                          create l_rules_checker.make                          create l_rules_checker.make
69                          across rules as l_rules loop                          across rules as l_rules loop
70                                  l_rules.item.clear_violations                                  l_rules.item.clear_violations
71                                  if l_rules.item.is_enabled then -- important: only add enabled rules                                  if l_rules.item.is_enabled.value then -- important: only add enabled rules
72                                          if system_wide_check or else (not l_rules.item.is_system_wide) then                                          if system_wide_check or else (not l_rules.item.is_system_wide) then
73                                                          -- do not add system wide rules if we check only parts of the system                                                          -- do not add system wide rules if we check only parts of the system
74                                                  if attached {CA_STANDARD_RULE} l_rules.item as l_std_rule then                                                  if attached {CA_STANDARD_RULE} l_rules.item as l_std_rule then

Legend:
Removed from v.93475  
changed lines
  Added in v.93526

  ViewVC Help
Powered by ViewVC 1.1.23