RE: [sv-ec] Definition of access for class parameters.

From: Francoise Martinolle <fm_at_.....>
Date: Fri May 01 2009 - 15:30:38 PDT
 
Second version of the class parameter specification which addresses
Gordon's comments.

-----Original Message-----
From: Gordon Vreugdenhil [mailto:gordonv@model.com] 
Sent: Friday, May 01, 2009 4:54 PM
To: Francoise Martinolle
Cc: sv-ec@eda.org
Subject: Re: [sv-ec] Definition of access for class parameters.

Francoise, this looks pretty good to me.  Thanks for working through the
details there.

One detail lies in the grammar -- a constant_primary only admits a
ps_parameter_identifier which does allow the syntactic form name::name
but where the LRM uses package_name to indicate intent for the prefix.
Ideally I think that should be fixed in the grammar.
We might also consider explicitly stating that class_type::parameter is
a constant expression.  That likely isn't needed with the grammar
change, but it makes the asymmetry with the "this." and "super."
more explicit and obviously intentional.

Gord.

Francoise Martinolle wrote:
> Attached is a proposal for specifying access to class parameters, type

> parameters and local class parameters.
>  
> Mantis is not working so I have not uploaded the proposal.
>  
> Francoise
>        '
> 
> --
> This message has been scanned for viruses and dangerous content by 
> *MailScanner* <http://www.mailscanner.info/>, and is believed to be 
> clean.

--
--------------------------------------------------------------------
Gordon Vreugdenhil                                503-685-0808
Model Technology (Mentor Graphics)                gordonv@model.com


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.


Received on Fri May 1 15:32:49 2009

This archive was generated by hypermail 2.1.8 : Fri May 01 2009 - 15:33:32 PDT