/[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 94663 by jasonw, Fri Mar 21 07:52:56 2014 UTC revision 94740 by jasonw, Fri Mar 28 09:42:08 2014 UTC
# Line 158  feature -- Analysis interface Line 158  feature -- Analysis interface
158                  do                  do
159                          system_wide_check := False                          system_wide_check := False
160    
161                          across a_cluster.classes as ic loop                          if a_cluster.classes /= Void then
162                                  add_class (ic.item)                                  across a_cluster.classes as ic loop
163                                            add_class (ic.item)
164                                    end
165                          end                          end
166    
167                          if a_cluster.sub_clusters /= Void then                          if a_cluster.sub_clusters /= Void then
# Line 174  feature -- Analysis interface Line 176  feature -- Analysis interface
176                  require                  require
177                          a_group_not_void: a_group /= Void                          a_group_not_void: a_group /= Void
178                  do                  do
179                          across a_group.classes as ic loop                          if a_group.classes /= Void then
180                                  add_class (ic.item)                                  across a_group.classes as ic loop
181                                            add_class (ic.item)
182                                    end
183                          end                          end
184                  end                  end
185    
# Line 308  feature {NONE} -- Implementation Line 312  feature {NONE} -- Implementation
312                          l_service_consumer: SERVICE_CONSUMER [ROTA_S]                          l_service_consumer: SERVICE_CONSUMER [ROTA_S]
313                  do                  do
314                          create l_service_consumer                          create l_service_consumer
315                          if l_service_consumer.is_service_available and then l_service_consumer.service.is_interface_usable then                          if attached l_service_consumer.service as l_service and then l_service.is_interface_usable then
316                                  Result := l_service_consumer.service                                  Result := l_service
317                          end                          end
318                  end                  end
319    

Legend:
Removed from v.94663  
changed lines
  Added in v.94740

  ViewVC Help
Powered by ViewVC 1.1.23