Validates.java

package com.github.valid8j.classic;

import com.github.valid8j.pcond.fluent.Statement;
import com.github.valid8j.pcond.validator.ExceptionComposer;
import com.github.valid8j.pcond.validator.Validator;

import java.util.function.Function;
import java.util.function.Predicate;

import static com.github.valid8j.pcond.validator.Validator.instance;

public enum Validates {
  ;
  static final TestValidator VALIDATOR = createValidator(Validator.instance().configuration().exceptionComposer().defaultForValidate());

  public static <T> T validate(T value, Predicate<? super T> predicate) {
    return validate(value, predicate, IllegalValueException::new);
  }

  public static <T, E extends RuntimeException> T validate(T value, Predicate<? super T> cond, Function<String, E> exceptionFactory) {
    return VALIDATOR.validate(value, cond, exceptionFactory);
  }

  public static <T> T validateNonNull(T value) {
    return VALIDATOR.validateNonNull(value);
  }

  public static <T> T validateArgument(T value, Predicate<? super T> cond) {
    return VALIDATOR.validateArgument(value, cond);
  }

  public static <T> T validateState(T value, Predicate<? super T> cond) {
    return VALIDATOR.validateState(value, cond);
  }

  public static TestValidator createValidator(ExceptionComposer.ForValidate exceptionComposerForValidate) {
    return TestValidator.create(exceptionComposerForValidate);
  }

  public static <T> T validateStatement(Statement<T> statement) {
    return Validates.validate(statement.statementValue(), statement.statementPredicate(), IllegalValueException::new);
  }

  public interface TestValidator {
    ExceptionComposer.ForValidate exceptionComposerForValidate();

    default <T> T validate(T value, Predicate<? super T> cond) {
      return instance().validate(value, cond, exceptionComposerForValidate());
    }

    default <T, E extends RuntimeException> T validate(T value, Predicate<? super T> cond, Function<String, E> exceptionFactory) {
      return instance().validate(value, cond, exceptionFactory::apply);
    }

    default <T> T validateNonNull(T value) {
      return instance().validateNonNull(value, exceptionComposerForValidate());
    }

    default <T> T validateArgument(T value, Predicate<? super T> cond) {
      return instance().validateArgument(value, cond, exceptionComposerForValidate());
    }

    default <T> T validateState(T value, Predicate<? super T> cond) {
      return instance().validateState(value, cond, exceptionComposerForValidate());
    }

    static TestValidator create(ExceptionComposer.ForValidate exceptionComposerForValidate) {
      return () -> exceptionComposerForValidate;
    }
  }


}















Active mutators

CONDITIONALS_BOUNDARY
EMPTY_RETURNS
FALSE_RETURNS
INCREMENTS
INVERT_NEGS
MATH
NEGATE_CONDITIONALS
NULL_RETURNS
PRIMITIVE_RETURNS
TRUE_RETURNS
VOID_METHOD_CALLS

Tests examined

com.github.valid8j.ut.experimentals.DbCCurriedFunctionsTest.hello6(com.github.valid8j.ut.experimentals.DbCCurriedFunctionsTest) (1 ms)
com.github.valid8j.ut.types.StreamTest.streamTest(com.github.valid8j.ut.types.StreamTest) (1 ms)
com.github.valid8j.ut.types.FloatTest.floatSatisfiesTest(com.github.valid8j.ut.types.FloatTest) (1 ms)
com.github.valid8j.entrypoints.ValidatesTest.test_validateState_pass(com.github.valid8j.entrypoints.ValidatesTest) (0 ms)
com.github.valid8j.entrypoints.ValidatesTest.test_validate_pass(com.github.valid8j.entrypoints.ValidatesTest) (1 ms)
com.github.valid8j.ut.experimentals.DbCCurriedFunctionsTest.givenStreamOfSingleString$hello$_whenRequireNonNullIsFound_thenPassing(com.github.valid8j.ut.experimentals.DbCCurriedFunctionsTest) (1 ms)
com.github.valid8j.ut.experimentals.DbCCurriedFunctionsTest.performCurriedPredicate(com.github.valid8j.ut.experimentals.DbCCurriedFunctionsTest) (1 ms)
com.github.valid8j.ut.bugfixes.Issue42Test.givenPrivateClassOverridingPublicMethod$whenPublicMethodIsCalled$thenCallSucceeds(com.github.valid8j.ut.bugfixes.Issue42Test) (3 ms)
com.github.valid8j.entrypoints.ValidatesTest.test2(com.github.valid8j.entrypoints.ValidatesTest) (0 ms)
com.github.valid8j.ut.experimentals.DbCCurriedFunctionsTest.hello2(com.github.valid8j.ut.experimentals.DbCCurriedFunctionsTest) (0 ms)
com.github.valid8j.ut.experimentals.DbCCurriedFunctionsTest.hello_a(com.github.valid8j.ut.experimentals.DbCCurriedFunctionsTest) (1 ms)
com.github.valid8j.entrypoints.ValidatesTest.test_validateArgument_pass(com.github.valid8j.entrypoints.ValidatesTest) (0 ms)
com.github.valid8j.ut.experimentals.DbCCurriedFunctionsTest.nestedLoop_success(com.github.valid8j.ut.experimentals.DbCCurriedFunctionsTest) (0 ms)
com.github.valid8j.entrypoints.ValidatesTest.test(com.github.valid8j.entrypoints.ValidatesTest) (2 ms)
com.github.valid8j.entrypoints.ValidatesTest.test_validateNonNull_pass(com.github.valid8j.entrypoints.ValidatesTest) (1 ms)
com.github.valid8j.ut.experimentals.DbCCurriedFunctionsTest.hello4_a(com.github.valid8j.ut.experimentals.DbCCurriedFunctionsTest) (1 ms)
com.github.valid8j.ut.experimentals.DbCCurriedFunctionsTest.hello3(com.github.valid8j.ut.experimentals.DbCCurriedFunctionsTest) (0 ms)
com.github.valid8j.ut.experimentals.DbCCurriedFunctionsTest.hello3_a(com.github.valid8j.ut.experimentals.DbCCurriedFunctionsTest) (0 ms)
com.github.valid8j.ut.experimentals.DbCCurriedFunctionsTest.hello_b(com.github.valid8j.ut.experimentals.DbCCurriedFunctionsTest) (0 ms)
com.github.valid8j.ut.types.StreamTest.streamTransformerTest(com.github.valid8j.ut.types.StreamTest) (0 ms)
com.github.valid8j.ut.experimentals.DbCCurriedFunctionsTest.hello4(com.github.valid8j.ut.experimentals.DbCCurriedFunctionsTest) (1 ms)
com.github.valid8j.ut.types.FloatTest.floatTransformerTest(com.github.valid8j.ut.types.FloatTest) (0 ms)
com.github.valid8j.ut.experimentals.DbCCurriedFunctionsTest.hello_b2(com.github.valid8j.ut.experimentals.DbCCurriedFunctionsTest) (0 ms)
com.github.valid8j.ut.experimentals.DbCCurriedFunctionsTest.hello_d_1(com.github.valid8j.ut.experimentals.DbCCurriedFunctionsTest) (1 ms)
com.github.valid8j.ut.experimentals.DbCCurriedFunctionsTest.hello3_b(com.github.valid8j.ut.experimentals.DbCCurriedFunctionsTest) (0 ms)
com.github.valid8j.ut.internal.CallTest.nullCanMatch(com.github.valid8j.ut.internal.CallTest) (1 ms)
com.github.valid8j.ut.experimentals.DbCCurriedFunctionsTest.givenStream_whenRequireConditionResultingInNPE_thenInternalExceptionWithCorrectMessageAndNpeAsNestedException(com.github.valid8j.ut.experimentals.DbCCurriedFunctionsTest) (0 ms)
com.github.valid8j.ut.experimentals.DbCCurriedFunctionsTest.hello_c(com.github.valid8j.ut.experimentals.DbCCurriedFunctionsTest) (0 ms)
com.github.valid8j.entrypoints.ValidatesTest.testValidateMethod$passing(com.github.valid8j.entrypoints.ValidatesTest) (0 ms)
com.github.valid8j.ut.experimentals.DbCCurriedFunctionsTest.hello_b3(com.github.valid8j.ut.experimentals.DbCCurriedFunctionsTest) (0 ms)
com.github.valid8j.entrypoints.ValidatesTest.test_validateArgument_fail(com.github.valid8j.entrypoints.ValidatesTest) (1 ms)
com.github.valid8j.ut.types.FloatTest.floatTest(com.github.valid8j.ut.types.FloatTest) (0 ms)

Report generated by PIT 1.7.3

1		package com.github.valid8j.classic;
2
3		import com.github.valid8j.pcond.fluent.Statement;
4		import com.github.valid8j.pcond.validator.ExceptionComposer;
5		import com.github.valid8j.pcond.validator.Validator;
6
7		import java.util.function.Function;
8		import java.util.function.Predicate;
9
10		import static com.github.valid8j.pcond.validator.Validator.instance;
11
12		public enum Validates {
13		;
14		static final TestValidator VALIDATOR = createValidator(Validator.instance().configuration().exceptionComposer().defaultForValidate());
15
16		public static <T> T validate(T value, Predicate<? super T> predicate) {
17	1 1. validate : replaced return value with null for com/github/valid8j/classic/Validates::validate → KILLED	return validate(value, predicate, IllegalValueException::new);
18		}
19
20		public static <T, E extends RuntimeException> T validate(T value, Predicate<? super T> cond, Function<String, E> exceptionFactory) {
21	1 1. validate : replaced return value with null for com/github/valid8j/classic/Validates::validate → KILLED	return VALIDATOR.validate(value, cond, exceptionFactory);
22		}
23
24		public static <T> T validateNonNull(T value) {
25	1 1. validateNonNull : replaced return value with null for com/github/valid8j/classic/Validates::validateNonNull → KILLED	return VALIDATOR.validateNonNull(value);
26		}
27
28		public static <T> T validateArgument(T value, Predicate<? super T> cond) {
29	1 1. validateArgument : replaced return value with null for com/github/valid8j/classic/Validates::validateArgument → KILLED	return VALIDATOR.validateArgument(value, cond);
30		}
31
32		public static <T> T validateState(T value, Predicate<? super T> cond) {
33	1 1. validateState : replaced return value with null for com/github/valid8j/classic/Validates::validateState → KILLED	return VALIDATOR.validateState(value, cond);
34		}
35
36		public static TestValidator createValidator(ExceptionComposer.ForValidate exceptionComposerForValidate) {
37	1 1. createValidator : replaced return value with null for com/github/valid8j/classic/Validates::createValidator → SURVIVED	return TestValidator.create(exceptionComposerForValidate);
38		}
39
40		public static <T> T validateStatement(Statement<T> statement) {
41	1 1. validateStatement : replaced return value with null for com/github/valid8j/classic/Validates::validateStatement → SURVIVED	return Validates.validate(statement.statementValue(), statement.statementPredicate(), IllegalValueException::new);
42		}
43
44		public interface TestValidator {
45		ExceptionComposer.ForValidate exceptionComposerForValidate();
46
47		default <T> T validate(T value, Predicate<? super T> cond) {
48	1 1. validate : replaced return value with null for com/github/valid8j/classic/Validates$TestValidator::validate → NO_COVERAGE	return instance().validate(value, cond, exceptionComposerForValidate());
49		}
50
51		default <T, E extends RuntimeException> T validate(T value, Predicate<? super T> cond, Function<String, E> exceptionFactory) {
52	1 1. validate : replaced return value with null for com/github/valid8j/classic/Validates$TestValidator::validate → KILLED	return instance().validate(value, cond, exceptionFactory::apply);
53		}
54
55		default <T> T validateNonNull(T value) {
56	1 1. validateNonNull : replaced return value with null for com/github/valid8j/classic/Validates$TestValidator::validateNonNull → KILLED	return instance().validateNonNull(value, exceptionComposerForValidate());
57		}
58
59		default <T> T validateArgument(T value, Predicate<? super T> cond) {
60	1 1. validateArgument : replaced return value with null for com/github/valid8j/classic/Validates$TestValidator::validateArgument → KILLED	return instance().validateArgument(value, cond, exceptionComposerForValidate());
61		}
62
63		default <T> T validateState(T value, Predicate<? super T> cond) {
64	1 1. validateState : replaced return value with null for com/github/valid8j/classic/Validates$TestValidator::validateState → KILLED	return instance().validateState(value, cond, exceptionComposerForValidate());
65		}
66
67		static TestValidator create(ExceptionComposer.ForValidate exceptionComposerForValidate) {
68	2 1. create : replaced return value with null for com/github/valid8j/classic/Validates$TestValidator::create → SURVIVED 2. lambda$create$0 : replaced return value with null for com/github/valid8j/classic/Validates$TestValidator::lambda$create$0 → KILLED	return () -> exceptionComposerForValidate;
69		}
70		}
71
72
73		}
		Mutations
17		1.1 Location : validate Killed by : com.github.valid8j.ut.bugfixes.Issue42Test.givenPrivateClassOverridingPublicMethod$whenPublicMethodIsCalled$thenCallSucceeds(com.github.valid8j.ut.bugfixes.Issue42Test) replaced return value with null for com/github/valid8j/classic/Validates::validate → KILLED
21		1.1 Location : validate Killed by : com.github.valid8j.entrypoints.ValidatesTest.test2(com.github.valid8j.entrypoints.ValidatesTest) replaced return value with null for com/github/valid8j/classic/Validates::validate → KILLED
25		1.1 Location : validateNonNull Killed by : com.github.valid8j.entrypoints.ValidatesTest.test_validateNonNull_pass(com.github.valid8j.entrypoints.ValidatesTest) replaced return value with null for com/github/valid8j/classic/Validates::validateNonNull → KILLED
29		1.1 Location : validateArgument Killed by : com.github.valid8j.entrypoints.ValidatesTest.test_validateArgument_pass(com.github.valid8j.entrypoints.ValidatesTest) replaced return value with null for com/github/valid8j/classic/Validates::validateArgument → KILLED
33		1.1 Location : validateState Killed by : com.github.valid8j.entrypoints.ValidatesTest.test_validateState_pass(com.github.valid8j.entrypoints.ValidatesTest) replaced return value with null for com/github/valid8j/classic/Validates::validateState → KILLED
37		1.1 Location : createValidator Killed by : none replaced return value with null for com/github/valid8j/classic/Validates::createValidator → SURVIVED
41		1.1 Location : validateStatement Killed by : none replaced return value with null for com/github/valid8j/classic/Validates::validateStatement → SURVIVED
48		1.1 Location : validate Killed by : none replaced return value with null for com/github/valid8j/classic/Validates$TestValidator::validate → NO_COVERAGE
52		1.1 Location : validate Killed by : com.github.valid8j.entrypoints.ValidatesTest.test2(com.github.valid8j.entrypoints.ValidatesTest) replaced return value with null for com/github/valid8j/classic/Validates$TestValidator::validate → KILLED
56		1.1 Location : validateNonNull Killed by : com.github.valid8j.entrypoints.ValidatesTest.test_validateNonNull_pass(com.github.valid8j.entrypoints.ValidatesTest) replaced return value with null for com/github/valid8j/classic/Validates$TestValidator::validateNonNull → KILLED
60		1.1 Location : validateArgument Killed by : com.github.valid8j.entrypoints.ValidatesTest.test_validateArgument_pass(com.github.valid8j.entrypoints.ValidatesTest) replaced return value with null for com/github/valid8j/classic/Validates$TestValidator::validateArgument → KILLED
64		1.1 Location : validateState Killed by : com.github.valid8j.entrypoints.ValidatesTest.test_validateState_pass(com.github.valid8j.entrypoints.ValidatesTest) replaced return value with null for com/github/valid8j/classic/Validates$TestValidator::validateState → KILLED
68		1.1 Location : create Killed by : none replaced return value with null for com/github/valid8j/classic/Validates$TestValidator::create → SURVIVED 2.2 Location : lambda$create$0 Killed by : com.github.valid8j.entrypoints.ValidatesTest.test_validateArgument_pass(com.github.valid8j.entrypoints.ValidatesTest) replaced return value with null for com/github/valid8j/classic/Validates$TestValidator::lambda$create$0 → KILLED

Validates.java

Mutations

Active mutators

Tests examined