/[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 75945 by alexk, Thu Nov 6 16:15:54 2008 UTC revision 75946 by alexk, Fri Nov 28 13:42:30 2008 UTC
# Line 345  feature {COMPILER_EXPORTER} -- Modificat Line 345  feature {COMPILER_EXPORTER} -- Modificat
345          set_actual_type (a: TYPE_A) is          set_actual_type (a: TYPE_A) is
346                          -- Assign `a' to `conformance_type'.                          -- Assign `a' to `conformance_type'.
347                  do                  do
348                          conformance_type := a.to_other_attachment (Current)                          conformance_type := a.to_other_immediate_attachment (Current)
349                          actual_type := Current                          actual_type := Current
350                  end                  end
351    
# 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                          conformance_type := conformance_type.to_other_attachment (Current)                          conformance_type := conformance_type.to_other_immediate_attachment (Current)
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                          conformance_type := conformance_type.to_other_attachment (Current)                          conformance_type := conformance_type.to_other_immediate_attachment (Current)
364                  end                  end
365    
366          set_is_implicitly_attached          set_is_implicitly_attached
# Line 370  feature {COMPILER_EXPORTER} -- Modificat Line 370  feature {COMPILER_EXPORTER} -- Modificat
370                          Precursor                          Precursor
371                          a := conformance_type                          a := conformance_type
372                          if a /= Void then                          if a /= Void then
373                                  conformance_type := a.to_other_attachment (Current)                                  conformance_type := a.to_other_immediate_attachment (Current)
374                          end                          end
375                  end                  end
376    
# Line 381  feature {COMPILER_EXPORTER} -- Modificat Line 381  feature {COMPILER_EXPORTER} -- Modificat
381                          Precursor                          Precursor
382                          a := conformance_type                          a := conformance_type
383                          if a /= Void then                          if a /= Void then
384                                  conformance_type := a.to_other_attachment (Current)                                  conformance_type := a.to_other_immediate_attachment (Current)
385                          end                          end
386                  end                  end
387    
Legend:
Removed from v.75945  
changed lines
  Added in v.75946
  ViewVC Help
Powered by ViewVC 1.1.23