Re: creation

Article View: comp.lang.eiffel

Article #1084

#1084

From: William Stuart-smith
Date: Mon, 25 Jan 1993 06:22

18 lines
1092 bytes

bertrand@eiffel.com (Bertrand Meyer) writes
> What is the role of y and of the assigments? If x is to be reassigned
> immediately after creation, the creation is useless.

I said it was a simple way; I didn't say it was a realistic way. :-)
The purpose of the assignments to y is simply to make [1] system-invalid.

If a 'V' conforms to a 'U' and 'V' has no 'cp', then
is
   [1]  x: U;  y: V;     !! x.cp;  x:=y
system-invalid?
Is
   [2]  x: U;  y: V;  ! U ! x.cp;  x:=y
valid?

Sorry if I have got the wrong end of the stick. When I asked
eiffel@rocksld.com (Rock Howard) about this, he couldn't explain it. He said
he thought there was a problem. That is why I brought up the subject here.

Technical Details

Message-ID: <memo.891461@cix.compulink.co.uk>

Path: arc1-ca.pugleaf.net!sparky!uunet!pipex!demon!cix.compulink.co.uk!wil

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!pipex!demon!cix.compulink.co.uk!wil
Newsgroups: comp.lang.eiffel
From: wil@cix.compulink.co.uk (William Stuart-smith)
Subject: Re: creation                            
Cc: wil@cix.compulink.co.uk
Reply-To: wil@cix.compulink.co.uk
Date: Mon, 25 Jan 1993 06:22:00 +0000
Message-ID: <memo.891461@cix.compulink.co.uk>
Sender: usenet@demon.co.uk
Lines: 19