From: Tucker Taft <stt@averstar.com>
Subject: Re: hunting snarks
Date: 1999/12/14
Date: 1999-12-14T00:00:00+00:00 [thread overview]
Message-ID: <3856A48D.F4AF4D84@averstar.com> (raw)
In-Reply-To: wccemcpmim6.fsf@world.std.com
Robert A Duff wrote:
>
> Stephen Leake <Stephen.Leake@gsfc.nasa.gov> writes:
>
> > Anyway, this problem has been mentioned here before. I'm considering
> > hacking into GNAT to provide a fix, probably in the form of a pragma
> > Overrides. But first, I'd like to check if anyone else is working on a
> > solution, or has a proposal for a syntax for a solution.
>
> Somebody proposed a pragma along those lines to the ARG recently.
> Check out the Ada Issues.
As mentioned in another reply, the relevant AI is:
http://www.ada-auth.org/cgi-bin-acats/cvsweb.cgi/AIs/AI-00218.DOC?rev=1.3
The basic idea is a pragma Overrides that means a subprogram
*must* be overriding something, and a configuration pragma Explicit_Overriding
that means that any subprogram without a pragma Overrides must *not*
be overriding something. For special cases involving generics which
declare a type derived from a formal type, there is also a pragma
Might_Override which overrules Explicit_Overriding, to indicate that the
given subprogram might or might not override..
>
> - Bob
--
-Tucker Taft stt@averstar.com http://www.averstar.com/~stt/
Technical Director, Distributed IT Solutions (www.averstar.com/tools)
AverStar (formerly Intermetrics, Inc.) Burlington, MA USA
next prev parent reply other threads:[~1999-12-14 0:00 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-12-14 0:00 hunting snarks Stephen Leake
1999-12-14 0:00 ` Robert A Duff
1999-12-14 0:00 ` Tucker Taft [this message]
1999-12-17 0:00 ` Simon Wright
1999-12-20 0:00 ` Tucker Taft
1999-12-21 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