/[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 39145 by manus, Fri Sep 19 02:32:25 2003 UTC revision 39412 by manus, Sat Oct 4 22:08:21 2003 UTC
# Line 479  feature -- Generic conformance Line 479  feature -- Generic conformance
479                          then                          then
480                                  -- It's an anchored type                                  -- It's an anchored type
481                                  cr_info.generate_cid (buffer, final_mode)                                  cr_info.generate_cid (buffer, final_mode)
482                            else
483                                    buffer.putint (generated_id (final_mode))
484                                    buffer.putstring (", ")
485                          end                          end
                         buffer.putint (generated_id (final_mode))  
                         buffer.putstring (", ")  
486                  end                  end
487    
488          make_gen_type_byte_code (ba : BYTE_ARRAY; use_info : BOOLEAN) is          make_gen_type_byte_code (ba : BYTE_ARRAY; use_info : BOOLEAN) is
# Line 492  feature -- Generic conformance Line 493  feature -- Generic conformance
493                          then                          then
494                                  -- It's an anchored type                                  -- It's an anchored type
495                                  cr_info.make_gen_type_byte_code (ba)                                  cr_info.make_gen_type_byte_code (ba)
496                            else
497                                    ba.append_short_integer (generated_id (False))
498                          end                          end
                         ba.append_short_integer (generated_id (False))  
499                  end                  end
500    
501          generate_cid_array (buffer : GENERATION_BUFFER;          generate_cid_array (buffer : GENERATION_BUFFER;
# Line 505  feature -- Generic conformance Line 507  feature -- Generic conformance
507                                  use_info and then (cr_info /= Void)                                  use_info and then (cr_info /= Void)
508                                  and then not is_expanded                                  and then not is_expanded
509                          then                          then
510                                  -- It's an anchored type                                          -- It's an anchored type
511                                  cr_info.generate_cid_array (buffer, final_mode, idx_cnt)                                  cr_info.generate_cid_array (buffer, final_mode, idx_cnt)
512                          end                          else
513                          buffer.putint (generated_id (final_mode))                                  buffer.putint (generated_id (final_mode))
514                          buffer.putstring (", ")                                  buffer.putstring (", ")
515    
516                          -- Increment counter                                          -- Increment counter
517                          dummy := idx_cnt.next                                  dummy := idx_cnt.next
518                            end
519                  end                  end
520    
521          generate_cid_init (buffer : GENERATION_BUFFER;          generate_cid_init (buffer : GENERATION_BUFFER;
# Line 526  feature -- Generic conformance Line 529  feature -- Generic conformance
529                          then                          then
530                                  -- It's an anchored type                                  -- It's an anchored type
531                                  cr_info.generate_cid_init (buffer, final_mode, idx_cnt)                                  cr_info.generate_cid_init (buffer, final_mode, idx_cnt)
532                            else
533                                    dummy := idx_cnt.next
534                          end                          end
   
                         dummy := idx_cnt.next  
535                  end                  end
536    
537  feature -- Generic conformance for IL  feature -- Generic conformance for IL

Legend:
Removed from v.39145  
changed lines
  Added in v.39412

  ViewVC Help
Powered by ViewVC 1.1.23