/[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 10890 by manus, Tue Aug 11 00:12:19 1998 UTC revision 11065 by manus, Wed Aug 19 03:27:55 1998 UTC
# Line 179  feature Line 179  feature
179                          -- Has `Current' an associated class type?                          -- Has `Current' an associated class type?
180                  do                  do
181                          if is_expanded then                          if is_expanded then
182                                  is_expanded := false                                  is_expanded := False
183                                  Result := base_class.types.has_type (Current)                                  Result := base_class.types.has_type (Current)
184                                  is_expanded := true                                  is_expanded := True
185                          elseif is_separate then                          elseif is_separate then
186                                  is_separate := false                                  is_separate := False
187                                  Result := base_class.types.has_type (Current)                                  Result := base_class.types.has_type (Current)
188                                  is_separate := true                                  is_separate := True
189                          else                          else
190                                  Result := base_class.types.has_type (Current)                                  Result := base_class.types.has_type (Current)
191                          end                          end
# Line 199  feature Line 199  feature
199                          types: TYPE_LIST                          types: TYPE_LIST
200                  do                  do
201                          if is_expanded then                          if is_expanded then
202                                  Result := associated_expanded_class_type                                  is_expanded := False
203                                    Result := base_class.types.conservative_search_item (Current)
204                                    is_expanded := True
205                          elseif is_separate then                          elseif is_separate then
206                                  Result := associated_separate_class_type                                  is_separate := False
207                                    Result := base_class.types.conservative_search_item (Current)
208                                    is_separate := True
209                          else                          else
210                                  Result := base_class.types.conservative_search_item (Current)                                  Result := base_class.types.conservative_search_item (Current)
211                          end                          end
212                  end                  end
213    
         associated_expanded_class_type: CLASS_TYPE is  
                         -- Associated expanded class type  
                 require  
                         is_expanded: is_expanded  
                         has: has_associated_class_type  
                 do  
                         is_expanded := false  
                         Result := associated_class_type  
                         is_expanded := true  
                 end  
   
         associated_separate_class_type: CLASS_TYPE is  
                         -- Associated separate class type  
                 require  
                         is_separate: is_separate  
                         has: has_associated_class_type  
                 do  
                         is_separate := false  
                         Result := associated_class_type  
                         is_separate := true  
                 end  
   
214          type_id: INTEGER is          type_id: INTEGER is
215                          -- Type id of the correponding class type                          -- Type id of the correponding class type
216                  do                  do
# Line 238  feature Line 220  feature
220          expanded_type_id: INTEGER is          expanded_type_id: INTEGER is
221                          -- Type id of the corresponding expanded class type                          -- Type id of the corresponding expanded class type
222                  do                  do
223                          Result := associated_expanded_class_type.type_id                          is_expanded := False
224                            Result := base_class.types.conservative_search_item (Current).type_id
225                            is_expanded := True
226                  end                  end
227    
228          generate_cecil_value (file: INDENT_FILE) is          generate_cecil_value (file: INDENT_FILE) is

Legend:
Removed from v.10890  
changed lines
  Added in v.11065

  ViewVC Help
Powered by ViewVC 1.1.23