/[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 71538 by alexk, Fri Nov 16 14:30:46 2007 UTC revision 71539 by manus, Sat Dec 15 01:01:44 2007 UTC
# Line 221  feature {COMPILER_EXPORTER} -- Primitive Line 221  feature {COMPILER_EXPORTER} -- Primitive
221                          -- Instantiation of Current in the context of `class_type'                          -- Instantiation of Current in the context of `class_type'
222                          -- assuming that Current is written in the associated class                          -- assuming that Current is written in the associated class
223                          -- of `class_type'.                          -- of `class_type'.
224                    local
225                            l_like: like Current
226                  do                  do
227                          Result := class_type                          Result := class_type
228                            if Result.is_like_current then
229                                            -- We cannot allow aliasing as otherwise we might end up updating
230                                            -- `like Current' type that should not be updated (Allowing the
231                                            -- aliasing would break eweasel test#valid218).
232                                    create l_like
233                                    l_like.set_actual_type (class_type.conformance_type)
234                                    Result := l_like
235                            end
236                  end                  end
237    
238          evaluated_type_in_descendant (a_ancestor, a_descendant: CLASS_C; a_feature: FEATURE_I): LIKE_CURRENT is          evaluated_type_in_descendant (a_ancestor, a_descendant: CLASS_C; a_feature: FEATURE_I): LIKE_CURRENT is

Legend:
Removed from v.71538  
changed lines
  Added in v.71539

  ViewVC Help
Powered by ViewVC 1.1.23