/[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 10818 by manus, Thu Jul 30 20:33:23 1998 UTC revision 10890 by manus, Tue Aug 11 00:12:19 1998 UTC
# Line 54  feature Line 54  feature
54                          -- No meta generic in non-generic type                          -- No meta generic in non-generic type
55                  end                  end
56    
57            cr_info : CREATE_INFO
58                            -- Additional information for the creation
59                            -- of generic types with anchored parameters
60    
61            set_cr_info (cinfo : CREATE_INFO) is
62                            -- Set `cr_infoļ to `cinfoļ.
63                    do
64                            cr_info := cinfo
65                    ensure
66                            cr_info_set : cr_info = cinfo
67                    end
68    
69          true_generics : ARRAY [TYPE_I] is          true_generics : ARRAY [TYPE_I] is
70                          -- Array of generics: no mapping reference -> REFERENCE_I                          -- Array of generics: no mapping reference -> REFERENCE_I
71                  do                  do
# Line 297  feature Line 309  feature
309  feature -- Generic conformance  feature -- Generic conformance
310    
311          generated_id (final_mode : BOOLEAN) : INTEGER is          generated_id (final_mode : BOOLEAN) : INTEGER is
   
312                  do                  do
313                          if has_associated_class_type then                          if has_associated_class_type then
314                                  if final_mode then                                  if final_mode then
# Line 314  feature -- Generic conformance Line 325  feature -- Generic conformance
325                          end                          end
326                  end                  end
327    
328          gen_type_string (final_mode : BOOLEAN) : STRING is          gen_type_string (final_mode, use_info : BOOLEAN) : STRING is
   
329                  do                  do
330                          !!Result.make (0)                          !!Result.make (0)
331    
332                            if use_info and then (cr_info /= Void) then
333                                    -- It's an ancored type
334                                    Result.append (cr_info.gen_type_string (final_mode))
335                            end
336                          Result.append_integer (generated_id (final_mode))                          Result.append_integer (generated_id (final_mode))
337                          Result.append (", ")                          Result.append (", ")
338                  end                  end
339    
340          make_gen_type_byte_code (ba : BYTE_ARRAY) is          make_gen_type_byte_code (ba : BYTE_ARRAY; use_info : BOOLEAN) is
   
341                  do                  do
342                            if use_info and then (cr_info /= Void) then
343                                    -- It's an ancored type
344                                    cr_info.make_gen_type_byte_code (ba)
345                            end
346                          ba.append_short_integer (generated_id (False))                          ba.append_short_integer (generated_id (False))
347                  end                  end
348    

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

  ViewVC Help
Powered by ViewVC 1.1.23