>Bill Pugh wrote:
>> * a field is private or package protected
>> * the package is sealed, and
>> * there is no read of the field nor reflection in the package
>>You know that the field will not be read.
>Seems like a lot of ifs and still does not take
>java.lang.reflect.AccessibleObject.setAccessible() into account.
Sorry, there was a holdover from a previous message:
* the security manager doesn't allow reflective violation of access controls
in sealed packages.
As I mentioned, I am willing to explicitly stipulate that if a
reachable object X contains a reference to another object Y, then Y
is reachable. But I don't think you can deduce it from the existing
text in the JLS.
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel
This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:00:43 EDT