diff --git a/api/src/main/java/net/automatalib/automata/package-info.java b/api/src/main/java/net/automatalib/automata/package-info.java index eb200c1af1..19c484abe2 100644 --- a/api/src/main/java/net/automatalib/automata/package-info.java +++ b/api/src/main/java/net/automatalib/automata/package-info.java @@ -27,4 +27,4 @@ * * @see net.automatalib.ts */ -package net.automatalib.automata; \ No newline at end of file +package net.automatalib.automata; diff --git a/api/src/main/java/net/automatalib/automata/visualization/MooreVisualizationHelper.java b/api/src/main/java/net/automatalib/automata/visualization/MooreVisualizationHelper.java index 10da648f59..7a5171b5c5 100644 --- a/api/src/main/java/net/automatalib/automata/visualization/MooreVisualizationHelper.java +++ b/api/src/main/java/net/automatalib/automata/visualization/MooreVisualizationHelper.java @@ -42,4 +42,4 @@ public boolean getNodeProperties(S node, Map properties) { return true; } -} \ No newline at end of file +} diff --git a/api/src/main/java/net/automatalib/exception/GrowingAlphabetNotSupportedException.java b/api/src/main/java/net/automatalib/exception/GrowingAlphabetNotSupportedException.java index 49a951e29e..41659dfaa2 100644 --- a/api/src/main/java/net/automatalib/exception/GrowingAlphabetNotSupportedException.java +++ b/api/src/main/java/net/automatalib/exception/GrowingAlphabetNotSupportedException.java @@ -29,4 +29,4 @@ public GrowingAlphabetNotSupportedException(Alphabet alphabet) { super("The alphabet '" + alphabet + "' does not support growing"); } -} \ No newline at end of file +} diff --git a/api/src/main/java/net/automatalib/graphs/FiniteLabeledGraph.java b/api/src/main/java/net/automatalib/graphs/FiniteLabeledGraph.java index 43f2f18ef7..2d573dcb2f 100644 --- a/api/src/main/java/net/automatalib/graphs/FiniteLabeledGraph.java +++ b/api/src/main/java/net/automatalib/graphs/FiniteLabeledGraph.java @@ -17,4 +17,4 @@ import net.automatalib.graphs.concepts.EdgeLabels; -public interface FiniteLabeledGraph extends Graph, EdgeLabels {} \ No newline at end of file +public interface FiniteLabeledGraph extends Graph, EdgeLabels {} diff --git a/api/src/main/java/net/automatalib/package-info.java b/api/src/main/java/net/automatalib/package-info.java index 352a0a4bee..9edd1e04ce 100644 --- a/api/src/main/java/net/automatalib/package-info.java +++ b/api/src/main/java/net/automatalib/package-info.java @@ -23,4 +23,4 @@ * * @see net.automatalib.AutomataLibSettings */ -package net.automatalib; \ No newline at end of file +package net.automatalib; diff --git a/api/src/test/java/net/automatalib/words/AbstractWordTest.java b/api/src/test/java/net/automatalib/words/AbstractWordTest.java index bd82b9df3a..a700bbbfef 100644 --- a/api/src/test/java/net/automatalib/words/AbstractWordTest.java +++ b/api/src/test/java/net/automatalib/words/AbstractWordTest.java @@ -217,12 +217,12 @@ public void testIterator() { Assert.assertFalse(it.hasNext()); } - @Test(expectedExceptions = {IndexOutOfBoundsException.class}) + @Test(expectedExceptions = IndexOutOfBoundsException.class) public void testSubword1() { testWord.subWord(-1, testWord.length()); } - @Test(expectedExceptions = {IndexOutOfBoundsException.class}) + @Test(expectedExceptions = IndexOutOfBoundsException.class) public void testSubword2() { testWord.subWord(0, testWord.length() + 1); } @@ -244,12 +244,12 @@ public void testPrefix() { } } - @Test(expectedExceptions = {IndexOutOfBoundsException.class}) + @Test(expectedExceptions = IndexOutOfBoundsException.class) public void testPrefix1() { testWord.prefix(testWord.length() + 1); } - @Test(expectedExceptions = {IndexOutOfBoundsException.class}) + @Test(expectedExceptions = IndexOutOfBoundsException.class) public void testPrefix2() { testWord.prefix(-testWord.length() - 1); } @@ -271,12 +271,12 @@ public void testSuffix() { } } - @Test(expectedExceptions = {IndexOutOfBoundsException.class}) + @Test(expectedExceptions = IndexOutOfBoundsException.class) public void testSuffix1() { testWord.suffix(testWord.length() + 1); } - @Test(expectedExceptions = {IndexOutOfBoundsException.class}) + @Test(expectedExceptions = IndexOutOfBoundsException.class) public void testSuffix2() { testWord.suffix(-testWord.length() - 1); } diff --git a/api/src/test/resources/automatalib.properties b/api/src/test/resources/automatalib.properties index d5c811e7c6..7fe4d3b873 100644 --- a/api/src/test/resources/automatalib.properties +++ b/api/src/test/resources/automatalib.properties @@ -8,4 +8,4 @@ automatalib.word.delim.right=delim_right automatalib.word.empty=empty_rep automatalib.word.symbol.delim.left=symbol_delim_left automatalib.word.symbol.delim.right=symbol_delim_right -automatalib.word.symbol.separator=symbol_sep \ No newline at end of file +automatalib.word.symbol.separator=symbol_sep diff --git a/build-tools/src/main/resources/automatalib-learnlib-checkstyle.xml b/build-tools/src/main/resources/automatalib-learnlib-checkstyle.xml index 3dbf7bbbed..2224376954 100644 --- a/build-tools/src/main/resources/automatalib-learnlib-checkstyle.xml +++ b/build-tools/src/main/resources/automatalib-learnlib-checkstyle.xml @@ -47,87 +47,20 @@ limitations under the License. + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + @@ -141,18 +74,28 @@ limitations under the License. - - + + + + + + + + + + + - + + - + @@ -163,32 +106,102 @@ limitations under the License. + + + + - - + + + + + - - - - - - - - + + + + + + + + + + + - - + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/commons/smartcollections/src/main/java/net/automatalib/commons/smartcollections/InvalidReferenceException.java b/commons/smartcollections/src/main/java/net/automatalib/commons/smartcollections/InvalidReferenceException.java index b993edb768..54721fdd9c 100644 --- a/commons/smartcollections/src/main/java/net/automatalib/commons/smartcollections/InvalidReferenceException.java +++ b/commons/smartcollections/src/main/java/net/automatalib/commons/smartcollections/InvalidReferenceException.java @@ -23,13 +23,6 @@ */ public class InvalidReferenceException extends IllegalArgumentException { - /** - * Default constructor. - */ - public InvalidReferenceException() { - super(); - } - /** * Constructor. * diff --git a/commons/smartcollections/src/main/java/net/automatalib/commons/smartcollections/SmartCollection.java b/commons/smartcollections/src/main/java/net/automatalib/commons/smartcollections/SmartCollection.java index 7f9f1e25b5..7da2669884 100644 --- a/commons/smartcollections/src/main/java/net/automatalib/commons/smartcollections/SmartCollection.java +++ b/commons/smartcollections/src/main/java/net/automatalib/commons/smartcollections/SmartCollection.java @@ -91,7 +91,7 @@ public interface SmartCollection extends Collection { * This function is deprecated and should not be used, in favor of the removal by reference {@link * #remove(ElementReference)}. * - * @see Collection#remove(Object) + * @deprecated use {@link #remove(ElementReference)} instead */ @Deprecated @Override diff --git a/commons/smartcollections/src/main/java/net/automatalib/commons/smartcollections/SmartDeque.java b/commons/smartcollections/src/main/java/net/automatalib/commons/smartcollections/SmartDeque.java index 8f70adbc81..1d146ac38c 100644 --- a/commons/smartcollections/src/main/java/net/automatalib/commons/smartcollections/SmartDeque.java +++ b/commons/smartcollections/src/main/java/net/automatalib/commons/smartcollections/SmartDeque.java @@ -89,4 +89,4 @@ public interface SmartDeque extends SmartCollection { */ E popBack(); -} \ No newline at end of file +} diff --git a/commons/smartcollections/src/main/java/net/automatalib/commons/smartcollections/SmartPriorityQueue.java b/commons/smartcollections/src/main/java/net/automatalib/commons/smartcollections/SmartPriorityQueue.java index 44ba38c772..8d4c3be56b 100644 --- a/commons/smartcollections/src/main/java/net/automatalib/commons/smartcollections/SmartPriorityQueue.java +++ b/commons/smartcollections/src/main/java/net/automatalib/commons/smartcollections/SmartPriorityQueue.java @@ -41,4 +41,4 @@ public interface SmartPriorityQueue extends SmartCollection { */ E extractMin(); -} \ No newline at end of file +} diff --git a/commons/util/src/main/java/net/automatalib/commons/util/concurrent/ScalingThreadPoolExecutor.java b/commons/util/src/main/java/net/automatalib/commons/util/concurrent/ScalingThreadPoolExecutor.java index 102c6ed252..7ff7dfeb28 100644 --- a/commons/util/src/main/java/net/automatalib/commons/util/concurrent/ScalingThreadPoolExecutor.java +++ b/commons/util/src/main/java/net/automatalib/commons/util/concurrent/ScalingThreadPoolExecutor.java @@ -103,4 +103,4 @@ public void rejectedExecution(Runnable r, ThreadPoolExecutor executor) { } } -} \ No newline at end of file +} diff --git a/commons/util/src/main/java/net/automatalib/commons/util/lib/LibLoader.java b/commons/util/src/main/java/net/automatalib/commons/util/lib/LibLoader.java index b6ede45297..971bcc6e2d 100644 --- a/commons/util/src/main/java/net/automatalib/commons/util/lib/LibLoader.java +++ b/commons/util/src/main/java/net/automatalib/commons/util/lib/LibLoader.java @@ -175,4 +175,4 @@ private void loadSystemLibrary(String name) { } } -} \ No newline at end of file +} diff --git a/core/src/main/java/net/automatalib/automata/base/compact/AbstractCompactSimpleDeterministic.java b/core/src/main/java/net/automatalib/automata/base/compact/AbstractCompactSimpleDeterministic.java index aef01529c3..622740bc66 100644 --- a/core/src/main/java/net/automatalib/automata/base/compact/AbstractCompactSimpleDeterministic.java +++ b/core/src/main/java/net/automatalib/automata/base/compact/AbstractCompactSimpleDeterministic.java @@ -126,4 +126,4 @@ private int getIntSuccessor(int state, Iterable input) { return current; } -} \ No newline at end of file +} diff --git a/core/src/main/java/net/automatalib/automata/procedural/StackSBA.java b/core/src/main/java/net/automatalib/automata/procedural/StackSBA.java index 030ad9540a..6d47d61e36 100644 --- a/core/src/main/java/net/automatalib/automata/procedural/StackSBA.java +++ b/core/src/main/java/net/automatalib/automata/procedural/StackSBA.java @@ -142,4 +142,4 @@ public ProceduralInputAlphabet getInputAlphabet() { public Map> getProcedures() { return Collections.unmodifiableMap(procedures); } -} \ No newline at end of file +} diff --git a/core/src/main/java/net/automatalib/automata/procedural/StackSPA.java b/core/src/main/java/net/automatalib/automata/procedural/StackSPA.java index 1dfd00297e..01a7593bbd 100644 --- a/core/src/main/java/net/automatalib/automata/procedural/StackSPA.java +++ b/core/src/main/java/net/automatalib/automata/procedural/StackSPA.java @@ -139,4 +139,4 @@ public ProceduralInputAlphabet getInputAlphabet() { public Map> getProcedures() { return Collections.unmodifiableMap(procedures); } -} \ No newline at end of file +} diff --git a/core/src/main/java/net/automatalib/automata/procedural/StackSPMM.java b/core/src/main/java/net/automatalib/automata/procedural/StackSPMM.java index 75fb767b74..d6fbfb8532 100644 --- a/core/src/main/java/net/automatalib/automata/procedural/StackSPMM.java +++ b/core/src/main/java/net/automatalib/automata/procedural/StackSPMM.java @@ -171,4 +171,4 @@ private MealyTransition>, O> sink() { return new MealyTransition<>(StackState.sink(), errorOutput); } -} \ No newline at end of file +} diff --git a/core/src/main/java/net/automatalib/graphs/ads/impl/ADSSymbolNode.java b/core/src/main/java/net/automatalib/graphs/ads/impl/ADSSymbolNode.java index 85db942519..b3d93f8155 100644 --- a/core/src/main/java/net/automatalib/graphs/ads/impl/ADSSymbolNode.java +++ b/core/src/main/java/net/automatalib/graphs/ads/impl/ADSSymbolNode.java @@ -34,4 +34,4 @@ public class ADSSymbolNode extends AbstractRecursiveADSSymbolNode parent, I symbol) { super(parent, symbol); } -} \ No newline at end of file +} diff --git a/core/src/main/java/net/automatalib/graphs/base/compact/AbstractCompactBidiGraph.java b/core/src/main/java/net/automatalib/graphs/base/compact/AbstractCompactBidiGraph.java index e8d786cf27..4dae6cf7d0 100644 --- a/core/src/main/java/net/automatalib/graphs/base/compact/AbstractCompactBidiGraph.java +++ b/core/src/main/java/net/automatalib/graphs/base/compact/AbstractCompactBidiGraph.java @@ -33,7 +33,6 @@ public abstract class AbstractCompactBidiGraph<@Nullable NP, @Nullable EP> private final ResizingArrayStorage>> inEdges; public AbstractCompactBidiGraph() { - super(); this.inEdges = new ResizingArrayStorage<>(List.class); } diff --git a/core/src/main/java/net/automatalib/graphs/base/compact/AbstractCompactGraph.java b/core/src/main/java/net/automatalib/graphs/base/compact/AbstractCompactGraph.java index 515252d44e..6020579a92 100644 --- a/core/src/main/java/net/automatalib/graphs/base/compact/AbstractCompactGraph.java +++ b/core/src/main/java/net/automatalib/graphs/base/compact/AbstractCompactGraph.java @@ -136,4 +136,4 @@ public EP getEdgeProperty(E edge) { return edge.getProperty(); } -} \ No newline at end of file +} diff --git a/core/src/main/java/net/automatalib/graphs/base/compact/CompactGraph.java b/core/src/main/java/net/automatalib/graphs/base/compact/CompactGraph.java index 183da52ada..42f97ed118 100644 --- a/core/src/main/java/net/automatalib/graphs/base/compact/CompactGraph.java +++ b/core/src/main/java/net/automatalib/graphs/base/compact/CompactGraph.java @@ -23,7 +23,6 @@ public class CompactGraph<@Nullable NP, @Nullable EP> extends AbstractCompactGra private final ResizingArrayStorage nodeProperties; public CompactGraph() { - super(); this.nodeProperties = new ResizingArrayStorage<>(Object.class); } diff --git a/core/src/main/java/net/automatalib/graphs/base/compact/CompactPMPG.java b/core/src/main/java/net/automatalib/graphs/base/compact/CompactPMPG.java index 4aed6eb80f..a4f4754f9f 100644 --- a/core/src/main/java/net/automatalib/graphs/base/compact/CompactPMPG.java +++ b/core/src/main/java/net/automatalib/graphs/base/compact/CompactPMPG.java @@ -36,7 +36,6 @@ public class CompactPMPG private int finalNode; public CompactPMPG(L defaultLabel) { - super(); this.nodeProperties = new ResizingArrayStorage<>(Set.class); this.defaultLabel = defaultLabel; this.initialNode = -1; diff --git a/core/src/main/java/net/automatalib/graphs/base/compact/CompactSimpleBidiGraph.java b/core/src/main/java/net/automatalib/graphs/base/compact/CompactSimpleBidiGraph.java index bc7ff415df..e347461642 100644 --- a/core/src/main/java/net/automatalib/graphs/base/compact/CompactSimpleBidiGraph.java +++ b/core/src/main/java/net/automatalib/graphs/base/compact/CompactSimpleBidiGraph.java @@ -20,7 +20,7 @@ public class CompactSimpleBidiGraph<@Nullable EP> extends AbstractCompactBidiGraph { public CompactSimpleBidiGraph() { - super(); + // default constructor } public CompactSimpleBidiGraph(int initialCapacity) { diff --git a/core/src/main/java/net/automatalib/graphs/base/compact/CompactSimpleGraph.java b/core/src/main/java/net/automatalib/graphs/base/compact/CompactSimpleGraph.java index 8739515445..93adf0ce03 100644 --- a/core/src/main/java/net/automatalib/graphs/base/compact/CompactSimpleGraph.java +++ b/core/src/main/java/net/automatalib/graphs/base/compact/CompactSimpleGraph.java @@ -20,7 +20,7 @@ public class CompactSimpleGraph<@Nullable EP> extends AbstractCompactGraph, Void, EP> { public CompactSimpleGraph() { - super(); + // default constructor } public CompactSimpleGraph(int initialCapacity) { diff --git a/core/src/main/java/net/automatalib/words/impl/GrowingMapAlphabet.java b/core/src/main/java/net/automatalib/words/impl/GrowingMapAlphabet.java index 56d5e2b83d..0046bbb509 100644 --- a/core/src/main/java/net/automatalib/words/impl/GrowingMapAlphabet.java +++ b/core/src/main/java/net/automatalib/words/impl/GrowingMapAlphabet.java @@ -28,7 +28,7 @@ public class GrowingMapAlphabet extends MapAlphabet implements GrowingAlphabet { public GrowingMapAlphabet() { - super(); + // default constructor } public GrowingMapAlphabet(Collection symbols) { diff --git a/core/src/test/java/net/automatalib/automata/words/basic/ArrayAlphabetTest.java b/core/src/test/java/net/automatalib/automata/words/basic/ArrayAlphabetTest.java index 79790d3a63..f2128eb21d 100644 --- a/core/src/test/java/net/automatalib/automata/words/basic/ArrayAlphabetTest.java +++ b/core/src/test/java/net/automatalib/automata/words/basic/ArrayAlphabetTest.java @@ -36,4 +36,4 @@ protected List getNonAlphabetSymbols() { protected ArrayAlphabet getAlphabet() { return new ArrayAlphabet<>(AlphabetTestUtil.CONTAINED_SYMBOLS_ARR); } -} \ No newline at end of file +} diff --git a/core/src/test/java/net/automatalib/automata/words/basic/DefaultVPAlphabetTest.java b/core/src/test/java/net/automatalib/automata/words/basic/DefaultVPAlphabetTest.java index 91945585ec..bb3c887c1d 100644 --- a/core/src/test/java/net/automatalib/automata/words/basic/DefaultVPAlphabetTest.java +++ b/core/src/test/java/net/automatalib/automata/words/basic/DefaultVPAlphabetTest.java @@ -53,4 +53,4 @@ public void testNonDisjointSubAlphabets() { DefaultVPAlphabetTestUtil.CALL_SYMBOLS, DefaultVPAlphabetTestUtil.INTERNAL_SYMBOLS)); } -} \ No newline at end of file +} diff --git a/core/src/test/java/net/automatalib/automata/words/basic/FastAlphabetTest.java b/core/src/test/java/net/automatalib/automata/words/basic/FastAlphabetTest.java index 72ea45c64d..bcde1a5a04 100644 --- a/core/src/test/java/net/automatalib/automata/words/basic/FastAlphabetTest.java +++ b/core/src/test/java/net/automatalib/automata/words/basic/FastAlphabetTest.java @@ -37,4 +37,4 @@ protected List getNonAlphabetSymbols() { protected FastAlphabet getAlphabet() { return new FastAlphabet<>(FastAlphabetTestUtil.ALPHABET_SYMBOLS); } -} \ No newline at end of file +} diff --git a/core/src/test/java/net/automatalib/automata/words/basic/GrowingMapAlphabetTest.java b/core/src/test/java/net/automatalib/automata/words/basic/GrowingMapAlphabetTest.java index 21c65aa0b9..2cd93dcade 100644 --- a/core/src/test/java/net/automatalib/automata/words/basic/GrowingMapAlphabetTest.java +++ b/core/src/test/java/net/automatalib/automata/words/basic/GrowingMapAlphabetTest.java @@ -36,4 +36,4 @@ protected List getNonAlphabetSymbols() { protected GrowingMapAlphabet getAlphabet() { return new GrowingMapAlphabet<>(AlphabetTestUtil.CONTAINED_SYMBOLS_LIST); } -} \ No newline at end of file +} diff --git a/core/src/test/java/net/automatalib/automata/words/growing/AbstractGrowingAlphabetTest.java b/core/src/test/java/net/automatalib/automata/words/growing/AbstractGrowingAlphabetTest.java index 5185d1b6a9..1ea7b960ee 100644 --- a/core/src/test/java/net/automatalib/automata/words/growing/AbstractGrowingAlphabetTest.java +++ b/core/src/test/java/net/automatalib/automata/words/growing/AbstractGrowingAlphabetTest.java @@ -92,4 +92,4 @@ public void testAddInitialSymbols() { Assert.assertEquals(sym, this.alphabet.getSymbol(i)); } } -} \ No newline at end of file +} diff --git a/core/src/test/java/net/automatalib/automata/words/growing/FastAlphabetTest.java b/core/src/test/java/net/automatalib/automata/words/growing/FastAlphabetTest.java index fe53f50c87..0ee2ae138a 100644 --- a/core/src/test/java/net/automatalib/automata/words/growing/FastAlphabetTest.java +++ b/core/src/test/java/net/automatalib/automata/words/growing/FastAlphabetTest.java @@ -37,4 +37,5 @@ protected List getAdditionalAlphabetSymbols() { protected FastAlphabet getInitialAlphabet() { return new FastAlphabet<>(FastAlphabetTestUtil.ALPHABET_SYMBOLS); } -} \ No newline at end of file +} + diff --git a/core/src/test/java/net/automatalib/automata/words/growing/GrowingMapAlphabetTest.java b/core/src/test/java/net/automatalib/automata/words/growing/GrowingMapAlphabetTest.java index 8e80ca0a06..0df55cedc3 100644 --- a/core/src/test/java/net/automatalib/automata/words/growing/GrowingMapAlphabetTest.java +++ b/core/src/test/java/net/automatalib/automata/words/growing/GrowingMapAlphabetTest.java @@ -36,4 +36,5 @@ protected List getAdditionalAlphabetSymbols() { protected GrowingMapAlphabet getInitialAlphabet() { return new GrowingMapAlphabet<>(AlphabetTestUtil.CONTAINED_SYMBOLS_LIST); } -} \ No newline at end of file +} + diff --git a/core/src/test/java/net/automatalib/automata/words/vpa/DefaultVPAlphabetTest.java b/core/src/test/java/net/automatalib/automata/words/vpa/DefaultVPAlphabetTest.java index 2fdff2aef4..52e6919e39 100644 --- a/core/src/test/java/net/automatalib/automata/words/vpa/DefaultVPAlphabetTest.java +++ b/core/src/test/java/net/automatalib/automata/words/vpa/DefaultVPAlphabetTest.java @@ -48,4 +48,5 @@ protected DefaultVPAlphabet getAlphabet() { DefaultVPAlphabetTestUtil.CALL_SYMBOLS, DefaultVPAlphabetTestUtil.RETURN_SYMBOLS); } -} \ No newline at end of file +} + diff --git a/core/src/test/java/net/automatalib/automata/words/vpa/GrowingVPAlphabetTest.java b/core/src/test/java/net/automatalib/automata/words/vpa/GrowingVPAlphabetTest.java index 6d15c60f40..3992315c6c 100644 --- a/core/src/test/java/net/automatalib/automata/words/vpa/GrowingVPAlphabetTest.java +++ b/core/src/test/java/net/automatalib/automata/words/vpa/GrowingVPAlphabetTest.java @@ -47,4 +47,5 @@ protected List> getNonAlphabetSymbols() { protected GrowingVPAlphabet getAlphabet() { return GrowingVPAlphabetTestUtil.ALPHABET; } -} \ No newline at end of file +} + diff --git a/core/src/test/java/net/automatalib/modelchecking/modelchecker/cache/ModelCheckerMock.java b/core/src/test/java/net/automatalib/modelchecking/modelchecker/cache/ModelCheckerMock.java index 91997890f4..da948b3628 100644 --- a/core/src/test/java/net/automatalib/modelchecking/modelchecker/cache/ModelCheckerMock.java +++ b/core/src/test/java/net/automatalib/modelchecking/modelchecker/cache/ModelCheckerMock.java @@ -103,4 +103,4 @@ public Collection getSkipOutputs() { @Override public void setSkipOutputs(Collection skipOutputs) {} } -} \ No newline at end of file +} diff --git a/core/src/test/java/net/automatalib/ts/modal/CompactMTSTest.java b/core/src/test/java/net/automatalib/ts/modal/CompactMTSTest.java index 32c0e83806..d95c5291cb 100644 --- a/core/src/test/java/net/automatalib/ts/modal/CompactMTSTest.java +++ b/core/src/test/java/net/automatalib/ts/modal/CompactMTSTest.java @@ -179,4 +179,4 @@ private static Predicate> propertyPredic ModalType modalType) { return t -> Objects.equals(t.getTarget(), tgt) && t.getProperty().getModalType() == modalType; } -} \ No newline at end of file +} diff --git a/examples/src/main/java/net/automatalib/examples/modelchecking/M3CSPAExample.java b/examples/src/main/java/net/automatalib/examples/modelchecking/M3CSPAExample.java index 8f35479fd9..a953fdff19 100644 --- a/examples/src/main/java/net/automatalib/examples/modelchecking/M3CSPAExample.java +++ b/examples/src/main/java/net/automatalib/examples/modelchecking/M3CSPAExample.java @@ -59,7 +59,7 @@ public static void main(String[] args) throws ParseException { "EF [] false", // there exists a path to the final state "AF [] false", // all paths reach the final state "AG EF [] false", // on all paths there exists a path to the final state - "AG ([S] (AF true))", // globally, every S path must be followed by an R eventually + "AG ([S] (AF true))" // globally, every S path must be followed by an R eventually }; //@formatter:on diff --git a/incremental/src/main/java/net/automatalib/incremental/ConflictException.java b/incremental/src/main/java/net/automatalib/incremental/ConflictException.java index 28d0d2abfa..c0680f1957 100644 --- a/incremental/src/main/java/net/automatalib/incremental/ConflictException.java +++ b/incremental/src/main/java/net/automatalib/incremental/ConflictException.java @@ -26,7 +26,7 @@ public class ConflictException extends IllegalArgumentException { * @see IllegalArgumentException#IllegalArgumentException() */ public ConflictException() { - super(); + // default constructor } /** diff --git a/incremental/src/main/java/net/automatalib/incremental/mealy/tree/dynamic/Node.java b/incremental/src/main/java/net/automatalib/incremental/mealy/tree/dynamic/Node.java index 6396ce26f3..a35df69e70 100644 --- a/incremental/src/main/java/net/automatalib/incremental/mealy/tree/dynamic/Node.java +++ b/incremental/src/main/java/net/automatalib/incremental/mealy/tree/dynamic/Node.java @@ -45,4 +45,4 @@ void setEdge(I symbol, Edge, O> edge) { Map, O>> getOutEdges() { return outEdges; } -} \ No newline at end of file +} diff --git a/modelchecking/ltsmin/src/test/java/net/automatalib/modelcheckers/ltsmin/ltl/LTSminLTLAlternatingTest.java b/modelchecking/ltsmin/src/test/java/net/automatalib/modelcheckers/ltsmin/ltl/LTSminLTLAlternatingTest.java index 1729b7c2ac..d2faa44a7a 100644 --- a/modelchecking/ltsmin/src/test/java/net/automatalib/modelcheckers/ltsmin/ltl/LTSminLTLAlternatingTest.java +++ b/modelchecking/ltsmin/src/test/java/net/automatalib/modelcheckers/ltsmin/ltl/LTSminLTLAlternatingTest.java @@ -52,4 +52,5 @@ protected MealyLasso createCounterExample() { protected String createFalseProperty() { return "X letter == \"a\""; } -} \ No newline at end of file +} + diff --git a/modelchecking/ltsmin/src/test/java/net/automatalib/modelcheckers/ltsmin/ltl/LTSminLTLDFATest.java b/modelchecking/ltsmin/src/test/java/net/automatalib/modelcheckers/ltsmin/ltl/LTSminLTLDFATest.java index 71459e7fa2..d00031d0e6 100644 --- a/modelchecking/ltsmin/src/test/java/net/automatalib/modelcheckers/ltsmin/ltl/LTSminLTLDFATest.java +++ b/modelchecking/ltsmin/src/test/java/net/automatalib/modelcheckers/ltsmin/ltl/LTSminLTLDFATest.java @@ -78,4 +78,4 @@ public void testEmptyLanguage() { getModelChecker().findCounterExample(dfa, getAlphabet(), "true"); } -} \ No newline at end of file +} diff --git a/modelchecking/ltsmin/src/test/java/net/automatalib/modelcheckers/ltsmin/ltl/LTSminLTLIOTest.java b/modelchecking/ltsmin/src/test/java/net/automatalib/modelcheckers/ltsmin/ltl/LTSminLTLIOTest.java index 6174277fc8..13b3761290 100644 --- a/modelchecking/ltsmin/src/test/java/net/automatalib/modelcheckers/ltsmin/ltl/LTSminLTLIOTest.java +++ b/modelchecking/ltsmin/src/test/java/net/automatalib/modelcheckers/ltsmin/ltl/LTSminLTLIOTest.java @@ -51,4 +51,5 @@ protected MealyLasso createCounterExample() { protected String createFalseProperty() { return "input == \"b\""; } -} \ No newline at end of file +} + diff --git a/modelchecking/ltsmin/src/test/java/net/automatalib/modelcheckers/ltsmin/monitor/AbstractLTSminMonitorMealyTest.java b/modelchecking/ltsmin/src/test/java/net/automatalib/modelcheckers/ltsmin/monitor/AbstractLTSminMonitorMealyTest.java index e9ff989fbb..9914a1eedc 100644 --- a/modelchecking/ltsmin/src/test/java/net/automatalib/modelcheckers/ltsmin/monitor/AbstractLTSminMonitorMealyTest.java +++ b/modelchecking/ltsmin/src/test/java/net/automatalib/modelcheckers/ltsmin/monitor/AbstractLTSminMonitorMealyTest.java @@ -75,4 +75,4 @@ public void testSkipOutputs() { // we can test if output 2 is removed with the property in #getSkipFormula(). Assert.assertNull(getModelChecker().findCounterExample(mealy, getAlphabet(), getSkipFormula())); } -} \ No newline at end of file +} diff --git a/modelchecking/ltsmin/src/test/java/net/automatalib/modelcheckers/ltsmin/monitor/LTSminMonitorAlternatingTest.java b/modelchecking/ltsmin/src/test/java/net/automatalib/modelcheckers/ltsmin/monitor/LTSminMonitorAlternatingTest.java index 25c015ceec..c68c417ee6 100644 --- a/modelchecking/ltsmin/src/test/java/net/automatalib/modelcheckers/ltsmin/monitor/LTSminMonitorAlternatingTest.java +++ b/modelchecking/ltsmin/src/test/java/net/automatalib/modelcheckers/ltsmin/monitor/LTSminMonitorAlternatingTest.java @@ -44,4 +44,5 @@ public void newModelChecker() { protected String createFalseProperty() { return "X letter == \"a\""; } -} \ No newline at end of file +} + diff --git a/modelchecking/ltsmin/src/test/java/net/automatalib/modelcheckers/ltsmin/monitor/LTSminMonitorDFATest.java b/modelchecking/ltsmin/src/test/java/net/automatalib/modelcheckers/ltsmin/monitor/LTSminMonitorDFATest.java index 4dce699aa5..c6374c1466 100644 --- a/modelchecking/ltsmin/src/test/java/net/automatalib/modelcheckers/ltsmin/monitor/LTSminMonitorDFATest.java +++ b/modelchecking/ltsmin/src/test/java/net/automatalib/modelcheckers/ltsmin/monitor/LTSminMonitorDFATest.java @@ -82,4 +82,4 @@ public void testEmptyLanguage() { getModelChecker().findCounterExample(dfa, getAlphabet(), "true"); } -} \ No newline at end of file +} diff --git a/modelchecking/ltsmin/src/test/java/net/automatalib/modelcheckers/ltsmin/monitor/LTSminMonitorIOTest.java b/modelchecking/ltsmin/src/test/java/net/automatalib/modelcheckers/ltsmin/monitor/LTSminMonitorIOTest.java index bc5e471a32..0858a18e81 100644 --- a/modelchecking/ltsmin/src/test/java/net/automatalib/modelcheckers/ltsmin/monitor/LTSminMonitorIOTest.java +++ b/modelchecking/ltsmin/src/test/java/net/automatalib/modelcheckers/ltsmin/monitor/LTSminMonitorIOTest.java @@ -43,4 +43,5 @@ public void newModelChecker() { protected String createFalseProperty() { return "input == \"b\""; } -} \ No newline at end of file +} + diff --git a/modelchecking/m3c/src/main/java/net/automatalib/modelcheckers/m3c/package-info.java b/modelchecking/m3c/src/main/java/net/automatalib/modelcheckers/m3c/package-info.java index b9f1f458f6..1dfef489b4 100644 --- a/modelchecking/m3c/src/main/java/net/automatalib/modelcheckers/m3c/package-info.java +++ b/modelchecking/m3c/src/main/java/net/automatalib/modelcheckers/m3c/package-info.java @@ -20,4 +20,4 @@ * Alnis Murtovi. The paper is based on Model Checking * for Context-Free Processes by Olaf Burkart and Bernhard Steffen. */ -package net.automatalib.modelcheckers.m3c; \ No newline at end of file +package net.automatalib.modelcheckers.m3c; diff --git a/serialization/fsm/src/test/java/net/automatalib/serialization/fsm/parser/FSM2DFAParserTest.java b/serialization/fsm/src/test/java/net/automatalib/serialization/fsm/parser/FSM2DFAParserTest.java index 73df1e6eca..54434d0729 100644 --- a/serialization/fsm/src/test/java/net/automatalib/serialization/fsm/parser/FSM2DFAParserTest.java +++ b/serialization/fsm/src/test/java/net/automatalib/serialization/fsm/parser/FSM2DFAParserTest.java @@ -91,4 +91,4 @@ public void doNotCloseInputStreamTest() throws IOException { parser.readModel(new UnclosableInputStream(is)); } } -} \ No newline at end of file +} diff --git a/serialization/fsm/src/test/java/net/automatalib/serialization/fsm/parser/FSM2MealyParserAlternatingTest.java b/serialization/fsm/src/test/java/net/automatalib/serialization/fsm/parser/FSM2MealyParserAlternatingTest.java index 5ea0a767b0..8361fdce64 100644 --- a/serialization/fsm/src/test/java/net/automatalib/serialization/fsm/parser/FSM2MealyParserAlternatingTest.java +++ b/serialization/fsm/src/test/java/net/automatalib/serialization/fsm/parser/FSM2MealyParserAlternatingTest.java @@ -75,4 +75,4 @@ public void doNotCloseInputStreamTest() throws IOException { FSM2MealyParserAlternating.getParser(s -> s.charAt(0)).readModel(new UnclosableInputStream(is)); } } -} \ No newline at end of file +} diff --git a/serialization/fsm/src/test/java/net/automatalib/serialization/fsm/parser/FSM2MealyParserIOTest.java b/serialization/fsm/src/test/java/net/automatalib/serialization/fsm/parser/FSM2MealyParserIOTest.java index 19e4573a48..dcbb9008d4 100644 --- a/serialization/fsm/src/test/java/net/automatalib/serialization/fsm/parser/FSM2MealyParserIOTest.java +++ b/serialization/fsm/src/test/java/net/automatalib/serialization/fsm/parser/FSM2MealyParserIOTest.java @@ -73,4 +73,4 @@ public void doNotCloseInputStreamTest() throws IOException { FSM2MealyParserIO.getParser(s -> s.charAt(0)).readModel(new UnclosableInputStream(is)); } } -} \ No newline at end of file +} diff --git a/serialization/saf/src/main/java/net/automatalib/serialization/saf/AcceptanceDecoder.java b/serialization/saf/src/main/java/net/automatalib/serialization/saf/AcceptanceDecoder.java index 1b424ac6c5..6fa223bed4 100644 --- a/serialization/saf/src/main/java/net/automatalib/serialization/saf/AcceptanceDecoder.java +++ b/serialization/saf/src/main/java/net/automatalib/serialization/saf/AcceptanceDecoder.java @@ -38,4 +38,4 @@ public Boolean readProperty(DataInput in) throws IOException { mask <<= 1; return prop; } -} \ No newline at end of file +} diff --git a/serialization/saf/src/main/java/net/automatalib/serialization/saf/AcceptanceEncoder.java b/serialization/saf/src/main/java/net/automatalib/serialization/saf/AcceptanceEncoder.java index 6d48c4f4fd..c1400dcc44 100644 --- a/serialization/saf/src/main/java/net/automatalib/serialization/saf/AcceptanceEncoder.java +++ b/serialization/saf/src/main/java/net/automatalib/serialization/saf/AcceptanceEncoder.java @@ -45,4 +45,4 @@ public void encodeProperty(DataOutput out, Boolean property) throws IOException public void finish(DataOutput out) throws IOException { out.writeInt(currAcc); } -} \ No newline at end of file +} diff --git a/serialization/saf/src/main/java/net/automatalib/serialization/saf/AutomatonType.java b/serialization/saf/src/main/java/net/automatalib/serialization/saf/AutomatonType.java index 3017817b43..1dbc5f3b8e 100644 --- a/serialization/saf/src/main/java/net/automatalib/serialization/saf/AutomatonType.java +++ b/serialization/saf/src/main/java/net/automatalib/serialization/saf/AutomatonType.java @@ -29,4 +29,4 @@ enum AutomatonType { public boolean isDeterministic() { return deterministic; } -} \ No newline at end of file +} diff --git a/serialization/saf/src/main/java/net/automatalib/serialization/saf/SAFSerializationNFA.java b/serialization/saf/src/main/java/net/automatalib/serialization/saf/SAFSerializationNFA.java index 22f0dc5c67..efbfe941aa 100644 --- a/serialization/saf/src/main/java/net/automatalib/serialization/saf/SAFSerializationNFA.java +++ b/serialization/saf/src/main/java/net/automatalib/serialization/saf/SAFSerializationNFA.java @@ -51,4 +51,4 @@ public void writeModel(OutputStream os, NFA model, Alphabet SAFOutput out = new SAFOutput(os); out.writeNFA(model, alphabet); } -} \ No newline at end of file +} diff --git a/util/src/main/java/net/automatalib/util/automata/ads/LeeYannakakis.java b/util/src/main/java/net/automatalib/util/automata/ads/LeeYannakakis.java index 2412cbf10a..ca6e4d8328 100644 --- a/util/src/main/java/net/automatalib/util/automata/ads/LeeYannakakis.java +++ b/util/src/main/java/net/automatalib/util/automata/ads/LeeYannakakis.java @@ -96,11 +96,11 @@ private static SplitTreeResult computeSplitTree(MealyMachine< .mapToInt(x -> x.getPartition().size()) .max() .orElseThrow(IllegalStateException::new); - final Set> R = + final Set> r = leaves.stream().filter(x -> x.getPartition().size() == maxCardinality).collect(Collectors.toSet()); final Map, SplitTree>>> validitySetMap = - computeValidities(automaton, input, R, leaves); + computeValidities(automaton, input, r, leaves); if (!validitySetMap.get(Validity.INVALID).isEmpty()) { final Set, SplitTree>> set = validitySetMap.get(Validity.INVALID); @@ -186,13 +186,13 @@ private static SplitTreeResult computeSplitTree(MealyMachine< .collect(Collectors.toMap(x -> automaton.getSuccessor(x, cValidInput), Function.identity())); - final SplitTree C = + final SplitTree c = st.findLowestSubsetNode(successorsToNodes.keySet()).orElseThrow(IllegalStateException::new); - nodeToRefine.setSequence(cValidInput.concat(C.getSequence())); + nodeToRefine.setSequence(cValidInput.concat(c.getSequence())); leaves.remove(nodeToRefine); - for (Map.Entry> entry : C.getSuccessors().entrySet()) { + for (Map.Entry> entry : c.getSuccessors().entrySet()) { final Set wSet = entry.getValue().getPartition(); final Set intersection = new HashSet<>(successorsToNodes.keySet()); @@ -207,7 +207,7 @@ private static SplitTreeResult computeSplitTree(MealyMachine< } } for (S s : nodeToRefine.getPartition()) { - nodeToRefine.getMapping().put(s, C.getMapping().get(automaton.getSuccessor(s, cValidInput))); + nodeToRefine.getMapping().put(s, c.getMapping().get(automaton.getSuccessor(s, cValidInput))); } } } @@ -286,7 +286,7 @@ private static boolean isValidInput(MealyMachine automaton private static Map, SplitTree>>> computeValidities(MealyMachine automaton, Alphabet inputs, - Set> R, + Set> r, Set> pi) { final Map, SplitTree>>> result = new EnumMap<>(Validity.class); @@ -317,12 +317,12 @@ private static Map, SplitTree>>> c } partitionLoop: - for (SplitTree B : R) { + for (SplitTree b : r) { // general validity final Map validInputMap = Maps.newHashMapWithExpectedSize(inputs.size()); for (I i : inputs) { - validInputMap.put(i, isValidInput(automaton, i, B.getPartition())); + validInputMap.put(i, isValidInput(automaton, i, b.getPartition())); } // a valid @@ -333,11 +333,11 @@ private static Map, SplitTree>>> c } final Set outputs = - B.getPartition().stream().map(s -> automaton.getOutput(s, i)).collect(Collectors.toSet()); + b.getPartition().stream().map(s -> automaton.getOutput(s, i)).collect(Collectors.toSet()); if (outputs.size() > 1) { - result.get(Validity.A_VALID).add(Pair.of(Word.fromSymbols(i), B)); - partitionToClassificationMap.put(stateToPartitionMap.get(B.getPartition().iterator().next()), + result.get(Validity.A_VALID).add(Pair.of(Word.fromSymbols(i), b)); + partitionToClassificationMap.put(stateToPartitionMap.get(b.getPartition().iterator().next()), Validity.A_VALID); continue partitionLoop; } @@ -350,14 +350,14 @@ private static Map, SplitTree>>> c continue; } - final Set successors = B.getPartition() + final Set successors = b.getPartition() .stream() .map(s -> stateToPartitionMap.get(automaton.getSuccessor(s, i))) .collect(Collectors.toSet()); if (successors.size() > 1) { - result.get(Validity.B_VALID).add(Pair.of(Word.fromSymbols(i), B)); - partitionToClassificationMap.put(stateToPartitionMap.get(B.getPartition().iterator().next()), + result.get(Validity.B_VALID).add(Pair.of(Word.fromSymbols(i), b)); + partitionToClassificationMap.put(stateToPartitionMap.get(b.getPartition().iterator().next()), Validity.B_VALID); continue partitionLoop; } @@ -371,7 +371,7 @@ private static Map, SplitTree>>> c continue; } - final S nodeInPartition = B.getPartition().iterator().next(); + final S nodeInPartition = b.getPartition().iterator().next(); final S successor = automaton.getSuccessor(nodeInPartition, i); final Integer partition = stateToPartitionMap.get(nodeInPartition); @@ -379,16 +379,16 @@ private static Map, SplitTree>>> c if (!partition.equals(successorPartition)) { implicationGraph.connect(partition, successorPartition, i); - pendingCs.add(B); + pendingCs.add(b); } } - if (pendingCs.contains(B)) { + if (pendingCs.contains(b)) { continue partitionLoop; } //if we haven't continued the loop up until here, there is no valid input - result.get(Validity.INVALID).add(Pair.of(null, B)); + result.get(Validity.INVALID).add(Pair.of(null, b)); } //check remaining potential Cs diff --git a/util/src/main/java/net/automatalib/util/automata/copy/LowLevelAutomatonCopier.java b/util/src/main/java/net/automatalib/util/automata/copy/LowLevelAutomatonCopier.java index 799df74082..072f7cc43b 100644 --- a/util/src/main/java/net/automatalib/util/automata/copy/LowLevelAutomatonCopier.java +++ b/util/src/main/java/net/automatalib/util/automata/copy/LowLevelAutomatonCopier.java @@ -23,4 +23,4 @@ public interface LowLevelAutomatonCopier { Mapping getStateMapping(); -} \ No newline at end of file +} diff --git a/util/src/main/java/net/automatalib/util/automata/copy/PlainAutomatonCopy.java b/util/src/main/java/net/automatalib/util/automata/copy/PlainAutomatonCopy.java index d102d066a6..b20dc36790 100644 --- a/util/src/main/java/net/automatalib/util/automata/copy/PlainAutomatonCopy.java +++ b/util/src/main/java/net/automatalib/util/automata/copy/PlainAutomatonCopy.java @@ -75,4 +75,4 @@ private static class StateRec { } } -} \ No newline at end of file +} diff --git a/util/src/main/java/net/automatalib/util/minimizer/Edge.java b/util/src/main/java/net/automatalib/util/minimizer/Edge.java index 80906f76c3..9c269141d3 100644 --- a/util/src/main/java/net/automatalib/util/minimizer/Edge.java +++ b/util/src/main/java/net/automatalib/util/minimizer/Edge.java @@ -82,4 +82,4 @@ public String toString() { return "(" + source + ", " + transitionLabel + ", " + target + ")"; } -} \ No newline at end of file +} diff --git a/util/src/main/java/net/automatalib/util/minimizer/State.java b/util/src/main/java/net/automatalib/util/minimizer/State.java index d2ffe72fe6..d439793431 100644 --- a/util/src/main/java/net/automatalib/util/minimizer/State.java +++ b/util/src/main/java/net/automatalib/util/minimizer/State.java @@ -252,4 +252,4 @@ public String toString() { public State getElement() { return this; } -} \ No newline at end of file +} diff --git a/util/src/main/java/net/automatalib/util/ts/traversal/SimpleDFRecord.java b/util/src/main/java/net/automatalib/util/ts/traversal/SimpleDFRecord.java index 7df25be0a1..f6d9d3c1d9 100644 --- a/util/src/main/java/net/automatalib/util/ts/traversal/SimpleDFRecord.java +++ b/util/src/main/java/net/automatalib/util/ts/traversal/SimpleDFRecord.java @@ -96,4 +96,4 @@ public T transition() { return transitionIterator.next(); } -} \ No newline at end of file +} diff --git a/util/src/test/java/net/automatalib/util/automata/equivalence/BisimulationTest.java b/util/src/test/java/net/automatalib/util/automata/equivalence/BisimulationTest.java index f3a0804d87..f872723cea 100644 --- a/util/src/test/java/net/automatalib/util/automata/equivalence/BisimulationTest.java +++ b/util/src/test/java/net/automatalib/util/automata/equivalence/BisimulationTest.java @@ -94,4 +94,4 @@ private static , BS, BT, B extends Aut return statesA.isEmpty() && statesB.isEmpty(); } -} \ No newline at end of file +} diff --git a/util/src/test/java/net/automatalib/util/partitionrefinement/PaigeTarjanTest.java b/util/src/test/java/net/automatalib/util/partitionrefinement/PaigeTarjanTest.java index 899ddb6e41..f0e3a6dfb0 100644 --- a/util/src/test/java/net/automatalib/util/partitionrefinement/PaigeTarjanTest.java +++ b/util/src/test/java/net/automatalib/util/partitionrefinement/PaigeTarjanTest.java @@ -160,4 +160,4 @@ private void testMealyConfiguration(AutomatonInitialPartitioning ap, Assert.assertEquals(minimized.size(), expectedSize); Assert.assertEquals(Automata.testEquivalence(mealy, minimized, mealy.getInputAlphabet()), equivalent); } -} \ No newline at end of file +} diff --git a/util/src/test/java/net/automatalib/util/ts/modal/ModalConjunctionTest.java b/util/src/test/java/net/automatalib/util/ts/modal/ModalConjunctionTest.java index 2fb9bcf043..03c51bf075 100644 --- a/util/src/test/java/net/automatalib/util/ts/modal/ModalConjunctionTest.java +++ b/util/src/test/java/net/automatalib/util/ts/modal/ModalConjunctionTest.java @@ -217,7 +217,7 @@ void errorNoSuitableTransitionsInPartner() { } @Test(dataProvider = "randomSource") - void random(CompactMTS a, CompactMTS b, int K) { + void random(CompactMTS a, CompactMTS b, int k) { algo = new ModalConjunction<>(a, b, CompactMTS::new); @@ -311,4 +311,4 @@ private static T getSingleTransition(Mod return null; } -} \ No newline at end of file +} diff --git a/util/src/test/java/net/automatalib/util/ts/modal/ModalRefinementTest.java b/util/src/test/java/net/automatalib/util/ts/modal/ModalRefinementTest.java index 00cef71d87..3b979aa315 100644 --- a/util/src/test/java/net/automatalib/util/ts/modal/ModalRefinementTest.java +++ b/util/src/test/java/net/automatalib/util/ts/modal/ModalRefinementTest.java @@ -268,4 +268,4 @@ public void jasperTest1() { Assert.assertTrue(MTSUtil.isRefinementOf(s, t, alphabet)); } -} \ No newline at end of file +}