| Issue 47: | I can't store a field access permission in an invariant | |
| 1 person starred this issue and may be notified of changes. | Back to list |
While you can specify that an invariant permission is for the frame: inv="myField == true => full(this!fr)" It doesn't actually give you a frame permission! I think this was a mistake I made when developing the InvariantMerger code.
Oct 3, 2008
Project Member
#1
nels.bec...@gmail.com
Status:
Accepted
Oct 8, 2008
(No comment was entered for this change.)
Status:
Invalid
|