| Issue 48: | Pure & Share invariants with stateInfo should be disalowed. | |
| 1 person starred this issue and may be notified of changes. | Back to list |
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
Status:
Verified
|