/[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 30293 by manus, Mon Jan 21 02:26:16 2002 UTC revision 30582 by manus, Sun Feb 10 00:04:43 2002 UTC
# Line 437  feature -- Generic conformance for IL Line 437  feature -- Generic conformance for IL
437                          -- creation instruction.                          -- creation instruction.
438                  do                  do
439                          if use_info and then cr_info /= Void then                          if use_info and then cr_info /= Void then
440                                          -- It's an ancored type                                          -- It's an anchored type, we call feature
441                                            -- that will tell us the real type of the
442                                            -- anchor in the context of Current.
443                                    cr_info.generate_il_type
444                            else
445                                    il_generator.generate_class_type_instance (Current)
446                          end                              end    
                         il_generator.generate_class_type_instance (Current)  
447                  end                  end
448    
449  feature -- Output  feature -- Output

Legend:
Removed from v.30293  
changed lines
  Added in v.30582

  ViewVC Help
Powered by ViewVC 1.1.23