print( @Readonly Object x) { List< @NonNull String> lst; …
print( @Readonly Object x) { List< @NonNull String> lst; … . } . Detecting and preventing null pointer errors . with pluggable type-checking . CSE 331 . University of Washington . Motivation . java.lang.NullPointerException . Java ’s type checking is too weak .
440 views • 33 slides