@@ -0,0 +1,326 @@
+package nullnessAnnotations;%0A%0Aimport edu.umd.cs.findbugs.annotations.CheckForNull;%0Aimport edu.umd.cs.findbugs.annotations.NonNull;%0A%0Apublic class TestFieldAnnotations %7B%0A%09@NonNull Object x;%0A%09@CheckForNull Object y;%0A%09%0A%09void f() %7B%0A%09%09x = y;%0A%09%7D%0A%09void g() %7B%0A%09%09y = x;%0A%09%7D%0A%09void h() %7B%0A%09%09if (x == null) System.out.println(%22Huh?%22);%0A%09%7D%0A%0A%7D%0A

Test for nonnull annotations on fields