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=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,df5511acc5341804 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII Date: Tue, 09 Aug 2005 10:10:32 -0400 From: James Alan Farrell Organization: nospam User-Agent: Mozilla Thunderbird 1.0.2 (Windows/20050317) X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: ASIS questions References: <42f7cd81$1_4@newsfeed.slurp.net> In-Reply-To: Content-Type: multipart/mixed; boundary="------------020205070000000601050605" NNTP-Posting-Host: fw.grammatech.com Message-ID: <42f8b9b7$1_2@newsfeed.slurp.net> X-Trace: newsfeed.slurp.net 1123596727 209.4.89.67 (9 Aug 2005 09:12:07 -0500) X-Original-NNTP-Posting-Host: 209.4.89.67 Path: g2news1.google.com!news1.google.com!news2.google.com!news.maxwell.syr.edu!newsfeed.slurp.net!not-for-mail Xref: g2news1.google.com comp.lang.ada:4045 Date: 2005-08-09T10:10:32-04:00 List-Id: This is a multi-part message in MIME format. --------------020205070000000601050605 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit Jean-Pierre Rosen wrote: > James Alan Farrell a �crit : > >> Hi all, >> A couple questions on ASIS: >> 1. I have a variant record declaration. I can find all the fields, >> including those inside the case statement. But I cannot find the >> parameters. How do I get the parameters of a variant record? > > Asis.Declarations.Discriminant_Part > > Note that these components are called "discriminants", not "parameters". > That can explain why you didn't find them... > I was look through asis.definitions and rying everything that had to do with variants. No wonder! :) >> 2. I have an record aggregate, and I need to find the record >> declaration. In particular, I need to know how many fields the record >> contains when I have something like (A, B, others => C). How do I >> find the record declaration? >> > Corresponding_Expression_Type of the Aggregate will return the > corresponding type declaration. > I swear I tried that yesterday and it didn't work. Today it does. Must have gotten something wrong somewhere before calling corresponding_expression_type. Thanks for your help! JAF --------------020205070000000601050605 Content-Type: text/x-vcard; charset=utf-8; name="jfarrell.vcf" Content-Transfer-Encoding: 7bit Content-Disposition: attachment; filename="jfarrell.vcf" begin:vcard fn:James Alan Farrell n:Farrell;James org:GrammaTech version:2.1 end:vcard --------------020205070000000601050605--