/[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 93173 by zurfluhs, Fri Oct 25 16:09:21 2013 UTC revision 93174 by zurfluhs, Mon Oct 28 12:30:08 2013 UTC
# Line 37  feature -- Analysis interface Line 37  feature -- Analysis interface
37                          create l_rules_checker.make                          create l_rules_checker.make
38                          across rules as l_rules loop                          across rules as l_rules loop
39                                  if l_rules.item.is_enabled then -- important: only add enabled rules                                  if l_rules.item.is_enabled then -- important: only add enabled rules
40                                          l_rules.item.prepare_checking (l_rules_checker)                                          if system_wide_check or else (not l_rules.item.is_system_wide) then
41                                                    -- do not add system wide rules if we check only parts of the system
42                                                    l_rules.item.prepare_checking (l_rules_checker)
43                                            end
44                                  end                                  end
45                          end                          end
46    
# Line 55  feature -- Analysis interface Line 58  feature -- Analysis interface
58                                  end                                  end
59                          end                          end
60    
 --                      analysis_successful := l_rules_checker.last_run_successful  
 --                      if analysis_successful then  
 --                              rule_violations := l_rules_checker.last_result  
 --                      end  
   
61                          clear_classes_to_analyze                          clear_classes_to_analyze
62                  ensure                  ensure
63                          violation_list_exists: analysis_successful implies rule_violations /= Void                          violation_list_exists: analysis_successful implies rule_violations /= Void
# Line 88  feature -- Analysis interface Line 86  feature -- Analysis interface
86                                  end                                  end
87                                  l_groups.forth                                  l_groups.forth
88                          end                          end
89    
90                            system_wide_check := True
91                  end                  end
92    
93          add_cluster (a_cluster: CLUSTER_I)          add_cluster (a_cluster: CLUSTER_I)
# Line 95  feature -- Analysis interface Line 95  feature -- Analysis interface
95                          l_conf_class: CONF_CLASS                          l_conf_class: CONF_CLASS
96                          l_class_i: CLASS_I                          l_class_i: CLASS_I
97                  do                  do
98                            system_wide_check := False
99    
100                          from                          from
101                                  a_cluster.classes.start                                  a_cluster.classes.start
102                          until                          until
# Line 119  feature -- Analysis interface Line 121  feature -- Analysis interface
121    
122          add_classes (a_classes: ITERABLE[CLASS_I])          add_classes (a_classes: ITERABLE[CLASS_I])
123                  do                  do
124                            system_wide_check := False
125    
126                          across a_classes as l_classes loop                          across a_classes as l_classes loop
127                                  add_class (l_classes.item)                                  add_class (l_classes.item)
128                          end                          end
# Line 128  feature -- Analysis interface Line 132  feature -- Analysis interface
132                  local                  local
133                          l_class_c: CLASS_C                          l_class_c: CLASS_C
134                  do                  do
135                            system_wide_check := False
136    
137                          if a_class.is_compiled then                          if a_class.is_compiled then
138                                  l_class_c := a_class.compiled_class                                  l_class_c := a_class.compiled_class
139                                  check l_class_c /= Void end                                  check l_class_c /= Void end
# Line 150  feature {NONE} -- Implementation Line 156  feature {NONE} -- Implementation
156    
157          settings: CA_SETTINGS          settings: CA_SETTINGS
158    
 --      analyze_class_if_compiled (a_class: CLASS_I)  
 --              local  
 --                      l_class_c: CLASS_C  
 --              do  
 --                      if a_class.is_compiled then  
 --                              l_class_c := a_class.compiled_class  
 --                              check l_class_c /= Void end  
 --                              print ("Analyzing class " + a_class.name + "...%N")  
 --                              rules_checker.run_on_class (l_class_c.ast)  
 --                      else  
 --                              print ("Class " + a_class.name + " not compiled (skipped).%N")  
 --                      end  
 --              end  
   
159          classes_to_analyze: LINKED_SET[CLASS_C]          classes_to_analyze: LINKED_SET[CLASS_C]
160    
161            system_wide_check: BOOLEAN
162    
163  end  end

Legend:
Removed from v.93173  
changed lines
  Added in v.93174

  ViewVC Help
Powered by ViewVC 1.1.23