/[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 48204 by alexk, Tue Feb 1 16:11:01 2005 UTC revision 48670 by alexk, Wed Feb 23 17:46:45 2005 UTC
# Line 176  feature -- Access Line 176  feature -- Access
176                          has: has_associated_class_type                          has: has_associated_class_type
177                  do                  do
178                          Result := base_class.types.search_item (Current)                          Result := base_class.types.search_item (Current)
179                    ensure
180                            result_not_void: Result /= Void
181                  end                  end
182    
183          type_id: INTEGER is          type_id: INTEGER is
# Line 294  feature -- Status Line 296  feature -- Status
296          has_associated_class_type: BOOLEAN is          has_associated_class_type: BOOLEAN is
297                          -- Has `Current' an associated class type?                          -- Has `Current' an associated class type?
298                  do                  do
299                          Result := base_class.types.search_item (Current) /= Void                          Result := base_class.types.has_type (Current)
300                  end                  end
301    
302          same_as (other: TYPE_I): BOOLEAN is          same_as (other: TYPE_I): BOOLEAN is

Legend:
Removed from v.48204  
changed lines
  Added in v.48670

  ViewVC Help
Powered by ViewVC 1.1.23