From: jsa@alexandria (Jon S Anthony)
Subject: Re: Polymorphism/Inheritence
Date: 1997/03/03
Date: 1997-03-03T00:00:00+00:00 [thread overview]
Message-ID: <JSA.97Mar3133213@alexandria> (raw)
In-Reply-To: JSA.97Feb26163417@alexandria
In article <dewar.857270127@merv> dewar@merv.cs.nyu.edu (Robert Dewar) writes:
> Jon Anthony says
>
> << Pointer.all := Vehicle'Class(Temp_Car);
>
> Now, this compiles and runs OK on GNAT 3.09. But I don't know if it
> is really correct...>>
>
> yup, it's correct!
Right - it occured to me sometime after my post here that constrained
objects can have their _value_ changed, but not their form or
structure. That's what the notes in 3.7 are really trying to say.
So, my concerns about the "constrainedness" of the object were
irrelevant.
/Jon
--
Jon Anthony
Organon Motives, Inc.
Belmont, MA 02178
617.484.3383
jsa@organon.com
next prev parent reply other threads:[~1997-03-03 0:00 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-02-26 0:00 Polymorphism/Inheritence Adam C. Bacon
1997-02-26 0:00 ` Polymorphism/Inheritence Jon S Anthony
1997-02-28 0:00 ` Polymorphism/Inheritence Stephen Leake
1997-03-01 0:00 ` Polymorphism/Inheritence Robert Dewar
1997-03-03 0:00 ` Jon S Anthony [this message]
1997-02-27 0:00 ` Polymorphism/Inheritence Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox