Skip to content

Commit fda2ed7

Browse files
committed
enable NullAway option RequireExplicitNullMarking to detect classes that are not annotated with JSpecify annotations
1 parent 94a585e commit fda2ed7

2 files changed

Lines changed: 3 additions & 0 deletions

File tree

build.gradle.kts

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -83,6 +83,7 @@ subprojects {
8383

8484
options.errorprone {
8585
check("NullAway", CheckSeverity.ERROR)
86+
check("RequireExplicitNullMarking", CheckSeverity.ERROR)
8687
option("NullAway:AnnotatedPackages", "it.aboutbits.postgresql")
8788
option("NullAway:JSpecifyMode", "true")
8889
}

operator/src/test/java/it/aboutbits/postgresql/_support/valuesource/BlankSource.java

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,6 @@
11
package it.aboutbits.postgresql._support.valuesource;
22

3+
import org.jspecify.annotations.NullMarked;
34
import org.junit.jupiter.params.provider.ValueSource;
45

56
import java.lang.annotation.Documented;
@@ -12,5 +13,6 @@
1213
@Retention(RetentionPolicy.RUNTIME)
1314
@Documented
1415
@ValueSource(strings = {"", " ", " ", "\t", "\r", "\n", "\r\n", "\f", "\u000B"})
16+
@NullMarked
1517
public @interface BlankSource {
1618
}

0 commit comments

Comments
 (0)