home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / lang / eiffel / 1453 < prev    next >
Encoding:
Internet Message Format  |  1993-01-24  |  760 b 
  1. Path: sparky!uunet!glasgow!bertrand
  2. From: bertrand@eiffel.com (Bertrand Meyer)
  3. Newsgroups: comp.lang.eiffel
  4. Subject: Re: creation
  5. Message-ID: <40@glasgow.eiffel.com>
  6. Date: 23 Jan 93 22:15:11 GMT
  7. References: <memo.887754@cix.compulink.co.uk>
  8. Organization: Interactive Software Engineering, Santa Barbara CA
  9. Lines: 16
  10.  
  11. I still don't understand the example in <memo.887754@cix.compulink.co.uk>
  12. by wil@cix.compulink.co.uk (William Stuart-smith):
  13.  
  14.  
  15. >   A 'V' conforms to a 'U'; V has no 'cp'.
  16.  
  17. >   [1]  x: U;  y: V;     !! x.cp;  x:=y
  18. > 
  19. >   [2]  x: U;  y: V;  ! U ! x.cp;  x:=y
  20.  
  21. What is the role of y and of the assigments? If x is to be reassigned
  22. immediately after creation, the creation is useless. 
  23. -- 
  24. -- Bertrand Meyer
  25. ISE, Santa Barbara
  26. bertrand@eiffel.com
  27.