/[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 13232 by manus, Fri Feb 5 03:57:18 1999 UTC revision 14013 by manus, Wed Apr 14 19:02:53 1999 UTC
# Line 17  inherit Line 17  inherit
17                          conforms_to_array,                          conforms_to_array,
18                          generated_id,                          generated_id,
19                          generate_cid,                          generate_cid,
20                          make_gen_type_byte_code                          make_gen_type_byte_code,
21                            generate_cid_array,
22                            generate_cid_init
23                  end                  end
24    
25  feature  feature
# Line 340  feature -- Generic conformance Line 342  feature -- Generic conformance
342                          ba.append_short_integer (generated_id (False))                          ba.append_short_integer (generated_id (False))
343                  end                  end
344    
345            generate_cid_array (buffer : GENERATION_BUFFER;
346                                                    final_mode, use_info : BOOLEAN; idx_cnt : COUNTER) is
347                    local
348                            dummy : INTEGER
349                    do
350                            if
351                                    use_info and then (cr_info /= Void)
352                                    and then not (is_expanded or is_basic)
353                            then
354                                    -- It's an anchored type
355                                    cr_info.generate_cid_array (buffer, final_mode, idx_cnt)
356                            end
357                            buffer.putint (generated_id (final_mode))
358                            buffer.putstring (", ")
359    
360                            -- Increment counter
361                            dummy := idx_cnt.next
362                    end
363    
364            generate_cid_init (buffer : GENERATION_BUFFER;
365                                               final_mode, use_info : BOOLEAN; idx_cnt : COUNTER) is
366                    local
367                            dummy : INTEGER
368                    do
369                            if
370                                    use_info and then (cr_info /= Void)
371                                    and then not (is_expanded or is_basic)
372                            then
373                                    -- It's an anchored type
374                                    cr_info.generate_cid_init (buffer, final_mode, idx_cnt)
375                            end
376    
377                            dummy := idx_cnt.next
378                    end
379  end  end

Legend:
Removed from v.13232  
changed lines
  Added in v.14013

  ViewVC Help
Powered by ViewVC 1.1.23