/[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 9971 by manus, Wed Apr 22 17:38:29 1998 UTC revision 10140 by manus, Thu May 14 00:28:06 1998 UTC
# Line 94  feature Line 94  feature
94                  local                  local
95                          exp: EXPANDED_DESC                          exp: EXPANDED_DESC
96                          types: TYPE_LIST                          types: TYPE_LIST
                         old_cursor: CURSOR  
97                          ref: REFERENCE_DESC                          ref: REFERENCE_DESC
98                  do                  do
99                          if is_expanded then                          if is_expanded then
100                                  !!exp                                  !! exp
101                                  is_expanded := False                                  is_expanded := False
102    
103                                  types := base_class.types                                  types := base_class.types
104                                  old_cursor := types.cursor  
105                                  types.compare_references                                  check
106                                  types.search (Current)                                                  --| The type should be present
107                                  exp.set_class_type (types.item)                                          has_type: types.has_type (Current)
108                                  types.go_to (old_cursor)                                  end
109    
110                                    if types.has_type (Current) then
111                                            exp.set_class_type (types.found_item)
112                                    end
113    
114                                  is_expanded := True                                  is_expanded := True
115                                  Result := exp                                  Result := exp
# Line 179  feature Line 182  feature
182                          has: has_associated_class_type                          has: has_associated_class_type
183                  local                  local
184                          types: TYPE_LIST                          types: TYPE_LIST
                         old_cursor: CURSOR  
185                  do                  do
186                          if is_expanded then                          if is_expanded then
187                                  Result := associated_expanded_class_type                                  Result := associated_expanded_class_type
# Line 187  feature Line 189  feature
189                                  Result := associated_separate_class_type                                  Result := associated_separate_class_type
190                          else                          else
191                                  types := base_class.types                                  types := base_class.types
192                                  old_cursor := types.cursor  
193                                  types.compare_references                                  check
194                                  types.search (Current)                                                  --| The type should be present
195                                  Result := types.item                                          has_type: types.has_type (Current)
196                                  types.go_to (old_cursor)                                  end
197    
198                                    if types.has_type (Current) then
199                                            Result := types.found_item
200                                    end
201                          end                          end
202                  end                  end
203    

Legend:
Removed from v.9971  
changed lines
  Added in v.10140

  ViewVC Help
Powered by ViewVC 1.1.23