/[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 64465 by alexk, Fri Oct 20 12:53:49 2006 UTC revision 64611 by alexk, Thu Oct 26 10:37:41 2006 UTC
# Line 505  feature -- Setting Line 505  feature -- Setting
505                          -- Set `cr_info' to `cinfo'.                          -- Set `cr_info' to `cinfo'.
506                  require                  require
507                          create_info_not_void: cinfo /= Void                          create_info_not_void: cinfo /= Void
508                          not_expanded: not is_expanded                          not_expanded: not is_expanded or else cinfo.is_equal (create {CREATE_CURRENT})
509                  do                  do
510                          cr_info := cinfo                          cr_info := cinfo
511                  ensure                  ensure

Legend:
Removed from v.64465  
changed lines
  Added in v.64611

  ViewVC Help
Powered by ViewVC 1.1.23