/[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 11065 by manus, Wed Aug 19 03:27:55 1998 UTC revision 11209 by manus, Thu Sep 3 23:27:31 1998 UTC
# Line 313  feature -- Generic conformance Line 313  feature -- Generic conformance
313                  do                  do
314                          !!Result.make (0)                          !!Result.make (0)
315    
316                          if use_info and then (cr_info /= Void) then                          if
317                                  -- It's an ancored type                                  use_info and then (cr_info /= Void)
318                                    and then not (is_expanded or is_basic)
319                            then
320                                    -- It's an anchored type
321                                  Result.append (cr_info.gen_type_string (final_mode))                                  Result.append (cr_info.gen_type_string (final_mode))
322                          end                          end
323                          Result.append_integer (generated_id (final_mode))                          Result.append_integer (generated_id (final_mode))
# Line 323  feature -- Generic conformance Line 326  feature -- Generic conformance
326    
327          make_gen_type_byte_code (ba : BYTE_ARRAY; use_info : BOOLEAN) is          make_gen_type_byte_code (ba : BYTE_ARRAY; use_info : BOOLEAN) is
328                  do                  do
329                          if use_info and then (cr_info /= Void) then                          if
330                                  -- It's an ancored type                                  use_info and then (cr_info /= Void)
331                                    and then not (is_expanded or is_basic)
332                            then
333                                    -- It's an anchored type
334                                  cr_info.make_gen_type_byte_code (ba)                                  cr_info.make_gen_type_byte_code (ba)
335                          end                          end
336                          ba.append_short_integer (generated_id (False))                          ba.append_short_integer (generated_id (False))

Legend:
Removed from v.11065  
changed lines
  Added in v.11209

  ViewVC Help
Powered by ViewVC 1.1.23