From: jsa@alexandria (Jon S Anthony)
Subject: Re: Converting C++ class to Ada
Date: 1996/12/20
Date: 1996-12-20T00:00:00+00:00 [thread overview]
Message-ID: <JSA.96Dec19214712@alexandria> (raw)
In-Reply-To: JSA.96Dec11160847@alexandria
In article <mheaney-ya023280001812962110410001@news.ni.net> mheaney@ni.net (Matthew Heaney) writes:
> In article <JSA.96Dec18184555@alexandria>, jsa@alexandria (Jon S Anthony) wrote:
>
>
> >> Also, if I wanted to make sure that "null" wasn't used as one of the
> >> discriminants, would I have to use "access Motor.Object_Type" rather
> >> than the declared access type?
> >
> >Neither will prevent that.
>
> I thought that access discriminants (and parameters) without an explicit
> type raise Program_Error when you pass "null" as the value?
CE is raised if a null value is passed to an access _parameter_. I
have never seen anything indicating that CE (or PE) is raised if a
null value is given for the value of an access _discriminant_. A good
thing IMO on both counts. See in particular 11.5(11)
Of course, given a recent little discussion on the GNAT chat list I
could simply have not found it yet... :-) But really, this point seems
pretty clear!
/Jon
--
Jon Anthony
Organon Motives, Inc.
Belmont, MA 02178
617.484.3383
jsa@organon.com
next prev parent reply other threads:[~1996-12-20 0:00 UTC|newest]
Thread overview: 22+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-12-10 0:00 Converting C++ class to Ada Ken Garlington
1996-12-11 0:00 ` Larry Kilgallen
1996-12-11 0:00 ` Stephen Leake
1996-12-13 0:00 ` Stephen Leake
1996-12-11 0:00 ` Jon S Anthony
1996-12-12 0:00 ` Ken Garlington
1996-12-18 0:00 ` Jon S Anthony
1996-12-18 0:00 ` Matthew Heaney
1996-12-19 0:00 ` Robert A Duff
1996-12-20 0:00 ` Stephen Leake
1996-12-20 0:00 ` Robert A Duff
1996-12-20 0:00 ` Norman H. Cohen
1996-12-20 0:00 ` Jon S Anthony [this message]
1996-12-20 0:00 ` Mitch Gart
1996-12-21 0:00 ` Jon S Anthony
1996-12-11 0:00 ` Norman H. Cohen
1996-12-12 0:00 ` Jon S Anthony
1996-12-12 0:00 ` Dale Stanbrough
1996-12-12 0:00 ` Constructors for Ada (was: Converting C++ class to Ada) Matthew Heaney
1996-12-13 0:00 ` Norman H. Cohen
1996-12-13 0:00 ` Matthew Heaney
1996-12-17 0:00 ` Robert I. Eachus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox