ASIS questions

ASIS questions

[James Alan Farrell]

[-- Attachment #1: Type: text/plain, Size: 493 bytes --]

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?
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?

Thanks,
James Alan Farrell

[-- Attachment #2: jfarrell.vcf --]
[-- Type: text/x-vcard, Size: 88 bytes --]

begin:vcard
fn:James Alan Farrell
n:Farrell;James
org:GrammaTech
version:2.1
end:vcard

Re: ASIS questions

[Jean-Pierre Rosen]

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...

> 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.

-- 
---------------------------------------------------------
            J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr

Re: ASIS questions

[James Alan Farrell]

[-- Attachment #1: Type: text/plain, Size: 1121 bytes --]

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

[-- Attachment #2: jfarrell.vcf --]
[-- Type: text/x-vcard, Size: 88 bytes --]

begin:vcard
fn:James Alan Farrell
n:Farrell;James
org:GrammaTech
version:2.1
end:vcard