/[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 67175 by alexk, Tue Jun 27 11:13:50 2006 UTC revision 67176 by manus, Sat Mar 10 01:10:13 2007 UTC
# Line 14  inherit Line 14  inherit
14                          actual_type, associated_class, conform_to, conformance_type, convert_to,                          actual_type, associated_class, conform_to, conformance_type, convert_to,
15                          generics, has_associated_class, instantiated_in,                          generics, has_associated_class, instantiated_in,
16                          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,
17                          meta_type, set_actual_type, type_i                          meta_type, set_actual_type, type_i, evaluated_type_in_descendant
18                  end                  end
19    
20  feature -- Visitor  feature -- Visitor
# Line 164  feature {COMPILER_EXPORTER} -- Primitive Line 164  feature {COMPILER_EXPORTER} -- Primitive
164                          Result := class_type                          Result := class_type
165                  end                  end
166    
167            evaluated_type_in_descendant (a_ancestor, a_descendant: CLASS_C; a_feature: FEATURE_I): LIKE_CURRENT is
168                    do
169                            if a_ancestor /= a_descendant then
170                                    create Result
171                                    Result.set_actual_type (a_descendant.actual_type)
172                            else
173                                    Result := Current
174                            end
175                    end
176    
177          create_info: CREATE_CURRENT is          create_info: CREATE_CURRENT is
178                          -- Byte code information for entity type creation                          -- Byte code information for entity type creation
179                  once                  once

Legend:
Removed from v.67175  
changed lines
  Added in v.67176

  ViewVC Help
Powered by ViewVC 1.1.23