/[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 7681 by michaels, Wed Feb 12 09:23:09 1997 UTC revision 8805 by manus, Wed Dec 10 17:30:55 1997 UTC
# Line 22  feature Line 22  feature
22                          -- Base class id of the type class                          -- Base class id of the type class
23    
24          is_expanded: BOOLEAN;          is_expanded: BOOLEAN;
25                          -- Is the type expanded ?                          -- Is the type expanded?
26    
27          is_separate: BOOLEAN;          is_separate: BOOLEAN;
28                          -- Is the type separate ?                          -- Is the type separate?
29    
30          set_base_id (c: CLASS_ID) is          set_base_id (c: CLASS_ID) is
31                          -- Assign `c' to `base_id'.                          -- Assign `c' to `base_id'.
# Line 75  feature Line 75  feature
75                          other_cl_type: CL_TYPE_I;                          other_cl_type: CL_TYPE_I;
76                  do                  do
77                          other_cl_type ?= other;                          other_cl_type ?= other;
78                          Result :=       other_cl_type /= Void                          Result := other_cl_type /= Void -- FIXME
79                                                  and then                                          and then equal (other_cl_type.base_id, base_id)
80                                                          -- FIXME                                          and then other_cl_type.is_expanded = is_expanded
81                                                  equal (other_cl_type.base_id, base_id)                                          and then other_cl_type.is_separate = is_separate
82                                                  and then                                          and then other_cl_type.meta_generic = Void
                                                 other_cl_type.is_expanded = is_expanded  
                                                 and then  
                                                 other_cl_type.is_separate = is_separate  
                                                 and then  
                                                 other_cl_type.meta_generic = Void  
83                  end;                  end;
84    
85          instantiation_in (other: GEN_TYPE_I): CL_TYPE_I is          instantiation_in (other: GEN_TYPE_I): CL_TYPE_I is

Legend:
Removed from v.7681  
changed lines
  Added in v.8805

  ViewVC Help
Powered by ViewVC 1.1.23