/[eiffelstudio]/branches/eth/eve/Src/Eiffel/API/evaluated_type/visitor/type_a_feature_finder.e
ViewVC logotype

Diff of /branches/eth/eve/Src/Eiffel/API/evaluated_type/visitor/type_a_feature_finder.e

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 94982 by jasonw, Fri Mar 28 09:42:08 2014 UTC revision 94983 by jasonw, Fri May 2 11:05:28 2014 UTC
# Line 250  feature -- Search Line 250  feature -- Search
250                  ensure                  ensure
251                          same_name:                          same_name:
252                                  attached found_feature as f implies                                  attached found_feature as f implies
253                                  (f.rout_id_set.has (r))                                  f.rout_id_set.has (r)
254                          valid_site:                          valid_site:
255                                  attached found_feature as f implies attached found_site                                  attached found_feature as f implies attached found_site
256                          feature_from_class:                          feature_from_class:
# Line 278  feature {TYPE_A} -- Visitor Line 278  feature {TYPE_A} -- Visitor
278                  do                  do
279                          if                          if
280                                  attached t.base_class as c and then                                  attached t.base_class as c and then
281                                  attached feature_in_class.item ([c]) as f                                  attached feature_in_class.item ([c]) as f and then
282                                    (not attached found_feature as h or else
283                                            h.code_id /= f.code_id or else not h.rout_id_set.intersect (f.rout_id_set))
284                          then                          then
285                                  if not attached found_feature as h or else                                          -- Found next feature.
286                                          h.code_id /= f.code_id or else not h.rout_id_set.intersect (f.rout_id_set)                                          -- TODO: provide valid context.
287                                  then                                  found_features.extend ([f, t, t])
                                                 -- Found next feature.  
                                                 -- TODO: provide valid context.  
                                         found_features.extend ([f, t, t])  
                                 end  
288                          end                          end
289                  end                  end
290    

Legend:
Removed from v.94982  
changed lines
  Added in v.94983

  ViewVC Help
Powered by ViewVC 1.1.23