/[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 93216 by zurfluhs, Wed Nov 6 16:55:32 2013 UTC revision 93298 by zurfluhs, Sun Nov 10 16:23:07 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                            -- Issues (contract violations, exceptions) with {EPA_CFG_BUILDER} and
30                            -- classes from library 'program_analysis' in general.
31    --                      rules.extend (create {CA_VARIABLE_NOT_READ_RULE}.make)
32    
33                          create classes_to_analyze.make                          create classes_to_analyze.make
34                          create rule_violations.make (100)                          create rule_violations.make (100)
# Line 44  feature -- Analysis interface Line 47  feature -- Analysis interface
47                                                  -- 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
48                                                  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
49                                                          l_std_rule.prepare_checking (l_rules_checker)                                                          l_std_rule.prepare_checking (l_rules_checker)
50                                                  elseif attached {CA_BACKWARD_ITERATION_RULE} l_rules.item as l_back_rule then                                                  -- TODO: prepare rules of other types?
                                                         -- TODO  
51                                                  end                                                  end
52                                          end                                          end
53                                  end                                  end
# Line 58  feature -- Analysis interface Line 60  feature -- Analysis interface
60                                          l_rules.item.set_checking_class (l_classes.item)                                          l_rules.item.set_checking_class (l_classes.item)
61                                          -- If rule is non-standard then it will not be checked by l_rules_checker.                                          -- If rule is non-standard then it will not be checked by l_rules_checker.
62                                          -- We will have the rule check the current class here:                                          -- We will have the rule check the current class here:
63                                          if attached {CA_BACKWARD_ITERATION_RULE} l_rules.item as l_back_rule then                                          if attached {CA_CFG_RULE} l_rules.item as l_cfg_rule then
64                                                  l_back_rule.process_class_as (l_classes.item.ast)                                                  l_cfg_rule.check_class (l_classes.item)
65                                          end                                          end
66                                  end                                  end
67    
# Line 175  feature {NONE} -- Implementation Line 177  feature {NONE} -- Implementation
177    
178          system_wide_check: BOOLEAN          system_wide_check: BOOLEAN
179    
180    
181  end  end

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

  ViewVC Help
Powered by ViewVC 1.1.23