1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
/*
* @test
* @summary Test -ArequirePrefixInWarningSuppressions
*
* @compile/fail/ref=RequireCheckerPrefix.out -XDrawDiagnostics -processor org.checkerframework.checker.nullness.NullnessChecker -ArequirePrefixInWarningSuppressions RequireCheckerPrefix.java
* @compile -XDrawDiagnostics -processor org.checkerframework.checker.nullness.NullnessChecker RequireCheckerPrefix.java
*/
import org.checkerframework.checker.nullness.qual.NonNull;
import org.checkerframework.checker.nullness.qual.Nullable;
public class RequireCheckerPrefix {
void method(@Nullable Object o) {
@SuppressWarnings("nullness:assignment.type.incompatible")
@NonNull Object s = o;
@SuppressWarnings("assignment.type.incompatible")
@NonNull Object p = o;
}
}
|
