diff options
| author | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2024-07-18 19:34:08 +0200 |
|---|---|---|
| committer | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2024-07-18 19:34:08 +0200 |
| commit | d72462e21a231f864c8695579e6d75c39654e01c (patch) | |
| tree | 5fc6029b5e3b818e41d1f9b1412b0c6486e4dfd2 /core/pom.xml | |
| parent | 5aeebfaeb3be84bfb6cd1a103c41da476e5a000b (diff) | |
feat: JSpecify 1.0.0.
Change-Id: I84cc903128d013ff7f6b6cee29353abbe0a84fc8
Diffstat (limited to 'core/pom.xml')
| -rw-r--r-- | core/pom.xml | 53 |
1 files changed, 50 insertions, 3 deletions
diff --git a/core/pom.xml b/core/pom.xml index 97eb2ac..512d231 100644 --- a/core/pom.xml +++ b/core/pom.xml @@ -38,9 +38,15 @@ SPDX-License-Identifier: LGPL-3.0-or-later <version>2.1.3</version> </dependency> <dependency> - <groupId>io.smallrye.common</groupId> - <artifactId>smallrye-common-constraint</artifactId> - <version>2.5.0</version> + <groupId>org.jspecify</groupId> + <artifactId>jspecify</artifactId> + <version>1.0.0</version> + </dependency> + <dependency> + <groupId>io.github.eisop</groupId> + <artifactId>checker-qual</artifactId> + <version>3.42.0-eisop4</version> + <scope>provided</scope> </dependency> <!-- Include Parsson for backwards-compatibility. --> @@ -83,14 +89,55 @@ SPDX-License-Identifier: LGPL-3.0-or-later <plugin> <artifactId>maven-compiler-plugin</artifactId> <configuration> + <fork>true</fork> <annotationProcessorPaths> <path> <groupId>org.openjdk.jmh</groupId> <artifactId>jmh-generator-annprocess</artifactId> <version>1.37</version> </path> + <path> + <groupId>io.github.eisop</groupId> + <artifactId>checker</artifactId> + <version>3.42.0-eisop4</version> + </path> </annotationProcessorPaths> + <compilerArgs> + <arg>-Xmaxerrs</arg> + <arg>10000</arg> + <arg>-Xmaxwarns</arg> + <arg>10000</arg> + </compilerArgs> </configuration> + <executions> + <execution> + <id>default-compile</id> + <configuration> + <annotationProcessors> + <annotationProcessor>org.checkerframework.checker.nullness.NullnessChecker</annotationProcessor> + </annotationProcessors> + <compilerArgs combine.children="append"> + <arg>-J--add-exports=jdk.compiler/com.sun.tools.javac.api=ALL-UNNAMED</arg> + <arg>-J--add-exports=jdk.compiler/com.sun.tools.javac.code=ALL-UNNAMED</arg> + <arg>-J--add-exports=jdk.compiler/com.sun.tools.javac.file=ALL-UNNAMED</arg> + <arg>-J--add-exports=jdk.compiler/com.sun.tools.javac.main=ALL-UNNAMED</arg> + <arg>-J--add-exports=jdk.compiler/com.sun.tools.javac.model=ALL-UNNAMED</arg> + <arg>-J--add-exports=jdk.compiler/com.sun.tools.javac.processing=ALL-UNNAMED</arg> + <arg>-J--add-exports=jdk.compiler/com.sun.tools.javac.tree=ALL-UNNAMED</arg> + <arg>-J--add-exports=jdk.compiler/com.sun.tools.javac.util=ALL-UNNAMED</arg> + <arg>-J--add-opens=jdk.compiler/com.sun.tools.javac.comp=ALL-UNNAMED</arg> + </compilerArgs> + </configuration> + </execution> + <execution> + <id>default-testCompile</id> + <configuration> + <annotationProcessors> + <annotationProcessor>org.openjdk.jmh.generators.BenchmarkProcessor</annotationProcessor> + </annotationProcessors> + </configuration> + </execution> + </executions> </plugin> <plugin> |