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,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,745ecf6266b2fdbf
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-02-12 13:16:13 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!news-out.visi.com!hermes.visi.com!uunet!ash.uu.net!spool0901.news.uu.net!spool0900.news.uu.net!reader0902.news.uu.net!not-for-mail
Date: Wed, 12 Feb 2003 16:16:09 -0500
From: Hyman Rosen <hyrosen@mail.com>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US;
 rv:1.3b) Gecko/20030130
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: [ANN] an EBNF parser and coding pattern tool (LGPL)
References: <clcm-20030123-0008@plethora.net>
 <clcm-20030124-0006@plethora.net> <clcm-20030131-0001@plethora.net>
 <clcm-20030202-0009@plethora.net> <clcm-20030203-0002@plethora.net>
 <clcm-20030204-0004@plethora.net> <clcm-20030206-0006@plethora.net>
 <clcm-20030207-0005@plethora.net> <clcm-20030211-0001@plethora.net>
 <clcm-20030211-0012@plethora.net> <1045074177.729142@master.nyc.kbcfp.com>
 <uptpxe1b7.fsf@nasa.gov>
In-Reply-To: <uptpxe1b7.fsf@nasa.gov>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Organization: KBC Financial Products
Message-ID: <1045084569.415137@master.nyc.kbcfp.com>
Cache-Post-Path: master.nyc.kbcfp.com!unknown@nightcrawler.nyc.kbcfp.com
X-Cache: nntpcache 3.0.1 (see http://www.nntpcache.org/)
NNTP-Posting-Host: 204.253.250.10
X-Trace: 1045084571 reader2.ash.ops.us.uu.net 5641 204.253.250.10
Xref: archiver1.google.com comp.lang.ada:34036
Date: 2003-02-12T16:16:09-05:00
List-Id: <comp.lang.ada>

Stephen Leake wrote:
> That makes sense, assuming "Introspect" and "FieldTypes" are new C++
> keywords. Are there any C++ compilers that actually do this? I don't
> think it's in the current ISO C++ standard.

No, there aren't, which was the OP's point. I was describing an
outline of how it could potentially be added to C++. If it was,
Introspect (or something similar) could be made to look like a
class template in namespace std, so no new keywords would be
involved.

> Is there anything preventing the same techniques in Ada?

Ada doesn't have partial specialization of generics (that is,
allowing completely different generic contents based on subsets
of the parameters), so it can't do the recursive template stuff,
at least as far as I know, given how poorly I know Ada.

> How does this compare with an ASIS tool for Ada?
 > Seems to me ASIS is a more straight-forward,
 > and more flexible, approach.

I don't know enough about ASIS to say. Can an Ada program
use ASIS in order to inspect itself? Can it apply ASIS
within a generic to examine its generic parameters?