/[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 93373 by zurfluhs, Thu Nov 14 11:49:21 2013 UTC revision 93377 by zurfluhs, Thu Nov 14 15:39:07 2013 UTC
# Line 28  feature {NONE} -- Initialization Line 28  feature {NONE} -- Initialization
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                            
32                          -- Issues (contract violations, exceptions) with {EPA_CFG_BUILDER} and                          -- Issues (contract violations, exceptions) with {EPA_CFG_BUILDER} and
33                          -- classes from library 'program_analysis' in general.                          -- classes from library 'program_analysis' in general.
34  --                      rules.extend (create {CA_VARIABLE_NOT_READ_RULE}.make)  --                      rules.extend (create {CA_VARIABLE_NOT_READ_RULE}.make)
# Line 52  feature -- Analysis interface Line 52  feature -- Analysis interface
52                          l_rules_checker: CA_ALL_RULES_CHECKER                          l_rules_checker: CA_ALL_RULES_CHECKER
53                  do                  do
54                          is_running := True                          is_running := True
55                                    -- TODO: caching
56                            rule_violations.wipe_out
57    
58                          create l_rules_checker.make                          create l_rules_checker.make
59                          across rules as l_rules loop                          across rules as l_rules loop
60                                    l_rules.item.clear_violations
61                                  if l_rules.item.is_enabled then -- important: only add enabled rules                                  if l_rules.item.is_enabled then -- important: only add enabled rules
62                                          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
63                                                  -- 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
64                                                  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
65                                                          l_std_rule.prepare_checking (l_rules_checker)                                                          l_std_rule.prepare_checking (l_rules_checker)
66                                                  -- TODO: prepare rules of other types?                                                                  -- TODO: prepare rules of other types?
67                                                  end                                                  end
68                                          end                                          end
69                                  end                                  end

Legend:
Removed from v.93373  
changed lines
  Added in v.93377

  ViewVC Help
Powered by ViewVC 1.1.23