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 46: Allow 'this' to be used in state invariants
1 person starred this issue and may be notified of changes. Back to list
Status:  Fixed
Owner:  nels.bec...@gmail.com
Closed:  Sep 2008


 
Project Member Reported by nels.bec...@gmail.com, Sep 30, 2008
In order to do the Blocking_queue example I need to be able to store an 
implication for a permission to 'this.' (Currently, doing this throws a 
null pointer exception.)
Sep 30, 2008
Project Member #1 nels.bec...@gmail.com
Fix committed in r95.
Status: Fixed

Powered by Google Project Hosting