My favorites | Sign in
Project Home Wiki Issues Source
READ-ONLY: This project has been archived. For more information see this post.
Search
for
  Advanced search   Search tips   Subscriptions
Issue 48: Pure & Share invariants with stateInfo should be disalowed.
1 person starred this issue and may be notified of changes. Back to list
Status:  Verified
Owner:  nels.bec...@gmail.com
Closed:  Jul 2009


 
Project Member Reported by nels.bec...@gmail.com, Oct 8, 2008
It is my recollection (and it certainly seems correct) from the formal 
system that an invariant is not allowed to depend on a @Pure or @Share 
permission being in a particular state, since that state could change at 
any time (packing does not prevent this).

Therefore, we should extend the PluralAnnotationAnalysis so that it checks 
for this problem and reports an error.
Jul 22, 2009
Project Member #1 nels.bec...@gmail.com
Fixed in r373.
Status: Verified

Powered by Google Project Hosting