[sv-ec] Re: 1858 local:: proposal uploaded

From: Gordon Vreugdenhil <gordonv_at_.....>
Date: Tue Dec 11 2007 - 07:33:28 PST
Arturo,

I find the repeating of various rules in your proposal to
reduce clarity since it isn't clear that you are saying
"just do local binding".  Are you Ok with the wording that
I proposed for that aspect in my proposal?

In particular you have:

   Within the in-line constraint, the following rules apply:
    — Names qualified by this (i.e., this.a) shall bind to the randomize()...with object class.
    — Names qualified by local:: shall bind to the scope containing the randomize method call.
    — As it pertains to wildcard package inports, the syntactic form local::a shall be semantically
    identical to the unqualified name a declared in the local scope.
    — For method call obj.randomize,() with … the qualified name local::obj shall bind to the
    randomize()...with object class.
    — Unqualified names may bind to either the randomize()...with object class or to the local scope,
    in that order.

But all of that is implied by just the earlier statement:
    When applied to an identifier within an in-line constraint, the
    local:: qualifier bypasses the scope of the (randomize()...with
    object) class and resolves the identifier in the local scope.

Although I prefer "scope containing the inline constraint declaration" to
"local scope".


In addition, the third point in your list is incorrect -- local::a
is the same as a *reference* in the scope containing the inline
constraint declaration, not a *declaration* within that scope.

I'd strongly prefer to not have any of those rules points present since
I think that it then appears that special rules are in play rather
than just the normal rules.

Finally, your A.8.4 change appears to have a cut-and-paste
error since the "FROM" part contains the "local::" text as well.


Gord


Arturo Salz wrote:
> I have uploaded my proposal for the local:: resolution to Mantis item 
> 1858. The proposal is called 1858-local.pdf.
> 
>  
> 
>             Arturo
> 
>  
> 

-- 
--------------------------------------------------------------------
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 Wed Dec 12 16:07:04 2007

This archive was generated by hypermail 2.1.8 : Wed Dec 12 2007 - 16:07:48 PST