[#47] Ramaining test puzzles. Moved assertions for stask manipulation tokens to main.

skapral · skapral · commit f09c94912d6d · 2017-09-27T21:38:13.000+03:00
diff --git a/atom-codegen/src/main/java/oo/atom/codegen/bytebuddy/smt/AssertStackManipulationProducesExpectedBytecode.java b/atom-codegen/src/main/java/oo/atom/codegen/bytebuddy/smt/AssertStackManipulationProducesExpectedBytecode.java
diff --git a/atom-codegen/src/main/java/oo/atom/codegen/bytebuddy/smt/AssertStackManipulationsAreSame.java b/atom-codegen/src/main/java/oo/atom/codegen/bytebuddy/smt/AssertStackManipulationsAreSame.java
diff --git a/atom-codegen/src/main/java/oo/atom/codegen/bytebuddy/smt/AssertTokenToRepresentExpectedStackManipulation.java b/atom-codegen/src/main/java/oo/atom/codegen/bytebuddy/smt/AssertTokenToRepresentExpectedStackManipulation.java
@@ -25,6 +25,7 @@
 
 import java.util.function.Supplier;
 import net.bytebuddy.implementation.bytecode.StackManipulation;
+import oo.atom.codegen.bytebuddy.smt.StackManipulationToken;
 import oo.atom.tests.Assertion;
 import oo.atom.tests.InferredAssertion;
 
diff --git a/atom-codegen/src/main/java/oo/atom/codegen/bytebuddy/smt/AssertTokensToRepresentIdenticalBytecode.java b/atom-codegen/src/main/java/oo/atom/codegen/bytebuddy/smt/AssertTokensToRepresentIdenticalBytecode.java
@@ -23,6 +23,7 @@
  */
 package oo.atom.codegen.bytebuddy.smt;
 
+import oo.atom.codegen.bytebuddy.smt.StackManipulationToken;
 import oo.atom.tests.Assertion;
 import oo.atom.tests.InferredAssertion;
 
diff --git a/atom-codegen/src/main/java/oo/atom/codegen/bytebuddy/smt/internals/MethodVisitorRecorder.java b/atom-codegen/src/main/java/oo/atom/codegen/bytebuddy/smt/internals/MethodVisitorRecorder.java
diff --git a/atom-codegen/src/test/java/oo/atom/codegen/bytebuddy/bt/AssertBuilderTransitionIsNotCorruptingClassTest.java b/atom-codegen/src/test/java/oo/atom/codegen/bytebuddy/bt/AssertBuilderTransitionIsNotCorruptingClassTest.java
@@ -0,0 +1,34 @@
+/*
+ * The MIT License
+ *
+ * Copyright 2017 Kapralov Sergey.
+ *
+ * Permission is hereby granted, free of charge, to any person obtaining a copy
+ * of this software and associated documentation files (the "Software"), to deal
+ * in the Software without restriction, including without limitation the rights
+ * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+ * copies of the Software, and to permit persons to whom the Software is
+ * furnished to do so, subject to the following conditions:
+ *
+ * The above copyright notice and this permission notice shall be included in
+ * all copies or substantial portions of the Software.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+ * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+ * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+ * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+ * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+ * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+ * THE SOFTWARE.
+ */
+package oo.atom.codegen.bytebuddy.bt;
+
+import oo.atom.tests.AssertionsSuite;
+
+/**
+ * Tests suite for {@link AssertBuilderTransitionIsNotCorruptingClass}
+ * @author Kapralov Sergey
+ * @todo #47:15m Improve test coverage and mutation coverage for {@link AssertBuilderTransitionIsNotCorruptingClass}
+ */
+public class AssertBuilderTransitionIsNotCorruptingClassTest extends AssertionsSuite {
+}
diff --git a/atom-codegen/src/test/java/oo/atom/codegen/bytebuddy/bt/AssertClassToHaveCertainMethodsAfterBuilderTransitionTest.java b/atom-codegen/src/test/java/oo/atom/codegen/bytebuddy/bt/AssertClassToHaveCertainMethodsAfterBuilderTransitionTest.java
@@ -0,0 +1,34 @@
+/*
+ * The MIT License
+ *
+ * Copyright 2017 Kapralov Sergey.
+ *
+ * Permission is hereby granted, free of charge, to any person obtaining a copy
+ * of this software and associated documentation files (the "Software"), to deal
+ * in the Software without restriction, including without limitation the rights
+ * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+ * copies of the Software, and to permit persons to whom the Software is
+ * furnished to do so, subject to the following conditions:
+ *
+ * The above copyright notice and this permission notice shall be included in
+ * all copies or substantial portions of the Software.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+ * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+ * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+ * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+ * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+ * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+ * THE SOFTWARE.
+ */
+package oo.atom.codegen.bytebuddy.bt;
+
+import oo.atom.tests.AssertionsSuite;
+
+/**
+ * Tests suite for {@link AssertClassToHaveCertainMethodsAfterBuilderTransition}
+ * @author Kapralov Sergey
+ * @todo #47:15m Improve test coverage and mutation coverage for {@link AssertClassToHaveCertainMethodsAfterBuilderTransition}
+ */
+public class AssertClassToHaveCertainMethodsAfterBuilderTransitionTest extends AssertionsSuite {
+}
diff --git a/atom-codegen/src/test/java/oo/atom/codegen/bytebuddy/matchers/AssertThatTypeDoesNotMatchTest.java b/atom-codegen/src/test/java/oo/atom/codegen/bytebuddy/matchers/AssertThatTypeDoesNotMatchTest.java
@@ -0,0 +1,34 @@
+/*
+ * The MIT License
+ *
+ * Copyright 2017 Kapralov Sergey.
+ *
+ * Permission is hereby granted, free of charge, to any person obtaining a copy
+ * of this software and associated documentation files (the "Software"), to deal
+ * in the Software without restriction, including without limitation the rights
+ * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+ * copies of the Software, and to permit persons to whom the Software is
+ * furnished to do so, subject to the following conditions:
+ *
+ * The above copyright notice and this permission notice shall be included in
+ * all copies or substantial portions of the Software.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+ * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+ * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+ * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+ * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+ * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+ * THE SOFTWARE.
+ */
+package oo.atom.codegen.bytebuddy.matchers;
+
+import oo.atom.tests.AssertionsSuite;
+
+/**
+ * Tests suite for {@link AssertThatTypeDoesNotMatch}
+ * @author Kapralov Sergey
+ * @todo #47:15m Improve test coverage and mutation coverage for {@link AssertThatTypeDoesNotMatch}
+ */
+public class AssertThatTypeDoesNotMatchTest extends AssertionsSuite {
+}
diff --git a/atom-codegen/src/test/java/oo/atom/codegen/bytebuddy/matchers/AssertThatTypeMatchesTest.java b/atom-codegen/src/test/java/oo/atom/codegen/bytebuddy/matchers/AssertThatTypeMatchesTest.java
@@ -0,0 +1,34 @@
+/*
+ * The MIT License
+ *
+ * Copyright 2017 Kapralov Sergey.
+ *
+ * Permission is hereby granted, free of charge, to any person obtaining a copy
+ * of this software and associated documentation files (the "Software"), to deal
+ * in the Software without restriction, including without limitation the rights
+ * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+ * copies of the Software, and to permit persons to whom the Software is
+ * furnished to do so, subject to the following conditions:
+ *
+ * The above copyright notice and this permission notice shall be included in
+ * all copies or substantial portions of the Software.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+ * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+ * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+ * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+ * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+ * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+ * THE SOFTWARE.
+ */
+package oo.atom.codegen.bytebuddy.matchers;
+
+import oo.atom.tests.AssertionsSuite;
+
+/**
+ * Tests suite for {@link AssertThatTypeMatches}
+ * @author Kapralov Sergey
+ * @todo #47:15m Improve test coverage and mutation coverage for {@link AssertThatTypeMatches}
+ */
+public class AssertThatTypeMatchesTest extends AssertionsSuite {
+}
diff --git a/atom-codegen/src/test/java/oo/atom/codegen/bytebuddy/smt/AssertStackManipulationProducesExpectedBytecodeTest.java b/atom-codegen/src/test/java/oo/atom/codegen/bytebuddy/smt/AssertStackManipulationProducesExpectedBytecodeTest.java
@@ -0,0 +1,34 @@
+/*
+ * The MIT License
+ *
+ * Copyright 2017 Kapralov Sergey.
+ *
+ * Permission is hereby granted, free of charge, to any person obtaining a copy
+ * of this software and associated documentation files (the "Software"), to deal
+ * in the Software without restriction, including without limitation the rights
+ * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+ * copies of the Software, and to permit persons to whom the Software is
+ * furnished to do so, subject to the following conditions:
+ *
+ * The above copyright notice and this permission notice shall be included in
+ * all copies or substantial portions of the Software.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+ * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+ * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+ * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+ * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+ * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+ * THE SOFTWARE.
+ */
+package oo.atom.codegen.bytebuddy.smt;
+
+import oo.atom.tests.AssertionsSuite;
+
+/**
+ * Tests suite for {@link AssertStackManipulationProducesExpectedBytecode}
+ * @author Kapralov Sergey
+ * @todo #47:15m Improve test coverage and mutation coverage for {@link AssertStackManipulationProducesExpectedBytecode}
+ */
+public class AssertStackManipulationProducesExpectedBytecodeTest extends AssertionsSuite {
+}
diff --git a/atom-codegen/src/test/java/oo/atom/codegen/bytebuddy/smt/AssertStackManipulationsAreSameTest.java b/atom-codegen/src/test/java/oo/atom/codegen/bytebuddy/smt/AssertStackManipulationsAreSameTest.java
@@ -23,19 +23,12 @@
  */
 package oo.atom.codegen.bytebuddy.smt;
 
-import net.bytebuddy.description.type.TypeDescription;
-import org.assertj.core.api.Assertions;
-import org.junit.Test;
+import oo.atom.tests.AssertionsSuite;
 
 /**
- *
+ * Tests suite for {@link AssertStackManipulationsAreSame}
  * @author Kapralov Sergey
+ * @todo #47:15m Improve test coverage and mutation coverage for {@link AssertStackManipulationsAreSame}
  */
-public class ProbaTest {
-    
-    
-    @Test
-    public void test() {
-        Assertions.assertThat(new TypeDescription.ForLoadedType(Object[].class).isArray()).isTrue();
-    }
+public class AssertStackManipulationsAreSameTest extends AssertionsSuite {
 }
diff --git a/atom-codegen/src/test/java/oo/atom/codegen/bytebuddy/smt/AssertTokenToRepresentExpectedStackManipulationTest.java b/atom-codegen/src/test/java/oo/atom/codegen/bytebuddy/smt/AssertTokenToRepresentExpectedStackManipulationTest.java
@@ -0,0 +1,34 @@
+/*
+ * The MIT License
+ *
+ * Copyright 2017 Kapralov Sergey.
+ *
+ * Permission is hereby granted, free of charge, to any person obtaining a copy
+ * of this software and associated documentation files (the "Software"), to deal
+ * in the Software without restriction, including without limitation the rights
+ * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+ * copies of the Software, and to permit persons to whom the Software is
+ * furnished to do so, subject to the following conditions:
+ *
+ * The above copyright notice and this permission notice shall be included in
+ * all copies or substantial portions of the Software.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+ * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+ * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+ * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+ * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+ * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+ * THE SOFTWARE.
+ */
+package oo.atom.codegen.bytebuddy.smt;
+
+import oo.atom.tests.AssertionsSuite;
+
+/**
+ * Tests suite for {@link AssertTokenToRepresentExpectedStackManipulation}
+ * @author Kapralov Sergey
+ * @todo #47:15m Improve test coverage and mutation coverage for {@link AssertTokenToRepresentExpectedStackManipulation}
+ */
+public class AssertTokenToRepresentExpectedStackManipulationTest extends AssertionsSuite {
+}
diff --git a/atom-codegen/src/test/java/oo/atom/codegen/bytebuddy/smt/AssertTokenToRepresentIdenticalBytecodeTest.java b/atom-codegen/src/test/java/oo/atom/codegen/bytebuddy/smt/AssertTokenToRepresentIdenticalBytecodeTest.java
@@ -0,0 +1,34 @@
+/*
+ * The MIT License
+ *
+ * Copyright 2017 Kapralov Sergey.
+ *
+ * Permission is hereby granted, free of charge, to any person obtaining a copy
+ * of this software and associated documentation files (the "Software"), to deal
+ * in the Software without restriction, including without limitation the rights
+ * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+ * copies of the Software, and to permit persons to whom the Software is
+ * furnished to do so, subject to the following conditions:
+ *
+ * The above copyright notice and this permission notice shall be included in
+ * all copies or substantial portions of the Software.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+ * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+ * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+ * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+ * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+ * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+ * THE SOFTWARE.
+ */
+package oo.atom.codegen.bytebuddy.smt;
+
+import oo.atom.tests.AssertionsSuite;
+
+/**
+ * Tests suite for {@link AssertTokenToRepresentIdenticalBytecode}
+ * @author Kapralov Sergey
+ * @todo #47:15m Improve test coverage and mutation coverage for {@link AssertTokenToRepresentIdenticalBytecode}
+ */
+public class AssertTokenToRepresentIdenticalBytecodeTest extends AssertionsSuite {
+}
diff --git a/atom-codegen/src/test/java/oo/atom/codegen/bytebuddy/smt/bp/BpStatic.java b/atom-codegen/src/test/java/oo/atom/codegen/bytebuddy/smt/bp/BpStatic.java
diff --git a/atom-codegen/src/test/java/oo/atom/codegen/bytebuddy/smt/bp/BytecodePattern.java b/atom-codegen/src/test/java/oo/atom/codegen/bytebuddy/smt/bp/BytecodePattern.java
diff --git a/atom-codegen/src/test/java/oo/atom/r/AssertResultHoldsExpectedValueTest.java b/atom-codegen/src/test/java/oo/atom/r/AssertResultHoldsExpectedValueTest.java
@@ -0,0 +1,34 @@
+/*
+ * The MIT License
+ *
+ * Copyright 2017 Kapralov Sergey.
+ *
+ * Permission is hereby granted, free of charge, to any person obtaining a copy
+ * of this software and associated documentation files (the "Software"), to deal
+ * in the Software without restriction, including without limitation the rights
+ * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+ * copies of the Software, and to permit persons to whom the Software is
+ * furnished to do so, subject to the following conditions:
+ *
+ * The above copyright notice and this permission notice shall be included in
+ * all copies or substantial portions of the Software.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+ * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+ * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+ * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+ * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+ * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+ * THE SOFTWARE.
+ */
+package oo.atom.r;
+
+import oo.atom.tests.AssertionsSuite;
+
+/**
+ * Tests suite for {@link AssertResultHoldsExpectedValue}
+ * @author Kapralov Sergey
+ * @todo #47:15m Improve test coverage and mutation coverage for {@link AssertResultHoldsExpectedValue}
+ */
+public class AssertResultHoldsExpectedValueTest extends AssertionsSuite {
+}
diff --git a/atom-codegen/src/test/java/oo/atom/r/AssertResultIsErroneousTest.java b/atom-codegen/src/test/java/oo/atom/r/AssertResultIsErroneousTest.java
@@ -0,0 +1,34 @@
+/*
+ * The MIT License
+ *
+ * Copyright 2017 Kapralov Sergey.
+ *
+ * Permission is hereby granted, free of charge, to any person obtaining a copy
+ * of this software and associated documentation files (the "Software"), to deal
+ * in the Software without restriction, including without limitation the rights
+ * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+ * copies of the Software, and to permit persons to whom the Software is
+ * furnished to do so, subject to the following conditions:
+ *
+ * The above copyright notice and this permission notice shall be included in
+ * all copies or substantial portions of the Software.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+ * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+ * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+ * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+ * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+ * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+ * THE SOFTWARE.
+ */
+package oo.atom.r;
+
+import oo.atom.tests.AssertionsSuite;
+
+/**
+ * Tests suite for {@link AssertResultIsErroneous}
+ * @author Kapralov Sergey
+ * @todo #47:15m Improve test coverage and mutation coverage for {@link AssertResultIsErroneous}
+ */
+public class AssertResultIsErroneousTest extends AssertionsSuite {
+}
diff --git a/atom-codegen/src/test/java/oo/atom/r/AssertResultIsMalformedTest.java b/atom-codegen/src/test/java/oo/atom/r/AssertResultIsMalformedTest.java
