4.0.0 de.learnlib learnlib-parent 0.18.0 ../pom.xml learnlib-build-parent pom LearnLib :: Build Parent A utility parent, that defines certain plugin executions for the build process. May be used to define dependencies on the "build-tools" artifact without introducing cyclic dependencies with the general parent. org.jacoco jacoco-maven-plugin **/ADTLearnerBuilder.class **/ClassicLStar*Builder.class **/ExtensibleLStar*Builder.class **/KearnsVazirani*Builder.class **/LSharp*Builder.class **/MalerPnueli*Builder.class **/MealyDHCBuilder.class **/NLStarLearnerBuilder.class **/OPLearner*Builder.class **/RivestSchapire*Builder.class **/TTTLearner*Builder.class de/learnlib/filter/reuse/**/Reuse*Builder.class de/learnlib/filter/cache/**/*Interning*.class de/learnlib/filter/statistic/**/DFA*.class de/learnlib/filter/statistic/**/Mealy*.class de/learnlib/filter/statistic/**/Moore*.class de/learnlib/oracle/emptiness/DFA*.class de/learnlib/oracle/emptiness/Mealy*.class de/learnlib/oracle/equivalence/DFA*.class de/learnlib/oracle/equivalence/Mealy*.class de/learnlib/oracle/equivalence/Moore*.class de/learnlib/oracle/membership/*SimulatorOracle.class de/learnlib/oracle/property/DFA*Chain.class de/learnlib/oracle/property/Mealy*Chain.class code-analysis com.github.spotbugs spotbugs-maven-plugin /learnlib-spotbugs-exclusions.xml Max de.learnlib learnlib-build-config ${project.version} org.apache.maven.plugins maven-pmd-plugin /learnlib-pmd-ruleset.xml **/module-info.java de.learnlib learnlib-build-config ${project.version} org.apache.maven.plugins maven-checkstyle-plugin /automatalib-learnlib-checkstyle.xml /license-header-java.txt /learnlib-checkstyle-suppressions.xml true false **/module-info.java com.puppycrawl.tools checkstyle ${checkstyle.version} de.learnlib learnlib-build-config ${project.version} com.github.spotbugs spotbugs-maven-plugin verify check org.apache.maven.plugins maven-pmd-plugin pmd verify check org.apache.maven.plugins maven-checkstyle-plugin verify check cf maven-compiler-plugin cf-compile compile compile 11 true true org.checkerframework checker ${checkerframework.version} org.checkerframework.checker.nullness.NullnessChecker -J--add-exports=jdk.compiler/com.sun.tools.javac.api=ALL-UNNAMED -J--add-exports=jdk.compiler/com.sun.tools.javac.code=ALL-UNNAMED -J--add-exports=jdk.compiler/com.sun.tools.javac.file=ALL-UNNAMED -J--add-exports=jdk.compiler/com.sun.tools.javac.main=ALL-UNNAMED -J--add-exports=jdk.compiler/com.sun.tools.javac.model=ALL-UNNAMED -J--add-exports=jdk.compiler/com.sun.tools.javac.processing=ALL-UNNAMED -J--add-exports=jdk.compiler/com.sun.tools.javac.tree=ALL-UNNAMED -J--add-exports=jdk.compiler/com.sun.tools.javac.util=ALL-UNNAMED -J--add-opens=jdk.compiler/com.sun.tools.javac.comp=ALL-UNNAMED -AskipUses=^java.lang.ThreadLocal|^org.testng.* -AsuppressWarnings=uninitialized -AassumeAssertionsAreEnabled -Astubs=collection-object-parameters-may-be-null.astub cf-test-compile test-compile testCompile true true org.checkerframework checker ${checkerframework.version} org.checkerframework.checker.nullness.NullnessChecker -J--add-exports=jdk.compiler/com.sun.tools.javac.api=ALL-UNNAMED -J--add-exports=jdk.compiler/com.sun.tools.javac.code=ALL-UNNAMED -J--add-exports=jdk.compiler/com.sun.tools.javac.file=ALL-UNNAMED -J--add-exports=jdk.compiler/com.sun.tools.javac.main=ALL-UNNAMED -J--add-exports=jdk.compiler/com.sun.tools.javac.model=ALL-UNNAMED -J--add-exports=jdk.compiler/com.sun.tools.javac.processing=ALL-UNNAMED -J--add-exports=jdk.compiler/com.sun.tools.javac.tree=ALL-UNNAMED -J--add-exports=jdk.compiler/com.sun.tools.javac.util=ALL-UNNAMED -J--add-opens=jdk.compiler/com.sun.tools.javac.comp=ALL-UNNAMED -AonlyDefs=^de\.learnlib -AskipUses=.* -AsuppressWarnings=uninitialized -AassumeAssertionsAreEnabled -Astubs=collection-object-parameters-may-be-null.astub