/[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 75258 by alexk, Fri Oct 17 08:35:38 2008 UTC revision 75259 by alexk, Thu Oct 23 18:28:25 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 := to_current_attachment (a)                          conformance_type := a.to_other_attachment (Current)
349                          actual_type := Current                          actual_type := Current
350                  end                  end
351    
# Line 354  feature {COMPILER_EXPORTER} -- Modificat Line 354  feature {COMPILER_EXPORTER} -- Modificat
354                  do                  do
355                          Precursor                          Precursor
356                          if not conformance_type.is_attached then                          if not conformance_type.is_attached then
357                                  conformance_type := conformance_type.as_attached                                  conformance_type := conformance_type.as_attached_type
358                          end                          end
359                  end                  end
360    
# Line 423  feature {COMPILER_EXPORTER} -- Primitive Line 423  feature {COMPILER_EXPORTER} -- Primitive
423                                  -- i16 := (0x00FF).to_integer_16 & i8                                  -- i16 := (0x00FF).to_integer_16 & i8
424                                  -- or                                  -- or
425                                  -- i16 := (0x00FF & i8).to_integer_16                                  -- i16 := (0x00FF & i8).to_integer_16
426                          Result := to_current_attachment (type.intrinsic_type)                          Result := type.intrinsic_type.to_other_attachment (Current)
427                  end                  end
428    
429          adapted_in, skeleton_adapted_in (a_class_type: CLASS_TYPE): CL_TYPE_A is          adapted_in, skeleton_adapted_in (a_class_type: CLASS_TYPE): CL_TYPE_A is
# Line 448  feature {COMPILER_EXPORTER} -- Primitive Line 448  feature {COMPILER_EXPORTER} -- Primitive
448                                  l_like.set_actual_type (class_type.conformance_type)                                  l_like.set_actual_type (class_type.conformance_type)
449                                  Result := l_like                                  Result := l_like
450                          end                          end
451                          Result := to_current_attachment (Result)                          Result := Result.to_other_attachment (Current)
452                  end                  end
453    
454          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.75258  
changed lines
  Added in v.75259

  ViewVC Help
Powered by ViewVC 1.1.23