Started by timer Running as SYSTEM [EnvInject] - Loading node environment variables. Building remotely on sos-builder01 (lin) in workspace /builds/workspace/metamutator [WS-CLEANUP] Deleting project workspace... [WS-CLEANUP] Deferred wipeout is used... [WS-CLEANUP] Done No credentials specified Cloning the remote Git repository Cloning repository https://github.com/SpoonLabs/metamutator.git > git init /builds/workspace/metamutator # timeout=10 Fetching upstream changes from https://github.com/SpoonLabs/metamutator.git > git --version # timeout=10 > git fetch --tags --progress https://github.com/SpoonLabs/metamutator.git +refs/heads/*:refs/remotes/origin/* > git config remote.origin.url https://github.com/SpoonLabs/metamutator.git # timeout=10 > git config --add remote.origin.fetch +refs/heads/*:refs/remotes/origin/* # timeout=10 > git config remote.origin.url https://github.com/SpoonLabs/metamutator.git # timeout=10 Fetching upstream changes from https://github.com/SpoonLabs/metamutator.git > git fetch --tags --progress https://github.com/SpoonLabs/metamutator.git +refs/heads/*:refs/remotes/origin/* > git rev-parse refs/remotes/origin/master^{commit} # timeout=10 > git rev-parse refs/remotes/origin/origin/master^{commit} # timeout=10 Checking out Revision af72bb94bd9ed54ff0fbab99b48b7ee4ca59dee7 (refs/remotes/origin/master) > git config core.sparsecheckout # timeout=10 > git checkout -f af72bb94bd9ed54ff0fbab99b48b7ee4ca59dee7 Commit message: "Merge pull request #13 from 0xflotus/patch-1" > git rev-list --no-walk af72bb94bd9ed54ff0fbab99b48b7ee4ca59dee7 # timeout=10 [metamutator] $ /bin/sh -xe /tmp/jenkins7353356857793936780.sh + mvn versions:use-latest-versions -DallowSnapshots=true Picked up JAVA_TOOL_OPTIONS: -Dfile.encoding=UTF8 [INFO] Scanning for projects... [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building metamutator 0.1-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- versions-maven-plugin:2.4:use-latest-versions (default-cli) @ metamutator --- [INFO] Major version changes allowed [INFO] Updated junit:junit:jar:4.12 to version 4.13 [INFO] artifact fr.inria.gforge.spoon:spoon-core: checking for updates from gforge.inria.fr-snapshot [INFO] Updated fr.inria.gforge.spoon:spoon-core:jar:7.2.0-SNAPSHOT to version 8.1.0-SNAPSHOT [INFO] artifact com.google.collections:google-collections: checking for updates from gforge.inria.fr-snapshot [INFO] artifact com.google.collections:google-collections: checking for updates from central [INFO] artifact org.beanshell:bsh: checking for updates from gforge.inria.fr-snapshot [INFO] artifact org.beanshell:bsh: checking for updates from central [INFO] artifact commons-lang:commons-lang: checking for updates from gforge.inria.fr-snapshot [INFO] artifact commons-lang:commons-lang: checking for updates from central [INFO] ------------------------------------------------------------------------ [INFO] BUILD SUCCESS [INFO] ------------------------------------------------------------------------ [INFO] Total time: 2.468 s [INFO] Finished at: 2020-01-14T14:29:06+01:00 [INFO] Final Memory: 19M/172M [INFO] ------------------------------------------------------------------------ + mvn test Picked up JAVA_TOOL_OPTIONS: -Dfile.encoding=UTF8 [INFO] Scanning for projects... [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building metamutator 0.1-SNAPSHOT [INFO] ------------------------------------------------------------------------ Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/fr/inria/gforge/spoon/spoon-core/8.1.0-SNAPSHOT/maven-metadata.xml [WARNING] Could not apply configuration for gforge.inria.fr-snapshot to wagon org.apache.maven.wagon.providers.http.HttpWagon:Cannot find 'preferredAuthentications' in class org.apache.maven.wagon.providers.http.HttpWagon 1013/1013 B Downloaded: http://maven.inria.fr/artifactory/spoon-public-snapshot/fr/inria/gforge/spoon/spoon-core/8.1.0-SNAPSHOT/maven-metadata.xml (1013 B at 3.7 KB/sec) Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/fr/inria/gforge/spoon/spoon-core/8.1.0-SNAPSHOT/spoon-core-8.1.0-20200113.234147-82.pom [WARNING] Could not apply configuration for gforge.inria.fr-snapshot to wagon org.apache.maven.wagon.providers.http.HttpWagon:Cannot find 'preferredAuthentications' in class org.apache.maven.wagon.providers.http.HttpWagon Downloaded: http://maven.inria.fr/artifactory/spoon-public-snapshot/fr/inria/gforge/spoon/spoon-core/8.1.0-SNAPSHOT/spoon-core-8.1.0-20200113.234147-82.pom (0 B at 0.0 KB/sec) Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/fr/inria/gforge/spoon/spoon-core/8.1.0-SNAPSHOT/spoon-core-8.1.0-20200113.234147-82.jar [WARNING] Could not apply configuration for gforge.inria.fr-snapshot to wagon org.apache.maven.wagon.providers.http.HttpWagon:Cannot find 'preferredAuthentications' in class org.apache.maven.wagon.providers.http.HttpWagon Downloaded: http://maven.inria.fr/artifactory/spoon-public-snapshot/fr/inria/gforge/spoon/spoon-core/8.1.0-SNAPSHOT/spoon-core-8.1.0-20200113.234147-82.jar (0 B at 0.0 KB/sec) [INFO] [INFO] --- maven-resources-plugin:2.6:resources (default-resources) @ metamutator --- [WARNING] Using platform encoding (UTF8 actually) to copy filtered resources, i.e. build is platform dependent! [INFO] skip non existing resourceDirectory /builds/workspace/metamutator/src/main/resources [INFO] [INFO] --- maven-compiler-plugin:3.1:compile (default-compile) @ metamutator --- [INFO] Changes detected - recompiling the module! [WARNING] File encoding has not been set, using platform encoding UTF8, i.e. build is platform dependent! [INFO] Compiling 16 source files to /builds/workspace/metamutator/target/classes [WARNING] /builds/workspace/metamutator/src/main/java/metamutator/StatementDeletionMetaMutator.java: Some input files use or override a deprecated API. [WARNING] /builds/workspace/metamutator/src/main/java/metamutator/StatementDeletionMetaMutator.java: Recompile with -Xlint:deprecation for details. [WARNING] /builds/workspace/metamutator/src/main/java/metamutator/Selector.java: Some input files use unchecked or unsafe operations. [WARNING] /builds/workspace/metamutator/src/main/java/metamutator/Selector.java: Recompile with -Xlint:unchecked for details. [INFO] [INFO] --- maven-resources-plugin:2.6:testResources (default-testResources) @ metamutator --- [WARNING] Using platform encoding (UTF8 actually) to copy filtered resources, i.e. build is platform dependent! [INFO] skip non existing resourceDirectory /builds/workspace/metamutator/src/test/resources [INFO] [INFO] --- maven-compiler-plugin:3.1:testCompile (default-testCompile) @ metamutator --- [INFO] Changes detected - recompiling the module! [WARNING] File encoding has not been set, using platform encoding UTF8, i.e. build is platform dependent! [INFO] Compiling 23 source files to /builds/workspace/metamutator/target/test-classes [WARNING] /builds/workspace/metamutator/src/test/java/resources/search_replay_spoon/search_replay_src/SearchReplayClassBis.java: Some input files use unchecked or unsafe operations. [WARNING] /builds/workspace/metamutator/src/test/java/resources/search_replay_spoon/search_replay_src/SearchReplayClassBis.java: Recompile with -Xlint:unchecked for details. [INFO] [INFO] --- maven-surefire-plugin:2.16:test (default-test) @ metamutator --- [INFO] Surefire report directory: /builds/workspace/metamutator/target/surefire-reports ------------------------------------------------------- T E S T S ------------------------------------------------------- Picked up JAVA_TOOL_OPTIONS: -Dfile.encoding=UTF8 Running UniqueTestGeneratorTest done public class TestSuite { public static void main(String[] args) throws Exception { new TestSuite().test(); } @org.junit.Test public void test() throws Exception { new org.junit.runners.BlockJUnit4ClassRunner(metamutator.ArithmeticOperatorMetaMutatorTest.class).run(new org.junit.runner.notification.RunNotifier() { @Override public void fireTestFailure(org.junit.runner.notification.Failure failure) { if (failure.getException() instanceof RuntimeException) throw (RuntimeException)failure.getException(); if (failure.getException() instanceof Error) throw (Error)failure.getException(); throw new RuntimeException(failure.getException()); } }); new org.junit.runners.BlockJUnit4ClassRunner(metamutator.BinaryOperatorMetaMutatorTest.class).run(new org.junit.runner.notification.RunNotifier() { @Override public void fireTestFailure(org.junit.runner.notification.Failure failure) { if (failure.getException() instanceof RuntimeException) throw (RuntimeException)failure.getException(); if (failure.getException() instanceof Error) throw (Error)failure.getException(); throw new RuntimeException(failure.getException()); } }); new org.junit.runners.BlockJUnit4ClassRunner(metamutator.ConstantReplacementMetaMutatorTest.class).run(new org.junit.runner.notification.RunNotifier() { @Override public void fireTestFailure(org.junit.runner.notification.Failure failure) { if (failure.getException() instanceof RuntimeException) throw (RuntimeException)failure.getException(); if (failure.getException() instanceof Error) throw (Error)failure.getException(); throw new RuntimeException(failure.getException()); } }); new org.junit.runners.BlockJUnit4ClassRunner(metamutator.LoopExpressionMetaMutatorTest.class).run(new org.junit.runner.notification.RunNotifier() { @Override public void fireTestFailure(org.junit.runner.notification.Failure failure) { if (failure.getException() instanceof RuntimeException) throw (RuntimeException)failure.getException(); if (failure.getException() instanceof Error) throw (Error)failure.getException(); throw new RuntimeException(failure.getException()); } }); new org.junit.runners.BlockJUnit4ClassRunner(metamutator.MutantSearchSpaceExploratorTest.class).run(new org.junit.runner.notification.RunNotifier() { @Override public void fireTestFailure(org.junit.runner.notification.Failure failure) { if (failure.getException() instanceof RuntimeException) throw (RuntimeException)failure.getException(); if (failure.getException() instanceof Error) throw (Error)failure.getException(); throw new RuntimeException(failure.getException()); } }); new org.junit.runners.BlockJUnit4ClassRunner(metamutator.NumericExpressionMetaMutatorTest.class).run(new org.junit.runner.notification.RunNotifier() { @Override public void fireTestFailure(org.junit.runner.notification.Failure failure) { if (failure.getException() instanceof RuntimeException) throw (RuntimeException)failure.getException(); if (failure.getException() instanceof Error) throw (Error)failure.getException(); throw new RuntimeException(failure.getException()); } }); new org.junit.runners.BlockJUnit4ClassRunner(metamutator.ReplayMutantTest.class).run(new org.junit.runner.notification.RunNotifier() { @Override public void fireTestFailure(org.junit.runner.notification.Failure failure) { if (failure.getException() instanceof RuntimeException) throw (RuntimeException)failure.getException(); if (failure.getException() instanceof Error) throw (Error)failure.getException(); throw new RuntimeException(failure.getException()); } }); new org.junit.runners.BlockJUnit4ClassRunner(metamutator.ReturnReplacementOperatorMetaMutatorTest.class).run(new org.junit.runner.notification.RunNotifier() { @Override public void fireTestFailure(org.junit.runner.notification.Failure failure) { if (failure.getException() instanceof RuntimeException) throw (RuntimeException)failure.getException(); if (failure.getException() instanceof Error) throw (Error)failure.getException(); throw new RuntimeException(failure.getException()); } }); new org.junit.runners.BlockJUnit4ClassRunner(metamutator.StatementDeletionMetaMutatorTest.class).run(new org.junit.runner.notification.RunNotifier() { @Override public void fireTestFailure(org.junit.runner.notification.Failure failure) { if (failure.getException() instanceof RuntimeException) throw (RuntimeException)failure.getException(); if (failure.getException() instanceof Error) throw (Error)failure.getException(); throw new RuntimeException(failure.getException()); } }); new org.junit.runners.BlockJUnit4ClassRunner(metamutator.VariabletoNullMetaMutatorTest.class).run(new org.junit.runner.notification.RunNotifier() { @Override public void fireTestFailure(org.junit.runner.notification.Failure failure) { if (failure.getException() instanceof RuntimeException) throw (RuntimeException)failure.getException(); if (failure.getException() instanceof Error) throw (Error)failure.getException(); throw new RuntimeException(failure.getException()); } }); new org.junit.runners.BlockJUnit4ClassRunner(resources.footest.FooTest.class).run(new org.junit.runner.notification.RunNotifier() { @Override public void fireTestFailure(org.junit.runner.notification.Failure failure) { if (failure.getException() instanceof RuntimeException) throw (RuntimeException)failure.getException(); if (failure.getException() instanceof Error) throw (Error)failure.getException(); throw new RuntimeException(failure.getException()); } }); new org.junit.runners.BlockJUnit4ClassRunner(resources.search_replay_test.SearchReplayTestClass.class).run(new org.junit.runner.notification.RunNotifier() { @Override public void fireTestFailure(org.junit.runner.notification.Failure failure) { if (failure.getException() instanceof RuntimeException) throw (RuntimeException)failure.getException(); if (failure.getException() instanceof Error) throw (Error)failure.getException(); throw new RuntimeException(failure.getException()); } }); new org.junit.runners.BlockJUnit4ClassRunner(resources.search_replay_test.SearchReplayTestClassBis.class).run(new org.junit.runner.notification.RunNotifier() { @Override public void fireTestFailure(org.junit.runner.notification.Failure failure) { if (failure.getException() instanceof RuntimeException) throw (RuntimeException)failure.getException(); if (failure.getException() instanceof Error) throw (Error)failure.getException(); throw new RuntimeException(failure.getException()); } }); new org.junit.runners.BlockJUnit4ClassRunner(UniqueTestGeneratorTest.class).run(new org.junit.runner.notification.RunNotifier() { @Override public void fireTestFailure(org.junit.runner.notification.Failure failure) { if (failure.getException() instanceof RuntimeException) throw (RuntimeException)failure.getException(); if (failure.getException() instanceof Error) throw (Error)failure.getException(); throw new RuntimeException(failure.getException()); } }); } } Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 4.301 sec - in UniqueTestGeneratorTest Running metamutator.MutantSearchSpaceExploratorTest$failingTest Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in metamutator.MutantSearchSpaceExploratorTest$failingTest Running metamutator.ReturnReplacementOperatorMetaMutatorTest // Metaprogram: public class Bar { public boolean op(java.lang.Boolean a, java.lang.Boolean b) { return ((_returnReplacementOperatorHotSpot1.is(metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_OBJECT.NULL)) ? ( null ) : (a || b)); } public boolean op2(java.lang.Integer a, java.lang.Integer b) { return ((_returnReplacementOperatorHotSpot2.is(metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_OBJECT.NULL)) ? ( null ) : (a > b)); } public boolean op3(java.lang.Class c) { return ((_returnReplacementOperatorHotSpot3.is(metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_OBJECT.NULL)) ? ( null ) : (resources.Foo.class == c)); } public java.lang.Integer op_add(java.lang.Integer a, java.lang.Integer b) { return ((_returnReplacementOperatorHotSpot4.is(metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_INT.INT_MIN)) ? ( -2147483647 ) : (_returnReplacementOperatorHotSpot4.is(metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_INT.INT_MAX)) ? ( 2147483646 ) : (_returnReplacementOperatorHotSpot4.is(metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_INT.ZERO)) ? ( 0 ) : (a + b)); } public java.lang.Integer op_minus(java.lang.Integer a, java.lang.Integer b) { return ((_returnReplacementOperatorHotSpot5.is(metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_INT.INT_MIN)) ? ( -2147483647 ) : (_returnReplacementOperatorHotSpot5.is(metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_INT.INT_MAX)) ? ( 2147483646 ) : (_returnReplacementOperatorHotSpot5.is(metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_INT.ZERO)) ? ( 0 ) : (a - b)); } public java.lang.String op_concat_ss(java.lang.String a, java.lang.String b) { return ((_returnReplacementOperatorHotSpot6.is(metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_OBJECT.NULL)) ? ( null ) : (a + b)); } public java.lang.String op_concat_is(java.lang.Integer a, java.lang.String b) { return ((_returnReplacementOperatorHotSpot7.is(metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_OBJECT.NULL)) ? ( null ) : (a + b)); } public java.lang.String op_get_s(java.lang.String a) { return ((_returnReplacementOperatorHotSpot8.is(metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_OBJECT.NULL)) ? ( null ) : (a)); } public boolean op_get_b(java.lang.Boolean a) { return a; } public int op_constant() { int i = 42; return ((_returnReplacementOperatorHotSpot9.is(metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_INT.INT_MIN)) ? ( -2147483647 ) : (_returnReplacementOperatorHotSpot9.is(metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_INT.INT_MAX)) ? ( 2147483646 ) : (_returnReplacementOperatorHotSpot9.is(metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_INT.ZERO)) ? ( 0 ) : (i)); } private static final metamutator.ISelector _returnReplacementOperatorHotSpot1 = metamutator.Selector.of(new metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_OBJECT[]{metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_OBJECT.INIT,metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_OBJECT.NULL}).in(resources.Bar.class).id("_returnReplacementOperatorHotSpot1"); private static final metamutator.ISelector _returnReplacementOperatorHotSpot2 = metamutator.Selector.of(new metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_OBJECT[]{metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_OBJECT.INIT,metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_OBJECT.NULL}).in(resources.Bar.class).id("_returnReplacementOperatorHotSpot2"); private static final metamutator.ISelector _returnReplacementOperatorHotSpot3 = metamutator.Selector.of(new metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_OBJECT[]{metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_OBJECT.INIT,metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_OBJECT.NULL}).in(resources.Bar.class).id("_returnReplacementOperatorHotSpot3"); private static final metamutator.ISelector _returnReplacementOperatorHotSpot4 = metamutator.Selector.of(new metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_INT[]{metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_INT.INIT,metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_INT.INT_MIN,metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_INT.INT_MAX,metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_INT.ZERO}).in(resources.Bar.class).id("_returnReplacementOperatorHotSpot4"); private static final metamutator.ISelector _returnReplacementOperatorHotSpot5 = metamutator.Selector.of(new metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_INT[]{metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_INT.INIT,metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_INT.INT_MIN,metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_INT.INT_MAX,metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_INT.ZERO}).in(resources.Bar.class).id("_returnReplacementOperatorHotSpot5"); private static final metamutator.ISelector _returnReplacementOperatorHotSpot6 = metamutator.Selector.of(new metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_OBJECT[]{metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_OBJECT.INIT,metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_OBJECT.NULL}).in(resources.Bar.class).id("_returnReplacementOperatorHotSpot6"); private static final metamutator.ISelector _returnReplacementOperatorHotSpot7 = metamutator.Selector.of(new metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_OBJECT[]{metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_OBJECT.INIT,metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_OBJECT.NULL}).in(resources.Bar.class).id("_returnReplacementOperatorHotSpot7"); private static final metamutator.ISelector _returnReplacementOperatorHotSpot8 = metamutator.Selector.of(new metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_OBJECT[]{metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_OBJECT.INIT,metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_OBJECT.NULL}).in(resources.Bar.class).id("_returnReplacementOperatorHotSpot8"); private static final metamutator.ISelector _returnReplacementOperatorHotSpot9 = metamutator.Selector.of(new metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_INT[]{metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_INT.INIT,metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_INT.INT_MIN,metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_INT.INT_MAX,metamutator.ReturnReplacementOperatorMetaMutator.RETURN_REPLACEMENT_INT.ZERO}).in(resources.Bar.class).id("_returnReplacementOperatorHotSpot9"); } Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.277 sec - in metamutator.ReturnReplacementOperatorMetaMutatorTest Running metamutator.NumericExpressionMetaMutatorTest // Metaprogram: public class Foo { final int varinchangeable = 1; public boolean op(java.lang.Boolean a, java.lang.Boolean b) { return a || b; } public boolean op2(java.lang.Integer a, java.lang.Integer b) { return a > b; } public boolean op3(java.lang.Class c) { return resources.Foo.class == c; } public int add(java.lang.Integer a, java.lang.Integer b) { int c = a + b; return (_numericExpressionMetaMutator1.is(metamutator.NumericVariableMetaMutator.UNARY.ABS)?( Math.abs(c)):_numericExpressionMetaMutator1.is(metamutator.NumericVariableMetaMutator.UNARY.MINUS)?( -(c)):_numericExpressionMetaMutator1.is(metamutator.NumericVariableMetaMutator.UNARY.INC)?( (++c)):_numericExpressionMetaMutator1.is(metamutator.NumericVariableMetaMutator.UNARY.DEC)?( (--c)):(c)); } public int sum(java.lang.Integer a) { int b = 0; do { b++; a--; } while (a > 1 ); return (_numericExpressionMetaMutator2.is(metamutator.NumericVariableMetaMutator.UNARY.ABS)?( Math.abs(b)):_numericExpressionMetaMutator2.is(metamutator.NumericVariableMetaMutator.UNARY.MINUS)?( -(b)):_numericExpressionMetaMutator2.is(metamutator.NumericVariableMetaMutator.UNARY.INC)?( (++b)):_numericExpressionMetaMutator2.is(metamutator.NumericVariableMetaMutator.UNARY.DEC)?( (--b)):(b)); } private static final metamutator.ISelector _numericExpressionMetaMutator1 = metamutator.Selector.of(new metamutator.NumericVariableMetaMutator.UNARY[]{metamutator.NumericVariableMetaMutator.UNARY.INIT,metamutator.NumericVariableMetaMutator.UNARY.ABS,metamutator.NumericVariableMetaMutator.UNARY.MINUS,metamutator.NumericVariableMetaMutator.UNARY.INC,metamutator.NumericVariableMetaMutator.UNARY.DEC}).in(resources.Foo.class).id("_numericExpressionMetaMutator1"); private static final metamutator.ISelector _numericExpressionMetaMutator2 = metamutator.Selector.of(new metamutator.NumericVariableMetaMutator.UNARY[]{metamutator.NumericVariableMetaMutator.UNARY.INIT,metamutator.NumericVariableMetaMutator.UNARY.ABS,metamutator.NumericVariableMetaMutator.UNARY.MINUS,metamutator.NumericVariableMetaMutator.UNARY.INC,metamutator.NumericVariableMetaMutator.UNARY.DEC}).in(resources.Foo.class).id("_numericExpressionMetaMutator2"); } Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.095 sec - in metamutator.NumericExpressionMetaMutatorTest Running metamutator.MutantSearchSpaceExploratorTest ******************resources.footest.FooTest****************** 2 java.lang.AssertionError: expected:<true> but was:<false> 2 java.lang.AssertionError: expected:<false> but was:<true> 6 java.lang.AssertionError: expected:<true> but was:<false> java.lang.AssertionError: expected:<false> but was:<true> java.lang.AssertionError: expected:<true> but was:<false> java.lang.AssertionError: expected:<true> but was:<false> java.lang.AssertionError: expected:<false> but was:<true> 2 java.lang.AssertionError: expected:<true> but was:<false> 2 java.lang.AssertionError: expected:<true> but was:<false> 0_1 expected:<true> but was:<false> 1_1 expected:<false> but was:<true> 2_1 expected:<true> but was:<false> 2_2 expected:<false> but was:<true> 2_3 expected:<true> but was:<false> 2_4 expected:<true> but was:<false> 2_5 expected:<false> but was:<true> 3_1 expected:<true> but was:<false> 4_1 expected:<true> but was:<false> killed 9 alive 0 ******************resources.search_replay_test.SearchReplayTestClass****************** 2 java.lang.NumberFormatException: null 6 java.lang.AssertionError java.lang.AssertionError java.lang.AssertionError 0_1 null 1_1 null 1_2 null 1_3 null killed 4 alive 2 ******************resources.search_replay_test.SearchReplayTestClassBis****************** 2 java.lang.NumberFormatException: null 6 java.lang.AssertionError java.lang.AssertionError java.lang.AssertionError 0_1 null 1_1 null 1_2 null 1_3 null killed 4 alive 2 ******************search_replay_test****************** total killed 8 total alive 4 Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.212 sec - in metamutator.MutantSearchSpaceExploratorTest Running metamutator.ReplayMutantTest Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0 sec - in metamutator.ReplayMutantTest Running metamutator.BinaryOperatorMetaMutatorTest // Metaprogram: public class Foo { public boolean op(java.lang.Boolean a, java.lang.Boolean b) { return ((_binaryLogicalOperatorHotSpot2.is(spoon.reflect.code.BinaryOperatorKind.OR) && (a || b)) || (_binaryLogicalOperatorHotSpot2.is(spoon.reflect.code.BinaryOperatorKind.AND) && (a && b))); } public boolean op2(java.lang.Integer a, java.lang.Integer b) { return ((_binaryLogicalOperatorHotSpot3.is(spoon.reflect.code.BinaryOperatorKind.EQ) && (a == b)) || (_binaryLogicalOperatorHotSpot3.is(spoon.reflect.code.BinaryOperatorKind.NE) && (a != b)) || (_binaryLogicalOperatorHotSpot3.is(spoon.reflect.code.BinaryOperatorKind.LT) && (a < b)) || (_binaryLogicalOperatorHotSpot3.is(spoon.reflect.code.BinaryOperatorKind.GT) && (a > b)) || (_binaryLogicalOperatorHotSpot3.is(spoon.reflect.code.BinaryOperatorKind.LE) && (a <= b)) || (_binaryLogicalOperatorHotSpot3.is(spoon.reflect.code.BinaryOperatorKind.GE) && (a >= b))); } public boolean op3(java.lang.Class c) { return ((_binaryLogicalOperatorHotSpot4.is(spoon.reflect.code.BinaryOperatorKind.EQ) && (resources.foo.Foo.class == c)) || (_binaryLogicalOperatorHotSpot4.is(spoon.reflect.code.BinaryOperatorKind.NE) && (resources.foo.Foo.class != c))); } public boolean op4() { java.lang.String medt = "Theobaldie"; return ((_binaryLogicalOperatorHotSpot5.is(spoon.reflect.code.BinaryOperatorKind.EQ) && (medt == null)) || (_binaryLogicalOperatorHotSpot5.is(spoon.reflect.code.BinaryOperatorKind.NE) && (medt != null))); } private static final metamutator.ISelector _binaryLogicalOperatorHotSpot2 = metamutator.Selector.of(new spoon.reflect.code.BinaryOperatorKind[]{spoon.reflect.code.BinaryOperatorKind.OR,spoon.reflect.code.BinaryOperatorKind.AND}).in(resources.foo.Foo.class).id("_binaryLogicalOperatorHotSpot2"); private static final metamutator.ISelector _binaryLogicalOperatorHotSpot3 = metamutator.Selector.of(new spoon.reflect.code.BinaryOperatorKind[]{spoon.reflect.code.BinaryOperatorKind.GT,spoon.reflect.code.BinaryOperatorKind.EQ,spoon.reflect.code.BinaryOperatorKind.NE,spoon.reflect.code.BinaryOperatorKind.LT,spoon.reflect.code.BinaryOperatorKind.LE,spoon.reflect.code.BinaryOperatorKind.GE}).in(resources.foo.Foo.class).id("_binaryLogicalOperatorHotSpot3"); private static final metamutator.ISelector _binaryLogicalOperatorHotSpot4 = metamutator.Selector.of(new spoon.reflect.code.BinaryOperatorKind[]{spoon.reflect.code.BinaryOperatorKind.EQ,spoon.reflect.code.BinaryOperatorKind.NE}).in(resources.foo.Foo.class).id("_binaryLogicalOperatorHotSpot4"); private static final metamutator.ISelector _binaryLogicalOperatorHotSpot5 = metamutator.Selector.of(new spoon.reflect.code.BinaryOperatorKind[]{spoon.reflect.code.BinaryOperatorKind.NE,spoon.reflect.code.BinaryOperatorKind.EQ}).in(resources.foo.Foo.class).id("_binaryLogicalOperatorHotSpot5"); } Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.993 sec - in metamutator.BinaryOperatorMetaMutatorTest Running metamutator.VariabletoNullMetaMutatorTest // Metaprogram: public class Foo { public boolean op(java.lang.Boolean a, java.lang.Boolean b) { return a || b; } public boolean op2(java.lang.Integer a, java.lang.Integer b) { return a > b; } public boolean op3(java.lang.Class c) { return resources.foo.Foo.class == c; } public boolean op4() { java.lang.String medt = ((_variableNullHotSpot1.is(metamutator.Null.NO))?"Theobaldie":null); return medt != null; } private static final metamutator.ISelector _variableNullHotSpot1 = metamutator.Selector.of(new metamutator.Null[]{metamutator.Null.NO,metamutator.Null.YES}).in(resources.foo.Foo.class).id("_variableNullHotSpot1"); } Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.063 sec - in metamutator.VariabletoNullMetaMutatorTest Running metamutator.ConstantReplacementMetaMutatorTest nb mutants 1 // Metaprogram: public class Bar { public boolean op(java.lang.Boolean a, java.lang.Boolean b) { return a || b; } public boolean op2(java.lang.Integer a, java.lang.Integer b) { return a > b; } public boolean op3(java.lang.Class c) { return resources.Foo.class == c; } public java.lang.Integer op_add(java.lang.Integer a, java.lang.Integer b) { return a + b; } public java.lang.Integer op_minus(java.lang.Integer a, java.lang.Integer b) { return a - b; } public java.lang.String op_concat_ss(java.lang.String a, java.lang.String b) { return a + b; } public java.lang.String op_concat_is(java.lang.Integer a, java.lang.String b) { return a + b; } public java.lang.String op_get_s(java.lang.String a) { return a; } public boolean op_get_b(java.lang.Boolean a) { return a; } public int op_constant() { int i = (_constantOperatorMetaMutator1.is(metamutator.IntegerConstantReplacementMetaMutator.CONSTANT_REP.ZERO)?( 0 ):(_constantOperatorMetaMutator1.is(metamutator.IntegerConstantReplacementMetaMutator.CONSTANT_REP.INT_MAX)?( 2147483646 ):(_constantOperatorMetaMutator1.is(metamutator.IntegerConstantReplacementMetaMutator.CONSTANT_REP.INT_MIN)?( -2147483647 ):(42)))); return i; } private static final metamutator.ISelector _constantOperatorMetaMutator1 = metamutator.Selector.of(new metamutator.IntegerConstantReplacementMetaMutator.CONSTANT_REP[]{metamutator.IntegerConstantReplacementMetaMutator.CONSTANT_REP.ZERO,metamutator.IntegerConstantReplacementMetaMutator.CONSTANT_REP.INT_MAX,metamutator.IntegerConstantReplacementMetaMutator.CONSTANT_REP.INT_MIN}).in(resources.Bar.class).id("_constantOperatorMetaMutator1"); } Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.073 sec - in metamutator.ConstantReplacementMetaMutatorTest Running metamutator.StatementDeletionMetaMutatorTest // Metaprogram: /* public String LocalVariableNotReachableInElse(){ if() } */ public class StatementResource { public StatementResource() { } public int returnMax10(java.lang.Integer a) { if ((_StatementDeletionMutatorHotSpot1.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { if (a < 10) { return a; } else { return 10; } } else { return 0; } } public void throwException() throws java.lang.Exception { if ((_StatementDeletionMutatorHotSpot2.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { throw new java.lang.Exception(); } else { return; } } public int returnTotalFromFor(java.lang.Integer total) { int i = 0; if ((_StatementDeletionMutatorHotSpot3.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { for (i = 0; i < total; i++) { } } return i; } public int returnTotalFromWhile(java.lang.Integer total) { int i = 0; if ((_StatementDeletionMutatorHotSpot4.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { while (i < total) { i++; } } return i; } public int returnTotalFromDo(java.lang.Integer total) { int i = 0; if ((_StatementDeletionMutatorHotSpot5.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { do { i++; } while (i < total ); } return i; } public int returntotalFromForEachFromArray(int[] array) { int total = 0; if ((_StatementDeletionMutatorHotSpot6.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { for (int i : array) { total = total + i; } } return total; } public char returnLetterFromSwitchCase(java.lang.Integer i) { if ((_StatementDeletionMutatorHotSpot7.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { switch (i) { case 1 : return 'A'; case 2 : return 'B'; case 3 : return 'C'; case 4 : return 'D'; default : return 'E'; } } else { return '\u0000'; } } public int addWithoutNegative(int[] array) { int total = 0; if ((_StatementDeletionMutatorHotSpot10.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { for (int i : array) { if ((_StatementDeletionMutatorHotSpot9.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { if (i < 0) { if ((_StatementDeletionMutatorHotSpot8.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { continue; } } } total = total + i; } } return total; } public java.lang.String BonjourOrHello(java.lang.Boolean french) { java.lang.String hello = null; if ((_StatementDeletionMutatorHotSpot11.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { if (french) { hello = "Bonjour"; } else { hello = "Hello"; } } return hello; } private static final metamutator.ISelector _StatementDeletionMutatorHotSpot1 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot1"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot2 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot2"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot3 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot3"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot4 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot4"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot5 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot5"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot6 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot6"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot7 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot7"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot8 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot8"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot9 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot9"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot10 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot10"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot11 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot11"); } // Metaprogram: /* public String LocalVariableNotReachableInElse(){ if() } */ public class StatementResource { public StatementResource() { } public int returnMax10(java.lang.Integer a) { if ((_StatementDeletionMutatorHotSpot1.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { if (a < 10) { return a; } else { return 10; } } else { return 0; } } public void throwException() throws java.lang.Exception { if ((_StatementDeletionMutatorHotSpot2.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { throw new java.lang.Exception(); } else { return; } } public int returnTotalFromFor(java.lang.Integer total) { int i = 0; if ((_StatementDeletionMutatorHotSpot3.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { for (i = 0; i < total; i++) { } } return i; } public int returnTotalFromWhile(java.lang.Integer total) { int i = 0; if ((_StatementDeletionMutatorHotSpot4.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { while (i < total) { i++; } } return i; } public int returnTotalFromDo(java.lang.Integer total) { int i = 0; if ((_StatementDeletionMutatorHotSpot5.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { do { i++; } while (i < total ); } return i; } public int returntotalFromForEachFromArray(int[] array) { int total = 0; if ((_StatementDeletionMutatorHotSpot6.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { for (int i : array) { total = total + i; } } return total; } public char returnLetterFromSwitchCase(java.lang.Integer i) { if ((_StatementDeletionMutatorHotSpot7.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { switch (i) { case 1 : return 'A'; case 2 : return 'B'; case 3 : return 'C'; case 4 : return 'D'; default : return 'E'; } } else { return '\u0000'; } } public int addWithoutNegative(int[] array) { int total = 0; if ((_StatementDeletionMutatorHotSpot10.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { for (int i : array) { if ((_StatementDeletionMutatorHotSpot9.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { if (i < 0) { if ((_StatementDeletionMutatorHotSpot8.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { continue; } } } total = total + i; } } return total; } public java.lang.String BonjourOrHello(java.lang.Boolean french) { java.lang.String hello = null; if ((_StatementDeletionMutatorHotSpot11.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { if (french) { hello = "Bonjour"; } else { hello = "Hello"; } } return hello; } private static final metamutator.ISelector _StatementDeletionMutatorHotSpot1 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot1"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot2 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot2"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot3 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot3"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot4 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot4"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot5 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot5"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot6 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot6"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot7 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot7"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot8 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot8"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot9 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot9"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot10 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot10"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot11 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot11"); } // Metaprogram: /* public String LocalVariableNotReachableInElse(){ if() } */ public class StatementResource { public StatementResource() { } public int returnMax10(java.lang.Integer a) { if ((_StatementDeletionMutatorHotSpot1.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { if (a < 10) { return a; } else { return 10; } } else { return 0; } } public void throwException() throws java.lang.Exception { if ((_StatementDeletionMutatorHotSpot2.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { throw new java.lang.Exception(); } else { return; } } public int returnTotalFromFor(java.lang.Integer total) { int i = 0; if ((_StatementDeletionMutatorHotSpot3.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { for (i = 0; i < total; i++) { } } return i; } public int returnTotalFromWhile(java.lang.Integer total) { int i = 0; if ((_StatementDeletionMutatorHotSpot4.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { while (i < total) { i++; } } return i; } public int returnTotalFromDo(java.lang.Integer total) { int i = 0; if ((_StatementDeletionMutatorHotSpot5.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { do { i++; } while (i < total ); } return i; } public int returntotalFromForEachFromArray(int[] array) { int total = 0; if ((_StatementDeletionMutatorHotSpot6.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { for (int i : array) { total = total + i; } } return total; } public char returnLetterFromSwitchCase(java.lang.Integer i) { if ((_StatementDeletionMutatorHotSpot7.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { switch (i) { case 1 : return 'A'; case 2 : return 'B'; case 3 : return 'C'; case 4 : return 'D'; default : return 'E'; } } else { return '\u0000'; } } public int addWithoutNegative(int[] array) { int total = 0; if ((_StatementDeletionMutatorHotSpot10.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { for (int i : array) { if ((_StatementDeletionMutatorHotSpot9.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { if (i < 0) { if ((_StatementDeletionMutatorHotSpot8.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { continue; } } } total = total + i; } } return total; } public java.lang.String BonjourOrHello(java.lang.Boolean french) { java.lang.String hello = null; if ((_StatementDeletionMutatorHotSpot11.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { if (french) { hello = "Bonjour"; } else { hello = "Hello"; } } return hello; } private static final metamutator.ISelector _StatementDeletionMutatorHotSpot1 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot1"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot2 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot2"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot3 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot3"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot4 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot4"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot5 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot5"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot6 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot6"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot7 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot7"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot8 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot8"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot9 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot9"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot10 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot10"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot11 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot11"); } // Metaprogram: /* public String LocalVariableNotReachableInElse(){ if() } */ public class StatementResource { public StatementResource() { } public int returnMax10(java.lang.Integer a) { if ((_StatementDeletionMutatorHotSpot1.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { if (a < 10) { return a; } else { return 10; } } else { return 0; } } public void throwException() throws java.lang.Exception { if ((_StatementDeletionMutatorHotSpot2.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { throw new java.lang.Exception(); } else { return; } } public int returnTotalFromFor(java.lang.Integer total) { int i = 0; if ((_StatementDeletionMutatorHotSpot3.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { for (i = 0; i < total; i++) { } } return i; } public int returnTotalFromWhile(java.lang.Integer total) { int i = 0; if ((_StatementDeletionMutatorHotSpot4.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { while (i < total) { i++; } } return i; } public int returnTotalFromDo(java.lang.Integer total) { int i = 0; if ((_StatementDeletionMutatorHotSpot5.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { do { i++; } while (i < total ); } return i; } public int returntotalFromForEachFromArray(int[] array) { int total = 0; if ((_StatementDeletionMutatorHotSpot6.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { for (int i : array) { total = total + i; } } return total; } public char returnLetterFromSwitchCase(java.lang.Integer i) { if ((_StatementDeletionMutatorHotSpot7.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { switch (i) { case 1 : return 'A'; case 2 : return 'B'; case 3 : return 'C'; case 4 : return 'D'; default : return 'E'; } } else { return '\u0000'; } } public int addWithoutNegative(int[] array) { int total = 0; if ((_StatementDeletionMutatorHotSpot10.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { for (int i : array) { if ((_StatementDeletionMutatorHotSpot9.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { if (i < 0) { if ((_StatementDeletionMutatorHotSpot8.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { continue; } } } total = total + i; } } return total; } public java.lang.String BonjourOrHello(java.lang.Boolean french) { java.lang.String hello = null; if ((_StatementDeletionMutatorHotSpot11.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { if (french) { hello = "Bonjour"; } else { hello = "Hello"; } } return hello; } private static final metamutator.ISelector _StatementDeletionMutatorHotSpot1 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot1"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot2 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot2"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot3 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot3"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot4 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot4"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot5 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot5"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot6 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot6"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot7 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot7"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot8 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot8"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot9 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot9"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot10 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot10"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot11 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot11"); } // Metaprogram: /* public String LocalVariableNotReachableInElse(){ if() } */ public class StatementResource { public StatementResource() { } public int returnMax10(java.lang.Integer a) { if ((_StatementDeletionMutatorHotSpot1.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { if (a < 10) { return a; } else { return 10; } } else { return 0; } } public void throwException() throws java.lang.Exception { if ((_StatementDeletionMutatorHotSpot2.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { throw new java.lang.Exception(); } else { return; } } public int returnTotalFromFor(java.lang.Integer total) { int i = 0; if ((_StatementDeletionMutatorHotSpot3.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { for (i = 0; i < total; i++) { } } return i; } public int returnTotalFromWhile(java.lang.Integer total) { int i = 0; if ((_StatementDeletionMutatorHotSpot4.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { while (i < total) { i++; } } return i; } public int returnTotalFromDo(java.lang.Integer total) { int i = 0; if ((_StatementDeletionMutatorHotSpot5.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { do { i++; } while (i < total ); } return i; } public int returntotalFromForEachFromArray(int[] array) { int total = 0; if ((_StatementDeletionMutatorHotSpot6.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { for (int i : array) { total = total + i; } } return total; } public char returnLetterFromSwitchCase(java.lang.Integer i) { if ((_StatementDeletionMutatorHotSpot7.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { switch (i) { case 1 : return 'A'; case 2 : return 'B'; case 3 : return 'C'; case 4 : return 'D'; default : return 'E'; } } else { return '\u0000'; } } public int addWithoutNegative(int[] array) { int total = 0; if ((_StatementDeletionMutatorHotSpot10.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { for (int i : array) { if ((_StatementDeletionMutatorHotSpot9.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { if (i < 0) { if ((_StatementDeletionMutatorHotSpot8.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { continue; } } } total = total + i; } } return total; } public java.lang.String BonjourOrHello(java.lang.Boolean french) { java.lang.String hello = null; if ((_StatementDeletionMutatorHotSpot11.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { if (french) { hello = "Bonjour"; } else { hello = "Hello"; } } return hello; } private static final metamutator.ISelector _StatementDeletionMutatorHotSpot1 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot1"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot2 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot2"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot3 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot3"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot4 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot4"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot5 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot5"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot6 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot6"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot7 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot7"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot8 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot8"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot9 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot9"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot10 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot10"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot11 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot11"); } // Metaprogram: /* public String LocalVariableNotReachableInElse(){ if() } */ public class StatementResource { public StatementResource() { } public int returnMax10(java.lang.Integer a) { if ((_StatementDeletionMutatorHotSpot1.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { if (a < 10) { return a; } else { return 10; } } else { return 0; } } public void throwException() throws java.lang.Exception { if ((_StatementDeletionMutatorHotSpot2.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { throw new java.lang.Exception(); } else { return; } } public int returnTotalFromFor(java.lang.Integer total) { int i = 0; if ((_StatementDeletionMutatorHotSpot3.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { for (i = 0; i < total; i++) { } } return i; } public int returnTotalFromWhile(java.lang.Integer total) { int i = 0; if ((_StatementDeletionMutatorHotSpot4.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { while (i < total) { i++; } } return i; } public int returnTotalFromDo(java.lang.Integer total) { int i = 0; if ((_StatementDeletionMutatorHotSpot5.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { do { i++; } while (i < total ); } return i; } public int returntotalFromForEachFromArray(int[] array) { int total = 0; if ((_StatementDeletionMutatorHotSpot6.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { for (int i : array) { total = total + i; } } return total; } public char returnLetterFromSwitchCase(java.lang.Integer i) { if ((_StatementDeletionMutatorHotSpot7.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { switch (i) { case 1 : return 'A'; case 2 : return 'B'; case 3 : return 'C'; case 4 : return 'D'; default : return 'E'; } } else { return '\u0000'; } } public int addWithoutNegative(int[] array) { int total = 0; if ((_StatementDeletionMutatorHotSpot10.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { for (int i : array) { if ((_StatementDeletionMutatorHotSpot9.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { if (i < 0) { if ((_StatementDeletionMutatorHotSpot8.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { continue; } } } total = total + i; } } return total; } public java.lang.String BonjourOrHello(java.lang.Boolean french) { java.lang.String hello = null; if ((_StatementDeletionMutatorHotSpot11.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { if (french) { hello = "Bonjour"; } else { hello = "Hello"; } } return hello; } private static final metamutator.ISelector _StatementDeletionMutatorHotSpot1 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot1"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot2 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot2"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot3 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot3"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot4 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot4"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot5 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot5"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot6 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot6"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot7 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot7"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot8 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot8"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot9 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot9"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot10 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot10"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot11 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot11"); } // Metaprogram: /* public String LocalVariableNotReachableInElse(){ if() } */ public class StatementResource { public StatementResource() { } public int returnMax10(java.lang.Integer a) { if ((_StatementDeletionMutatorHotSpot1.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { if (a < 10) { return a; } else { return 10; } } else { return 0; } } public void throwException() throws java.lang.Exception { if ((_StatementDeletionMutatorHotSpot2.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { throw new java.lang.Exception(); } else { return; } } public int returnTotalFromFor(java.lang.Integer total) { int i = 0; if ((_StatementDeletionMutatorHotSpot3.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { for (i = 0; i < total; i++) { } } return i; } public int returnTotalFromWhile(java.lang.Integer total) { int i = 0; if ((_StatementDeletionMutatorHotSpot4.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { while (i < total) { i++; } } return i; } public int returnTotalFromDo(java.lang.Integer total) { int i = 0; if ((_StatementDeletionMutatorHotSpot5.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { do { i++; } while (i < total ); } return i; } public int returntotalFromForEachFromArray(int[] array) { int total = 0; if ((_StatementDeletionMutatorHotSpot6.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { for (int i : array) { total = total + i; } } return total; } public char returnLetterFromSwitchCase(java.lang.Integer i) { if ((_StatementDeletionMutatorHotSpot7.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { switch (i) { case 1 : return 'A'; case 2 : return 'B'; case 3 : return 'C'; case 4 : return 'D'; default : return 'E'; } } else { return '\u0000'; } } public int addWithoutNegative(int[] array) { int total = 0; if ((_StatementDeletionMutatorHotSpot10.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { for (int i : array) { if ((_StatementDeletionMutatorHotSpot9.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { if (i < 0) { if ((_StatementDeletionMutatorHotSpot8.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { continue; } } } total = total + i; } } return total; } public java.lang.String BonjourOrHello(java.lang.Boolean french) { java.lang.String hello = null; if ((_StatementDeletionMutatorHotSpot11.is(metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED))) { if (french) { hello = "Bonjour"; } else { hello = "Hello"; } } return hello; } private static final metamutator.ISelector _StatementDeletionMutatorHotSpot1 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot1"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot2 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot2"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot3 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot3"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot4 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot4"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot5 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot5"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot6 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot6"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot7 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot7"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot8 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot8"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot9 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot9"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot10 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot10"); private static final metamutator.ISelector _StatementDeletionMutatorHotSpot11 = metamutator.Selector.of(new metamutator.StatementDeletionMetaMutator.ACTIVABLE[]{metamutator.StatementDeletionMetaMutator.ACTIVABLE.ENABLED,metamutator.StatementDeletionMetaMutator.ACTIVABLE.DISABLED}).in(resources.StatementResource.class).id("_StatementDeletionMutatorHotSpot11"); } Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.699 sec - in metamutator.StatementDeletionMetaMutatorTest Running metamutator.LoopExpressionMetaMutatorTest // Metaprogram: public class Foo { final int varinchangeable = 1; public boolean op(java.lang.Boolean a, java.lang.Boolean b) { return a || b; } public boolean op2(java.lang.Integer a, java.lang.Integer b) { return a > b; } public boolean op3(java.lang.Class c) { return resources.Foo.class == c; } public int add(java.lang.Integer a, java.lang.Integer b) { int c = a + b; return c; } public int sum(java.lang.Integer a) { int b = 0; int _doExpressionMetaMutator1_Constante = 1; do { b++; a--; if((_doExpressionMetaMutator1.is(metamutator.LoopExpressionMetaMutator.NbRound.Rounds3)) && _doExpressionMetaMutator1_Constante == 3) {break;}else if((_doExpressionMetaMutator1.is(metamutator.LoopExpressionMetaMutator.NbRound.NoRound))) {break;}else if(_doExpressionMetaMutator1_Constante == 100){break;} _doExpressionMetaMutator1_Constante++; } while (a > 1 ); return b; } private static final metamutator.ISelector _doExpressionMetaMutator1 = metamutator.Selector.of(new metamutator.LoopExpressionMetaMutator.NbRound[]{metamutator.LoopExpressionMetaMutator.NbRound.NoRound,metamutator.LoopExpressionMetaMutator.NbRound.Rounds3,metamutator.LoopExpressionMetaMutator.NbRound.Rounds100}).in(resources.Foo.class).id("_doExpressionMetaMutator1"); } Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.122 sec - in metamutator.LoopExpressionMetaMutatorTest Running metamutator.ArithmeticOperatorMetaMutatorTest nb mutants 1 nb mutants 2 // Metaprogram: public class Bar { public boolean op(java.lang.Boolean a, java.lang.Boolean b) { return a || b; } public boolean op2(java.lang.Integer a, java.lang.Integer b) { return a > b; } public boolean op3(java.lang.Class c) { return resources.Foo.class == c; } public java.lang.Integer op_add(java.lang.Integer a, java.lang.Integer b) { return ((_arithmeticOperatorHotSpot1.is(spoon.reflect.code.BinaryOperatorKind.PLUS)) ? (a + b) : (_arithmeticOperatorHotSpot1.is(spoon.reflect.code.BinaryOperatorKind.MINUS)) ? (a - b) : (_arithmeticOperatorHotSpot1.is(spoon.reflect.code.BinaryOperatorKind.MUL)) ? (a * b) : (_arithmeticOperatorHotSpot1.is(spoon.reflect.code.BinaryOperatorKind.DIV)) ? (a / b) : (a + b)); } public java.lang.Integer op_minus(java.lang.Integer a, java.lang.Integer b) { return ((_arithmeticOperatorHotSpot2.is(spoon.reflect.code.BinaryOperatorKind.PLUS)) ? (a + b) : (_arithmeticOperatorHotSpot2.is(spoon.reflect.code.BinaryOperatorKind.MINUS)) ? (a - b) : (_arithmeticOperatorHotSpot2.is(spoon.reflect.code.BinaryOperatorKind.MUL)) ? (a * b) : (_arithmeticOperatorHotSpot2.is(spoon.reflect.code.BinaryOperatorKind.DIV)) ? (a / b) : (a - b)); } public java.lang.String op_concat_ss(java.lang.String a, java.lang.String b) { return a + b; } public java.lang.String op_concat_is(java.lang.Integer a, java.lang.String b) { return a + b; } public java.lang.String op_get_s(java.lang.String a) { return a; } public boolean op_get_b(java.lang.Boolean a) { return a; } public int op_constant() { int i = 42; return i; } private static final metamutator.ISelector _arithmeticOperatorHotSpot1 = metamutator.Selector.of(new spoon.reflect.code.BinaryOperatorKind[]{spoon.reflect.code.BinaryOperatorKind.PLUS,spoon.reflect.code.BinaryOperatorKind.MINUS,spoon.reflect.code.BinaryOperatorKind.MUL,spoon.reflect.code.BinaryOperatorKind.DIV}).in(resources.Bar.class).id("_arithmeticOperatorHotSpot1"); private static final metamutator.ISelector _arithmeticOperatorHotSpot2 = metamutator.Selector.of(new spoon.reflect.code.BinaryOperatorKind[]{spoon.reflect.code.BinaryOperatorKind.MINUS,spoon.reflect.code.BinaryOperatorKind.PLUS,spoon.reflect.code.BinaryOperatorKind.MUL,spoon.reflect.code.BinaryOperatorKind.DIV}).in(resources.Bar.class).id("_arithmeticOperatorHotSpot2"); } Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.097 sec - in metamutator.ArithmeticOperatorMetaMutatorTest Results : Tests run: 21, Failures: 0, Errors: 0, Skipped: 1 [INFO] ------------------------------------------------------------------------ [INFO] BUILD SUCCESS [INFO] ------------------------------------------------------------------------ [INFO] Total time: 12.575 s [INFO] Finished at: 2020-01-14T14:29:20+01:00 [INFO] Final Memory: 24M/208M [INFO] ------------------------------------------------------------------------ No mail will be sent out, as 'metamutator #1141' does not have a result yet. Please make sure you set a proper result in case of pipeline/build scripts. Finished: SUCCESS