[Grace-core] Questions

[Kim Bruce]

Of course, now that I've sent this, I see the next paragraph contradicts the previous by saying:

"Regardless of visibility, code can access names defined in any of the surrounding scopes. This includes not just requests of methods and fields, but also parameters and temporaries."

This conflicts with the earlier:

"If a method is annotated confidential, it can be requested only on the object itself, or by any object that inherits from it, but not from any other outside object."

Rewriting would help.

Kim



On Dec 8, 2013, at 12:39 PM, Kim Bruce <kim at cs.pomona.edu> wrote:

> in the current ECOOP draft (pg 4) it says confidential entities can only be referenced by self or subclass.  But can't they be accessed by an object nested inside?
> 
> object {
>     def x = 5
>     def y = {object z = x + 1}
> }
> 
> (Here the defs are confidential by default.)  Shouldn't it say they are accessible via self or outer (explicitly or implicitly).
> 
> Kim
> 
> 
> 
> 
> _______________________________________________
> Grace-core mailing list
> Grace-core at cecs.pdx.edu
> https://mailhost.cecs.pdx.edu/mailman/listinfo/grace-core