From: mcc@tyrolia.cs.princeton.edu (Martin C. Carlisle)
Subject: Re: Q: Primitive operation of a type
Date: 1997/07/02
Date: 1997-07-02T00:00:00+00:00 [thread overview]
Message-ID: <5ped1q$k40$1@cnn.Princeton.EDU> (raw)
In-Reply-To: 5oq51h$t7u@netline.jpl.nasa.gov
In article <5oq51h$t7u@netline.jpl.nasa.gov>,
Van Snyder <vsnyder@math.jpl.nasa.gov> wrote:
>I've looked at Barnes's book, and Cohen's book, and I can't
>decide whether it's possible for a procedure to be a primitive
>operation of more than one type.
It is NOT possible for an operation to be primitive for more than
one tagged type. In essence, you are attempting to do multiple inheritance,
which is not supported directly in Ada 95. See section 12.4.4.3 of Cohen,
and LRM 3.9.2 (12-13).
For more information on how you might be able to simulate this, see
section 4.6 of the rationale, or you can download a handout I wrote
regarding this (published in the proceedings of this year's ASEET symposium
at Monmouth Univ). See http://www.usafa.af.mil/dfcs/papers/#carlisle
--Martin
--
Martin C. Carlisle, Computer Science, US Air Force Academy
mcc@cs.usafa.af.mil, http://www.usafa.af.mil/dfcs/bios/carlisle.html
DISCLAIMER: This content in no way reflects the opinions, standard or
policy of the US Air Force Academy or the United States Government.
prev parent reply other threads:[~1997-07-02 0:00 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-06-25 0:00 Q: Primitive operation of a type Van Snyder
1997-07-01 0:00 ` Matthew Heaney
1997-07-02 0:00 ` Mats Weber
1997-07-03 0:00 ` Matthew Heaney
1997-07-08 0:00 ` Mats Weber
1997-07-14 0:00 ` Matthew Heaney
1997-07-02 0:00 ` Martin C. Carlisle [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox