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=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!feeder.erje.net!eu.feeder.erje.net!bloom-beacon.mit.edu!bloom-beacon.mit.edu!newsswitch.lcs.mit.edu!nntp.TheWorld.com!.POSTED!not-for-mail
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Newsgroups: comp.lang.ada
Subject: Re: GNAT GPL is not shareware
Date: Wed, 14 Jan 2015 18:43:45 -0500
Organization: The World Public Access UNIX, Brookline, MA
Message-ID: <wccsifdorm6.fsf@shell01.TheWorld.com>
References: <87bnmetex4.fsf@ludovic-brenta.org>
 <iWXqw.180018$Sn4.103298@fx10.iad> <m8hj8p$qn2$1@dont-email.me>
 <FIYqw.1051175$FX2.802392@fx18.iad> <m8j3k5$gr9$1@dont-email.me>
 <qcdrw.1246475$Y4.224981@fx24.iad> <m8kd1u$lkc$1@loke.gir.dk>
 <1otenmcbgnvlt$.dn9361nl2jm8$.dlg@40tude.net> <m8lnlg$eat$1@dont-email.me>
 <8ryfky4awox2$.q2gfw4pvsgau.dlg@40tude.net> <m8m3ge$sg3$1@dont-email.me>
 <v7sijsm038wt.rnnn8jo6j2nj$.dlg@40tude.net> <m8om3v$2ga$1@dont-email.me>
 <m8pj7k$524$1@loke.gir.dk> <eFZrw.1020853$No4.1016889@fx19.iad>
 <m91mi2$mll$1@loke.gir.dk> <m92mq3$kji$1@dont-email.me>
 <m9425n$eo2$1@loke.gir.dk> <m95ae3$vn4$1@dont-email.me>
 <wccy4p52uy6.fsf@shell01.TheWorld.com> <m969vs$vll$1@dont-email.me>
NNTP-Posting-Host: shell01.theworld.com
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: pcls7.std.com 1421279024 20666 192.74.137.71 (14 Jan 2015 23:43:44
 GMT)
X-Complaints-To: abuse@TheWorld.com
NNTP-Posting-Date: Wed, 14 Jan 2015 23:43:44 +0000 (UTC)
User-Agent: Gnus/5.1008 (Gnus v5.10.8) Emacs/21.3 (irix)
Cancel-Lock: sha1:vSmcAtUQefCJxyZRTA85wKyMcvQ=
Xref: news.eternal-september.org comp.lang.ada:24574
Date: 2015-01-14T18:43:45-05:00
List-Id: <comp.lang.ada>

"J-P. Rosen" <rosen@adalog.fr> writes:

> Since you can't statically know what subprogram is being called,

Well, you can't know which body will be dispatched to, but formally
speaking, the subprogram being calling is known statically (and might be
abstract).

> Corresponding_Called_Entity returns Nil_Element in place of the
> subprogram declaration.

Hmm.  That seems like just a design mistake in ASIS.  It seems like it
should return the entity denoted by the name in the call (which always
exists statically -- X.all(...) is never a dispatching call).  That is,
Corresponding_Called_Entity should return what you say about
Corresponding_Called_Root_Entity below.

But I think you can work around the problem -- look at the name of the
call and see what it denotes.

>...But without a declaration, you cannot know the
> formal parameters (so no information about the modes, whether some
> parameters are defaulted, etc.)

Right.  That sort of thing is an annoying nuisance.

> We need a Corresponding_Called_Root_Entity... I think Serguei added
> something like that.

I searched for "function Corresponding_Called", and didn't see anything
like that.  So if we have such a thing, it has a different name.
Are you sure you didn't end up working around the problem in the way
I suggested above?

- Bob