Add jlink integration test (#122)

* add jlink integration test

* end file with proper newline

[skip ci]

* cleanup dependency definition

[skip ci]

* debug outputs

* invoker-plugin: install before testing

Author: mtf90

.github/workflows/ci.yml

@@ -49,7 +49,7 @@ jobs:
           mvn -B install -DskipTests
           cd $GITHUB_WORKSPACE
       - name: Run Maven
-        run: mvn -B install site -Pintegration-tests,code-analysis,bundles
+        run: mvn -B install site -Pintegration-tests,code-analysis,bundles,jlink
   platform-integration:
     name: "Platform Integration (JDK: ${{ matrix.jdk }}, OS: ${{ matrix.os }})"
     needs: [ tests-and-analysis ]
@@ -86,7 +86,7 @@ jobs:
           mvn -B install -DskipTests
           cd $GITHUB_WORKSPACE
       - name: Run Maven
-        run: mvn -B install
+        run: mvn -B install -Pjlink
   coverage:
     name: "Coverage"
     needs: [ platform-integration ]

algorithms/active/aaar/src/main/java/module-info.java

@@ -34,7 +34,9 @@
     requires net.automatalib.api;
     requires net.automatalib.common.util;
     requires net.automatalib.core;
-    requires org.checkerframework.checker.qual;
+
+    // make non-static once https://github.com/typetools/checker-framework/issues/4559 is implemented
+    requires static org.checkerframework.checker.qual;
 
     exports de.learnlib.algorithm.aaar;
     exports de.learnlib.algorithm.aaar.abstraction;

algorithms/active/adt/src/main/java/module-info.java

@@ -38,10 +38,11 @@
     requires net.automatalib.common.util;
     requires net.automatalib.core;
     requires net.automatalib.util;
-    requires org.checkerframework.checker.qual;
     requires org.slf4j;
 
     requires static de.learnlib.tooling.annotation;
+    // make non-static once https://github.com/typetools/checker-framework/issues/4559 is implemented
+    requires static org.checkerframework.checker.qual;
 
     exports de.learnlib.algorithm.adt.ads;
     exports de.learnlib.algorithm.adt.adt;

algorithms/active/dhc/src/main/java/module-info.java

@@ -35,9 +35,10 @@
     requires net.automatalib.api;
     requires net.automatalib.common.util;
     requires net.automatalib.core;
-    requires org.checkerframework.checker.qual;
 
     requires static de.learnlib.tooling.annotation;
+    // make non-static once https://github.com/typetools/checker-framework/issues/4559 is implemented
+    requires static org.checkerframework.checker.qual;
 
     exports de.learnlib.algorithm.dhc.mealy;
 }

algorithms/active/kearns-vazirani/src/main/java/module-info.java

@@ -36,10 +36,11 @@
     requires net.automatalib.api;
     requires net.automatalib.common.util;
     requires net.automatalib.core;
-    requires org.checkerframework.checker.qual;
     requires org.slf4j;
 
     requires static de.learnlib.tooling.annotation;
+    // make non-static once https://github.com/typetools/checker-framework/issues/4559 is implemented
+    requires static org.checkerframework.checker.qual;
 
     exports de.learnlib.algorithm.kv;
     exports de.learnlib.algorithm.kv.dfa;

algorithms/active/lstar/src/main/java/module-info.java

@@ -40,10 +40,11 @@
     requires net.automatalib.api;
     requires net.automatalib.common.util;
     requires net.automatalib.core;
-    requires org.checkerframework.checker.qual;
     requires org.slf4j;
 
     requires static de.learnlib.tooling.annotation;
+    // make non-static once https://github.com/typetools/checker-framework/issues/4559 is implemented
+    requires static org.checkerframework.checker.qual;
 
     exports de.learnlib.algorithm.lstar;
     exports de.learnlib.algorithm.lstar.ce;

algorithms/active/nlstar/src/main/java/module-info.java

@@ -35,9 +35,10 @@
     requires net.automatalib.api;
     requires net.automatalib.core;
     requires net.automatalib.util;
-    requires org.checkerframework.checker.qual;
 
     requires static de.learnlib.tooling.annotation;
+    // make non-static once https://github.com/typetools/checker-framework/issues/4559 is implemented
+    requires static org.checkerframework.checker.qual;
 
     exports de.learnlib.algorithm.nlstar;
 }

algorithms/active/observation-pack-vpa/src/main/java/module-info.java

@@ -38,9 +38,10 @@
     requires net.automatalib.common.smartcollection;
     requires net.automatalib.common.util;
     requires net.automatalib.core;
-    requires org.checkerframework.checker.qual;
 
     requires static de.learnlib.tooling.annotation;
+    // make non-static once https://github.com/typetools/checker-framework/issues/4559 is implemented
+    requires static org.checkerframework.checker.qual;
 
     exports de.learnlib.algorithm.observationpack.vpa;
     exports de.learnlib.algorithm.observationpack.vpa.hypothesis;

algorithms/active/observation-pack/src/main/java/module-info.java

@@ -35,9 +35,10 @@
     requires de.learnlib.datastructure.discriminationtree;
     requires net.automatalib.api;
     requires net.automatalib.common.util;
-    requires org.checkerframework.checker.qual;
 
     requires static de.learnlib.tooling.annotation;
+    // make non-static once https://github.com/typetools/checker-framework/issues/4559 is implemented
+    requires static org.checkerframework.checker.qual;
 
     exports de.learnlib.algorithm.observationpack;
     exports de.learnlib.algorithm.observationpack.dfa;

algorithms/active/oml/src/main/java/module-info.java

@@ -34,7 +34,9 @@
     requires net.automatalib.api;
     requires net.automatalib.common.util;
     requires net.automatalib.core;
-    requires org.checkerframework.checker.qual;
+
+    // make non-static once https://github.com/typetools/checker-framework/issues/4559 is implemented
+    requires static org.checkerframework.checker.qual;
 
     exports de.learnlib.algorithm.oml.lstar;
     exports de.learnlib.algorithm.oml.ttt;