/[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 282 by grator, Wed Jul 28 16:03:15 1993 UTC revision 485 by grator, Fri Feb 18 11:40:51 1994 UTC
# Line 85  feature Line 85  feature
85                          -- Type description for skeletons                          -- Type description for skeletons
86                  local                  local
87                          exp: EXPANDED_DESC;                          exp: EXPANDED_DESC;
88              types: TYPE_LIST;                          types: TYPE_LIST;
89              pos: INTEGER;                          pos: INTEGER;
90          do                  do
91                          if is_expanded then                          if is_expanded then
92                                  !!exp;                                  !!exp;
93                                  is_expanded := False;                                  is_expanded := False;
94    
95                  types := base_class.types;                                  types := base_class.types;
96                  pos := types.position;                                  pos := types.position;
97                  types.search (Current);                                  types.search (Current);
98                                  exp.set_class_type (types.item);                                  exp.set_class_type (types.item);
99                  types.go (pos);                                  types.go (pos);
100    
101                                  is_expanded := True;                                  is_expanded := True;
102                                  Result := exp;                                  Result := exp;
# Line 122  feature Line 122  feature
122          associated_class_type: CLASS_TYPE is          associated_class_type: CLASS_TYPE is
123                          -- Associated class type                          -- Associated class type
124                  local                  local
125              types: TYPE_LIST;                          types: TYPE_LIST;
126              pos: INTEGER;                          pos: INTEGER;
127          do                  do
128              if is_expanded then                          if is_expanded then
129                  Result := associated_expanded_class_type                                  Result := associated_expanded_class_type
130              else                          else
131                  types := base_class.types;                                  types := base_class.types;
132                  pos := types.position;                                  pos := types.position;
133                  types.search (Current);                                  types.search (Current);
134                  Result := types.item;                                  Result := types.item;
135                  types.go (pos);                                  types.go (pos);
136              end;                          end;
137          end;                  end;
138    
139          associated_expanded_class_type: CLASS_TYPE is          associated_expanded_class_type: CLASS_TYPE is
140                          -- Associated expanded class type                          -- Associated expanded class type
# Line 142  feature Line 142  feature
142                          is_expanded: is_expanded                          is_expanded: is_expanded
143                  do                  do
144                          is_expanded := false;                          is_expanded := false;
145              Result := associated_class_type;                          Result := associated_class_type;
146              is_expanded := true;                          is_expanded := true;
147                  end;                  end;
148    
149          type_id: INTEGER is          type_id: INTEGER is

Legend:
Removed from v.282  
changed lines
  Added in v.485

  ViewVC Help
Powered by ViewVC 1.1.23