home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / lang / eiffel / 1455 < prev    next >
Encoding:
Internet Message Format  |  1993-01-25  |  1.0 KB
  1. Path: sparky!uunet!pipex!demon!cix.compulink.co.uk!wil
  2. Newsgroups: comp.lang.eiffel
  3. From: wil@cix.compulink.co.uk (William Stuart-smith)
  4. Subject: Re: creation                            
  5. Cc: wil@cix.compulink.co.uk
  6. Reply-To: wil@cix.compulink.co.uk
  7. Date: Mon, 25 Jan 1993 06:22:00 +0000
  8. Message-ID: <memo.891461@cix.compulink.co.uk>
  9. Sender: usenet@demon.co.uk
  10. Lines: 19
  11.  
  12. bertrand@eiffel.com (Bertrand Meyer) writes
  13. > What is the role of y and of the assigments? If x is to be reassigned
  14. > immediately after creation, the creation is useless.
  15.  
  16. I said it was a simple way; I didn't say it was a realistic way. :-)
  17. The purpose of the assignments to y is simply to make [1] system-invalid.
  18.  
  19. If a 'V' conforms to a 'U' and 'V' has no 'cp', then
  20. is
  21.    [1]  x: U;  y: V;     !! x.cp;  x:=y
  22. system-invalid?
  23. Is
  24.    [2]  x: U;  y: V;  ! U ! x.cp;  x:=y
  25. valid?
  26.  
  27. Sorry if I have got the wrong end of the stick. When I asked
  28. eiffel@rocksld.com (Rock Howard) about this, he couldn't explain it. He said
  29. he thought there was a problem. That is why I brought up the subject here.
  30.  
  31.