/[eiffelstudio]/branches/CAT_mono/Src/Eiffel/eiffel/genericity/cl_type_i.e
ViewVC logotype

Diff of /branches/CAT_mono/Src/Eiffel/eiffel/genericity/cl_type_i.e

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 69650 by juliant, Tue Jul 24 17:18:14 2007 UTC revision 69651 by juliant, Tue Jul 24 17:50:09 2007 UTC
# Line 408  feature -- Status Line 408  feature -- Status
408                          -- Is the type expanded?                          -- Is the type expanded?
409                  do                  do
410                                  -- Do not check for `has_separate_mark' because a separate class cannot be expanded.                                  -- Do not check for `has_separate_mark' because a separate class cannot be expanded.
411                          Result := has_expanded_mark or else (has_no_mark and then base_class.is_expanded)                          Result := has_expanded_mark or else ((has_no_mark or has_monomorph_mark) and then base_class.is_expanded)
412                  end                  end
413    
414                  is_reference: BOOLEAN is                  is_reference: BOOLEAN is
415                          -- Is the type a reference type?                          -- Is the type a reference type?
416                  do                  do
417                          Result := has_reference_mark or else                          Result := has_reference_mark or else
418                                  ((has_no_mark or has_separate_mark) and then not base_class.is_expanded)                                  ((has_no_mark or has_separate_mark or has_monomorph_mark) and then not base_class.is_expanded)
419                  end                  end
420    
421          is_separate: BOOLEAN is          is_separate: BOOLEAN is

Legend:
Removed from v.69650  
changed lines
  Added in v.69651

  ViewVC Help
Powered by ViewVC 1.1.23