| Issue 16: | releasedFrom attribute is ignored | |
| Back to list |
Permissions can be released twice, once explicitly and once implicitly,
because the releasedFrom attribute is ignored in implicit release. For
example, a close() method may release:
@Param(name = "p", releasedFrom = "open")
interface I {
@Full(requires = "open", ensures = "closed")
@Release("p"
close();
}
After calling close, the "p" parameter may still be released because the
"open" releasedFrom attribute is currently ignored
|