aboutsummaryrefslogtreecommitdiff
path: root/jgvariant-core/pom.xml
diff options
context:
space:
mode:
authorMatthias Andreas Benkard <code@mail.matthias.benkard.de>2022-03-01 14:16:37 +0100
committerMatthias Andreas Benkard <code@mail.matthias.benkard.de>2022-03-01 14:16:37 +0100
commit3a42de6c88ef185ceaf107f31f42d3a2b3f036b6 (patch)
tree81af721367f6885e27069603090d5bf88af337ae /jgvariant-core/pom.xml
parente236b4d115d6cfc0e4c7bec7e5af1d6071d16b43 (diff)
POM: Move Checker Framework dependencies to submodules.
Change-Id: If611d49269cce036f0c81f6b1e95bccbb53a8882
Diffstat (limited to 'jgvariant-core/pom.xml')
-rw-r--r--jgvariant-core/pom.xml14
1 files changed, 14 insertions, 0 deletions
diff --git a/jgvariant-core/pom.xml b/jgvariant-core/pom.xml
index 2ddf2c4..1cb5b20 100644
--- a/jgvariant-core/pom.xml
+++ b/jgvariant-core/pom.xml
@@ -47,6 +47,20 @@ SPDX-License-Identifier: LGPL-3.0-or-later
<artifactId>apiguardian-api</artifactId>
</dependency>
+ <!-- Static analysis -->
+ <dependency>
+ <groupId>org.checkerframework</groupId>
+ <artifactId>checker</artifactId>
+ <scope>provided</scope>
+ <optional>true</optional>
+ </dependency>
+ <dependency>
+ <groupId>org.checkerframework</groupId>
+ <artifactId>checker-qual</artifactId>
+ <scope>provided</scope>
+ <optional>true</optional>
+ </dependency>
+
<!-- Testing -->
<dependency>
<groupId>org.junit.jupiter</groupId>