4.0.0 net.automatalib automata-parent 0.11.0 ../pom.xml automata-build-parent pom AutomataLib :: Build Parent A utility artifact, 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 net/automatalib/util/automaton/builder/AutomatonBuilder.class net/automatalib/util/automaton/builder/AutomatonBuilder$*.class net/automatalib/util/automaton/builder/DFABuilder.class net/automatalib/util/automaton/builder/DFABuilder$*.class net/automatalib/util/automaton/builder/FSABuilder.class net/automatalib/util/automaton/builder/FSABuilder$*.class net/automatalib/util/automaton/builder/MealyBuilder.class net/automatalib/util/automaton/builder/MealyBuilder$*.class net/automatalib/util/automaton/builder/MooreBuilder.class net/automatalib/util/automaton/builder/MooreBuilder$*.class net/automatalib/serialization/dot/InternalDOTParser*.class net/automatalib/serialization/dot/ParseException.class net/automatalib/serialization/dot/SimpleCharStream.class net/automatalib/serialization/dot/Token.class net/automatalib/serialization/dot/TokenMgrError.class net/automatalib/serialization/taf/parser/InternalTAFParser*.class net/automatalib/serialization/taf/parser/ParseException.class net/automatalib/serialization/taf/parser/SimpleCharStream.class net/automatalib/serialization/taf/parser/Token.class net/automatalib/serialization/taf/parser/TokenMgrError.class net/automatalib/modelchecker/ltsmin/InternalLTSminLTLParser*.class net/automatalib/modelchecker/ltsmin/ParseException.class net/automatalib/modelchecker/ltsmin/SimpleCharStream.class net/automatalib/modelchecker/ltsmin/Token.class net/automatalib/modelchecker/ltsmin/TokenMgrError.class net/automatalib/modelchecker/m3c/formula/parser/InternalM3CParser*.class net/automatalib/modelchecker/m3c/formula/parser/ParseException.class net/automatalib/modelchecker/m3c/formula/parser/SimpleCharStream.class net/automatalib/modelchecker/m3c/formula/parser/Token.class net/automatalib/modelchecker/m3c/formula/parser/TokenMgrError.class net/automatalib/modelchecker/ltsmin/ltl/LTSminLTLAlternatingBuilder.class net/automatalib/modelchecker/ltsmin/ltl/LTSminLTLDFABuilder.class net/automatalib/modelchecker/ltsmin/ltl/LTSminLTLIOBuilder.class net/automatalib/modelchecker/ltsmin/monitor/LTSminMonitorAlternatingBuilder.class net/automatalib/modelchecker/ltsmin/monitor/LTSminMonitorDFABuilder.class net/automatalib/modelchecker/ltsmin/monitor/LTSminMonitorIOBuilder.class code-analysis com.github.spotbugs spotbugs-maven-plugin /automatalib-spotbugs-exclusions.xml Max net.automatalib.tooling automata-build-tools ${project.version} org.apache.maven.plugins maven-pmd-plugin /automatalib-pmd-ruleset.xml net.automatalib.tooling automata-build-tools ${project.version} org.apache.maven.plugins maven-checkstyle-plugin /automatalib-learnlib-checkstyle.xml /license-header-java.txt /automatalib-checkstyle-suppressions.xml true false com.puppycrawl.tools checkstyle ${checkstyle.version} net.automatalib.tooling automata-build-tools ${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 com.google.code.findbugs jsr305 ${jsr305.version} provided com.google.errorprone javac ${error-prone.version} provided org.apache.maven.plugins maven-dependency-plugin properties maven-compiler-plugin cf-compile compile compile ${automatalib.java9OrNewer} true true ${project.build.directory}/checkerframework org.checkerframework checker ${checkerframework.version} org.checkerframework.checker.nullness.NullnessChecker -J-Xbootclasspath/p:${com.google.errorprone:javac:jar} -AskipDefs=^net.automatalib.serialization.taf.parser.(Internal.*|Token.*|SimpleCharStream)|\ ^net.automatalib.serialization.dot.(Internal.*|Token.*|SimpleCharStream)|\ ^net.automatalib.modelchecker.ltsmin.(Internal.*|Token.*|SimpleCharStream)|\ ^net.automatalib.modelchecker.m3c.formula.parser.(Internal.*|Token.*|SimpleCharStream)|\ -AskipUses=^com.google.*|\ ^java.(awt.*|util.Arrays|io.StreamTokenizer)|\ ^javax.swing.*|\ -AsuppressWarnings=uninitialized -AassumeAssertionsAreEnabled -Astubs=jdk8.astub:collection-object-parameters-may-be-null.astub cf-test-compile test-compile testCompile ${automatalib.java9OrNewer} true true ${project.build.directory}/checkerframework org.checkerframework checker ${checkerframework.version} org.checkerframework.checker.nullness.NullnessChecker -J-Xbootclasspath/p:${com.google.errorprone:javac:jar} -AonlyDefs=^net\.automatalib -AskipUses=.* -AsuppressWarnings=uninitialized -AassumeAssertionsAreEnabled