73 lines
3.5 KiB
XML
73 lines
3.5 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<project xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
|
|
xmlns="http://maven.apache.org/POM/4.0.0"
|
|
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/maven-v4_0_0.xsd">
|
|
<modelVersion>4.0.0</modelVersion>
|
|
<artifactId>checker-framework</artifactId>
|
|
<version>1.0-SNAPSHOT</version>
|
|
<packaging>jar</packaging>
|
|
<name>checker-framework</name>
|
|
|
|
<parent>
|
|
<groupId>com.baeldung</groupId>
|
|
<artifactId>parent-modules</artifactId>
|
|
<version>1.0.0-SNAPSHOT</version>
|
|
</parent>
|
|
|
|
<dependencies>
|
|
<!-- Annotations from the Checker Framework: nullness, interning, locking, ... -->
|
|
<dependency>
|
|
<groupId>org.checkerframework</groupId>
|
|
<artifactId>checker-qual</artifactId>
|
|
<version>${checker.version}</version>
|
|
</dependency>
|
|
<dependency>
|
|
<groupId>org.checkerframework</groupId>
|
|
<artifactId>checker</artifactId>
|
|
<version>${checker.version}</version>
|
|
</dependency>
|
|
</dependencies>
|
|
|
|
<build>
|
|
<plugins>
|
|
<plugin>
|
|
<groupId>org.apache.maven.plugins</groupId>
|
|
<artifactId>maven-compiler-plugin</artifactId>
|
|
<configuration>
|
|
<fork>true</fork>
|
|
<compilerArgument>-Xlint:all</compilerArgument>
|
|
<showWarnings>true</showWarnings>
|
|
<annotationProcessorPaths>
|
|
<path>
|
|
<groupId>org.checkerframework</groupId>
|
|
<artifactId>checker</artifactId>
|
|
<version>${checker.version}</version>
|
|
</path>
|
|
</annotationProcessorPaths>
|
|
<annotationProcessors>
|
|
<annotationProcessor>org.checkerframework.checker.nullness.NullnessChecker</annotationProcessor>
|
|
<annotationProcessor>org.checkerframework.checker.interning.InterningChecker</annotationProcessor>
|
|
<annotationProcessor>org.checkerframework.checker.fenum.FenumChecker</annotationProcessor>
|
|
<annotationProcessor>org.checkerframework.checker.formatter.FormatterChecker</annotationProcessor>
|
|
<annotationProcessor>org.checkerframework.checker.regex.RegexChecker</annotationProcessor>
|
|
</annotationProcessors>
|
|
<compilerArgs combine.children="append">
|
|
<arg>-Awarns</arg>
|
|
<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.main=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>
|
|
</plugin>
|
|
</plugins>
|
|
</build>
|
|
|
|
<properties>
|
|
<checker.version>3.42.0</checker.version>
|
|
</properties>
|
|
|
|
</project> |