| Issue 41: | Use exceptions / regular returns (also null etc.) to indicate states or even permissions | |
| Back to list |
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.) |