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

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

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

revision 75455 by alexk, Thu Oct 23 18:28:25 2008 UTC revision 75456 by alexk, Thu Nov 6 16:15:54 2008 UTC
# Line 353  feature {COMPILER_EXPORTER} -- Modificat Line 353  feature {COMPILER_EXPORTER} -- Modificat
353                          -- Mark type declaration as having an explicit attached mark.                          -- Mark type declaration as having an explicit attached mark.
354                  do                  do
355                          Precursor                          Precursor
356                          if not conformance_type.is_attached then                          conformance_type := conformance_type.to_other_attachment (Current)
                                 conformance_type := conformance_type.as_attached_type  
                         end  
357                  end                  end
358    
359          set_detachable_mark is          set_detachable_mark is
360                          -- Set class type declaration as having an explicit detachable mark.                          -- Set class type declaration as having an explicit detachable mark.
361                  do                  do
362                          Precursor                          Precursor
363                          if not is_expanded and then (conformance_type.is_attached or else conformance_type.is_implicitly_attached) then                          conformance_type := conformance_type.to_other_attachment (Current)
                                 conformance_type := conformance_type.as_detachable  
                         end  
364                  end                  end
365    
366          set_is_implicitly_attached          set_is_implicitly_attached
# Line 373  feature {COMPILER_EXPORTER} -- Modificat Line 369  feature {COMPILER_EXPORTER} -- Modificat
369                  do                  do
370                          Precursor                          Precursor
371                          a := conformance_type                          a := conformance_type
372                          if a /= Void and then not a.is_attached and then not a.is_implicitly_attached then                          if a /= Void then
373                                  conformance_type := a.as_implicitly_attached                                  conformance_type := a.to_other_attachment (Current)
374                          end                          end
375                  end                  end
376    
# Line 384  feature {COMPILER_EXPORTER} -- Modificat Line 380  feature {COMPILER_EXPORTER} -- Modificat
380                  do                  do
381                          Precursor                          Precursor
382                          a := conformance_type                          a := conformance_type
383                          if a /= Void and then not a.is_attached and then a.is_implicitly_attached then                          if a /= Void then
384                                  conformance_type := a.as_implicitly_detachable                                  conformance_type := a.to_other_attachment (Current)
385                          end                          end
386                  end                  end
387    
# Line 456  feature {COMPILER_EXPORTER} -- Primitive Line 452  feature {COMPILER_EXPORTER} -- Primitive
452                          if a_ancestor /= a_descendant then                          if a_ancestor /= a_descendant then
453                                  create Result                                  create Result
454                                  Result.set_actual_type (a_descendant.actual_type)                                  Result.set_actual_type (a_descendant.actual_type)
455                                  if has_attached_mark then                                  Result := Result.to_other_attachment (Current)
                                         Result.set_attached_mark  
                                 elseif has_detachable_mark then  
                                         Result.set_detachable_mark  
                                 end  
456                          else                          else
457                                  Result := Current                                  Result := Current
458                          end                          end

Legend:
Removed from v.75455  
changed lines
  Added in v.75456

  ViewVC Help
Powered by ViewVC 1.1.23