Issue 41: Use exceptions / regular returns (also null etc.) to indicate states or even permissions
Project Member Reported by kevin.bi...@gmail.com, Sep 23, 2008
Could have annotations, similar to @TrueIndicates/@FalseIndicates, for
exceptions or regular returns to indicate states or even permissions.  Same
is true for null/non-null and other return values, but should be able to
use regular @Perm implication syntax for that.  (Not clear how to use @Perm
for exceptions / returns.)