/[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 35178 by manus, Mon Dec 23 20:08:09 2002 UTC revision 35544 by manus, Fri Jan 24 06:26:36 2003 UTC
# Line 275  feature -- Status Line 275  feature -- Status
275                  end                  end
276    
277          is_valid: BOOLEAN is          is_valid: BOOLEAN is
278                          -- Is the base class still in the system ?                          -- Is the base class still in the system and matches its specification?
279                  do                  do
280                          Result := base_class /= Void                          Result := base_class /= Void and then (base_class.generics = Void)
281                  end                  end
282    
283          is_reference: BOOLEAN is          is_reference: BOOLEAN is

Legend:
Removed from v.35178  
changed lines
  Added in v.35544

  ViewVC Help
Powered by ViewVC 1.1.23