commit | 575878e0d35e9f62faa3c8733bcdf03220b8c51c | [log] [tgz] |
---|---|---|
author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sat Nov 05 18:10:35 2011 +0000 |
committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sat Nov 05 18:10:35 2011 +0000 |
tree | 2c3bf104516d6d3dc4aef062d10f7c3d9173f772 | |
parent | c28ab561189bf67eba84fc2315932206628b0e83 [diff] |
- abandon @NullableByDefault, - add a boolean parameter to @NonNullByDefault for canceling defaults - implementation uses new TagBits.AnnotationNullUnspecifiedByDefault to represent @NonNullByDefault(false), - similarly, Constants NULL_UNSPECIFIED represents explicit absence of a null annotation - new warning for redundant @NonNull within a scope with default - new error if annotation name is not a FQN - abandon warning token "nullcontract", subsume under "null"