/[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 58325 by manus, Thu Apr 20 16:05:16 2006 UTC revision 60994 by manus, Wed Jul 5 20:59:00 2006 UTC
# Line 295  feature -- Status Line 295  feature -- Status
295          is_expanded: BOOLEAN is          is_expanded: BOOLEAN is
296                          -- Is the type expanded?                          -- Is the type expanded?
297                  do                  do
298                          Result := has_expanded_mark or else has_no_mark and then base_class.is_expanded                                  -- Do not check for `has_separate_mark' because a separate class cannot be expanded.
299                            Result := has_expanded_mark or else (has_no_mark and then base_class.is_expanded)
300                  end                  end
301    
302          is_reference: BOOLEAN is          is_reference: BOOLEAN is
303                          -- Is the type a reference type?                          -- Is the type a reference type?
304                  do                  do
305                          Result := has_reference_mark or else has_no_mark and then not base_class.is_expanded                          Result := has_reference_mark or else
306                                    ((has_no_mark or has_separate_mark) and then not base_class.is_expanded)
307                  end                  end
308    
309          is_separate: BOOLEAN is          is_separate: BOOLEAN is

Legend:
Removed from v.58325  
changed lines
  Added in v.60994

  ViewVC Help
Powered by ViewVC 1.1.23