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 16: releasedFrom attribute is ignored
  Back to list
Status:  Assigned
Owner:  kevin.bi...@gmail.com


 
Project Member Reported by kevin.bi...@gmail.com, Sep 23, 2008
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

Powered by Google Project Hosting