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