/[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 73123 by alexk, Fri Apr 11 20:15:19 2008 UTC revision 73124 by manus, Sun Apr 20 20:58:53 2008 UTC
# Line 530  feature {COMPILER_EXPORTER} -- Primitive Line 530  feature {COMPILER_EXPORTER} -- Primitive
530                          Result := conformance_type.convert_to (a_context_class, a_target_type)                          Result := conformance_type.convert_to (a_context_class, a_target_type)
531                  end                  end
532    
533          meta_type: TYPE_A is          meta_type: LIKE_CURRENT is
534                          -- Meta type.                          -- Meta type.
535                  do                  do
536                          Result := conformance_type.meta_type                                  -- Because `like Current' could possibly means a basic type
537                                    -- when processing an inherited routine using `like Current'
538                                    -- we keep LIKE_CURRENT for the metatype, but simply replace
539                                    -- its `conformance_type' with its `meta_type'.
540                            create {LIKE_CURRENT} Result
541                            Result.set_actual_type (conformance_type.meta_type)
542                  end                  end
543    
544  indexing  indexing

Legend:
Removed from v.73123  
changed lines
  Added in v.73124

  ViewVC Help
Powered by ViewVC 1.1.23