Re: creation

Article View: comp.lang.eiffel

Article #1082

#1082

From: Bertrand Meyer
Date: Sat, 23 Jan 1993 22:15

16 lines
786 bytes

I still don't understand the example in <memo.887754@cix.compulink.co.uk>
by wil@cix.compulink.co.uk (William Stuart-smith):


>   A 'V' conforms to a 'U'; V has no 'cp'.

>   [1]  x: U;  y: V;     !! x.cp;  x:=y
> 
>   [2]  x: U;  y: V;  ! U ! x.cp;  x:=y

What is the role of y and of the assigments? If x is to be reassigned
immediately after creation, the creation is useless. 
-- 
-- Bertrand Meyer
ISE, Santa Barbara
bertrand@eiffel.com

Technical Details

Message-ID: <40@glasgow.eiffel.com>

Path: arc1-ca.pugleaf.net!sparky!uunet!glasgow!bertrand

References: <memo.887754@cix.compulink.co.uk>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!glasgow!bertrand
From: bertrand@eiffel.com (Bertrand Meyer)
Newsgroups: comp.lang.eiffel
Subject: Re: creation
Message-ID: <40@glasgow.eiffel.com>
Date: 23 Jan 93 22:15:11 GMT
References: <memo.887754@cix.compulink.co.uk>
Organization: Interactive Software Engineering, Santa Barbara CA
Lines: 16

Reply to Parent Message