/[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 73696 by manus, Sun Apr 20 20:58:53 2008 UTC revision 73697 by manus, Fri May 23 18:22:30 2008 UTC
# Line 11  class Line 11  class
11  inherit  inherit
12          LIKE_TYPE_A          LIKE_TYPE_A
13                  redefine                  redefine
14                          actual_type, deep_actual_type, associated_class, associated_class_type, conform_to, conformance_type, convert_to,                          actual_type, deep_actual_type, context_free_type,
15                            associated_class, associated_class_type, conform_to, conformance_type, convert_to,
16                          generics, has_associated_class, has_associated_class_type, instantiated_in, duplicate,                          generics, has_associated_class, has_associated_class_type, instantiated_in, duplicate,
17                          is_basic, is_expanded, is_external, is_like_current, is_none, is_reference,                          is_basic, is_expanded, is_external, is_like_current, is_none, is_reference,
18                          meta_type, set_actual_type, evaluated_type_in_descendant, is_tuple,                          meta_type, set_actual_type, evaluated_type_in_descendant, is_tuple,
# Line 44  feature -- Properties Line 45  feature -- Properties
45                          Result := conformance_type.deep_actual_type                          Result := conformance_type.deep_actual_type
46                  end                  end
47    
48            context_free_type: like Current is
49                            -- <Precursor>
50                    do
51                            create Result
52                            Result.set_actual_type (conformance_type.context_free_type)
53                    end
54    
55          conformance_type: TYPE_A          conformance_type: TYPE_A
56                          -- Type of the anchored type as specified in `set_actual_type'                          -- Type of the anchored type as specified in `set_actual_type'
57    
# Line 537  feature {COMPILER_EXPORTER} -- Primitive Line 545  feature {COMPILER_EXPORTER} -- Primitive
545                                  -- when processing an inherited routine using `like Current'                                  -- when processing an inherited routine using `like Current'
546                                  -- we keep LIKE_CURRENT for the metatype, but simply replace                                  -- we keep LIKE_CURRENT for the metatype, but simply replace
547                                  -- its `conformance_type' with its `meta_type'.                                  -- its `conformance_type' with its `meta_type'.
548                          create {LIKE_CURRENT} Result                          create Result
549                          Result.set_actual_type (conformance_type.meta_type)                          Result.set_actual_type (conformance_type.meta_type)
550                  end                  end
551    

Legend:
Removed from v.73696  
changed lines
  Added in v.73697

  ViewVC Help
Powered by ViewVC 1.1.23