/[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 93180 by zurfluhs, Tue Oct 29 06:56:44 2013 UTC revision 93181 by zurfluhs, Tue Oct 29 10:59:59 2013 UTC
# Line 40  feature -- Analysis interface Line 40  feature -- Analysis interface
40                                  if l_rules.item.is_enabled then -- important: only add enabled rules                                  if l_rules.item.is_enabled then -- important: only add enabled rules
41                                          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
42                                                  -- 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
43                                                  l_rules.item.prepare_checking (l_rules_checker)                                                  if attached {CA_STANDARD_RULE} l_rules.item as l_std_rule then
44                                                            l_std_rule.prepare_checking (l_rules_checker)
45                                                    elseif attached {CA_BACKWARD_ITERATION_RULE} l_rules.item as l_back_rule then
46                                                            -- TODO
47                                                    end
48                                          end                                          end
49                                  end                                  end
50                          end                          end
# Line 50  feature -- Analysis interface Line 54  feature -- Analysis interface
54                                  -- TODO: more elegant and performant solution?                                  -- TODO: more elegant and performant solution?
55                                  across rules as l_rules loop                                  across rules as l_rules loop
56                                          l_rules.item.set_checking_class (l_classes.item)                                          l_rules.item.set_checking_class (l_classes.item)
57                                            -- If rule is non-standard then it will not be checked by l_rules_checker.
58                                            -- We will have the rule check the current class here:
59                                            if attached {CA_BACKWARD_ITERATION_RULE} l_rules.item as l_back_rule then
60                                                    l_back_rule.process_class_as (l_classes.item.ast)
61                                            end
62                                  end                                  end
63    
64                                  l_rules_checker.run_on_class (l_classes.item)                                  l_rules_checker.run_on_class (l_classes.item)

Legend:
Removed from v.93180  
changed lines
  Added in v.93181

  ViewVC Help
Powered by ViewVC 1.1.23