/[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 11218 by manus, Fri Sep 4 02:24:57 1998 UTC revision 11298 by manus, Sun Sep 13 20:40:22 1998 UTC
# Line 16  inherit Line 16  inherit
16                          complete_instantiation_in,                          complete_instantiation_in,
17                          conforms_to_array,                          conforms_to_array,
18                          generated_id,                          generated_id,
19                          gen_type_string,                          generate_cid,
20                          make_gen_type_byte_code                          make_gen_type_byte_code
21                  end                  end
22    
# Line 300  feature Line 300  feature
300  feature -- Generic conformance  feature -- Generic conformance
301    
302          generated_id (final_mode : BOOLEAN) : INTEGER is          generated_id (final_mode : BOOLEAN) : INTEGER is
303    
304                  do                  do
305                          if has_associated_class_type then                          if final_mode then
306                                  if final_mode then                                  Result := type_id - 1
                                         Result := type_id - 1  
                                 else  
                                         Result := associated_class_type.id.id-1  
                                 end  
   
                                 if is_expanded then  
                                         Result := -256 - Result  
                                 end  
307                          else                          else
308                                  Result := -10       -- Invalid - should never happen                                  Result := associated_class_type.id.id-1
309                            end
310    
311                            if is_expanded then
312                                    Result := -256 - Result
313                          end                          end
314                  end                  end
315    
316          gen_type_string (final_mode, use_info : BOOLEAN) : STRING is          generate_cid (f : INDENT_FILE; final_mode, use_info : BOOLEAN) is
                 do  
                         !!Result.make (0)  
317    
318                    do
319                          if                          if
320                                  use_info and then (cr_info /= Void)                                  use_info and then (cr_info /= Void)
321                                  and then not (is_expanded or is_basic)                                  and then not (is_expanded or is_basic)
322                          then                          then
323                                  -- It's an anchored type                                  -- It's an anchored type
324                                  Result.append (cr_info.gen_type_string (final_mode))                                  cr_info.generate_cid (f, final_mode)
325                          end                          end
326                          Result.append_integer (generated_id (final_mode))                          f.putint (generated_id (final_mode))
327                          Result.append (", ")                          f.putstring (", ")
328                  end                  end
329    
330          make_gen_type_byte_code (ba : BYTE_ARRAY; use_info : BOOLEAN) is          make_gen_type_byte_code (ba : BYTE_ARRAY; use_info : BOOLEAN) is

Legend:
Removed from v.11218  
changed lines
  Added in v.11298

  ViewVC Help
Powered by ViewVC 1.1.23