@@ -0,0 +1,1078 @@
+package sfBugsNew;%0A%0Aimport javax.annotation.ParametersAreNonnullByDefault;%0A%0Aimport sfBugs.Bug3399101.ParametersAreCheckForNullByDefault;%0Aimport edu.umd.cs.findbugs.annotations.ExpectWarning;%0Aimport edu.umd.cs.findbugs.annotations.NoWarning;%0A%0Apublic class Bug1194 %7B%0A%0A    @NoWarning(%22NP%22)%0A    int noNullnessAnnotations(Object x) %7B%0A        return x.hashCode();%0A%0A    %7D%0A%0A    @ExpectWarning(%22NP_PARAMETER_MUST_BE_NONNULL_BUT_MARKED_AS_NULLABLE%22)%0A    @ParametersAreCheckForNullByDefault%0A    int checkForNullByDefault(Object x) %7B%0A        return x.hashCode();%0A%0A    %7D%0A%0A    @NoWarning(%22NP%22)%0A    @ParametersAreNonnullByDefault%0A    int nonnullByDefault(Object x) %7B%0A        return 17;%0A    %7D%0A%0A    @ExpectWarning(%22NP_NULL_PARAM_DEREF_ALL_TARGETS_DANGEROUS%22)%0A    public void test1() %7B%0A        System.out.println(noNullnessAnnotations(null));%0A    %7D%0A%0A    @NoWarning(%22NP%22)%0A    public void test2() %7B%0A        System.out.println(checkForNullByDefault(null));%0A    %7D%0A%0A    @ExpectWarning(%22NP_NONNULL_PARAM_VIOLATION%22)%0A    public void test3() %7B%0A        System.out.println(nonnullByDefault(null));%0A    %7D%0A%0A%7D

Add test case