/[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 56535 by manus, Tue Jan 17 01:37:10 2006 UTC revision 56564 by alexk, Tue Jan 17 15:00:56 2006 UTC
# Line 10  class CL_TYPE_I Line 10  class CL_TYPE_I
10  inherit  inherit
11          TYPE_I          TYPE_I
12                  redefine                  redefine
13                            anchor_instantiation_in,
14                          c_type,                          c_type,
15                          conforms_to_array,                          conforms_to_array,
16                          created_in,                          created_in,
# Line 124  feature -- Access Line 125  feature -- Access
125                          Result := Current                          Result := Current
126                  end                  end
127    
128            anchor_instantiation_in (other: CLASS_TYPE): CL_TYPE_I is
129                            -- Instantation of `like Current' parts of Current in `other'
130                    do
131                            Result := Current
132                    end
133    
134          created_in (other: CLASS_TYPE): TYPE_I is          created_in (other: CLASS_TYPE): TYPE_I is
135                          -- Resulting type of Current as if it was used to create object in `other'.                          -- Resulting type of Current as if it was used to create object in `other'.
136                  do                  do
# Line 375  feature -- Status Line 382  feature -- Status
382                                          and then other_cl_type.true_generics = Void                                          and then other_cl_type.true_generics = Void
383                  end                  end
384    
385            has_actual (type: CL_TYPE_I): BOOLEAN is
386                            -- Is `type' an (possibly nested) actual parameter of this type?
387                    require
388                            non_void_type: type /= Void
389                    do
390                                    -- False here.
391                    end
392    
393  feature -- Setting  feature -- Setting
394    
395          set_expanded_mark is          set_expanded_mark is

Legend:
Removed from v.56535  
changed lines
  Added in v.56564

  ViewVC Help
Powered by ViewVC 1.1.23