/[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 94158 by zurfluhs, Mon Feb 3 10:37:52 2014 UTC revision 94159 by zurfluhs, Mon Feb 3 11:55:14 2014 UTC
# Line 156  feature -- Analysis interface Line 156  feature -- Analysis interface
156    
157          add_cluster (a_cluster: CLUSTER_I)          add_cluster (a_cluster: CLUSTER_I)
158                          -- Add all classes of cluster `a_cluster'.                          -- Add all classes of cluster `a_cluster'.
                 local  
                         l_conf_class: CONF_CLASS  
                         l_class_i: CLASS_I  
159                  do                  do
160                          system_wide_check := False                          system_wide_check := False
161    
162                          from                          across a_cluster.classes as ic loop
163                                  a_cluster.classes.start                                  add_class (ic.item)
                         until  
                                 a_cluster.classes.after  
                         loop  
                                 l_conf_class := a_cluster.classes.item_for_iteration  
                                 l_class_i := eiffel_universe.class_named (l_conf_class.name, a_cluster)  
                                 add_class (l_class_i)  
                                 a_cluster.classes.forth  
164                          end                          end
165    
166                          if a_cluster.sub_clusters /= Void then                          if a_cluster.sub_clusters /= Void then
167                                  from                                  across a_cluster.sub_clusters as ic loop
168                                          a_cluster.sub_clusters.start                                          add_cluster (ic.item)
                                 until  
                                         a_cluster.sub_clusters.after  
                                 loop  
                                         add_cluster (a_cluster.sub_clusters.item_for_iteration)  
                                         a_cluster.sub_clusters.forth  
169                                  end                                  end
170                          end                          end
171                  end                  end
# Line 188  feature -- Analysis interface Line 174  feature -- Analysis interface
174                          -- Add all classes of the configuration group `a_group'.                          -- Add all classes of the configuration group `a_group'.
175                  require                  require
176                          a_group_not_void: a_group /= Void                          a_group_not_void: a_group /= Void
                 local  
                         l_conf_class: CONF_CLASS  
                         l_class_i: CLASS_I  
177                  do                  do
178                          from                          across a_group.classes as ic loop
179                                  a_group.classes.start                                  add_class (ic.item)
                         until  
                                 a_group.classes.after  
                         loop  
                                 l_conf_class := a_group.classes.item_for_iteration  
                                 l_class_i := eiffel_universe.class_named (l_conf_class.name, a_group)  
                                 add_class (l_class_i)  
                                 a_group.classes.forth  
180                          end                          end
181                  end                  end
182    
183          add_classes (a_classes: ITERABLE [CLASS_I])          add_classes (a_classes: ITERABLE [CONF_CLASS])
184                          -- Add the classes `a_classes'.                          -- Add the classes `a_classes'.
185                  do                  do
186                          system_wide_check := False                          system_wide_check := False
# Line 214  feature -- Analysis interface Line 190  feature -- Analysis interface
190                          end                          end
191                  end                  end
192    
193          add_class (a_class: CLASS_I)          add_class (a_class: CONF_CLASS)
194                          -- Adds class `a_class'.                          -- Adds class `a_class'.
195                  local                  local
196                          l_class_c: CLASS_C                          l_class_c: CLASS_C
197                  do                  do
198                          system_wide_check := False                          system_wide_check := False
199    
200                          if a_class.is_compiled then                          if attached {EIFFEL_CLASS_I} a_class as l_eiffel_class
201                                  l_class_c := a_class.compiled_class                                  and then attached {CLASS_C} l_eiffel_class.compiled_class as l_compiled
202                                  check l_class_c /= Void end                          then
203                                  classes_to_analyze.extend (l_class_c)                                  classes_to_analyze.extend (l_compiled)
204    
205                                  extract_indexes (l_class_c)                                  extract_indexes (l_compiled)
206                          else                          else
207                                  output_actions.call ([ca_messages.class_skipped (a_class.name)])                                  output_actions.call ([ca_messages.class_skipped (a_class.name)])
208                          end                          end

Legend:
Removed from v.94158  
changed lines
  Added in v.94159

  ViewVC Help
Powered by ViewVC 1.1.23