commit | c28ab561189bf67eba84fc2315932206628b0e83 | [log] [tgz] |
---|---|---|
author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sat Nov 05 18:10:32 2011 +0000 |
committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sat Nov 05 18:10:32 2011 +0000 |
tree | befefc59b2b9c7ab57d9df8a270dfb2f2c0a7dfd | |
parent | a3cb202c6c00240d096f25e38d76ff4ff8209b1d [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"