/[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 41824 by manus, Sat Mar 6 01:51:40 2004 UTC revision 42413 by manus, Fri Mar 26 03:31:02 2004 UTC
# Line 162  feature -- Access Line 162  feature -- Access
162                  do                  do
163                          if is_expanded then                          if is_expanded then
164                                  create exp                                  create exp
165                                  exp.set_class_type (base_class.types.search_item (Current))                                  exp.set_cl_type_i (Current)
166                                  exp.set_type_i (Current)                                  exp.set_type_i (Current)
167                                  Result := exp                                  Result := exp
168                          else                          else
169                                  Result := c_type.description                                  Result := c_type.description
170                          end                                  ref ?= Result
171                                    if ref /= Void then
172                          ref ?= Result                                          ref.set_type_i (Current)
173                          if ref /= Void then                                  end
                                 ref.set_type_i (Current)  
174                          end                          end
175                  end                  end
176    
# Line 180  feature -- Access Line 179  feature -- Access
179                  do                  do
180                          Result := Reference_c_type                          Result := Reference_c_type
181                  end                  end
182    
183            reference_type: CL_TYPE_I is
184                            -- Associated reference type of Current
185                    do
186                            if not is_expanded then
187                                    Result := Current
188                            else
189                                    Result := twin
190                                    Result.set_is_expanded (False)
191                            end
192                    end
193    
194            associated_reference_class_type: CLASS_TYPE is
195                            -- Reference class type of Current
196                    do
197                            Result := reference_type.associated_class_type
198                    end
199                                    
200          associated_class_type: CLASS_TYPE is          associated_class_type: CLASS_TYPE is
201                          -- Associated class type                          -- Associated class type

Legend:
Removed from v.41824  
changed lines
  Added in v.42413

  ViewVC Help
Powered by ViewVC 1.1.23