Re: Generic package with dynamic subprogram name?

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Thu, 10 Jun 2010 12:14:18 +0200, Brian Drummond  
<brian_drummond@btconnect.com> a écrit:

> On Thu, 10 Jun 2010 03:33:11 -0400, Stephen Leake
> <stephen_leake@stephe-leake.org> wrote:
>
>> Marek Janukowicz <marek@janukowicz.net> writes:
>
>>> I understand things I ask about in the subject are most likely not  
>>> possible,
>>> but is there any other way to achieve what I want?
>>
>> Renames was suggested. Writing all of those can get tedious, and
>> probably defeats the purpose of the generic.
>>
>> Using an ASIS application to generate code would be another way.
>
> Any pointers (uh, references) where to learn ASIS for this purpose?
> I've always understood ASIS as being used to analyze Ada, not generate  
> it...
>
> If there is a tutorial somewhere using ASIS to generate co... <cough>  
> source
> program text, I'd be interested to see it.
>
> - Brian
Not a tutorial, but the only one meaningful source about ASIS I know is
http://www.sigada.org/wg/asiswg/
It contains documentations and some examples, some rather complete.
For examples, look at
http://www.sigada.org/wg/asiswg/ASISWG_Results.html
You may want to search for the two links named “Publically available ASIS  
Applications” and “How to do things in ASIS” in the latter page. Good  
point to start, beside the specification files of your compiler's ASIS  
library.

-- 
There is even better than a pragma Assert: a SPARK --# check.
--# check C and WhoKnowWhat and YouKnowWho;
--# assert Ada;
--  i.e. forget about previous premises which leads to conclusion
--  and start with new conclusion as premise.