/[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 60999 by manus, Thu Jul 6 00:50:32 2006 UTC revision 61575 by alexk, Mon Jul 24 12:51:08 2006 UTC
# Line 120  feature -- Access Line 120  feature -- Access
120                          Result := twin                          Result := twin
121                  end                  end
122    
123            reference_type: CL_TYPE_I is
124                            -- Corresponding reference type
125                    require
126                            is_expanded: is_expanded
127                    do
128                            Result := duplicate
129                            Result.set_reference_mark
130                    ensure
131                            result_is_reference: Result.is_reference
132                    end
133    
134          instantiation_in (other: CLASS_TYPE): CL_TYPE_I is          instantiation_in (other: CLASS_TYPE): CL_TYPE_I is
135                          -- Instantation of Current in `other'                          -- Instantation of Current in `other'
136                  do                  do

Legend:
Removed from v.60999  
changed lines
  Added in v.61575

  ViewVC Help
Powered by ViewVC 1.1.23