From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=0.2 required=5.0 tests=BAYES_00,INVALID_MSGID,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: fac41,c52c30d32b866eae
X-Google-Attributes: gidfac41,public
X-Google-Thread: 1108a1,c52c30d32b866eae
X-Google-Attributes: gid1108a1,public
X-Google-Thread: 103376,2ea02452876a15e1
X-Google-Attributes: gid103376,public
From: donh@syd.csa.com.au (Don Harrison)
Subject: Re: Real OO
Date: 1996/04/16
Message-ID: <DpxKzK.Br5@assip.csasyd.oz>#1/1
X-Deja-AN: 147707143
sender: news@assip.csasyd.oz
references: <4kmosp$mk0@Sahara.enmu.edu>
organization: CSC Australia
reply-to: donh@syd.csa.com.au
newsgroups: comp.lang.eiffel,comp.lang.ada,comp.object
Date: 1996-04-16T00:00:00+00:00
List-Id: <comp.lang.ada>

Jacob Gore  writes:

[...]

Please be patient with me; I'm a slow learner.

:	y: like x;

The static type is the static type of x in the class where this definition 
appears (explicitly, or implicitly in a descendant which does not redefine y).

Now, for dynamic type do we have:

a) The dynamic type is the same as the dynamic of x, or
b) The dynamic type is the same as the dynamic of x (or a descendant of that type)?

[a) seems more sensible, IMO].

[...]

::	y: like Current

The static type is the type of the class where this definition appears 
(explicitly, or implicitly in a descendant which does not redefine y).
The dynamic type is the same as that of the current object (but not a descendant 
of that type).

:Hope this gets you through the woods :-)

Almost.

:Jacob
:---
:Jacob Gore, Eastern NM U.   Jacob.Gore@ENMU.Edu | Jacob@ToolCASE.Com

Don.