/[eiffelstudio]/branches/CAT_mono/Src/Eiffel/eiffel/interface/pointer_b.e
ViewVC logotype

Diff of /branches/CAT_mono/Src/Eiffel/eiffel/interface/pointer_b.e

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

revision 69649 by manus, Mon Jul 23 21:36:18 2007 UTC revision 69650 by juliant, Tue Jul 24 17:18:14 2007 UTC
# Line 51  feature -- Access Line 51  feature -- Access
51    
52  feature {CLASS_TYPE_AS} -- Actual class type  feature {CLASS_TYPE_AS} -- Actual class type
53    
54          partial_actual_type (gen: ARRAY [TYPE_A]; is_exp: BOOLEAN; is_sep: BOOLEAN): CL_TYPE_A is          partial_actual_type (gen: ARRAY [TYPE_A]; is_exp, is_sep, is_mono: BOOLEAN): CL_TYPE_A is
55                          -- Actual type of `current depending on the context in which it is declared                          -- Actual type of `current depending on the context in which it is declared
56                          -- in CLASS_TYPE_AS. That is to say, it could have generics `gen' but not                          -- in CLASS_TYPE_AS. That is to say, it could have generics `gen' but not
57                          -- be a generic class. It simplifies creation of `CL_TYPE_A' instances in                          -- be a generic class. It simplifies creation of `CL_TYPE_A' instances in
# Line 65  feature {CLASS_TYPE_AS} -- Actual class Line 65  feature {CLASS_TYPE_AS} -- Actual class
65                                          create Result.make (class_id)                                          create Result.make (class_id)
66                                  end                                  end
67                          else                          else
68                                  Result := Precursor {CLASS_B} (gen, is_exp, is_sep)                                  Result := Precursor {CLASS_B} (gen, is_exp, is_sep, is_mono)
69                          end                          end
70                  end                  end
71    

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

  ViewVC Help
Powered by ViewVC 1.1.23