/[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 10140 by manus, Thu May 14 00:28:06 1998 UTC revision 10183 by manus, Thu May 21 23:39:12 1998 UTC
# Line 93  feature Line 93  feature
93                          -- Type description for skeletons                          -- Type description for skeletons
94                  local                  local
95                          exp: EXPANDED_DESC                          exp: EXPANDED_DESC
                         types: TYPE_LIST  
96                          ref: REFERENCE_DESC                          ref: REFERENCE_DESC
97                  do                  do
98                          if is_expanded then                          if is_expanded then
99                                  !! exp                                  !! exp
100                                  is_expanded := False                                  is_expanded := False
101                                    exp.set_class_type (base_class.types.search_item (Current))
                                 types := base_class.types  
   
                                 check  
                                                 --| The type should be present  
                                         has_type: types.has_type (Current)  
                                 end  
   
                                 if types.has_type (Current) then  
                                         exp.set_class_type (types.found_item)  
                                 end  
   
102                                  is_expanded := True                                  is_expanded := True
103                                  Result := exp                                  Result := exp
104                          elseif is_separate then                          elseif is_separate then
# Line 158  feature Line 146  feature
146    
147          has_associated_class_type: BOOLEAN is          has_associated_class_type: BOOLEAN is
148                          -- Has `Current' an associated class type?                          -- Has `Current' an associated class type?
                 local  
                         types : TYPE_LIST  
149                  do                  do
                         types := base_class.types  
   
150                          if is_expanded then                          if is_expanded then
151                                  is_expanded := false                                  is_expanded := false
152                                  Result := types.has_type (Current)                                  Result := base_class.types.has_type (Current)
153                                  is_expanded := true                                  is_expanded := true
154                          elseif is_separate then                          elseif is_separate then
155                                  is_separate := false                                  is_separate := false
156                                  Result := types.has_type (Current)                                  Result := base_class.types.has_type (Current)
157                                  is_separate := true                                  is_separate := true
158                          else                          else
159                                  Result := types.has_type (Current)                                  Result := base_class.types.has_type (Current)
160                          end                          end
161                  end                  end
162    
# Line 188  feature Line 172  feature
172                          elseif is_separate then                          elseif is_separate then
173                                  Result := associated_separate_class_type                                  Result := associated_separate_class_type
174                          else                          else
175                                  types := base_class.types                                  Result := base_class.types.search_item (Current)
   
                                 check  
                                                 --| The type should be present  
                                         has_type: types.has_type (Current)  
                                 end  
   
                                 if types.has_type (Current) then  
                                         Result := types.found_item  
                                 end  
176                          end                          end
177                  end                  end
178    

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

  ViewVC Help
Powered by ViewVC 1.1.23