Skip navigation links
$ A B C D E F G H I J L M N O P R S T U V W 

$

$(Statement<?>...) - Static method in enum com.github.valid8j.fluent.Expectations
A "singular" version of Expectations.all(Statement[]).
$() - Method in interface com.github.valid8j.pcond.core.fluent.Checker
When you use an assertion method that accepts multiple statements (Statement), it requires all the elements in the array (varargs) should have the same generic parameter type.
$() - Method in class com.github.valid8j.pcond.experimentals.currying.multi.MultiFunction.Builder
 

A

AbstractObjectChecker<V extends Checker<V,T,R>,T,R> - Interface in com.github.valid8j.pcond.core.fluent
An interface that defines to check a target object.
AbstractObjectTransformer<TX extends AbstractObjectTransformer<TX,V,T,R>,V extends AbstractObjectChecker<V,T,R>,T,R> - Interface in com.github.valid8j.pcond.core.fluent
 
accept(EvaluableIo<T, Evaluable<T>, O>, EvaluationContext<T>, Evaluator) - Method in interface com.github.valid8j.pcond.core.Evaluable
Performs an evaluation of the evaluationContext with a given evaluator.
accept(EvaluableIo<T, Evaluable<T>, O>, EvaluationContext<T>, Evaluator) - Method in interface com.github.valid8j.pcond.core.Evaluable.Conjunction
 
accept(EvaluableIo<CurriedContext, Evaluable<CurriedContext>, O>, EvaluationContext<CurriedContext>, Evaluator) - Method in interface com.github.valid8j.pcond.core.Evaluable.CurriedContextPred
 
accept(EvaluableIo<T, Evaluable<T>, O>, EvaluationContext<T>, Evaluator) - Method in interface com.github.valid8j.pcond.core.Evaluable.Disjunction
 
accept(EvaluableIo<T, Evaluable<T>, O>, EvaluationContext<T>, Evaluator) - Method in interface com.github.valid8j.pcond.core.Evaluable.Func
 
accept(EvaluableIo<T, Evaluable<T>, O>, EvaluationContext<T>, Evaluator) - Method in interface com.github.valid8j.pcond.core.Evaluable.LeafPred
 
accept(EvaluableIo<T, Evaluable<T>, O>, EvaluationContext<T>, Evaluator) - Method in interface com.github.valid8j.pcond.core.Evaluable.Negation
 
accept(EvaluableIo<Stream<E>, Evaluable<Stream<E>>, O>, EvaluationContext<Stream<E>>, Evaluator) - Method in interface com.github.valid8j.pcond.core.Evaluable.StreamPred
 
accept(EvaluableIo<T, Evaluable<T>, O>, EvaluationContext<T>, Evaluator) - Method in interface com.github.valid8j.pcond.core.Evaluable.Transformation
 
actual() - Method in class com.github.valid8j.pcond.validator.Explanation
 
actualInput() - Method in class com.github.valid8j.pcond.core.printable.ExplainablePredicate
 
add(E) - Method in interface com.github.valid8j.metamor.Dataset.OnGoing
 
add(E) - Method in class com.github.valid8j.metamor.Dataset.OnGoing.Impl
 
addCheckPhrase(Function<Checker<?, R, R>, Predicate<R>>) - Method in interface com.github.valid8j.pcond.core.fluent.Checker
 
addCheckPhrase(Function<Checker<?, R, R>, Predicate<R>>) - Method in class com.github.valid8j.pcond.core.fluent.Checker.Base
 
addInputResolver(Function<Object, String>, Function<X, I>) - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.BuilderBase
 
addInputResolvers(Function<InputResolver.Sequence.Factory.Builder<X, I, O>, InputResolver.Sequence.Factory<X, I, O>>) - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.BuilderBase
 
addInputResolvers(String, Function<InputResolver.Sequence.Factory.Builder<X, I, O>, InputResolver.Sequence.Factory<X, I, O>>) - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.BuilderBase
 
addParameter(Class<?>) - Method in class com.github.valid8j.pcond.experimentals.currying.multi.MultiFunction.Builder
 
addParameters(List<Class<?>>) - Method in class com.github.valid8j.pcond.experimentals.currying.multi.MultiFunction.Builder
 
addPredicate(Function<Matcher<?, R, R>, Predicate<R>>) - Method in class com.github.valid8j.pcond.core.fluent.Matcher.Base
 
addTransformAndCheckClause(Function<Transformer<?, ?, R, R>, Predicate<R>>) - Method in interface com.github.valid8j.pcond.core.fluent.Transformer
 
addTransformAndCheckClause(Function<Transformer<?, ?, R, R>, Predicate<R>>) - Method in class com.github.valid8j.pcond.core.fluent.Transformer.Base
 
all(Statement<?>...) - Static method in enum com.github.valid8j.fluent.Expectations
Checks if all the given statements are satisfied.
all(Statement<?>...) - Static method in enum com.github.valid8j.fluent.internals.ValidationFluents
allMatch(Predicate<E>) - Method in interface com.github.valid8j.pcond.core.fluent.builtins.StreamChecker
 
allMatch(Predicate<E>) - Static method in enum com.github.valid8j.pcond.core.printable.PrintablePredicateFactory
 
allMatch(Predicate<E>) - Static method in class com.github.valid8j.pcond.forms.Predicates
 
allOf() - Method in interface com.github.valid8j.pcond.core.fluent.Matcher
 
allOf() - Method in class com.github.valid8j.pcond.core.fluent.Matcher.Base
 
allOf(List<Predicate<? super T>>) - Static method in enum com.github.valid8j.pcond.core.printable.PrintablePredicateFactory
 
allOf(Predicate<? super P>...) - Method in class com.github.valid8j.pcond.core.printable.PrintablePredicateFactory.TransformingPredicate.Factory
 
allOf(Predicate<? super T>...) - Static method in class com.github.valid8j.pcond.forms.Predicates
 
alwaysTrue() - Static method in class com.github.valid8j.pcond.forms.Predicates
 
and(Predicate<? super T>) - Method in class com.github.valid8j.pcond.core.printable.PrintablePredicate
 
and(List<Predicate<? super T>>) - Static method in enum com.github.valid8j.pcond.core.printable.PrintablePredicateFactory
 
and(Predicate<? super T>...) - Static method in class com.github.valid8j.pcond.forms.Predicates
 
andThen(Function<? super R, ? extends V>) - Method in class com.github.valid8j.pcond.core.printable.PrintableFunction
 
andThen(MethodSelector) - Method in interface com.github.valid8j.pcond.core.refl.MethodSelector
Returns a composed MethodSelector that first applies this and then applies another.
anyMatch(Predicate<E>) - Method in interface com.github.valid8j.pcond.core.fluent.builtins.StreamChecker
 
anyMatch(Predicate<E>) - Static method in enum com.github.valid8j.pcond.core.printable.PrintablePredicateFactory
 
anyMatch(Predicate<E>) - Static method in class com.github.valid8j.pcond.forms.Predicates
 
anyOf() - Method in interface com.github.valid8j.pcond.core.fluent.Matcher
 
anyOf() - Method in class com.github.valid8j.pcond.core.fluent.Matcher.Base
 
anyOf(List<Predicate<? super T>>) - Static method in enum com.github.valid8j.pcond.core.printable.PrintablePredicateFactory
 
anyOf(Predicate<? super T>...) - Static method in class com.github.valid8j.pcond.forms.Predicates
 
append(Object) - Method in interface com.github.valid8j.pcond.experimentals.currying.context.CurriedContext
Creates a new context with an appended value.
append(List<? super Object>, Object) - Static method in enum com.github.valid8j.pcond.internals.InternalUtils
 
apply(Dataset<X>) - Method in class com.github.valid8j.metamor.Proposition.Factory.Impl
 
apply(T) - Method in interface com.github.valid8j.pcond.experimentals.currying.CurriedFunction
 
apply(Class<T>, Explanation) - Method in interface com.github.valid8j.pcond.validator.ExceptionComposer.Utils.ReflectiveExceptionFactory
 
applyAndTest(CurriedFunction<Object, Object>, Predicate<? super R>, Class<? extends R>, int...) - Static method in enum com.github.valid8j.pcond.experimentals.currying.context.CurriedContextUtils
 
applyCurriedFunction(CurriedFunction<Object, Object>, int...) - Static method in enum com.github.valid8j.pcond.experimentals.currying.CurryingUtils
 
applyFunction(T) - Method in class com.github.valid8j.pcond.core.printable.PrintableFunction
 
applyFunction(T) - Method in interface com.github.valid8j.pcond.experimentals.currying.CurriedFunction
 
applyFunction(Object) - Method in class com.github.valid8j.pcond.experimentals.currying.CurriedFunction.Impl
 
applyLast(T) - Method in interface com.github.valid8j.pcond.experimentals.currying.CurriedFunction
 
applyNext(T) - Method in interface com.github.valid8j.pcond.experimentals.currying.CurriedFunction
 
argIndex() - Method in interface com.github.valid8j.pcond.core.Evaluable.CurriedContextPred
 
args() - Method in interface com.github.valid8j.pcond.core.identifieable.Identifiable
 
args() - Method in class com.github.valid8j.pcond.core.identifieable.Identifiable.Base
 
argsOf(Object) - Static method in interface com.github.valid8j.pcond.core.identifieable.Identifiable
 
arguments() - Method in interface com.github.valid8j.pcond.core.refl.MethodQuery
 
arity() - Method in interface com.github.valid8j.metamor.Proposition
 
arity() - Method in class com.github.valid8j.metamor.Proposition.Impl
 
arity() - Method in interface com.github.valid8j.pcond.experimentals.currying.multi.MultiFunction
Returns the number of parameters that this function can take.
arity() - Method in class com.github.valid8j.pcond.experimentals.currying.multi.MultiFunction.Impl
 
arrayToList() - Static method in class com.github.valid8j.pcond.forms.Functions
Returns a function that converts a given array into a list.
asBoolean() - Method in interface com.github.valid8j.pcond.core.fluent.builtins.ObjectTransformer
Lets the framework know the value to be checked is a Boolean.
asDouble() - Method in interface com.github.valid8j.pcond.core.fluent.builtins.ObjectTransformer
Lets the framework know the value to be checked is a Double.
asFloat() - Method in interface com.github.valid8j.pcond.core.fluent.builtins.ObjectTransformer
Lets the framework know the value to be checked is a Float.
asInteger() - Method in interface com.github.valid8j.pcond.core.fluent.builtins.ObjectTransformer
Lets the framework know the value to be checked is a Integer.
asList() - Method in interface com.github.valid8j.pcond.core.fluent.builtins.ObjectTransformer
Lets the framework know the value to be checked is a List.
asListOf(Class<EE>) - Method in interface com.github.valid8j.pcond.core.fluent.builtins.ObjectTransformer
Lets the framework know the value to be checked is a List of EE.
asLong() - Method in interface com.github.valid8j.pcond.core.fluent.builtins.ObjectTransformer
Lets the framework know the value to be checked is a Long.
asObject() - Method in interface com.github.valid8j.pcond.core.fluent.AbstractObjectTransformer
Mainly used for internal purposes
assertAll(Statement<?>...) - Static method in enum com.github.valid8j.fluent.Expectations
assertFailsWith(boolean) - Static method in enum com.github.valid8j.pcond.internals.InternalUtils
A method to check if assertion is enabled or not.
Assertions - Enum in com.github.valid8j.classic
Use methods in this class with the assert statement.
assertStatement(Statement<T>) - Static method in enum com.github.valid8j.fluent.Expectations
assertThat(T, Predicate<? super T>) - Static method in enum com.github.valid8j.classic.TestAssertions
A method to check a given value satisfies a condition predicate, to be verified by the test.
assertThat(T, Predicate<? super T>) - Method in interface com.github.valid8j.pcond.validator.Validator
Executes a test assertion for a given value using a predicate cond.
asShort() - Method in interface com.github.valid8j.pcond.core.fluent.builtins.ObjectTransformer
Lets the framework know the value to be checked is a Short.
asString() - Method in interface com.github.valid8j.pcond.core.fluent.builtins.ObjectTransformer
Lets the framework know the value to be checked is a String.
assumeAll(Statement<?>...) - Static method in enum com.github.valid8j.fluent.Expectations
assumeStatement(Statement<T>) - Static method in enum com.github.valid8j.fluent.Expectations
assumeThat(T, Predicate<? super T>) - Static method in enum com.github.valid8j.classic.TestAssertions
A method to check a given value satisfies a condition predicate, which is required by the test’s design to execute it.
assumeThat(T, Predicate<? super T>) - Method in interface com.github.valid8j.pcond.validator.Validator
Executes a test assumption check for a given value using a predicate cond.

B

Base(Supplier<T>, Function<T, R>) - Constructor for class com.github.valid8j.pcond.core.fluent.Checker.Base
 
Base(Supplier<T>, Function<T, R>) - Constructor for class com.github.valid8j.pcond.core.fluent.Matcher.Base
 
Base(Supplier<T>, Function<T, R>) - Constructor for class com.github.valid8j.pcond.core.fluent.Transformer.Base
 
Base(Object, List<Object>) - Constructor for class com.github.valid8j.pcond.core.identifieable.Identifiable.Base
 
baseValue() - Method in class com.github.valid8j.pcond.core.fluent.Matcher.Base
 
bindActualArguments(Predicate<Object>, Function<Object, Object>) - Method in interface com.github.valid8j.pcond.core.refl.MethodQuery
 
BooleanChecker<T> - Interface in com.github.valid8j.pcond.core.fluent.builtins
 
BooleanChecker.Impl<T> - Class in com.github.valid8j.pcond.core.fluent.builtins
 
BooleanTransformer<T> - Interface in com.github.valid8j.pcond.core.fluent.builtins
 
BooleanTransformer.Impl<T> - Class in com.github.valid8j.pcond.core.fluent.builtins
 
booleanValue(Boolean) - Static method in interface com.github.valid8j.pcond.fluent.Statement
Returns a transformer for a boolean value.
build() - Method in class com.github.valid8j.metamor.InputResolver.Sequence.Factory.Builder
 
build() - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.Builder
 
build() - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.BuilderBase
 
build() - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactoryWithPreformer.Builder
 
build() - Method in class com.github.valid8j.pcond.core.printable.ParameterizedIdentifiableFactory.Builder
 
build() - Method in class com.github.valid8j.pcond.validator.Validator.Configuration.Builder
 
Builder(String, String) - Constructor for class com.github.valid8j.metamor.InputResolver.Sequence.Factory.Builder
 
Builder() - Constructor for class com.github.valid8j.metamor.MetamorphicTestCaseFactory.Builder
 
Builder() - Constructor for class com.github.valid8j.metamor.MetamorphicTestCaseFactoryWithPreformer.Builder
 
Builder() - Constructor for class com.github.valid8j.pcond.core.printable.ParameterizedFunctionFactory.Builder
 
Builder() - Constructor for class com.github.valid8j.pcond.core.printable.ParameterizedIdentifiableFactory.Builder
 
Builder() - Constructor for class com.github.valid8j.pcond.core.printable.ParameterizedPredicateFactory.Builder
 
Builder(Function<List<Object>, R>) - Constructor for class com.github.valid8j.pcond.experimentals.currying.multi.MultiFunction.Builder
 
Builder() - Constructor for class com.github.valid8j.pcond.validator.Validator.Configuration.Builder
 
BuilderBase() - Constructor for class com.github.valid8j.metamor.MetamorphicTestCaseFactory.BuilderBase
 
buildProtected() - Method in class com.github.valid8j.pcond.core.printable.ParameterizedFunctionFactory.Builder
 
buildProtected() - Method in class com.github.valid8j.pcond.core.printable.ParameterizedIdentifiableFactory.Builder
 
buildProtected() - Method in class com.github.valid8j.pcond.core.printable.ParameterizedPredicateFactory.Builder
 

C

call(MethodQuery) - Static method in class com.github.valid8j.pcond.forms.Functions
Returns a Function created from a method specified by a methodQuery.
call(String, Object...) - Static method in class com.github.valid8j.pcond.forms.Functions
Returns a function that calls a method which matches the given methodName and args on the object given as input to it.
callp(MethodQuery) - Static method in class com.github.valid8j.pcond.forms.Predicates
Returns a Predicate created from a method specified by a methodQuery.
callp(String, Object...) - Static method in class com.github.valid8j.pcond.forms.Predicates
Returns a predicate that calls a method which matches the given methodName and args on the object given as input to it.
cast(Class<E>) - Static method in class com.github.valid8j.pcond.forms.Functions
Returns a function that casts an object into a given class.
castTo(Class<OO>) - Method in class com.github.valid8j.pcond.core.printable.PrintablePredicateFactory.TransformingPredicate.Factory
 
castTo(E) - Static method in class com.github.valid8j.pcond.forms.Functions
Returns a function that casts an object into a given class.
check(String, Predicate<R>) - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.BuilderBase
 
check(Predicate<R>) - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.BuilderBase
 
check(Function<BooleanChecker<Boolean>, Predicate<Boolean>>) - Method in interface com.github.valid8j.pcond.core.fluent.builtins.BooleanChecker
 
check(Function<StringChecker<String>, Predicate<String>>) - Method in interface com.github.valid8j.pcond.core.fluent.builtins.StringChecker
 
check(String, Predicate<? super P>) - Method in class com.github.valid8j.pcond.core.printable.PrintablePredicateFactory.TransformingPredicate.Factory
 
check(Predicate<? super P>) - Method in class com.github.valid8j.pcond.core.printable.PrintablePredicateFactory.TransformingPredicate.Factory
 
checkAllOf(Predicate<? super P>...) - Method in class com.github.valid8j.pcond.core.printable.PrintablePredicateFactory.TransformingPredicate.Factory
 
checkArgument(boolean, Supplier<String>) - Static method in enum com.github.valid8j.pcond.internals.InternalChecks
 
checker - Variable in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.BuilderBase
 
checker(Predicate<R>) - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.BuilderBase
 
checker() - Method in interface com.github.valid8j.pcond.core.Evaluable.Transformation
 
Checker<V extends Checker<V,T,R>,T,R> - Interface in com.github.valid8j.pcond.core.fluent
An interface that defines methods to check a target value.
checker() - Method in class com.github.valid8j.pcond.core.printable.PrintablePredicateFactory.TransformingPredicate
 
Checker.Base<V extends Checker<V,T,R>,T,R> - Class in com.github.valid8j.pcond.core.fluent
 
checkerName() - Method in interface com.github.valid8j.pcond.core.Evaluable.Transformation
Returns a name of a checker, if any.
checkerName() - Method in class com.github.valid8j.pcond.core.printable.PrintablePredicateFactory.TransformingPredicate
 
checkInvariant(T, Predicate<? super T>) - Method in interface com.github.valid8j.pcond.validator.Validator
A method to check if a value satisfies a predicate cond.
checkPostcondition(T, Predicate<? super T>) - Method in interface com.github.valid8j.pcond.validator.Validator
A method to check if a value satisfies a predicate cond.
checkPrecondition(T, Predicate<? super T>) - Method in interface com.github.valid8j.pcond.validator.Validator
A method to check if a value satisfies a predicate cond.
Checks - Enum in com.github.valid8j.pcond.experimentals.currying
A utility class for checking values that the "currying" mechanism of the pcond library processes.
checkValueAndThrowIfFails(T, Predicate<? super T>, BiFunction<T, Predicate<? super T>, String>, Validator.ExceptionFactory<Throwable>) - Method in interface com.github.valid8j.pcond.validator.Validator
The core method of the ValueChecker.
checkWithPredicate(Predicate<? super R>) - Method in interface com.github.valid8j.pcond.core.fluent.Checker
Checks if the target value satisfies the given predicate.
childPredicates() - Method in class com.github.valid8j.pcond.core.fluent.Matcher.Base
 
children() - Method in interface com.github.valid8j.pcond.core.Evaluable.Composite
Returns the predicates with which the target value is evaluated.
classMethod(Class<?>, String, Object...) - Static method in interface com.github.valid8j.pcond.core.refl.MethodQuery
Create a MethodQuery object to search matching static methods.
classMethod(Class<?>, String, Object...) - Static method in class com.github.valid8j.pcond.forms.Functions
Creates a MethodQuery object from given arguments to search for static methods.
clone() - Method in class com.github.valid8j.pcond.core.printable.PrintableFunction
 
clone() - Method in class com.github.valid8j.pcond.core.printable.PrintablePredicate
 
clone() - Method in class com.github.valid8j.pcond.core.ValueHolder
 
clone() - Method in class com.github.valid8j.pcond.validator.Validator.Configuration.Builder
 
cloneObject() - Method in interface com.github.valid8j.metamor.IoContext.Ongoing
 
close() - Method in interface com.github.valid8j.metamor.Dataset.OnGoing
 
close() - Method in class com.github.valid8j.metamor.Dataset.OnGoing.Impl
 
close() - Method in interface com.github.valid8j.metamor.IoContext.Ongoing
 
collectionToList() - Static method in class com.github.valid8j.pcond.forms.Functions
Returns a function that creates and returns a list that contains all the elements in the given list.
com.github.valid8j - package com.github.valid8j
This package collects entry point classes of the `valid8j` library.
com.github.valid8j.classic - package com.github.valid8j.classic
A package for "classic" programming style of valid8j, where a value to be checked and a predicate with which the value is checked are passed to checking methods.
com.github.valid8j.fluent - package com.github.valid8j.fluent
This package hosts classes for "Fluent" programming model of valid8j.
com.github.valid8j.fluent.internals - package com.github.valid8j.fluent.internals
 
com.github.valid8j.metamor - package com.github.valid8j.metamor
A package that holds classes for "Metamorphic Testing".
com.github.valid8j.metamor.internals - package com.github.valid8j.metamor.internals
 
com.github.valid8j.pcond - package com.github.valid8j.pcond
A package to store classes for "printable conditions".
com.github.valid8j.pcond.core - package com.github.valid8j.pcond.core
A package to provide the core part of the pcond 's functionalities.
com.github.valid8j.pcond.core.fluent - package com.github.valid8j.pcond.core.fluent
 
com.github.valid8j.pcond.core.fluent.builtins - package com.github.valid8j.pcond.core.fluent.builtins
 
com.github.valid8j.pcond.core.identifieable - package com.github.valid8j.pcond.core.identifieable
A package that provides a mechanism to make "identifieable" functions and predicates with at least one parameter for their creations.
com.github.valid8j.pcond.core.printable - package com.github.valid8j.pcond.core.printable
A package that provides a mechanism to make functions and predicates (lambdas) printable.
com.github.valid8j.pcond.core.refl - package com.github.valid8j.pcond.core.refl
Offers a mechanism to invoke a method dynamically.
com.github.valid8j.pcond.experimentals.currying - package com.github.valid8j.pcond.experimentals.currying
The currying package provides a mechanism to "curry" a multi-parameters function.
com.github.valid8j.pcond.experimentals.currying.context - package com.github.valid8j.pcond.experimentals.currying.context
A package to provide the "Context" mechanism of the pcond library.
com.github.valid8j.pcond.experimentals.currying.multi - package com.github.valid8j.pcond.experimentals.currying.multi
A package to handle "multi-parameters" function.
com.github.valid8j.pcond.experimentals.cursor - package com.github.valid8j.pcond.experimentals.cursor
 
com.github.valid8j.pcond.fluent - package com.github.valid8j.pcond.fluent
A package to provide entry-point classes for the Fluent style.
com.github.valid8j.pcond.forms - package com.github.valid8j.pcond.forms
This package stores entry-point classes to static import for your conveniences.
com.github.valid8j.pcond.internals - package com.github.valid8j.pcond.internals
A package to place utility classes internally used by the pcond library.
com.github.valid8j.pcond.validator - package com.github.valid8j.pcond.validator
A package that holds classes providing core functionality of the pcond package.
com.github.valid8j.pcond.validator.exceptions - package com.github.valid8j.pcond.validator.exceptions
A package to store exception classes thrown when a condition passed to assertion/validation method of pcond is not satisfied.
ComparableNumberChecker<V extends ComparableNumberChecker<V,T,N>,T,N extends Number & Comparable<N>> - Interface in com.github.valid8j.pcond.core.fluent.builtins
 
ComparableNumberTransformer<TX extends ComparableNumberTransformer<TX,V,T,N>,V extends ComparableNumberChecker<V,T,N>,T,N extends Number & Comparable<N>> - Interface in com.github.valid8j.pcond.core.fluent.builtins
 
compose(Function<? super V, ? extends T>) - Method in class com.github.valid8j.pcond.core.printable.PrintableFunction
 
compose(Function<? super T, ? extends R>, Function<? super R, ? extends S>) - Static method in enum com.github.valid8j.pcond.core.printable.PrintableFunctionFactory
 
composeExplanation(String, List<EvaluationEntry>) - Method in interface com.github.valid8j.pcond.validator.ReportComposer
 
composeExplanation(ReportComposer, String, List<EvaluationEntry>) - Static method in enum com.github.valid8j.pcond.validator.ReportComposer.Utils
Note that an exception thrown during an evaluation is normally caught by the framework.
composeMessageForAssertion(T, Predicate<? super T>) - Method in interface com.github.valid8j.pcond.validator.MessageComposer
Compose a message string for a value, which violates a general condition given as predicate.
composeMessageForAssertion(T, Predicate<? super T>) - Method in class com.github.valid8j.pcond.validator.MessageComposer.Default
 
composeMessageForPostcondition(T, Predicate<? super T>) - Method in interface com.github.valid8j.pcond.validator.MessageComposer
Compose a message string for a value, which violates a postcondition given as predicate.
composeMessageForPostcondition(T, Predicate<? super T>) - Method in class com.github.valid8j.pcond.validator.MessageComposer.Default
 
composeMessageForPrecondition(T, Predicate<? super T>) - Method in interface com.github.valid8j.pcond.validator.MessageComposer
Compose a message string for a value, which violates a precondition given as predicate.
composeMessageForPrecondition(T, Predicate<? super T>) - Method in class com.github.valid8j.pcond.validator.MessageComposer.Default
 
composeMessageForValidation(T, Predicate<? super T>) - Method in interface com.github.valid8j.pcond.validator.MessageComposer
Compose a message string for a value, which violates a user input checking condition given as predicate.
composeMessageForValidation(T, Predicate<? super T>) - Method in class com.github.valid8j.pcond.validator.MessageComposer.Default
 
configuration() - Method in interface com.github.valid8j.pcond.validator.Validator
Returns a configuration object that determines behaviors of this object.
configuration() - Method in class com.github.valid8j.pcond.validator.Validator.Impl
 
configurationFromProperties(Properties) - Static method in interface com.github.valid8j.pcond.validator.Validator
 
Conjunction(List<Predicate<? super T>>, boolean) - Constructor for class com.github.valid8j.pcond.core.printable.PrintablePredicateFactory.Conjunction
 
connect(List<Predicate<T>>) - Method in enum com.github.valid8j.pcond.core.fluent.Matcher.JunctionType
 
containing(E) - Method in interface com.github.valid8j.pcond.core.fluent.builtins.ListChecker
 
containing(String) - Method in interface com.github.valid8j.pcond.core.fluent.builtins.StringChecker
Checks if the given token is contained by the target value.
containingElementsInOrder(List<Predicate<E>>) - Method in interface com.github.valid8j.pcond.core.fluent.builtins.ListChecker
 
containingElementsInOrder(E...) - Method in interface com.github.valid8j.pcond.core.fluent.builtins.ListChecker
 
containingRegexes(String...) - Method in interface com.github.valid8j.pcond.core.fluent.builtins.StringChecker
Checks if given regular expressions are contained by the target value in the given order.
containingRegexes(Pattern...) - Method in interface com.github.valid8j.pcond.core.fluent.builtins.StringChecker
Checks if given tokens are contained by the target value in the given order.
containingSubstrings(String...) - Method in interface com.github.valid8j.pcond.core.fluent.builtins.StringChecker
Checks if given tokens are contained by the target value in the given order.
contains(Object) - Static method in class com.github.valid8j.pcond.forms.Predicates
 
containsString(String) - Static method in class com.github.valid8j.pcond.forms.Predicates
 
count() - Method in interface com.github.valid8j.metamor.InputResolver.Sequence.Factory
 
count() - Method in class com.github.valid8j.metamor.InputResolver.Sequence.Factory.Impl
 
countLines() - Static method in class com.github.valid8j.pcond.forms.Functions
Returns a function the counts lines in a given string.
create(ExceptionComposer.ForValidate) - Static method in interface com.github.valid8j.classic.Validates.TestValidator
 
create(T) - Method in class com.github.valid8j.fluent.Expectations.CustomTransformer
 
create(I, O) - Static method in interface com.github.valid8j.metamor.IoPair
 
create(Predicate<Dataset<X>>, Function<Object[], String>, IntFunction<String>, int) - Static method in interface com.github.valid8j.metamor.Proposition.Factory
 
create(String, EvaluationEntry.Type, int, Object, Object, Object, Object, Object, Object, Object, Object, boolean, boolean, boolean) - Static method in class com.github.valid8j.pcond.core.EvaluationEntry
 
create() - Static method in interface com.github.valid8j.pcond.core.Evaluator
Returns a new instance of this interface.
create(Supplier<Boolean>) - Static method in interface com.github.valid8j.pcond.core.fluent.builtins.BooleanTransformer
 
create(Supplier<Double>) - Static method in interface com.github.valid8j.pcond.core.fluent.builtins.DoubleTransformer
 
create(Supplier<Float>) - Static method in interface com.github.valid8j.pcond.core.fluent.builtins.FloatTransformer
 
create(Supplier<Integer>) - Static method in interface com.github.valid8j.pcond.core.fluent.builtins.IntegerTransformer
 
create(Supplier<List<E>>) - Static method in interface com.github.valid8j.pcond.core.fluent.builtins.ListTransformer
 
create(Supplier<Long>) - Static method in interface com.github.valid8j.pcond.core.fluent.builtins.LongTransformer
 
create(Supplier<E>) - Static method in interface com.github.valid8j.pcond.core.fluent.builtins.ObjectTransformer
Creates a new Object transformer whose target value is given by a supplier.
create(Supplier<Short>) - Static method in interface com.github.valid8j.pcond.core.fluent.builtins.ShortTransformer
 
create(Supplier<Stream<E>>) - Static method in interface com.github.valid8j.pcond.core.fluent.builtins.StreamTransformer
 
create(Supplier<String>) - Static method in interface com.github.valid8j.pcond.core.fluent.builtins.StringTransformer
 
create(Supplier<E>) - Static method in interface com.github.valid8j.pcond.core.fluent.builtins.ThrowableTransformer
 
create(Object...) - Method in interface com.github.valid8j.pcond.core.printable.ParameterizedIdentifiableFactory
 
create(Function<List<Object>, Supplier<String>>, Function<List<Object>, Function<T, R>>, List<Object>, Object) - Static method in enum com.github.valid8j.pcond.core.printable.PrintableFunctionFactory
 
create(List<Object>) - Method in enum com.github.valid8j.pcond.core.printable.PrintableFunctionFactory.Parameterized
 
create(PrintablePredicateFactory.ParameterizedLeafFactory, List<Object>) - Static method in enum com.github.valid8j.pcond.core.printable.PrintablePredicateFactory.ParameterizedLeafFactory
 
create(Function<O, P>) - Static method in class com.github.valid8j.pcond.core.printable.PrintablePredicateFactory.TransformingPredicate.Factory
 
create(String, String, Function<O, P>) - Static method in class com.github.valid8j.pcond.core.printable.PrintablePredicateFactory.TransformingPredicate.Factory
 
create(boolean, Object, Class<?>, String, Object[]) - Static method in interface com.github.valid8j.pcond.core.refl.MethodQuery
 
create() - Static method in interface com.github.valid8j.pcond.core.refl.Parameter
 
create(ValueHolder.CreatorFormType) - Static method in class com.github.valid8j.pcond.core.ValueHolder
 
create(Class<T>, Explanation) - Method in interface com.github.valid8j.pcond.validator.ExceptionComposer.Utils.ReflectiveExceptionFactory
 
create(String, List<String>) - Static method in interface com.github.valid8j.pcond.validator.ReportComposer.Report
 
create(Properties) - Static method in interface com.github.valid8j.pcond.validator.Validator
Returns a provider instance created from a given Properties object.
create(Explanation) - Method in interface com.github.valid8j.pcond.validator.Validator.ExceptionFactory
 
createCombinerForMethodList() - Static method in enum com.github.valid8j.pcond.core.refl.ReflUtils
This method is made public in order only for unit testing since with Java 8, the combiner returned by this method will never be used.
createException(String, Explanation, ExceptionComposer.Utils.ReflectiveExceptionFactory<T>) - Static method in enum com.github.valid8j.pcond.validator.ExceptionComposer.Utils
 
createException(Validator.ExceptionFactory<?>, Explanation) - Static method in interface com.github.valid8j.pcond.validator.Validator.ExceptionFactory
 
createFormattedEntryForActualValue(EvaluationEntry) - Method in class com.github.valid8j.metamor.MetamorphicReportComposer
 
createFormattedEntryForActualValue(EvaluationEntry) - Method in interface com.github.valid8j.pcond.validator.ReportComposer
 
createFormattedEntryForActualValue(ReportComposer, EvaluationEntry) - Static method in enum com.github.valid8j.pcond.validator.ReportComposer.Utils
 
createFormattedEntryForExpectation(EvaluationEntry) - Method in class com.github.valid8j.metamor.MetamorphicReportComposer
 
createFormattedEntryForExpectation(EvaluationEntry) - Method in interface com.github.valid8j.pcond.validator.ReportComposer
 
createFormattedEntryForExpectation(ReportComposer, EvaluationEntry) - Static method in enum com.github.valid8j.pcond.validator.ReportComposer.Utils
 
createIdentity() - Method in interface com.github.valid8j.pcond.core.identifieable.Identifiable
 
createInstanceFromClassName(Class<? super T>, String, Object...) - Static method in enum com.github.valid8j.pcond.internals.InternalUtils
 
createObservableProcessingPipeline(String, Function<IoContext<I, O>, Function<I, O>>, int, IntFunction<String>, String) - Static method in enum com.github.valid8j.metamor.internals.InternalUtils
 
createPredicate(String, Predicate<T>) - Static method in enum com.github.valid8j.pcond.experimentals.currying.context.CurriedContextUtils
 
createPredicateForAllOf(Statement<?>[]) - Static method in interface com.github.valid8j.pcond.fluent.Statement
Creates a predicate which conjunctions all the given statements.
createValidator(ExceptionComposer.ForValidate) - Static method in enum com.github.valid8j.classic.Validates
 
creator() - Method in class com.github.valid8j.pcond.core.identifieable.Identifiable.Base
 
creator() - Method in interface com.github.valid8j.pcond.core.identifieable.Identifiable
 
creatorFormType() - Method in class com.github.valid8j.pcond.core.ValueHolder
 
creatorFormType(ValueHolder.CreatorFormType) - Method in class com.github.valid8j.pcond.core.ValueHolder
 
creatorOf(Object) - Static method in interface com.github.valid8j.pcond.core.identifieable.Identifiable
 
currentIndentLevel() - Method in class com.github.valid8j.pcond.core.EvaluationContext
 
CurriedContext - Interface in com.github.valid8j.pcond.experimentals.currying.context
Context is a concept to handle multiple values in the pcond.
CurriedContext.PrivateUtils - Enum in com.github.valid8j.pcond.experimentals.currying.context
 
CurriedContextUtils - Enum in com.github.valid8j.pcond.experimentals.currying.context
A utility class that collects helper methods for the "Context" mechanism.
CurriedFunction<T,R> - Interface in com.github.valid8j.pcond.experimentals.currying
 
CurriedFunction.Impl - Class in com.github.valid8j.pcond.experimentals.currying
 
CurriedFunctions - Enum in com.github.valid8j.pcond.experimentals.currying
A class that collects methods to create functions and predicates in experimental stage.
currier() - Static method in enum com.github.valid8j.pcond.experimentals.currying.CurryingUtils
 
curry(MultiFunction<Object>) - Static method in enum com.github.valid8j.pcond.experimentals.currying.CurryingUtils
 
curry(Class<?>, String, Class<?>...) - Static method in class com.github.valid8j.pcond.forms.Functions
Curries a static method specified by the given arguments.
curry(MultiFunction<Object>) - Static method in class com.github.valid8j.pcond.forms.Functions
Curries a given multi-function.
CurryingUtils - Enum in com.github.valid8j.pcond.experimentals.currying
Intended for internal use only.
Cursors - Enum in com.github.valid8j.pcond.experimentals.cursor
 
CustomTransformer(T) - Constructor for class com.github.valid8j.fluent.Expectations.CustomTransformer
Creates an instance of this class.
cut() - Method in interface com.github.valid8j.pcond.core.Evaluable.StreamPred
Returns an evaluable object which makes "cut" happen.
cut() - Method in class com.github.valid8j.pcond.core.printable.PrintablePredicateFactory.StreamPredicate
 

D

Dataset<E> - Interface in com.github.valid8j.metamor
 
Dataset.Base<E> - Class in com.github.valid8j.metamor
 
Dataset.Closed<E> - Interface in com.github.valid8j.metamor
 
Dataset.Closed.Impl<E> - Class in com.github.valid8j.metamor
 
Dataset.OnGoing<E> - Interface in com.github.valid8j.metamor
 
Dataset.OnGoing.Impl<E> - Class in com.github.valid8j.metamor
 
debugging() - Method in interface com.github.valid8j.pcond.validator.Validator.Configuration
 
DebuggingUtils - Enum in com.github.valid8j.pcond.core
 
Default() - Constructor for class com.github.valid8j.pcond.core.refl.MethodSelector.Default
 
Default() - Constructor for class com.github.valid8j.pcond.validator.ExceptionComposer.ForAssertion.Default
 
Default() - Constructor for class com.github.valid8j.pcond.validator.ExceptionComposer.ForEnsure.Default
 
Default() - Constructor for class com.github.valid8j.pcond.validator.ExceptionComposer.ForRequire.Default
 
Default() - Constructor for class com.github.valid8j.pcond.validator.ExceptionComposer.ForValidate.Default
 
Default() - Constructor for class com.github.valid8j.pcond.validator.MessageComposer.Default
 
Default() - Constructor for class com.github.valid8j.pcond.validator.ReportComposer.Default
 
defaultEquals(Object) - Method in interface com.github.valid8j.pcond.core.identifieable.Identifiable
This method is designed to be called from the defaultEquals() method of a class which implements Identifiable identity interface.
defaultExceptionComposerForValidate(ExceptionComposer.ForValidate) - Method in class com.github.valid8j.pcond.validator.Validator.Configuration.Builder
 
defaultForValidate() - Method in interface com.github.valid8j.pcond.validator.ExceptionComposer
Returns an instance to compose exceptions used with validateXyz methods in Validates entry-point class of valid8j library.
defaultForValidate() - Method in class com.github.valid8j.pcond.validator.ExceptionComposer.Impl
 
defaultHashCode() - Method in interface com.github.valid8j.pcond.core.identifieable.Identifiable
This method is designed to be called from the hashCode() method of a class which implements Identifiable identity interface.
defaultValue() - Method in interface com.github.valid8j.pcond.core.Evaluable.StreamPred
Returns a default value returned as the entire result of this predicate.
defaultValue() - Method in class com.github.valid8j.pcond.core.printable.PrintablePredicateFactory.StreamPredicate
 
describe() - Method in interface com.github.valid8j.pcond.core.refl.MethodQuery
Returns a string that describes this object.
describe() - Method in class com.github.valid8j.pcond.core.refl.MethodSelector.Default
 
describe() - Method in interface com.github.valid8j.pcond.core.refl.MethodSelector
Returns a string that describes this object.
describe() - Method in class com.github.valid8j.pcond.core.refl.MethodSelector.PreferExact
 
describe() - Method in class com.github.valid8j.pcond.core.refl.MethodSelector.PreferNarrower
 
detailInputExpectation() - Method in class com.github.valid8j.pcond.core.EvaluationEntry
 
detailOutputActualValue() - Method in class com.github.valid8j.pcond.core.EvaluationEntry
 
detailOutputActualValue() - Method in class com.github.valid8j.pcond.core.EvaluationEntry.Impl
 
detailOutputExpectation() - Method in class com.github.valid8j.pcond.core.EvaluationEntry
 
details() - Method in interface com.github.valid8j.pcond.validator.ReportComposer.Report
 
Disjunction(List<Predicate<? super T>>, boolean) - Constructor for class com.github.valid8j.pcond.core.printable.PrintablePredicateFactory.Disjunction
 
done() - Method in interface com.github.valid8j.pcond.core.fluent.Checker
Convert this object into a printable predicate to check the target value.
DoubleChecker<T> - Interface in com.github.valid8j.pcond.core.fluent.builtins
 
DoubleChecker.Impl<T> - Class in com.github.valid8j.pcond.core.fluent.builtins
 
DoubleTransformer<T> - Interface in com.github.valid8j.pcond.core.fluent.builtins
 
DoubleTransformer.Impl<OIN> - Class in com.github.valid8j.pcond.core.fluent.builtins
 
doubleValue(Double) - Static method in interface com.github.valid8j.pcond.fluent.Statement
Returns a transformer for a double value.
dummyFunction() - Static method in enum com.github.valid8j.pcond.internals.InternalUtils
 
dummyPredicate() - Static method in enum com.github.valid8j.pcond.internals.InternalUtils
 

E

elementAt(int) - Method in interface com.github.valid8j.pcond.core.fluent.builtins.ListTransformer
 
elementAt(int) - Static method in class com.github.valid8j.pcond.forms.Functions
 
empty() - Method in interface com.github.valid8j.pcond.core.fluent.builtins.ListChecker
 
empty() - Method in interface com.github.valid8j.pcond.core.fluent.builtins.StringChecker
 
enableDebugLog() - Method in interface com.github.valid8j.pcond.validator.Validator.Configuration.Debugging
 
enclosed() - Method in interface com.github.valid8j.pcond.core.Evaluable.CurriedContextPred
 
endingWith(String) - Method in interface com.github.valid8j.pcond.core.fluent.builtins.StringChecker
 
endsWith(String) - Static method in class com.github.valid8j.pcond.forms.Predicates
 
ensure(T, Predicate<? super T>) - Static method in enum com.github.valid8j.classic.Ensures
Checks if a given value satisfies a postcondition cond.
ensure(Statement<?>...) - Static method in enum com.github.valid8j.fluent.Expectations
A method to check the given statements as post-conditions.
ensure(Statement<T>) - Static method in enum com.github.valid8j.fluent.Expectations
A singular version of Expectations.ensure(Statement[]).
ensure(T, Predicate<? super T>) - Method in interface com.github.valid8j.pcond.validator.Validator
Checks a value if it meets a requirement specified by cond.
ensure(T, Predicate<? super T>, Function<String, Throwable>) - Method in interface com.github.valid8j.pcond.validator.Validator
Checks a value if it meets a requirement specified by cond.
ensureAll(Statement<?>...) - Static method in enum com.github.valid8j.fluent.internals.ValidationFluents
ensureNonNull(T) - Static method in enum com.github.valid8j.classic.Ensures
Checks if a given value is not null.
ensureNonNull(T) - Method in interface com.github.valid8j.pcond.validator.Validator
Checks a value if it is not null.
Ensures - Enum in com.github.valid8j.classic
A class that offers entry-points for checking "postconditions" with a normal conditional statement of Java language.
ensureState(T, Predicate<? super T>) - Static method in enum com.github.valid8j.classic.Ensures
Checks if a given state value`satisfies a postcondition `cond.
ensureState(Statement<T>) - Static method in enum com.github.valid8j.fluent.internals.ValidationFluents
ensureState(T, Predicate<? super T>) - Method in interface com.github.valid8j.pcond.validator.Validator
Checks a value if it meets a requirement specified by cond.
ensureStatement(Statement<T>) - Static method in enum com.github.valid8j.fluent.internals.ValidationFluents
 
ensureStates(Statement<?>...) - Static method in enum com.github.valid8j.fluent.internals.ValidationFluents
ensureValue(V, Predicate<? super V>, Function<V, String>) - Static method in enum com.github.valid8j.pcond.internals.InternalChecks
 
eq(T) - Static method in class com.github.valid8j.pcond.forms.Predicates
 
equals(Object) - Method in class com.github.valid8j.pcond.core.identifieable.Identifiable.Base
 
equalsIgnoreCase(String) - Static method in class com.github.valid8j.pcond.forms.Predicates
 
equalTo(Object) - Method in interface com.github.valid8j.pcond.core.fluent.AbstractObjectChecker
Adds a predicate to this checker object to check the target object with the argument for anotherObject if they are "equal", using equalTo method.
equalTo(N) - Method in interface com.github.valid8j.pcond.core.fluent.builtins.ComparableNumberChecker
 
equalTo(String) - Method in interface com.github.valid8j.pcond.core.fluent.builtins.StringChecker
 
equalTo(T) - Static method in class com.github.valid8j.pcond.forms.Predicates
 
equalToIgnoringCase(String) - Method in interface com.github.valid8j.pcond.core.fluent.builtins.StringChecker
 
Evaluable<T> - Interface in com.github.valid8j.pcond.core
An interface that models "forms".
evaluable() - Method in class com.github.valid8j.pcond.core.EvaluableIo
 
Evaluable.Composite<T> - Interface in com.github.valid8j.pcond.core
A base interface for conjunction (and) and disjunction (or) of predicates.
Evaluable.Conjunction<T> - Interface in com.github.valid8j.pcond.core
An interface to model a conjunction (and, &&) predicate.
Evaluable.CurriedContextPred - Interface in com.github.valid8j.pcond.core
An interface to model a predicate for CurriedContext.
Evaluable.Disjunction<T> - Interface in com.github.valid8j.pcond.core
An interface to model a disjunction (or, ||) predicate.
Evaluable.Func<T> - Interface in com.github.valid8j.pcond.core
An interface to model a function (Function) in the evaluation framework of the pcond.
Evaluable.LeafPred<T> - Interface in com.github.valid8j.pcond.core
An interface to model a simple predicate in the evaluation framework.
Evaluable.Negation<T> - Interface in com.github.valid8j.pcond.core
An interface to model a negation (not, negate, !) of a predicate.
Evaluable.Pred<T> - Interface in com.github.valid8j.pcond.core
A base interface to model all the predicates in the model of the evaluation framework.
Evaluable.StreamPred<E> - Interface in com.github.valid8j.pcond.core
An interface to model a predicate for Stream.
Evaluable.Transformation<T,R> - Interface in com.github.valid8j.pcond.core
An interface to model a "transforming predicate", which models the "transform and check" style of value validation.
EvaluableIo<I,E extends Evaluable<I>,O> - Class in com.github.valid8j.pcond.core
 
EvaluableIo(ValueHolder<I>, EvaluationEntry.Type, E) - Constructor for class com.github.valid8j.pcond.core.EvaluableIo
 
EvaluableIo(ValueHolder<I>, EvaluationEntry.Type, String, E) - Constructor for class com.github.valid8j.pcond.core.EvaluableIo
 
evaluableIo() - Method in class com.github.valid8j.pcond.core.EvaluationEntry.Impl
 
evaluableType() - Method in class com.github.valid8j.pcond.core.EvaluableIo
 
evaluate() - Method in interface com.github.valid8j.metamor.Proposition
 
evaluate() - Method in class com.github.valid8j.metamor.Proposition.Impl
 
evaluate(EvaluableIo<T, E, O>, BiFunction<E, ValueHolder<T>, ValueHolder<O>>) - Method in class com.github.valid8j.pcond.core.EvaluationContext
 
evaluate(EvaluationEntry.Type, EvaluableIo<T, E, O>, BiFunction<E, ValueHolder<T>, ValueHolder<O>>) - Method in class com.github.valid8j.pcond.core.EvaluationContext
 
evaluate(EvaluationEntry.Type, EvaluableIo<T, E, O>, Function<EvaluableIo<T, E, O>, ValueHolder<O>>) - Method in class com.github.valid8j.pcond.core.EvaluationContext
 
evaluate(EvaluationEntry.Type, String, EvaluableIo<T, E, O>, Function<EvaluableIo<T, E, O>, ValueHolder<O>>) - Method in class com.github.valid8j.pcond.core.EvaluationContext
 
evaluateConjunction(EvaluableIo<T, Evaluable.Conjunction<T>, Boolean>, EvaluationContext<T>) - Method in interface com.github.valid8j.pcond.core.Evaluator
Evaluates value with conjunction predicate ("and").
evaluateConjunction(EvaluableIo<T, Evaluable.Conjunction<T>, Boolean>, EvaluationContext<T>) - Method in class com.github.valid8j.pcond.core.Evaluator.Impl
 
evaluateCurriedContextPredicate(EvaluableIo<CurriedContext, Evaluable.CurriedContextPred, Boolean>, EvaluationContext<CurriedContext>) - Method in interface com.github.valid8j.pcond.core.Evaluator
Evaluates value with a context predicate.
evaluateCurriedContextPredicate(EvaluableIo<CurriedContext, Evaluable.CurriedContextPred, Boolean>, EvaluationContext<CurriedContext>) - Method in class com.github.valid8j.pcond.core.Evaluator.Impl
 
evaluateDisjunction(EvaluableIo<T, Evaluable.Disjunction<T>, Boolean>, EvaluationContext<T>) - Method in interface com.github.valid8j.pcond.core.Evaluator
Evaluates value with a disjunction predicate ("or").
evaluateDisjunction(EvaluableIo<T, Evaluable.Disjunction<T>, Boolean>, EvaluationContext<T>) - Method in class com.github.valid8j.pcond.core.Evaluator.Impl
 
evaluateFunction(EvaluableIo<T, Evaluable.Func<T>, R>, EvaluationContext<T>) - Method in interface com.github.valid8j.pcond.core.Evaluator
Evaluates value with a "function" predicate.
evaluateFunction(EvaluableIo<T, Evaluable.Func<T>, R>, EvaluationContext<T>) - Method in class com.github.valid8j.pcond.core.Evaluator.Impl
 
evaluateLeaf(EvaluableIo<T, Evaluable.LeafPred<T>, Boolean>, EvaluationContext<T>) - Method in interface com.github.valid8j.pcond.core.Evaluator
Evaluates value with a leaf predicate.
evaluateLeaf(EvaluableIo<T, Evaluable.LeafPred<T>, Boolean>, EvaluationContext<T>) - Method in class com.github.valid8j.pcond.core.Evaluator.Impl
 
evaluateNegation(EvaluableIo<T, Evaluable.Negation<T>, Boolean>, EvaluationContext<T>) - Method in interface com.github.valid8j.pcond.core.Evaluator
Evaluates value with a negation predicate ("not").
evaluateNegation(EvaluableIo<T, Evaluable.Negation<T>, Boolean>, EvaluationContext<T>) - Method in class com.github.valid8j.pcond.core.Evaluator.Impl
 
evaluateStreamPredicate(EvaluableIo<Stream<E>, Evaluable.StreamPred<E>, Boolean>, EvaluationContext<Stream<E>>) - Method in interface com.github.valid8j.pcond.core.Evaluator
Evaluates value with a predicate for a stream.
evaluateStreamPredicate(EvaluableIo<Stream<E>, Evaluable.StreamPred<E>, Boolean>, EvaluationContext<Stream<E>>) - Method in class com.github.valid8j.pcond.core.Evaluator.Impl
 
evaluateTransformation(EvaluableIo<T, Evaluable.Transformation<T, R>, Boolean>, EvaluationContext<T>) - Method in interface com.github.valid8j.pcond.core.Evaluator
Evaluates value with a "transformation" predicate.
evaluateTransformation(EvaluableIo<T, Evaluable.Transformation<T, R>, Boolean>, EvaluationContext<T>) - Method in class com.github.valid8j.pcond.core.Evaluator.Impl
 
EVALUATION_SKIPPED - Static variable in class com.github.valid8j.pcond.core.Evaluator.Impl
 
EvaluationContext<T> - Class in com.github.valid8j.pcond.core
The new design:
EvaluationContext() - Constructor for class com.github.valid8j.pcond.core.EvaluationContext
 
EvaluationContext(EvaluationContext<?>) - Constructor for class com.github.valid8j.pcond.core.EvaluationContext
 
EvaluationEntry - Class in com.github.valid8j.pcond.core
A class to hold an entry of execution history of the Evaluator.
EvaluationEntry.Impl - Class in com.github.valid8j.pcond.core
 
EvaluationEntry.Type - Enum in com.github.valid8j.pcond.core
 
evaluationSkipped() - Method in class com.github.valid8j.pcond.core.ValueHolder
 
Evaluator - Interface in com.github.valid8j.pcond.core
A visitor interface that defines a mechanism to "evaluate" printable predicates.
Evaluator.Explainable - Interface in com.github.valid8j.pcond.core
An interface to define methods that make a predicate "explainable" to humans.
Evaluator.Impl - Class in com.github.valid8j.pcond.core
 
Evaluator.Snapshottable - Interface in com.github.valid8j.pcond.core
If an input or an output value object of a form implements this interface, The value returned by snapshot method is stored in a EvaluationEntry record, instead of the value itself.
ExceptionComposer - Interface in com.github.valid8j.pcond.validator
An interface to define how an exception is composed based on a given message, a class of a condition that the value violates (non-null constraint, invalid state, input validation), and the context the violation happened (pre-, post-condition check, test-assertion, etc.).
exceptionComposer() - Method in interface com.github.valid8j.pcond.validator.Validator.Configuration
Returns an exception composer, which is responsible for creating an exception object of an appropriate type for a context.
ExceptionComposer.Base - Interface in com.github.valid8j.pcond.validator
An interface that defines common methods that an object returned by each method in the ExceptionComposer has.
ExceptionComposer.ForAssertion - Interface in com.github.valid8j.pcond.validator
 
ExceptionComposer.ForAssertion.Default - Class in com.github.valid8j.pcond.validator
 
ExceptionComposer.ForEnsure - Interface in com.github.valid8j.pcond.validator
 
ExceptionComposer.ForEnsure.Default - Class in com.github.valid8j.pcond.validator
 
ExceptionComposer.ForRequire - Interface in com.github.valid8j.pcond.validator
 
ExceptionComposer.ForRequire.Default - Class in com.github.valid8j.pcond.validator
 
ExceptionComposer.ForTestAssertion - Interface in com.github.valid8j.pcond.validator
 
ExceptionComposer.ForTestAssertion.JUnit4 - Class in com.github.valid8j.pcond.validator
 
ExceptionComposer.ForTestAssertion.Opentest4J - Class in com.github.valid8j.pcond.validator
 
ExceptionComposer.ForValidate - Interface in com.github.valid8j.pcond.validator
 
ExceptionComposer.ForValidate.Default - Class in com.github.valid8j.pcond.validator
 
ExceptionComposer.Impl - Class in com.github.valid8j.pcond.validator
An implementation of the ExceptionComposer interface.
ExceptionComposer.Utils - Enum in com.github.valid8j.pcond.validator
 
ExceptionComposer.Utils.ReflectiveExceptionFactory<T extends Throwable> - Interface in com.github.valid8j.pcond.validator
 
exceptionComposerForAssert(ExceptionComposer.ForAssertion) - Method in class com.github.valid8j.pcond.validator.Validator.Configuration.Builder
 
exceptionComposerForAssertThat(ExceptionComposer.ForTestAssertion) - Method in class com.github.valid8j.pcond.validator.Validator.Configuration.Builder
 
exceptionComposerForEnsure(ExceptionComposer.ForEnsure) - Method in class com.github.valid8j.pcond.validator.Validator.Configuration.Builder
 
exceptionComposerForRequire(ExceptionComposer.ForRequire) - Method in class com.github.valid8j.pcond.validator.Validator.Configuration.Builder
 
exceptionComposerForValidate() - Method in interface com.github.valid8j.classic.Validates.TestValidator
 
exceptionForGeneralViolation(String) - Method in interface com.github.valid8j.pcond.validator.ExceptionComposer.Base
A method to compose an exception for a general violation.
exceptionForGeneralViolation(String) - Method in interface com.github.valid8j.pcond.validator.ExceptionComposer.ForEnsure
 
exceptionForGeneralViolation(String) - Method in interface com.github.valid8j.pcond.validator.ExceptionComposer.ForRequire
 
exceptionForGeneralViolation(String) - Method in interface com.github.valid8j.pcond.validator.ExceptionComposer.ForValidate
 
exceptionForIllegalArgument(String) - Method in class com.github.valid8j.pcond.validator.ExceptionComposer.ForRequire.Default
 
exceptionForIllegalArgument(String) - Method in interface com.github.valid8j.pcond.validator.ExceptionComposer.ForRequire
 
exceptionForIllegalArgument(String) - Method in interface com.github.valid8j.pcond.validator.ExceptionComposer.ForValidate
 
exceptionForIllegalState(String) - Method in interface com.github.valid8j.pcond.validator.ExceptionComposer.Base
A method to compose an exception for a "State-violation".
exceptionForNonNullViolation(String) - Method in interface com.github.valid8j.pcond.validator.ExceptionComposer.Base
A method to compose an exception for a "Null-violation".
exceptionInvariantConditionViolation(String) - Method in interface com.github.valid8j.pcond.validator.ExceptionComposer.ForAssertion
 
exceptionPostconditionViolation(String) - Method in interface com.github.valid8j.pcond.validator.ExceptionComposer.ForAssertion
 
exceptionPreconditionViolation(String) - Method in interface com.github.valid8j.pcond.validator.ExceptionComposer.ForAssertion
 
exceptionThrown(Throwable) - Method in class com.github.valid8j.pcond.core.ValueHolder
 
executionFailure(String, Throwable) - Static method in enum com.github.valid8j.pcond.internals.InternalUtils
 
executionFailure(Explanation, Throwable) - Static method in enum com.github.valid8j.pcond.internals.InternalUtils
 
expect(Statement<T>, Function<String, Throwable>) - Static method in enum com.github.valid8j.fluent.Expectations
A method to validate a value held by the given statement.
Expectations - Enum in com.github.valid8j.fluent
A facade class for the "fluent" style programming model of valid8j library.
Expectations.CustomTransformer<TX extends AbstractObjectTransformer<TX,ObjectChecker<T,T>,T,T>,T> - Class in com.github.valid8j.fluent
A base class for a custom transformer.
Expectations.Unless - Interface in com.github.valid8j.fluent
An interface used as a return value of Expectations.fail(Function) method.
expected() - Method in class com.github.valid8j.pcond.validator.Explanation
 
expectException(Class<O>, Function<? super R, ?>) - Method in interface com.github.valid8j.pcond.core.fluent.AbstractObjectTransformer
Applies f, which is expected to throw an exception object of class exceptionClass, to the target value of this transformer object.
expectingException(Class<E>, Function<? super T, ?>) - Static method in class com.github.valid8j.pcond.forms.Functions
Returns a function that converts an input value to an exception object, which is thrown by func, when it is applied.
ExplainablePredicate<V> - Class in com.github.valid8j.pcond.core.printable
 
ExplainablePredicate(Supplier<String>, Predicate<? super V>) - Constructor for class com.github.valid8j.pcond.core.printable.ExplainablePredicate
 
explainableStringIsEqualTo(String) - Static method in class com.github.valid8j.pcond.core.printable.ExplainablePredicate
 
explainActual(Object) - Method in interface com.github.valid8j.pcond.core.Evaluator.Explainable
 
explainActual(EvaluableIo<T, E, ?>) - Static method in interface com.github.valid8j.pcond.core.Evaluator.Explainable
 
explainActual(Object) - Method in class com.github.valid8j.pcond.core.printable.ExplainablePredicate
 
explainActual(Object) - Method in class com.github.valid8j.pcond.core.printable.PrintableFunction
 
explainInputActualValue(Object, Object) - Static method in interface com.github.valid8j.pcond.core.Evaluator.Explainable
 
explainOutputExpectation() - Method in interface com.github.valid8j.pcond.core.Evaluator.Explainable
 
explainOutputExpectation(Object, EvaluableIo<?, ?, ?>) - Static method in interface com.github.valid8j.pcond.core.Evaluator.Explainable
 
explainOutputExpectation() - Method in class com.github.valid8j.pcond.core.printable.PrintableFunction
 
explainValue(Object) - Static method in enum com.github.valid8j.pcond.internals.InternalUtils
 
Explanation - Class in com.github.valid8j.pcond.validator
 
Explanation(String) - Constructor for class com.github.valid8j.pcond.validator.Explanation
 
Explanation(String, ReportComposer.Report, ReportComposer.Report) - Constructor for class com.github.valid8j.pcond.validator.Explanation
 
explanationFromMessage(String) - Method in interface com.github.valid8j.pcond.validator.ReportComposer
 

F

factory(Function<List<Object>, T>) - Method in class com.github.valid8j.pcond.core.printable.ParameterizedIdentifiableFactory.Builder
 
Factory() - Constructor for class com.github.valid8j.pcond.core.printable.PrintablePredicateFactory.TransformingPredicate.Factory
 
fail(Function<String, Throwable>) - Static method in enum com.github.valid8j.fluent.Expectations
This method is useful to specify an exception class to be thrown on a failure.
falseValue() - Method in interface com.github.valid8j.pcond.core.fluent.builtins.BooleanChecker
 
finalizeValues() - Method in class com.github.valid8j.pcond.core.EvaluationEntry.Impl
 
findElements(Predicate<? super E>...) - Static method in enum com.github.valid8j.pcond.experimentals.cursor.Cursors
 
findMethod(Class<?>, String, Object[]) - Static method in enum com.github.valid8j.pcond.core.refl.ReflUtils
Tries to find a method whose name is methodName from a given class aClass and that can be invoked with parameter values args.
findRegexes(String...) - Static method in enum com.github.valid8j.pcond.experimentals.cursor.Cursors
 
findRegexPatterns(Pattern...) - Static method in enum com.github.valid8j.pcond.experimentals.cursor.Cursors
 
findString(String) - Static method in class com.github.valid8j.pcond.forms.Functions
The returned function tries to find a substring after a given string.
findSubstrings(String...) - Static method in enum com.github.valid8j.pcond.experimentals.cursor.Cursors
 
flipExpectation() - Method in class com.github.valid8j.pcond.core.EvaluationContext
 
FloatChecker<T> - Interface in com.github.valid8j.pcond.core.fluent.builtins
 
FloatChecker.Impl<T> - Class in com.github.valid8j.pcond.core.fluent.builtins
 
FloatTransformer<T> - Interface in com.github.valid8j.pcond.core.fluent.builtins
A transformer interface for float.
FloatTransformer.Impl<T> - Class in com.github.valid8j.pcond.core.fluent.builtins
 
floatValue(Float) - Static method in interface com.github.valid8j.pcond.fluent.Statement
Returns a transformer for a float value.
forAssert() - Method in interface com.github.valid8j.pcond.validator.ExceptionComposer
Returns an instance to compose exceptions used in assert statements.
forAssert() - Method in class com.github.valid8j.pcond.validator.ExceptionComposer.Impl
 
forAssertThat() - Method in interface com.github.valid8j.pcond.validator.ExceptionComposer
Returns an instance to compose exceptions used in assertThat and assumeThat methods in TestAssertions entry-point class of thincrest library.
forAssertThat() - Method in class com.github.valid8j.pcond.validator.ExceptionComposer.Impl
 
forEnsure() - Method in interface com.github.valid8j.pcond.validator.ExceptionComposer
Returns an instance to compose exceptions used with ensureXyz methods in Ensures entry-point class of valid8j library.
forEnsure() - Method in class com.github.valid8j.pcond.validator.ExceptionComposer.Impl
 
forFunctionUnderTest(String, Function<I, O>) - Static method in interface com.github.valid8j.metamor.MetamorphicTestCaseFactory
 
forFunctionUnderTest(Function<I, O>) - Static method in interface com.github.valid8j.metamor.MetamorphicTestCaseFactory
 
formatMethodName(Method) - Static method in enum com.github.valid8j.pcond.core.refl.ReflUtils
 
formatObject(Object) - Static method in enum com.github.valid8j.pcond.internals.InternalUtils
 
formatObject(Object, int) - Static method in enum com.github.valid8j.pcond.internals.InternalUtils
 
formatObjectName(Object) - Static method in interface com.github.valid8j.pcond.core.identifieable.Identifiable
 
formatParameterOrder(List<Integer>) - Static method in enum com.github.valid8j.pcond.experimentals.currying.CurryingUtils
 
FormattedEntry(String, String, String, String, boolean) - Constructor for class com.github.valid8j.pcond.validator.ReportComposer.FormattedEntry
 
formatter(Supplier<String>) - Method in class com.github.valid8j.pcond.experimentals.currying.multi.MultiFunction.Builder
 
formatterFactory(Function<List<Object>, Supplier<String>>) - Method in class com.github.valid8j.pcond.core.printable.ParameterizedIdentifiableFactory.Builder
 
formatTo(Formatter, int, int, int) - Method in interface com.github.valid8j.pcond.core.refl.MethodSelector
Formats this object using the MethodSelector.describe() method.
formatTo(Formatter, int, int, int) - Method in interface com.github.valid8j.pcond.experimentals.currying.context.CurriedContext
 
formName() - Method in class com.github.valid8j.pcond.core.EvaluableIo
 
formName() - Method in class com.github.valid8j.pcond.core.EvaluationEntry
 
formName() - Method in class com.github.valid8j.pcond.core.EvaluationEntry.Impl
 
formNameOf(EvaluableIo<?, ?, ?>) - Static method in class com.github.valid8j.pcond.core.EvaluationContext
 
formNameOf(EvaluationEntry.Type, Evaluable<?>) - Static method in class com.github.valid8j.pcond.core.EvaluationContext
 
forRequire() - Method in interface com.github.valid8j.pcond.validator.ExceptionComposer
Returns an instance to compose exceptions used with requireXyz methods in Requires entry-point class of valid8j library.
forRequire() - Method in class com.github.valid8j.pcond.validator.ExceptionComposer.Impl
 
forValue(V) - Static method in class com.github.valid8j.pcond.core.ValueHolder
 
from(Object) - Static method in interface com.github.valid8j.pcond.experimentals.currying.context.CurriedContext
Creates a new context which has the given value as its only context value.
fromList(List<E>) - Static method in class com.github.valid8j.pcond.fluent.ListHolder
A method to create an instance of this class.
fromMessage(String) - Static method in class com.github.valid8j.pcond.validator.Explanation
 
function(Function<Object, String>, Function<X, I>) - Method in class com.github.valid8j.metamor.InputResolver.Sequence.Factory.Builder
 
function(Function<R, E>) - Method in interface com.github.valid8j.pcond.core.fluent.AbstractObjectTransformer
 
function(Function<T, R>) - Static method in enum com.github.valid8j.pcond.core.printable.PrintableFunctionFactory
 
function(String, Function<T, R>) - Static method in enum com.github.valid8j.pcond.core.printable.PrintableFunctionFactory
 
function(Supplier<String>, Function<T, R>) - Static method in enum com.github.valid8j.pcond.core.printable.PrintableFunctionFactory
 
function(Supplier<String>, Function<T, R>, Object) - Static method in enum com.github.valid8j.pcond.core.printable.PrintableFunctionFactory
 
function(String, Function<T, R>) - Static method in enum com.github.valid8j.pcond.forms.Printables
Returns a printable function for a given one.
function(Supplier<String>, Function<T, R>) - Static method in enum com.github.valid8j.pcond.forms.Printables
Returns a printable function for a given one.
Functions - Class in com.github.valid8j.pcond.forms
An entry point for acquiring function objects.
fut - Variable in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.BuilderBase
 
fut(Function<I, O>) - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.BuilderBase
Specifies a function under test.
fut() - Method in interface com.github.valid8j.metamor.MetamorphicTestCaseFactory
Returns a function under test.
fut() - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.Impl
 
fut() - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactoryWithPreformer.Impl
 

G

ge(T) - Static method in class com.github.valid8j.pcond.forms.Predicates
 
get(int) - Method in class com.github.valid8j.metamor.Dataset.Closed.Impl
 
get(int) - Method in interface com.github.valid8j.metamor.Dataset
 
get(int) - Method in class com.github.valid8j.metamor.Dataset.OnGoing.Impl
 
get(int) - Method in class com.github.valid8j.metamor.InputResolver.Sequence.Impl
 
getCause() - Method in interface com.github.valid8j.pcond.core.fluent.builtins.ThrowableTransformer
 
getMessage() - Method in interface com.github.valid8j.pcond.core.fluent.builtins.ThrowableTransformer
 
getMethod(Class<?>, String, Class<?>...) - Static method in enum com.github.valid8j.pcond.internals.InternalUtils
 
greaterThan(N) - Method in interface com.github.valid8j.pcond.core.fluent.builtins.ComparableNumberChecker
 
greaterThan(T) - Static method in class com.github.valid8j.pcond.forms.Predicates
 
greaterThanOrEqualTo(N) - Method in interface com.github.valid8j.pcond.core.fluent.builtins.ComparableNumberChecker
 
greaterThanOrEqualTo(T) - Static method in class com.github.valid8j.pcond.forms.Predicates
 
gt(T) - Static method in class com.github.valid8j.pcond.forms.Predicates
 

H

hashCode() - Method in class com.github.valid8j.pcond.core.identifieable.Identifiable.Base
 
hasNext() - Method in interface com.github.valid8j.pcond.experimentals.currying.CurriedFunction
 
hasNoChild() - Method in class com.github.valid8j.pcond.core.fluent.Matcher.Base
 
head() - Method in interface com.github.valid8j.pcond.core.Evaluable.Func
 
head() - Method in class com.github.valid8j.pcond.core.printable.PrintableFunction
 
hold(Statement<?>...) - Static method in enum com.github.valid8j.fluent.Expectations
A method to check the given statements as invariant conditions.
hold(Statement<T>) - Static method in enum com.github.valid8j.fluent.Expectations
A singular version of Expectations.hold(Statement[]).

I

Identifiable - Interface in com.github.valid8j.pcond.core.identifieable
An interface that represents an object which can be identified based on objects used on instantiation without overriding the Object.hashCode() and Object.equals(Object).
Identifiable.Base - Class in com.github.valid8j.pcond.core.identifieable
 
identity() - Static method in class com.github.valid8j.pcond.forms.Functions
Returns a printable function that returns a given object itself.
identityArgs(List<Object>) - Method in class com.github.valid8j.pcond.experimentals.currying.multi.MultiFunction.Builder
 
identityObject() - Method in class com.github.valid8j.pcond.core.identifieable.Identifiable.Base
 
identityObject() - Method in interface com.github.valid8j.pcond.core.identifieable.Identifiable
Typically, implementation of this method should return a final field value to which the value returned by Identifiable.createIdentity() method is assigned in the constructor.
ignored() - Method in class com.github.valid8j.pcond.core.EvaluationEntry
 
ignored() - Method in class com.github.valid8j.pcond.core.EvaluationEntry.Impl
 
IllegalValueException - Exception in com.github.valid8j.classic
 
IllegalValueException(String) - Constructor for exception com.github.valid8j.classic.IllegalValueException
 
Impl(String, List<E>) - Constructor for class com.github.valid8j.metamor.Dataset.Closed.Impl
 
Impl(String) - Constructor for class com.github.valid8j.metamor.Dataset.OnGoing.Impl
 
Impl(String, Dataset<E>) - Constructor for class com.github.valid8j.metamor.Dataset.OnGoing.Impl
 
Impl(Supplier<String>, Function<? super Dataset<IoPair<I, O>>, ? extends I>) - Constructor for class com.github.valid8j.metamor.InputResolver.Impl
 
Impl(Supplier<String>, Function<? super X, ? extends InputResolver.Sequence<I, O>>, int) - Constructor for class com.github.valid8j.metamor.InputResolver.Sequence.Factory.Impl
 
Impl(String, List<Function<? super X, ? extends InputResolver<I, O>>>) - Constructor for class com.github.valid8j.metamor.InputResolver.Sequence.Factory.Impl
 
Impl(String, List<InputResolver<I, O>>) - Constructor for class com.github.valid8j.metamor.InputResolver.Sequence.Impl
 
Impl(String, Dataset<I>, Dataset<O>) - Constructor for class com.github.valid8j.metamor.IoContext.Closed.Impl
 
Impl(String, Dataset<I>, String) - Constructor for class com.github.valid8j.metamor.IoContext.Ongoing.Impl
 
Impl(String, Dataset<I>, Dataset<O>) - Constructor for class com.github.valid8j.metamor.IoContext.Ongoing.Impl
 
Impl(I, O) - Constructor for class com.github.valid8j.metamor.IoPair.Impl
 
Impl(Function<I, O>, InputResolver.Sequence.Factory<X, I, O>, Function<Dataset<IoPair<I, O>>, R>, Predicate<R>, String, String) - Constructor for class com.github.valid8j.metamor.MetamorphicTestCaseFactory.Impl
 
Impl(Function<I, O>, InputResolver.Sequence.Factory<X, I, O>, Function<IoPair<I, O>, P>, Function<Dataset<P>, R>, Predicate<R>, String, String) - Constructor for class com.github.valid8j.metamor.MetamorphicTestCaseFactoryWithPreformer.Impl
 
Impl(Predicate<Dataset<X>>, Function<Object[], String>, IntFunction<String>, int) - Constructor for class com.github.valid8j.metamor.Proposition.Factory.Impl
 
Impl(Predicate<Dataset<X>>, Function<Object[], String>, Dataset<X>) - Constructor for class com.github.valid8j.metamor.Proposition.Impl
 
Impl() - Constructor for class com.github.valid8j.pcond.core.Evaluator.Impl
 
Impl(Supplier<T>, Function<T, Boolean>) - Constructor for class com.github.valid8j.pcond.core.fluent.builtins.BooleanChecker.Impl
 
Impl(Supplier<T>, Function<T, Boolean>) - Constructor for class com.github.valid8j.pcond.core.fluent.builtins.BooleanTransformer.Impl
 
Impl(Supplier<T>, Function<T, Double>) - Constructor for class com.github.valid8j.pcond.core.fluent.builtins.DoubleChecker.Impl
 
Impl(Supplier<OIN>, Function<OIN, Double>) - Constructor for class com.github.valid8j.pcond.core.fluent.builtins.DoubleTransformer.Impl
 
Impl(Supplier<T>, Function<T, Float>) - Constructor for class com.github.valid8j.pcond.core.fluent.builtins.FloatChecker.Impl
 
Impl(Supplier<T>, Function<T, Float>) - Constructor for class com.github.valid8j.pcond.core.fluent.builtins.FloatTransformer.Impl
 
Impl(Supplier<T>, Function<T, Integer>) - Constructor for class com.github.valid8j.pcond.core.fluent.builtins.IntegerChecker.Impl
 
Impl(Supplier<T>, Function<T, Integer>) - Constructor for class com.github.valid8j.pcond.core.fluent.builtins.IntegerTransformer.Impl
 
Impl(Supplier<T>, Function<T, List<E>>) - Constructor for class com.github.valid8j.pcond.core.fluent.builtins.ListChecker.Impl
 
Impl(Supplier<T>, Function<T, List<E>>) - Constructor for class com.github.valid8j.pcond.core.fluent.builtins.ListTransformer.Impl
 
Impl(Supplier<T>, Function<T, Long>) - Constructor for class com.github.valid8j.pcond.core.fluent.builtins.LongChecker.Impl
 
Impl(Supplier<T>, Function<T, Long>) - Constructor for class com.github.valid8j.pcond.core.fluent.builtins.LongTransformer.Impl
 
Impl(Supplier<OIN>, Function<OIN, E>) - Constructor for class com.github.valid8j.pcond.core.fluent.builtins.ObjectChecker.Impl
 
Impl(Supplier<T>, Function<T, E>) - Constructor for class com.github.valid8j.pcond.core.fluent.builtins.ObjectTransformer.Impl
 
Impl(Supplier<T>, Function<T, Short>) - Constructor for class com.github.valid8j.pcond.core.fluent.builtins.ShortChecker.Impl
 
Impl(Supplier<T>, Function<T, Short>) - Constructor for class com.github.valid8j.pcond.core.fluent.builtins.ShortTransformer.Impl
 
Impl(Supplier<T>, Function<T, Stream<E>>) - Constructor for class com.github.valid8j.pcond.core.fluent.builtins.StreamChecker.Impl
 
Impl(Supplier<T>, Function<T, Stream<E>>) - Constructor for class com.github.valid8j.pcond.core.fluent.builtins.StreamTransformer.Impl
 
Impl(Supplier<T>, Function<T, String>) - Constructor for class com.github.valid8j.pcond.core.fluent.builtins.StringChecker.Impl
 
Impl(Supplier<T>, Function<T, String>) - Constructor for class com.github.valid8j.pcond.core.fluent.builtins.StringTransformer.Impl
 
Impl(Supplier<T>, Function<T, E>) - Constructor for class com.github.valid8j.pcond.core.fluent.builtins.ThrowableChecker.Impl
 
Impl(Supplier<T>, Function<T, E>) - Constructor for class com.github.valid8j.pcond.core.fluent.builtins.ThrowableTransformer.Impl
 
Impl(MultiFunction<Object>, List<? super Object>) - Constructor for class com.github.valid8j.pcond.experimentals.currying.CurriedFunction.Impl
 
Impl(Object, List<Object>, Supplier<String>, String, Function<? super List<? super Object>, ? extends R>, List<Class<?>>) - Constructor for class com.github.valid8j.pcond.experimentals.currying.multi.MultiFunction.Impl
 
Impl(ExceptionComposer.ForRequire, ExceptionComposer.ForEnsure, ExceptionComposer.ForValidate, ExceptionComposer.ForAssertion, ExceptionComposer.ForTestAssertion) - Constructor for class com.github.valid8j.pcond.validator.ExceptionComposer.Impl
 
Impl(Validator.Configuration) - Constructor for class com.github.valid8j.pcond.validator.Validator.Impl
 
importEntries(EvaluationContext<R>) - Method in class com.github.valid8j.pcond.core.EvaluationContext
 
importEntries(EvaluationContext<R>, int) - Method in class com.github.valid8j.pcond.core.EvaluationContext
 
in() - Method in class com.github.valid8j.metamor.IoContext.Ongoing.Snapshot
 
indent(int) - Static method in enum com.github.valid8j.pcond.internals.InternalUtils
 
input() - Method in class com.github.valid8j.metamor.IoContext.Closed.Impl
 
input() - Method in interface com.github.valid8j.metamor.IoContext
 
input() - Method in class com.github.valid8j.metamor.IoContext.Ongoing.Impl
 
input() - Method in class com.github.valid8j.metamor.IoPair.Impl
 
input() - Method in interface com.github.valid8j.metamor.IoPair
 
input() - Method in class com.github.valid8j.pcond.core.EvaluableIo
 
inputActualValue() - Method in class com.github.valid8j.pcond.core.EvaluationEntry
 
inputExpectation() - Method in class com.github.valid8j.pcond.core.EvaluationEntry
 
InputResolver<I,O> - Interface in com.github.valid8j.metamor
 
InputResolver.Impl<I,O> - Class in com.github.valid8j.metamor
 
InputResolver.Sequence<I,O> - Interface in com.github.valid8j.metamor
 
InputResolver.Sequence.Factory<X,I,O> - Interface in com.github.valid8j.metamor
 
InputResolver.Sequence.Factory.Builder<X,I,O> - Class in com.github.valid8j.metamor
 
InputResolver.Sequence.Factory.Impl<X,I,O> - Class in com.github.valid8j.metamor
 
InputResolver.Sequence.Impl<I,O> - Class in com.github.valid8j.metamor
 
inputResolverSequenceFactory(InputResolver.Sequence.Factory<X, I, O>) - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.BuilderBase
 
inputResolverSequenceFactory() - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.Impl
 
inputResolverSequenceFactory() - Method in interface com.github.valid8j.metamor.MetamorphicTestCaseFactory
 
inputResolverSequenceFactory() - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactoryWithPreformer.Impl
 
inputResolverSequenceFactoryProvider - Variable in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.BuilderBase
 
inputVariableName - Variable in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.BuilderBase
 
inputVariableName(String) - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.BuilderBase
 
inputVariableName() - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.Impl
 
inputVariableName() - Method in interface com.github.valid8j.metamor.MetamorphicTestCaseFactory
A name of input variable.
inputVariableName() - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactoryWithPreformer.Impl
 
inputVariableNameFormatter() - Method in interface com.github.valid8j.metamor.MetamorphicTestCaseFactory
In metamorphic testing context, the function under test is executed multiple times with different input values.
inputVariableNameFormatter() - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactoryWithPreformer.Impl
 
INSTANCE - Static variable in class com.github.valid8j.metamor.PropositionPredicate
 
instance() - Method in enum com.github.valid8j.pcond.core.printable.PrintableFunctionFactory.Simple
 
instance() - Method in enum com.github.valid8j.pcond.core.printable.PrintablePredicateFactory.Leaf
 
INSTANCE - Static variable in interface com.github.valid8j.pcond.core.refl.Parameter
 
INSTANCE - Static variable in interface com.github.valid8j.pcond.validator.Validator
A constant field that holds the default provider instance.
instance() - Static method in interface com.github.valid8j.pcond.validator.Validator
 
instanceMethod(Object, String, Object...) - Static method in interface com.github.valid8j.pcond.core.refl.MethodQuery
 
instanceMethod(Object, String, Object...) - Static method in class com.github.valid8j.pcond.forms.Functions
Creates a MethodQuery object from given arguments to search for static methods.
instanceOf(Class<?>) - Method in interface com.github.valid8j.pcond.core.fluent.AbstractObjectChecker
Adds a predicate to this checker object to check if the target object is an instance of Class klass.
IntegerChecker<OIN> - Interface in com.github.valid8j.pcond.core.fluent.builtins
 
IntegerChecker.Impl<T> - Class in com.github.valid8j.pcond.core.fluent.builtins
 
IntegerTransformer<T> - Interface in com.github.valid8j.pcond.core.fluent.builtins
 
IntegerTransformer.Impl<T> - Class in com.github.valid8j.pcond.core.fluent.builtins
 
integerValue(Integer) - Static method in interface com.github.valid8j.pcond.fluent.Statement
Returns a transformer for a int value.
InternalChecks - Enum in com.github.valid8j.pcond.internals
 
InternalException - Exception in com.github.valid8j.pcond.internals
 
InternalException(String, Throwable) - Constructor for exception com.github.valid8j.pcond.internals.InternalException
 
InternalUtils - Enum in com.github.valid8j.metamor.internals
 
InternalUtils - Enum in com.github.valid8j.pcond.internals
 
invariant(Statement<?>) - Static method in enum com.github.valid8j.fluent.Expectations
invariants(Statement<?>...) - Static method in enum com.github.valid8j.fluent.Expectations
Checks if all the given statements are satisfied.
invoke(String, Object...) - Method in interface com.github.valid8j.pcond.core.fluent.AbstractObjectChecker
Adds a predicate to this checker object to check if the target object returns true if a method specified by methodName and args is invoked.
invoke(String, Object...) - Method in interface com.github.valid8j.pcond.core.fluent.AbstractObjectTransformer
 
invokeMethod(MethodQuery) - Static method in enum com.github.valid8j.pcond.core.refl.ReflUtils
Invokes a method found by methodQuery.
invokeMethod(Method, Object, Object[]) - Static method in enum com.github.valid8j.pcond.core.refl.ReflUtils
Invokes a given method on the object with arguments passed as obj and arguments.
invokeStatic(Class<?>, String, Object...) - Method in interface com.github.valid8j.pcond.core.fluent.AbstractObjectChecker
Checks if a static method specified by klass, methodName, and args.
invokeStatic(Class<?>, String, Object...) - Method in interface com.github.valid8j.pcond.core.fluent.AbstractObjectTransformer
 
invokeStaticMethod(Method, Object[]) - Static method in enum com.github.valid8j.pcond.core.refl.ReflUtils
 
IoContext<I,O> - Interface in com.github.valid8j.metamor
 
IoContext.Closed<I,O> - Interface in com.github.valid8j.metamor
 
IoContext.Closed.Impl<I,O> - Class in com.github.valid8j.metamor
 
IoContext.Ongoing<I,O> - Interface in com.github.valid8j.metamor
 
IoContext.Ongoing.Impl<I,O> - Class in com.github.valid8j.metamor
 
IoContext.Ongoing.Snapshot - Class in com.github.valid8j.metamor
 
IoContext.Utils - Enum in com.github.valid8j.metamor
 
IoPair<I,O> - Interface in com.github.valid8j.metamor
 
IoPair.Impl<I,O> - Class in com.github.valid8j.metamor
 
ioVariableName - Variable in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.BuilderBase
 
ioVariableName(String) - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.BuilderBase
 
ioVariableName() - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.Impl
 
ioVariableName() - Method in interface com.github.valid8j.metamor.MetamorphicTestCaseFactory
 
ioVariableName() - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactoryWithPreformer.Impl
 
ioVariableNameFormatter() - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactoryWithPreformer.Impl
 
ioVariableNameFormatter() - Method in interface com.github.valid8j.metamor.MetamorphicTestCaseFactoryWithPreformer
 
isDebugLogEnabled() - Static method in enum com.github.valid8j.pcond.core.DebuggingUtils
 
isDummyFunction(Function<?, ?>) - Static method in enum com.github.valid8j.pcond.internals.InternalUtils
 
isEmpty() - Method in interface com.github.valid8j.pcond.core.fluent.builtins.ListTransformer
 
isEmpty() - Static method in class com.github.valid8j.pcond.forms.Predicates
 
isEmptyArray() - Static method in class com.github.valid8j.pcond.forms.Predicates
 
isEmptyString() - Static method in class com.github.valid8j.pcond.forms.Predicates
 
isEqualTo(T) - Static method in class com.github.valid8j.pcond.forms.Predicates
 
isEvaluationSkipped() - Method in class com.github.valid8j.pcond.core.ValueHolder
 
isExceptionThrown() - Method in class com.github.valid8j.pcond.core.ValueHolder
 
isExpectationFlipped() - Method in class com.github.valid8j.pcond.core.EvaluationContext
 
isFalse() - Static method in class com.github.valid8j.pcond.forms.Predicates
 
isInstanceOf() - Static method in class com.github.valid8j.pcond.forms.Predicates
 
isInstanceOf(Class<?>) - Static method in class com.github.valid8j.pcond.forms.Predicates
 
isNotNull() - Static method in class com.github.valid8j.pcond.forms.Predicates
 
isNull() - Static method in class com.github.valid8j.pcond.forms.Predicates
 
isNullOrEmptyString() - Static method in class com.github.valid8j.pcond.forms.Predicates
 
isPrimitiveWrapperClass(Class<?>) - Static method in enum com.github.valid8j.pcond.internals.InternalChecks
 
isPrimitiveWrapperClassOrPrimitive(Class<?>) - Static method in enum com.github.valid8j.pcond.internals.InternalChecks
 
isSameReferenceAs(T) - Static method in class com.github.valid8j.pcond.forms.Predicates
 
isSquashable() - Method in interface com.github.valid8j.pcond.core.Evaluable.Composite
 
isSquashable() - Method in interface com.github.valid8j.pcond.core.Evaluable
 
isSquashable() - Method in interface com.github.valid8j.pcond.core.Evaluable.Negation
 
isSquashable(EvaluationEntry) - Method in class com.github.valid8j.pcond.core.EvaluationEntry.Impl
 
isSquashable(EvaluationEntry) - Method in class com.github.valid8j.pcond.core.EvaluationEntry
 
isSquashable() - Method in class com.github.valid8j.pcond.core.printable.PrintableFunction
 
isSquashable() - Method in class com.github.valid8j.pcond.core.printable.PrintablePredicate
 
isStatic() - Method in interface com.github.valid8j.pcond.core.refl.MethodQuery
 
isTrue() - Static method in class com.github.valid8j.pcond.forms.Predicates
 
isValidArg(Object) - Method in interface com.github.valid8j.pcond.experimentals.currying.CurriedFunction
 
isValueReturned() - Method in class com.github.valid8j.pcond.core.ValueHolder
 
isWiderThan(Class<?>, Class<?>) - Static method in enum com.github.valid8j.pcond.internals.InternalChecks
 
isWiderThanOrEqualTo(Class<?>, Class<?>) - Static method in enum com.github.valid8j.pcond.internals.InternalChecks
 
iterator() - Method in class com.github.valid8j.metamor.Dataset.Closed.Impl
 
iterator() - Method in class com.github.valid8j.metamor.Dataset.OnGoing.Impl
 
iterator() - Method in class com.github.valid8j.metamor.InputResolver.Sequence.Impl
 

J

JUnit4() - Constructor for class com.github.valid8j.pcond.validator.ExceptionComposer.ForTestAssertion.JUnit4
 

L

last() - Method in interface com.github.valid8j.metamor.Dataset
 
le(T) - Static method in class com.github.valid8j.pcond.forms.Predicates
 
leaf(String, Predicate<T>) - Static method in enum com.github.valid8j.pcond.core.printable.PrintablePredicateFactory
 
leaf(Supplier<String>, Predicate<T>) - Static method in enum com.github.valid8j.pcond.core.printable.PrintablePredicateFactory
 
leaf(Supplier<String>, Predicate<T>, Object) - Static method in enum com.github.valid8j.pcond.core.printable.PrintablePredicateFactory
 
length() - Method in interface com.github.valid8j.pcond.core.fluent.builtins.StringTransformer
 
length() - Static method in class com.github.valid8j.pcond.forms.Functions
Returns a function that gives a length of a string passed as an argument.
lessThan(N) - Method in interface com.github.valid8j.pcond.core.fluent.builtins.ComparableNumberChecker
 
lessThan(T) - Static method in class com.github.valid8j.pcond.forms.Predicates
 
lessThanOrEqualTo(N) - Method in interface com.github.valid8j.pcond.core.fluent.builtins.ComparableNumberChecker
 
lessThanOrEqualTo(T) - Static method in class com.github.valid8j.pcond.forms.Predicates
 
level() - Method in class com.github.valid8j.pcond.core.EvaluationEntry
 
ListChecker<T,E> - Interface in com.github.valid8j.pcond.core.fluent.builtins
 
ListChecker.Impl<T,E> - Class in com.github.valid8j.pcond.core.fluent.builtins
 
ListHolder<E> - Class in com.github.valid8j.pcond.fluent
A list that are not printed in a report created by ReportComposer.
ListTransformer<T,E> - Interface in com.github.valid8j.pcond.core.fluent.builtins
 
ListTransformer.Impl<T,E> - Class in com.github.valid8j.pcond.core.fluent.builtins
 
listValue(List<E>) - Static method in interface com.github.valid8j.pcond.fluent.Statement
Returns a transformer for a List value.
loadPcondProperties() - Static method in enum com.github.valid8j.pcond.validator.Validator.Configuration.Utils
 
LongChecker<OIN> - Interface in com.github.valid8j.pcond.core.fluent.builtins
 
LongChecker.Impl<T> - Class in com.github.valid8j.pcond.core.fluent.builtins
 
LongTransformer<T> - Interface in com.github.valid8j.pcond.core.fluent.builtins
 
LongTransformer.Impl<T> - Class in com.github.valid8j.pcond.core.fluent.builtins
 
longValue(Long) - Static method in interface com.github.valid8j.pcond.fluent.Statement
Returns a transformer for a long value.
lt(T) - Static method in class com.github.valid8j.pcond.forms.Predicates
 

M

makeInputResolversEndomorphic() - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.BuilderBase
Let this factory know that the source value and the input values are the same type.
makeSquashable(Predicate<T>) - Static method in enum com.github.valid8j.pcond.internals.InternalUtils
Marks "trivial" a given function.
makeSquashable(Function<T, R>) - Static method in enum com.github.valid8j.pcond.internals.InternalUtils
Marks "trivial" given function.
makeTrivial() - Method in interface com.github.valid8j.pcond.core.Evaluable
 
makeTrivial() - Method in class com.github.valid8j.pcond.core.printable.PrintableFunction
 
makeTrivial() - Method in class com.github.valid8j.pcond.core.printable.PrintablePredicate
 
mapper() - Method in interface com.github.valid8j.pcond.core.Evaluable.Transformation
Returns a transformer of this object.
mapper() - Method in class com.github.valid8j.pcond.core.printable.PrintablePredicateFactory.TransformingPredicate
 
mapperName() - Method in interface com.github.valid8j.pcond.core.Evaluable.Transformation
Returns a name of a transformer, if any.
mapperName() - Method in class com.github.valid8j.pcond.core.printable.PrintablePredicateFactory.TransformingPredicate
 
mapperToEndomorphicProcessor(Function<IoContext<I, O>, Function<I, O>>, int, IntFunction<String>) - Static method in enum com.github.valid8j.metamor.IoContext.Utils
 
Matcher<M extends Matcher<M,T,R>,T,R> - Interface in com.github.valid8j.pcond.core.fluent
 
Matcher.Base<M extends Matcher<M,T,R>,T,R> - Class in com.github.valid8j.pcond.core.fluent
 
Matcher.JunctionType - Enum in com.github.valid8j.pcond.core.fluent
 
matchesRegex(String) - Static method in class com.github.valid8j.pcond.forms.Predicates
 
matchingRegex(String) - Method in interface com.github.valid8j.pcond.core.fluent.builtins.StringChecker
 
me() - Method in class com.github.valid8j.pcond.core.fluent.Matcher.Base
 
message() - Method in class com.github.valid8j.pcond.validator.Explanation
 
MessageComposer - Interface in com.github.valid8j.pcond.validator
An interface that defines methods to compose a message when a value violates a given condition based on a context.
messageComposer(MessageComposer) - Method in class com.github.valid8j.pcond.validator.Validator.Configuration.Builder
 
messageComposer() - Method in interface com.github.valid8j.pcond.validator.Validator.Configuration
Returns a message composer, which is responsible for composing an appropriate message for a context.
MessageComposer.Default - Class in com.github.valid8j.pcond.validator
A default implementation of MessageComposer.
metamorphicChecker() - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.Impl
 
metamorphicChecker() - Method in interface com.github.valid8j.metamor.MetamorphicTestCaseFactory
 
metamorphicChecker() - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactoryWithPreformer.Impl
 
metamorphicExecutor() - Method in interface com.github.valid8j.metamor.MetamorphicTestCaseFactory
Returns a function that executes the FUT for each element in Dataset<InputResolver<I, O>>.
metamorphicMapper() - Method in interface com.github.valid8j.metamor.MetamorphicTestCaseFactory
 
metamorphicPreformer() - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactoryWithPreformer.Impl
 
metamorphicPreformer() - Method in interface com.github.valid8j.metamor.MetamorphicTestCaseFactoryWithPreformer
 
metamorphicPreformerStage() - Method in interface com.github.valid8j.metamor.MetamorphicTestCaseFactoryWithPreformer
 
metamorphicPreformerToIoContextCallback(Function<IoPair<I, O>, P>) - Method in interface com.github.valid8j.metamor.MetamorphicTestCaseFactoryWithPreformer
 
metamorphicReducer() - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactoryWithPreformer.Impl
 
metamorphicReducer() - Method in interface com.github.valid8j.metamor.MetamorphicTestCaseFactoryWithPreformer
 
metamorphicRelation() - Method in interface com.github.valid8j.metamor.MetamorphicTestCaseFactory
 
MetamorphicReportComposer - Class in com.github.valid8j.metamor
 
MetamorphicReportComposer() - Constructor for class com.github.valid8j.metamor.MetamorphicReportComposer
 
MetamorphicTestCaseFactory<X,I,O,R> - Interface in com.github.valid8j.metamor
An interface of a factory for a metamorphic test case.
MetamorphicTestCaseFactory.Builder<X,I,O,R> - Class in com.github.valid8j.metamor
 
MetamorphicTestCaseFactory.BuilderBase<B extends MetamorphicTestCaseFactory.BuilderBase<B,X,I,O,R>,X,I,O,R> - Class in com.github.valid8j.metamor
 
MetamorphicTestCaseFactory.Impl<X,I,O,R> - Class in com.github.valid8j.metamor
 
MetamorphicTestCaseFactoryWithPreformer<X,I,O,P,R> - Interface in com.github.valid8j.metamor
 
MetamorphicTestCaseFactoryWithPreformer.Builder<X,I,O,P,R> - Class in com.github.valid8j.metamor
 
MetamorphicTestCaseFactoryWithPreformer.Impl<X,I,O,P,R> - Class in com.github.valid8j.metamor
 
metamorphicTransformer() - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.Impl
 
metamorphicTransformer() - Method in interface com.github.valid8j.metamor.MetamorphicTestCaseFactory
 
metamorphicTransformer() - Method in interface com.github.valid8j.metamor.MetamorphicTestCaseFactoryWithPreformer
 
MethodAmbiguous - Exception in com.github.valid8j.pcond.internals
 
MethodAmbiguous(String, Throwable) - Constructor for exception com.github.valid8j.pcond.internals.MethodAmbiguous
 
MethodAmbiguous(String) - Constructor for exception com.github.valid8j.pcond.internals.MethodAmbiguous
 
MethodInvocationException - Exception in com.github.valid8j.pcond.internals
 
MethodInvocationException(String, Throwable) - Constructor for exception com.github.valid8j.pcond.internals.MethodInvocationException
 
methodName() - Method in interface com.github.valid8j.pcond.core.refl.MethodQuery
 
MethodNotFound - Exception in com.github.valid8j.pcond.internals
 
MethodNotFound(String, Throwable) - Constructor for exception com.github.valid8j.pcond.internals.MethodNotFound
 
MethodNotFound(String) - Constructor for exception com.github.valid8j.pcond.internals.MethodNotFound
 
MethodQuery - Interface in com.github.valid8j.pcond.core.refl
An interface that models a query to specify a method.
MethodSelector - Interface in com.github.valid8j.pcond.core.refl
An interface representing an object that selects Methods from given ones.
MethodSelector.Default - Class in com.github.valid8j.pcond.core.refl
 
MethodSelector.PreferExact - Class in com.github.valid8j.pcond.core.refl
 
MethodSelector.PreferNarrower - Class in com.github.valid8j.pcond.core.refl
A method selector that selects "narrower" methods over "wider" ones.
MethodSelector.Utils - Enum in com.github.valid8j.pcond.core.refl
 
multifunction(Method, List<Integer>) - Static method in enum com.github.valid8j.pcond.core.printable.PrintableFunctionFactory
 
MultiFunction<R> - Interface in com.github.valid8j.pcond.experimentals.currying.multi
An interface that represents a function that can have more than one parameters.
multifunction(int[], Class<?>, String, Class<?>...) - Static method in enum com.github.valid8j.pcond.experimentals.currying.multi.MultiFunctionUtils
 
multifunction(Class<?>, String, Class<?>...) - Static method in class com.github.valid8j.pcond.forms.Functions
 
MultiFunction.Builder<R> - Class in com.github.valid8j.pcond.experimentals.currying.multi
A builder for a MultiFunction instance.
MultiFunction.Impl<R> - Class in com.github.valid8j.pcond.experimentals.currying.multi
 
MultiFunctionUtils - Enum in com.github.valid8j.pcond.experimentals.currying.multi
A utility class that collects helper methods for the multi-parameters function.

N

name() - Method in class com.github.valid8j.metamor.Dataset.Base
 
name() - Method in interface com.github.valid8j.metamor.Dataset
 
name() - Method in class com.github.valid8j.metamor.InputResolver.Sequence.Impl
 
name() - Method in interface com.github.valid8j.metamor.IoContext
 
name(String) - Method in class com.github.valid8j.pcond.core.printable.ParameterizedIdentifiableFactory.Builder
 
name(String) - Method in class com.github.valid8j.pcond.experimentals.currying.multi.MultiFunction.Builder
 
name() - Method in class com.github.valid8j.pcond.experimentals.currying.multi.MultiFunction.Impl
 
name() - Method in interface com.github.valid8j.pcond.experimentals.currying.multi.MultiFunction
Returns a name of this function.
negate() - Method in class com.github.valid8j.pcond.core.printable.PrintablePredicate
 
nest(Stream<?>, Collection<?>) - Static method in enum com.github.valid8j.pcond.experimentals.currying.context.CurriedContextUtils
 
nest(Collection<?>) - Static method in enum com.github.valid8j.pcond.experimentals.currying.CurriedFunctions
This function is used to construct a function which replaces 'nested loop' in a usual programming.
newBuilder(Supplier<BB>) - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.BuilderBase
 
newBuilderWithSpecifiedRelationType(Supplier<BB>) - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.BuilderBase
 
newBuilderWithSpecifiedSourceType(Supplier<BB>) - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.BuilderBase
 
newLine() - Static method in enum com.github.valid8j.pcond.internals.InternalUtils
 
noneMatch(Predicate<E>) - Method in interface com.github.valid8j.pcond.core.fluent.builtins.StreamChecker
 
noneMatch(Predicate<E>) - Static method in enum com.github.valid8j.pcond.core.printable.PrintablePredicateFactory
 
noneMatch(Predicate<E>) - Static method in class com.github.valid8j.pcond.forms.Predicates
 
normalizeOrderArgs(CurriedContext, int[]) - Static method in enum com.github.valid8j.pcond.experimentals.currying.CurryingUtils
 
not(Function<V, V>) - Method in interface com.github.valid8j.pcond.core.fluent.Checker
 
not(Predicate<T>) - Static method in enum com.github.valid8j.pcond.core.printable.PrintablePredicateFactory
 
not(Predicate<T>) - Static method in class com.github.valid8j.pcond.forms.Predicates
 
not_(Predicate<T>) - Static method in enum com.github.valid8j.pcond.core.printable.PrintablePredicateFactory
 
notEmpty() - Method in interface com.github.valid8j.pcond.core.fluent.builtins.ListChecker
 
notEmpty() - Method in interface com.github.valid8j.pcond.core.fluent.builtins.StringChecker
 
notNull() - Method in interface com.github.valid8j.pcond.core.fluent.AbstractObjectChecker
Adds a predicate to this checker object to check if the target object is NOT null.
NULL - Static variable in interface com.github.valid8j.pcond.core.Evaluator.Snapshottable
 
nullOrEmpty() - Method in interface com.github.valid8j.pcond.core.fluent.builtins.StringChecker
 
nullValue() - Method in interface com.github.valid8j.pcond.core.fluent.AbstractObjectChecker
Adds a predicate to this checker object to check if the target object IS null.

O

ObjectChecker<OIN,E> - Interface in com.github.valid8j.pcond.core.fluent.builtins
This interface is used for object whose type doesn’t have an explicit support.
ObjectChecker.Impl<OIN,E> - Class in com.github.valid8j.pcond.core.fluent.builtins
 
ObjectTransformer<T,E> - Interface in com.github.valid8j.pcond.core.fluent.builtins
This interface is used for object whose type doesn’t have an explicit support.
ObjectTransformer.Impl<T,E> - Class in com.github.valid8j.pcond.core.fluent.builtins
 
objectValue(E) - Static method in interface com.github.valid8j.pcond.fluent.Statement
Returns a transformer for a general Object value.
Opentest4J() - Constructor for class com.github.valid8j.pcond.validator.ExceptionComposer.ForTestAssertion.Opentest4J
 
or(Predicate<? super T>) - Method in class com.github.valid8j.pcond.core.printable.PrintablePredicate
 
or(List<Predicate<? super T>>) - Static method in enum com.github.valid8j.pcond.core.printable.PrintablePredicateFactory
 
or(Predicate<? super T>...) - Static method in class com.github.valid8j.pcond.forms.Predicates
 
out() - Method in class com.github.valid8j.metamor.IoContext.Ongoing.Snapshot
 
output() - Method in class com.github.valid8j.metamor.IoContext.Closed.Impl
 
output() - Method in class com.github.valid8j.metamor.IoContext.Ongoing.Impl
 
output() - Method in interface com.github.valid8j.metamor.IoContext.Ongoing
 
output() - Method in interface com.github.valid8j.metamor.IoContext
 
output() - Method in class com.github.valid8j.metamor.IoPair.Impl
 
output() - Method in interface com.github.valid8j.metamor.IoPair
 
output(ValueHolder<O>) - Method in class com.github.valid8j.pcond.core.EvaluableIo
 
output() - Method in class com.github.valid8j.pcond.core.EvaluableIo
 
outputActualValue() - Method in class com.github.valid8j.pcond.core.EvaluationEntry.Impl
 
outputActualValue() - Method in class com.github.valid8j.pcond.core.EvaluationEntry
 
outputExpectation() - Method in class com.github.valid8j.pcond.core.EvaluationEntry.Impl
 
outputExpectation() - Method in class com.github.valid8j.pcond.core.EvaluationEntry
 
outputOnly() - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.BuilderBase
 
outputVariableName - Variable in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.BuilderBase
 
outputVariableName(String) - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.BuilderBase
 

P

Parameter - Interface in com.github.valid8j.pcond.core.refl
 
parameter() - Static method in class com.github.valid8j.pcond.forms.Functions
Returns a Parameter object, which is used in combination with Functions.instanceMethod(Object, String, Object[]), Functions.classMethod(Class, String, Object[]), or their shorthand methods.
parameterizedFunction(String) - Static method in enum com.github.valid8j.pcond.experimentals.currying.CurriedFunctions
Returns a builder for a factory to create a function.
ParameterizedFunctionFactory<T,R> - Interface in com.github.valid8j.pcond.core.printable
 
ParameterizedFunctionFactory.Builder<T,R> - Class in com.github.valid8j.pcond.core.printable
 
ParameterizedIdentifiableFactory<T> - Interface in com.github.valid8j.pcond.core.printable
 
ParameterizedIdentifiableFactory.Builder<T,B extends ParameterizedIdentifiableFactory.Builder<T,B>> - Class in com.github.valid8j.pcond.core.printable
 
parameterizedLeaf(Function<List<Object>, Supplier<String>>, Function<List<Object>, Predicate<T>>, List<Object>, Object) - Static method in enum com.github.valid8j.pcond.core.printable.PrintablePredicateFactory
 
parameterizedPredicate(String) - Static method in enum com.github.valid8j.pcond.experimentals.currying.CurriedFunctions
Returns a builder for a factory to create a predicate.
ParameterizedPredicateFactory<T> - Interface in com.github.valid8j.pcond.core.printable
 
ParameterizedPredicateFactory.Builder<T> - Class in com.github.valid8j.pcond.core.printable
 
parameterType() - Method in class com.github.valid8j.pcond.core.printable.PrintableFunction
 
parameterType() - Method in class com.github.valid8j.pcond.experimentals.currying.CurriedFunction.Impl
 
parameterType() - Method in interface com.github.valid8j.pcond.experimentals.currying.CurriedFunction
 
parameterType(int) - Method in class com.github.valid8j.pcond.experimentals.currying.multi.MultiFunction.Impl
 
parameterType(int) - Method in interface com.github.valid8j.pcond.experimentals.currying.multi.MultiFunction
The expected type of the ith parameter.
parentBuilder() - Method in interface com.github.valid8j.pcond.validator.Validator.Configuration
 
parseBoolean() - Method in interface com.github.valid8j.pcond.core.fluent.builtins.StringTransformer
 
parseDouble() - Method in interface com.github.valid8j.pcond.core.fluent.builtins.StringTransformer
 
parseFloat() - Method in interface com.github.valid8j.pcond.core.fluent.builtins.StringTransformer
 
parseInt() - Method in interface com.github.valid8j.pcond.core.fluent.builtins.StringTransformer
 
parseLong() - Method in interface com.github.valid8j.pcond.core.fluent.builtins.StringTransformer
 
parseShort() - Method in interface com.github.valid8j.pcond.core.fluent.builtins.StringTransformer
 
passThroughComparisonFailure() - Static method in enum com.github.valid8j.pcond.core.DebuggingUtils
 
passThroughComparisonFailure() - Method in interface com.github.valid8j.pcond.validator.Validator.Configuration.Debugging
 
postcondition(T, Predicate<? super T>) - Static method in enum com.github.valid8j.classic.Assertions
A method to be used for checking a value satisfies a given post-condition.
postcondition(Statement<?>) - Static method in enum com.github.valid8j.fluent.Expectations
postcondition(Statement<T>) - Static method in enum com.github.valid8j.fluent.internals.ValidationFluents
postconditions(Statement<?>...) - Static method in enum com.github.valid8j.fluent.Expectations
Checks if all the given statements are satisfied.
postconditions(Statement<?>...) - Static method in enum com.github.valid8j.fluent.internals.ValidationFluents
PostconditionViolationException - Exception in com.github.valid8j.pcond.validator.exceptions
An exception intended to be used, when a post-condition is not satisfied.
PostconditionViolationException(String) - Constructor for exception com.github.valid8j.pcond.validator.exceptions.PostconditionViolationException
 
precondition(T, Predicate<? super T>) - Static method in enum com.github.valid8j.classic.Assertions
A method to be used for checking a value satisfies a given pre-condition.
precondition(Statement<?>) - Static method in enum com.github.valid8j.fluent.Expectations
precondition(Statement<T>) - Static method in enum com.github.valid8j.fluent.internals.ValidationFluents
preconditions(Statement<?>...) - Static method in enum com.github.valid8j.fluent.Expectations
Checks if all the given statements are satisfied.
preconditions(Statement<?>...) - Static method in enum com.github.valid8j.fluent.internals.ValidationFluents
PreconditionViolationException - Exception in com.github.valid8j.pcond.validator.exceptions
An exception intended to be used, when a pre-condition is not satisfied.
PreconditionViolationException(String) - Constructor for exception com.github.valid8j.pcond.validator.exceptions.PreconditionViolationException
 
predicate() - Method in class com.github.valid8j.metamor.PropositionPredicate
 
predicate() - Method in interface com.github.valid8j.pcond.core.Evaluable.LeafPred
Returns an actual predicate modeled by this interface.
predicate(Predicate<? super R>) - Method in interface com.github.valid8j.pcond.core.fluent.Checker
predicate() - Method in class com.github.valid8j.pcond.core.printable.ExplainablePredicate
 
predicate - Variable in class com.github.valid8j.pcond.core.printable.PrintablePredicate
 
predicate(String, Predicate<T>) - Static method in enum com.github.valid8j.pcond.forms.Printables
Returns a printable predicate for a given one.
predicate(Supplier<String>, Predicate<T>) - Static method in enum com.github.valid8j.pcond.forms.Printables
Returns a printable predicate for a given one.
Predicates - Class in com.github.valid8j.pcond.forms
An entry point for acquiring predicate objects.
PreferExact() - Constructor for class com.github.valid8j.pcond.core.refl.MethodSelector.PreferExact
 
PreferNarrower() - Constructor for class com.github.valid8j.pcond.core.refl.MethodSelector.PreferNarrower
 
prefix() - Method in class com.github.valid8j.metamor.IoContext.Closed.Impl
 
prefix() - Method in class com.github.valid8j.metamor.IoContext.Ongoing.Impl
 
prefix() - Method in interface com.github.valid8j.metamor.IoContext
 
preform(Function<P, QQ>) - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactoryWithPreformer.Builder
 
preform(String, Function<P, QQ>) - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactoryWithPreformer.Builder
 
preformer(Function<IoPair<I, O>, P>) - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.Builder
 
preformer(Function<IoPair<I, O>, P>) - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.BuilderBase
 
preformer(String, Function<IoPair<I, O>, P>) - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.BuilderBase
 
preformer(Function<IoPair<I, O>, PP>) - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactoryWithPreformer.Builder
 
PrintableFunction<T,R> - Class in com.github.valid8j.pcond.core.printable
 
PrintableFunction(Object, List<Object>, Supplier<String>, Function<? super T, ? extends R>, Function<? super T, ?>, Evaluable<?>) - Constructor for class com.github.valid8j.pcond.core.printable.PrintableFunction
 
PrintableFunction(Object, List<Object>, Supplier<String>, Function<? super T, ? extends R>) - Constructor for class com.github.valid8j.pcond.core.printable.PrintableFunction
 
PrintableFunctionFactory - Enum in com.github.valid8j.pcond.core.printable
 
PrintableFunctionFactory.Parameterized - Enum in com.github.valid8j.pcond.core.printable
 
PrintableFunctionFactory.Simple - Enum in com.github.valid8j.pcond.core.printable
 
PrintablePredicate<T> - Class in com.github.valid8j.pcond.core.printable
 
PrintablePredicate(Object, List<Object>, Supplier<String>, Predicate<? super T>) - Constructor for class com.github.valid8j.pcond.core.printable.PrintablePredicate
 
PrintablePredicateFactory - Enum in com.github.valid8j.pcond.core.printable
 
PrintablePredicateFactory.Conjunction<T> - Class in com.github.valid8j.pcond.core.printable
 
PrintablePredicateFactory.Disjunction<T> - Class in com.github.valid8j.pcond.core.printable
 
PrintablePredicateFactory.Leaf - Enum in com.github.valid8j.pcond.core.printable
 
PrintablePredicateFactory.ParameterizedLeafFactory - Enum in com.github.valid8j.pcond.core.printable
 
PrintablePredicateFactory.StreamPredicate<E> - Class in com.github.valid8j.pcond.core.printable
 
PrintablePredicateFactory.TransformingPredicate<T,R> - Class in com.github.valid8j.pcond.core.printable
This is an interface that corresponds to a "matcher" in other assertion libraries.
PrintablePredicateFactory.TransformingPredicate.Factory<P,O> - Class in com.github.valid8j.pcond.core.printable
This is an interface that corresponds to a "matcher" in other assertion libraries.
Printables - Enum in com.github.valid8j.pcond.forms
An entry point class that provides methods to create a new "printable" function from a given conventional function.
proposition(Function<Object[], String>, Predicate<Dataset<IoPair<I, O>>>) - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.Builder
 
proposition(String, Predicate<Dataset<IoPair<I, O>>>) - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.Builder
 
proposition(Function<Object[], String>, Predicate<Dataset<P>>) - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactoryWithPreformer.Builder
 
proposition(String, Predicate<Dataset<P>>) - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactoryWithPreformer.Builder
 
Proposition - Interface in com.github.valid8j.metamor
 
Proposition.Factory<X> - Interface in com.github.valid8j.metamor
 
Proposition.Factory.Impl<X> - Class in com.github.valid8j.metamor
 
Proposition.Impl<X> - Class in com.github.valid8j.metamor
 
propositionFactory(Function<Dataset<IoPair<I, O>>, Proposition>) - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.Builder
 
propositionFactory(Function<Dataset<P>, Proposition>) - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactoryWithPreformer.Builder
 
PropositionPredicate - Class in com.github.valid8j.metamor
 
PropositionPredicate() - Constructor for class com.github.valid8j.metamor.PropositionPredicate
 

R

rebase() - Method in class com.github.valid8j.fluent.Expectations.CustomTransformer
This method is called when a matcher object is converted into a predicate.
rebase() - Method in class com.github.valid8j.pcond.core.fluent.builtins.BooleanChecker.Impl
 
rebase() - Method in class com.github.valid8j.pcond.core.fluent.builtins.BooleanTransformer.Impl
 
rebase() - Method in class com.github.valid8j.pcond.core.fluent.builtins.DoubleChecker.Impl
 
rebase() - Method in class com.github.valid8j.pcond.core.fluent.builtins.DoubleTransformer.Impl
 
rebase() - Method in class com.github.valid8j.pcond.core.fluent.builtins.FloatChecker.Impl
 
rebase() - Method in class com.github.valid8j.pcond.core.fluent.builtins.FloatTransformer.Impl
 
rebase() - Method in class com.github.valid8j.pcond.core.fluent.builtins.IntegerChecker.Impl
 
rebase() - Method in class com.github.valid8j.pcond.core.fluent.builtins.IntegerTransformer.Impl
 
rebase() - Method in class com.github.valid8j.pcond.core.fluent.builtins.ListChecker.Impl
 
rebase() - Method in class com.github.valid8j.pcond.core.fluent.builtins.ListTransformer.Impl
 
rebase() - Method in class com.github.valid8j.pcond.core.fluent.builtins.LongChecker.Impl
 
rebase() - Method in class com.github.valid8j.pcond.core.fluent.builtins.LongTransformer.Impl
 
rebase() - Method in class com.github.valid8j.pcond.core.fluent.builtins.ObjectChecker.Impl
 
rebase() - Method in class com.github.valid8j.pcond.core.fluent.builtins.ObjectTransformer.Impl
 
rebase() - Method in class com.github.valid8j.pcond.core.fluent.builtins.ShortChecker.Impl
 
rebase() - Method in class com.github.valid8j.pcond.core.fluent.builtins.ShortTransformer.Impl
 
rebase() - Method in class com.github.valid8j.pcond.core.fluent.builtins.StreamChecker.Impl
 
rebase() - Method in class com.github.valid8j.pcond.core.fluent.builtins.StreamTransformer.Impl
 
rebase() - Method in class com.github.valid8j.pcond.core.fluent.builtins.StringChecker.Impl
 
rebase() - Method in class com.github.valid8j.pcond.core.fluent.builtins.StringTransformer.Impl
 
rebase() - Method in class com.github.valid8j.pcond.core.fluent.builtins.ThrowableChecker.Impl
 
rebase() - Method in class com.github.valid8j.pcond.core.fluent.builtins.ThrowableTransformer.Impl
 
rebase() - Method in class com.github.valid8j.pcond.core.fluent.Matcher.Base
This method is called when a matcher object is converted into a predicate.
reconfigure(Consumer<Validator.Configuration.Builder>) - Static method in interface com.github.valid8j.pcond.validator.Validator
 
reconfigure(Consumer<Validator.Configuration.Builder>, Validator.Configuration.Builder) - Static method in interface com.github.valid8j.pcond.validator.Validator
 
reduce(Function<Dataset<P>, R>) - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactoryWithPreformer.Builder
 
reduce(String, Function<Dataset<P>, R>) - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactoryWithPreformer.Builder
 
reducer(Function<Dataset<P>, R>) - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactoryWithPreformer.Builder
 
ReflUtils - Enum in com.github.valid8j.pcond.core.refl
This class consists of static utility methods for creating printable functions and predicate on objects.
ReportComposer - Interface in com.github.valid8j.pcond.validator
 
reportComposer(ReportComposer) - Method in class com.github.valid8j.pcond.validator.Validator.Configuration.Builder
 
reportComposer() - Method in interface com.github.valid8j.pcond.validator.Validator.Configuration
Returns a report composer, which is responsible for composing an appropriate "report" for a context.
ReportComposer.Default - Class in com.github.valid8j.pcond.validator
A default implementation of ReportComposer.
ReportComposer.FormattedEntry - Class in com.github.valid8j.pcond.validator
 
ReportComposer.Report - Interface in com.github.valid8j.pcond.validator
 
ReportComposer.Utils - Enum in com.github.valid8j.pcond.validator
 
reportIgnoredEntries() - Static method in enum com.github.valid8j.pcond.core.DebuggingUtils
 
reportIgnoredEntries() - Method in interface com.github.valid8j.pcond.validator.Validator.Configuration.Debugging
 
reportToString(ReportComposer.Report) - Static method in class com.github.valid8j.pcond.validator.Explanation
 
requestExpectationFlip() - Method in interface com.github.valid8j.pcond.core.Evaluable.StreamPred
In order to generate an informative report, the framework needs information about the expected value for each predicate.
require(T, Predicate<? super T>) - Static method in enum com.github.valid8j.classic.Requires
 
require(Statement<?>...) - Static method in enum com.github.valid8j.fluent.Expectations
A method to check the given statements as preconditions.
require(Statement<T>) - Static method in enum com.github.valid8j.fluent.Expectations
A singular version of Expectations.require(Statement[]).
require(T, Predicate<? super T>) - Method in interface com.github.valid8j.pcond.validator.Validator
A method to check if a given value satisfies a precondition given as cond.
require(T, Predicate<? super T>, Function<String, Throwable>) - Method in interface com.github.valid8j.pcond.validator.Validator
A method to check if a given value satisfies a precondition given as cond.
requireAll(Statement<?>...) - Static method in enum com.github.valid8j.fluent.internals.ValidationFluents
requireArgument(T, Predicate<? super T>) - Static method in enum com.github.valid8j.classic.Requires
 
requireArgument(Statement<T>) - Static method in enum com.github.valid8j.fluent.Expectations
Checks if the target value of statement satisfies the predicate held by the statement as an argument value.
requireArgument(Statement<T>) - Static method in enum com.github.valid8j.fluent.internals.ValidationFluents
requireArgument(boolean, String) - Static method in enum com.github.valid8j.metamor.Utils
 
requireArgument(V, Predicate<? super V>, Supplier<String>) - Static method in enum com.github.valid8j.pcond.internals.InternalChecks
 
requireArgument(T, Predicate<? super T>) - Method in interface com.github.valid8j.pcond.validator.Validator
Checks a value if it meets a requirement specified by cond.
requireArgumentListSize(List<Object>, int) - Static method in enum com.github.valid8j.pcond.internals.InternalChecks
 
requireArguments(Statement<?>...) - Static method in enum com.github.valid8j.fluent.Expectations
Checks if the target values of statements satisfy the predicates held by the statements as argument values.
requireArguments(Statement<?>...) - Static method in enum com.github.valid8j.fluent.internals.ValidationFluents
requireHasNext(V) - Static method in interface com.github.valid8j.pcond.experimentals.currying.CurriedFunction
 
requireNonNull(T) - Static method in enum com.github.valid8j.classic.Requires
 
requireNonNull(T) - Method in interface com.github.valid8j.pcond.validator.Validator
Checks a value if it is null or not.
Requires - Enum in com.github.valid8j.classic
A class that offers entry-points for checking "preconditions" with a normal conditional statement of Java language.
requiresExplanation(EvaluationEntry) - Method in class com.github.valid8j.metamor.MetamorphicReportComposer
 
requiresExplanation() - Method in class com.github.valid8j.pcond.core.EvaluationEntry.Impl
 
requiresExplanation() - Method in class com.github.valid8j.pcond.core.EvaluationEntry
 
requiresExplanation() - Method in class com.github.valid8j.pcond.validator.ReportComposer.FormattedEntry
 
requiresExplanation(EvaluationEntry) - Method in interface com.github.valid8j.pcond.validator.ReportComposer
 
requireState(T, Predicate<? super T>) - Static method in enum com.github.valid8j.classic.Requires
 
requireState(Statement<T>) - Static method in enum com.github.valid8j.fluent.Expectations
Checks if the target value of statement satisfies the predicate held by the statement as a state value.
requireState(Statement<T>) - Static method in enum com.github.valid8j.fluent.internals.ValidationFluents
 
requireState(boolean, String) - Static method in enum com.github.valid8j.metamor.Utils
 
requireState(V, Predicate<? super V>, Function<V, String>) - Static method in enum com.github.valid8j.pcond.internals.InternalChecks
 
requireState(T, Predicate<? super T>) - Method in interface com.github.valid8j.pcond.validator.Validator
Checks a value if it meets a requirement specified by cond.
requireStatement(Statement<T>) - Static method in enum com.github.valid8j.fluent.internals.ValidationFluents
 
requireStates(Statement<?>...) - Static method in enum com.github.valid8j.fluent.Expectations
Checks if the target values of statements satisfy the predicates held by the statements as state.
requireStates(Statement<?>...) - Static method in enum com.github.valid8j.fluent.internals.ValidationFluents
requireStaticMethod(Method) - Static method in enum com.github.valid8j.pcond.internals.InternalChecks
 
resetToDefault() - Static method in interface com.github.valid8j.pcond.validator.Validator
 
resolveEvaluationEntryType(Evaluable<T>) - Static method in class com.github.valid8j.pcond.core.EvaluationContext
 
resultEntries() - Method in class com.github.valid8j.pcond.core.EvaluationContext
 
returnedValue() - Method in class com.github.valid8j.pcond.core.ValueHolder
 
returnType() - Method in class com.github.valid8j.pcond.core.printable.PrintableFunction
 
returnType() - Method in class com.github.valid8j.pcond.experimentals.currying.CurriedFunction.Impl
 
returnType() - Method in interface com.github.valid8j.pcond.experimentals.currying.CurriedFunction
 
returnType() - Method in interface com.github.valid8j.pcond.experimentals.currying.multi.MultiFunction
The type of the value returned by this function.

S

sameReferenceAs(Object) - Method in interface com.github.valid8j.pcond.core.fluent.AbstractObjectChecker
Adds a predicate to this checker object to check the target object and the argument for anotherObject if they are referencing the same object.
satisfies(T, Function<T, V>) - Static method in enum com.github.valid8j.fluent.Expectations
Returns a checker to build a statement for the given value.
satisfies(T) - Static method in enum com.github.valid8j.fluent.Expectations
Returns a checker to build a statement for the given value.
satisfies(List<T>) - Static method in enum com.github.valid8j.fluent.Expectations
Returns a checker to build a statement for the given list value.
satisfies(Stream<T>) - Static method in enum com.github.valid8j.fluent.Expectations
Returns a checker to build a statement for the given stream value.
satisfies(String) - Static method in enum com.github.valid8j.fluent.Expectations
Returns a checker to build a statement for the given string value.
satisfies(int) - Static method in enum com.github.valid8j.fluent.Expectations
Returns a checker to build a statement for the given int value.
satisfies(long) - Static method in enum com.github.valid8j.fluent.Expectations
Returns a checker to build a statement for the given long value.
satisfies(short) - Static method in enum com.github.valid8j.fluent.Expectations
Returns a checker to build a statement for the given short value.
satisfies(double) - Static method in enum com.github.valid8j.fluent.Expectations
Returns a checker to build a statement for the given double value.
satisfies(float) - Static method in enum com.github.valid8j.fluent.Expectations
Returns a checker to build a statement for the given float value.
satisfies(boolean) - Static method in enum com.github.valid8j.fluent.Expectations
Returns a checker to build a statement for the given boolean value.
satisfies(Function<TX, Statement<T>>) - Method in interface com.github.valid8j.pcond.core.fluent.Transformer
 
satisfies() - Method in interface com.github.valid8j.pcond.core.fluent.Transformer
A synonym of Transformer.then() method.
select(List<Method>, Object[]) - Method in class com.github.valid8j.pcond.core.refl.MethodSelector.Default
 
select(List<Method>, Object[]) - Method in class com.github.valid8j.pcond.core.refl.MethodSelector.PreferExact
 
select(List<Method>, Object[]) - Method in class com.github.valid8j.pcond.core.refl.MethodSelector.PreferNarrower
 
select(List<Method>, Object[]) - Method in interface com.github.valid8j.pcond.core.refl.MethodSelector
Selects methods that can be invoked with given args.
ShortChecker<T> - Interface in com.github.valid8j.pcond.core.fluent.builtins
 
ShortChecker.Impl<T> - Class in com.github.valid8j.pcond.core.fluent.builtins
 
shortcut() - Method in interface com.github.valid8j.pcond.core.Evaluable.Composite
Returns true if the "shortcut" evaluation is enabled.
ShortTransformer<T> - Interface in com.github.valid8j.pcond.core.fluent.builtins
 
ShortTransformer.Impl<T> - Class in com.github.valid8j.pcond.core.fluent.builtins
 
shortValue(Short) - Static method in interface com.github.valid8j.pcond.fluent.Statement
Returns a transformer for a short value.
showEvaluableDetail() - Static method in enum com.github.valid8j.pcond.core.DebuggingUtils
 
showEvaluableDetail() - Method in interface com.github.valid8j.pcond.validator.Validator.Configuration.Debugging
 
size() - Method in class com.github.valid8j.metamor.Dataset.Closed.Impl
 
size() - Method in class com.github.valid8j.metamor.Dataset.OnGoing.Impl
 
size() - Method in interface com.github.valid8j.metamor.Dataset
 
size() - Method in class com.github.valid8j.metamor.InputResolver.Sequence.Impl
 
size() - Method in interface com.github.valid8j.pcond.core.fluent.builtins.ListTransformer
 
size() - Method in interface com.github.valid8j.pcond.experimentals.currying.context.CurriedContext
Returns the number of context values.
size() - Static method in class com.github.valid8j.pcond.forms.Functions
Returns a function that that returns a size of a given list.
skipPreformer() - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.BuilderBase
 
snapshot() - Method in class com.github.valid8j.metamor.IoContext.Ongoing.Impl
 
Snapshot(Object, Object) - Constructor for class com.github.valid8j.metamor.IoContext.Ongoing.Snapshot
 
snapshot() - Method in interface com.github.valid8j.pcond.core.Evaluator.Snapshottable
 
sourceValueType(XX) - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.Builder
 
sourceValueType(XX) - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.BuilderBase
 
sourceValueType(Class<XX>) - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.BuilderBase
Let this object know the source type.
sourceValueType(XX) - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactoryWithPreformer.Builder
 
sourceVariableName - Variable in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.BuilderBase
 
sourceVariableName(String) - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.BuilderBase
 
split(String) - Method in interface com.github.valid8j.pcond.core.fluent.builtins.StringTransformer
 
startingWith(String) - Method in interface com.github.valid8j.pcond.core.fluent.builtins.StringChecker
 
startsWith(String) - Static method in class com.github.valid8j.pcond.forms.Predicates
 
state() - Method in class com.github.valid8j.pcond.core.ValueHolder
 
statement(T, Predicate<T>) - Static method in enum com.github.valid8j.fluent.Expectations
Returns a statement whose target is the given value.
statement(List<T>, Predicate<List<T>>) - Static method in enum com.github.valid8j.fluent.Expectations
Returns a statement whose target is the given list value.
statement(Stream<T>, Predicate<Stream<T>>) - Static method in enum com.github.valid8j.fluent.Expectations
Returns a statement whose target is the given stream value.
statement(String, Predicate<String>) - Static method in enum com.github.valid8j.fluent.Expectations
Returns a statement whose target is the given string value.
statement(int, Predicate<Integer>) - Static method in enum com.github.valid8j.fluent.Expectations
Returns a statement whose target is the given int value.
statement(long, Predicate<Long>) - Static method in enum com.github.valid8j.fluent.Expectations
Returns a statement whose target is the given long value.
statement(short, Predicate<Short>) - Static method in enum com.github.valid8j.fluent.Expectations
Returns a statement whose target is the given short value.
statement(double, Predicate<Double>) - Static method in enum com.github.valid8j.fluent.Expectations
Returns a statement whose target is the given double value.
statement(float, Predicate<Float>) - Static method in enum com.github.valid8j.fluent.Expectations
Returns a statement whose target is the given float value.
statement(boolean, Predicate<Boolean>) - Static method in enum com.github.valid8j.fluent.Expectations
Returns a statement whose target is the given boolean value.
Statement<T> - Interface in com.github.valid8j.pcond.fluent
An interface to model a "statement", which .
statementPredicate() - Method in class com.github.valid8j.pcond.core.fluent.Checker.Base
 
statementPredicate() - Method in class com.github.valid8j.pcond.core.fluent.Transformer.Base
 
statementPredicate() - Method in interface com.github.valid8j.pcond.fluent.Statement
Returns a predicate to evaluate the target value.
statementValue() - Method in class com.github.valid8j.pcond.core.fluent.Checker.Base
 
statementValue() - Method in class com.github.valid8j.pcond.core.fluent.Transformer.Base
 
statementValue() - Method in interface com.github.valid8j.pcond.fluent.Statement
Returns a value to be evaluated, "target value", by an instance of this interface.
stream() - Method in interface com.github.valid8j.metamor.Dataset
 
stream() - Method in interface com.github.valid8j.pcond.core.fluent.builtins.ListTransformer
 
stream() - Static method in class com.github.valid8j.pcond.forms.Functions
Returns a function that returns a stream for a given collection.
stream(Class<E>) - Static method in class com.github.valid8j.pcond.forms.Functions
Returns a function that returns a stream for a given collection.
StreamChecker<T,E> - Interface in com.github.valid8j.pcond.core.fluent.builtins
 
StreamChecker.Impl<T,E> - Class in com.github.valid8j.pcond.core.fluent.builtins
 
streamOf() - Static method in class com.github.valid8j.pcond.forms.Functions
Returns a function that returns a stream for a given object.
StreamTransformer<T,E> - Interface in com.github.valid8j.pcond.core.fluent.builtins
 
StreamTransformer.Impl<T,E> - Class in com.github.valid8j.pcond.core.fluent.builtins
 
streamValue(Stream<E>) - Static method in interface com.github.valid8j.pcond.fluent.Statement
Returns a transformer for a Stream value.
StringChecker<T> - Interface in com.github.valid8j.pcond.core.fluent.builtins
 
StringChecker.Impl<T> - Class in com.github.valid8j.pcond.core.fluent.builtins
 
stringify() - Method in interface com.github.valid8j.pcond.core.fluent.AbstractObjectTransformer
Corresponds to toString() method.
stringify() - Static method in class com.github.valid8j.pcond.forms.Functions
Returns a function that gives a string representation of a object given to it.
StringTransformer<T> - Interface in com.github.valid8j.pcond.core.fluent.builtins
 
StringTransformer.Impl<T> - Class in com.github.valid8j.pcond.core.fluent.builtins
 
stringValue(String) - Static method in interface com.github.valid8j.pcond.fluent.Statement
Returns a transformer for a String value.
subList(int, int) - Method in interface com.github.valid8j.pcond.core.fluent.builtins.ListTransformer
 
subList(int) - Method in interface com.github.valid8j.pcond.core.fluent.builtins.ListTransformer
 
substring(int) - Method in interface com.github.valid8j.pcond.core.fluent.builtins.StringTransformer
 
substringAfter(String) - Method in interface com.github.valid8j.pcond.core.fluent.builtins.StringTransformer
 
summarizedStringLength() - Static method in enum com.github.valid8j.pcond.internals.InternalUtils
 
summarizedStringLength(int) - Method in class com.github.valid8j.pcond.validator.Validator.Configuration.Builder
 
summarizedStringLength() - Method in interface com.github.valid8j.pcond.validator.Validator.Configuration
 
summary() - Method in interface com.github.valid8j.pcond.validator.ReportComposer.Report
 
suppressSquashing() - Static method in enum com.github.valid8j.pcond.core.DebuggingUtils
 
suppressSquashing() - Method in interface com.github.valid8j.pcond.validator.Validator.Configuration.Debugging
 

T

tail() - Method in interface com.github.valid8j.pcond.core.Evaluable.Func
 
tail() - Method in class com.github.valid8j.pcond.core.printable.PrintableFunction
 
target() - Method in interface com.github.valid8j.pcond.core.Evaluable.Negation
The predicate the negation is applied.
targetClass() - Method in interface com.github.valid8j.pcond.core.refl.MethodQuery
 
targetObject() - Method in interface com.github.valid8j.pcond.core.refl.MethodQuery
 
test(V) - Method in class com.github.valid8j.pcond.core.printable.ExplainablePredicate
 
test(T) - Method in class com.github.valid8j.pcond.core.printable.PrintablePredicate
 
TestAssertions - Enum in com.github.valid8j.classic
An entry-point class for test assertions.
testFailedException(Explanation, ReportComposer) - Method in class com.github.valid8j.pcond.validator.ExceptionComposer.ForTestAssertion.JUnit4
 
testFailedException(Explanation, ReportComposer) - Method in class com.github.valid8j.pcond.validator.ExceptionComposer.ForTestAssertion.Opentest4J
 
testFailedException(Explanation, ReportComposer) - Method in interface com.github.valid8j.pcond.validator.ExceptionComposer.ForTestAssertion
 
testSkippedException(String, ReportComposer) - Method in class com.github.valid8j.pcond.validator.ExceptionComposer.ForTestAssertion.JUnit4
 
testSkippedException(String, ReportComposer) - Method in class com.github.valid8j.pcond.validator.ExceptionComposer.ForTestAssertion.Opentest4J
 
testSkippedException(String, ReportComposer) - Method in interface com.github.valid8j.pcond.validator.ExceptionComposer.ForTestAssertion
 
testSkippedException(Explanation, ReportComposer) - Method in interface com.github.valid8j.pcond.validator.ExceptionComposer.ForTestAssertion
 
that(T, Predicate<? super T>) - Static method in enum com.github.valid8j.classic.Assertions
A method to be used for checking a value satisfies a given invariant condition.
that(T, Function<T, TX>) - Static method in enum com.github.valid8j.fluent.Expectations
Returns a transformer to build a statement for the given value.
that(T) - Static method in enum com.github.valid8j.fluent.Expectations
Returns a transformer to build a statement for the given value.
that(List<T>) - Static method in enum com.github.valid8j.fluent.Expectations
Returns a transformer to build a statement for the given list value.
that(Stream<T>) - Static method in enum com.github.valid8j.fluent.Expectations
Returns a transformer to build a statement for the given stream value.
that(String) - Static method in enum com.github.valid8j.fluent.Expectations
Returns a transformer to build a statement for the given string value.
that(int) - Static method in enum com.github.valid8j.fluent.Expectations
Returns a transformer to build a statement for the given integer value.
that(long) - Static method in enum com.github.valid8j.fluent.Expectations
Returns a transformer to build a statement for the given long value.
that(short) - Static method in enum com.github.valid8j.fluent.Expectations
Returns a transformer to build a statement for the given short value.
that(double) - Static method in enum com.github.valid8j.fluent.Expectations
Returns a transformer to build a statement for the given double value.
that(float) - Static method in enum com.github.valid8j.fluent.Expectations
Returns a transformer to build a statement for the given float value.
that(boolean) - Static method in enum com.github.valid8j.fluent.Expectations
Returns a transformer to build a statement for the given boolean value.
that(T) - Static method in enum com.github.valid8j.fluent.Expectations
Returns a transformer to build a statement for the given throwable value.
that(Statement<T>) - Static method in enum com.github.valid8j.fluent.internals.ValidationFluents
then() - Method in class com.github.valid8j.pcond.core.fluent.Transformer.Base
 
then() - Method in interface com.github.valid8j.pcond.core.fluent.Transformer
Returns a checker object for this object.
ThrowableChecker<T,E extends Throwable> - Interface in com.github.valid8j.pcond.core.fluent.builtins
 
ThrowableChecker.Impl<T,E extends Throwable> - Class in com.github.valid8j.pcond.core.fluent.builtins
 
ThrowableTransformer<T,E extends Throwable> - Interface in com.github.valid8j.pcond.core.fluent.builtins
 
ThrowableTransformer.Impl<T,E extends Throwable> - Class in com.github.valid8j.pcond.core.fluent.builtins
 
throwableValue(E) - Static method in interface com.github.valid8j.pcond.fluent.Statement
Returns a transformer for a Throwable value.
thrownException() - Method in class com.github.valid8j.pcond.core.ValueHolder
 
toBe() - Method in interface com.github.valid8j.pcond.core.fluent.Transformer
A synonym of Transformer.then() method.
toBoolean(Function<? super R, Boolean>) - Method in interface com.github.valid8j.pcond.core.fluent.AbstractObjectTransformer
 
toChecker(Function<T, T>) - Method in class com.github.valid8j.fluent.Expectations.CustomTransformer
 
toChecker(Function<T, Boolean>) - Method in class com.github.valid8j.pcond.core.fluent.builtins.BooleanTransformer.Impl
 
toChecker(Function<OIN, Double>) - Method in class com.github.valid8j.pcond.core.fluent.builtins.DoubleTransformer.Impl
 
toChecker(Function<T, Float>) - Method in class com.github.valid8j.pcond.core.fluent.builtins.FloatTransformer.Impl
 
toChecker(Function<T, Integer>) - Method in class com.github.valid8j.pcond.core.fluent.builtins.IntegerTransformer.Impl
 
toChecker(Function<T, List<E>>) - Method in class com.github.valid8j.pcond.core.fluent.builtins.ListTransformer.Impl
 
toChecker(Function<T, Long>) - Method in class com.github.valid8j.pcond.core.fluent.builtins.LongTransformer.Impl
 
toChecker(Function<T, E>) - Method in class com.github.valid8j.pcond.core.fluent.builtins.ObjectTransformer.Impl
 
toChecker(Function<T, Short>) - Method in class com.github.valid8j.pcond.core.fluent.builtins.ShortTransformer.Impl
 
toChecker(Function<T, Stream<E>>) - Method in class com.github.valid8j.pcond.core.fluent.builtins.StreamTransformer.Impl
 
toChecker(Function<T, String>) - Method in class com.github.valid8j.pcond.core.fluent.builtins.StringTransformer.Impl
 
toChecker(Function<T, E>) - Method in class com.github.valid8j.pcond.core.fluent.builtins.ThrowableTransformer.Impl
 
toChecker(Function<T, R>) - Method in class com.github.valid8j.pcond.core.fluent.Transformer.Base
 
toCloseFunction(String) - Static method in enum com.github.valid8j.metamor.IoContext.Utils
 
toContextEndomorphicFunction(Function<IoContext<I, O>, Function<I, O>>, int, IntFunction<String>) - Static method in enum com.github.valid8j.metamor.IoContext.Utils
 
toContextFunction(String, String) - Static method in enum com.github.valid8j.metamor.IoContext.Utils
 
toContextPredicate(CurriedFunction<Object, Object>, int...) - Static method in enum com.github.valid8j.pcond.experimentals.currying.context.CurriedContextUtils
 
toCurriedContext(T) - Static method in enum com.github.valid8j.pcond.experimentals.currying.context.CurriedContextUtils
 
toCurriedContext() - Static method in enum com.github.valid8j.pcond.experimentals.currying.CurriedFunctions
Returns a function to convert a value into a context that holds the original value.
toCurriedContextPredicate(Predicate<T>, int) - Static method in enum com.github.valid8j.pcond.experimentals.currying.CurriedFunctions
Creates a context function that tests the value at the specified index using the given predicate.
toCurriedContextPredicate(Predicate<T>) - Static method in enum com.github.valid8j.pcond.experimentals.currying.CurriedFunctions
Converts a predicate to a context predicate which tests the first value in a context using the predicate.
toCurriedContextPredicate(CurriedFunction<Object, Object>, int...) - Static method in enum com.github.valid8j.pcond.experimentals.currying.CurriedFunctions
Converts a curried function which results in a boolean value into a predicate.
toCurriedContextStream(Stream<?>) - Static method in enum com.github.valid8j.pcond.experimentals.currying.context.CurriedContextUtils
 
toCurriedContextStream() - Static method in enum com.github.valid8j.pcond.experimentals.currying.CurriedFunctions
Returns a converter function for a stream.
toDouble(Function<? super R, Double>) - Method in interface com.github.valid8j.pcond.core.fluent.AbstractObjectTransformer
 
toEvaluableIfNecessary(Predicate<? super T>) - Static method in enum com.github.valid8j.pcond.internals.InternalUtils
 
toEvaluableIfNecessary(Function<? super T, ?>) - Static method in enum com.github.valid8j.pcond.internals.InternalUtils
 
toEvaluableWithFormatterIfNecessary(Function<? super T, ?>, Function<Function<? super T, ?>, String>) - Static method in enum com.github.valid8j.pcond.internals.InternalUtils
 
toFloat(Function<? super R, Float>) - Method in interface com.github.valid8j.pcond.core.fluent.AbstractObjectTransformer
 
toInteger(Function<? super R, Integer>) - Method in interface com.github.valid8j.pcond.core.fluent.AbstractObjectTransformer
 
toLeafIfNotPrintable(Predicate<T>) - Static method in enum com.github.valid8j.pcond.core.printable.PrintablePredicateFactory
 
toList(Function<? super R, List<E>>) - Method in interface com.github.valid8j.pcond.core.fluent.AbstractObjectTransformer
 
toLong(Function<? super R, Long>) - Method in interface com.github.valid8j.pcond.core.fluent.AbstractObjectTransformer
 
toLowerCase() - Method in interface com.github.valid8j.pcond.core.fluent.builtins.StringTransformer
 
toMetamorphicTestPredicate() - Method in interface com.github.valid8j.metamor.MetamorphicTestCaseFactory
A builder method that returns a printable predicate that examines the function under test.
toNonStringObject(String) - Static method in enum com.github.valid8j.pcond.internals.InternalUtils
 
toObject(Function<R, E>) - Method in interface com.github.valid8j.pcond.core.fluent.AbstractObjectTransformer
Applies a given function to the currently targeted value and returns a new ObjectTransformer whose target value is the returned value from the function.
toOutputExtractorFunction(String) - Static method in enum com.github.valid8j.metamor.IoContext.Utils
 
toPredicate() - Method in class com.github.valid8j.pcond.core.fluent.Matcher.Base
 
toPredicate() - Method in interface com.github.valid8j.pcond.core.fluent.Matcher
 
toShort(Function<? super R, Short>) - Method in interface com.github.valid8j.pcond.core.fluent.AbstractObjectTransformer
 
toSnapshotIfPossible(Object) - Static method in interface com.github.valid8j.pcond.core.Evaluator.Snapshottable
 
toStream(Function<? super R, Stream<E>>) - Method in interface com.github.valid8j.pcond.core.fluent.AbstractObjectTransformer
 
toString() - Method in class com.github.valid8j.metamor.Dataset.Closed.Impl
 
toString() - Method in class com.github.valid8j.metamor.Dataset.OnGoing.Impl
 
toString() - Method in class com.github.valid8j.metamor.InputResolver.Sequence.Impl
 
toString() - Method in class com.github.valid8j.metamor.IoContext.Closed.Impl
 
toString() - Method in class com.github.valid8j.metamor.IoContext.Ongoing.Impl
 
toString() - Method in class com.github.valid8j.metamor.IoContext.Ongoing.Snapshot
 
toString() - Method in class com.github.valid8j.metamor.IoPair.Impl
 
toString() - Method in class com.github.valid8j.metamor.Proposition.Impl
 
toString() - Method in class com.github.valid8j.pcond.core.EvaluableIo
 
toString() - Method in class com.github.valid8j.pcond.core.EvaluationEntry.Impl
 
toString() - Method in class com.github.valid8j.pcond.core.EvaluationEntry
 
toString(Function<? super R, String>) - Method in interface com.github.valid8j.pcond.core.fluent.AbstractObjectTransformer
 
toString() - Method in class com.github.valid8j.pcond.core.printable.PrintableFunction
 
toString() - Method in class com.github.valid8j.pcond.core.printable.PrintablePredicate
 
toString() - Method in class com.github.valid8j.pcond.core.ValueHolder
 
toString() - Method in class com.github.valid8j.pcond.validator.Explanation
 
toThrowable(Function<? super R, E>) - Method in interface com.github.valid8j.pcond.core.fluent.AbstractObjectTransformer
 
toUpperCase() - Method in interface com.github.valid8j.pcond.core.fluent.builtins.StringTransformer
 
transform(Function<TX, Predicate<T>>) - Method in class com.github.valid8j.fluent.Expectations.CustomTransformer
 
transform(Function<ObjectTransformer<T, E>, Predicate<E>>) - Method in interface com.github.valid8j.pcond.core.fluent.builtins.ObjectTransformer
 
transform(Function<O, P>) - Static method in enum com.github.valid8j.pcond.core.printable.PrintablePredicateFactory
 
transform(String, Function<O, P>) - Static method in class com.github.valid8j.pcond.forms.Predicates
 
transform(Function<O, P>) - Static method in class com.github.valid8j.pcond.forms.Predicates
 
transformer(Function<Dataset<IoPair<I, O>>, R>) - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.Builder
 
Transformer<TX extends Transformer<TX,V,T,R>,V extends Checker<V,T,R>,T,R> - Interface in com.github.valid8j.pcond.core.fluent
 
Transformer.Base<TX extends Transformer<TX,V,T,R>,V extends Checker<V,T,R>,T,R> - Class in com.github.valid8j.pcond.core.fluent
 
transformFunction() - Method in class com.github.valid8j.pcond.core.fluent.Matcher.Base
 
transformFunction() - Method in interface com.github.valid8j.pcond.core.fluent.Matcher
 
TransformingPredicate(String, String, Predicate<? super R>, Function<? super T, ? extends R>) - Constructor for class com.github.valid8j.pcond.core.printable.PrintablePredicateFactory.TransformingPredicate
 
transformValueWith(Function<? super R, RR>, BiFunction<Supplier<T>, Function<T, RR>, TY>) - Method in class com.github.valid8j.pcond.core.fluent.Transformer.Base
 
transformValueWith(Function<? super R, RR>, BiFunction<Supplier<T>, Function<T, RR>, TY>) - Method in interface com.github.valid8j.pcond.core.fluent.Transformer
 
trivialIdentityFunction() - Static method in enum com.github.valid8j.pcond.internals.InternalUtils
 
trueValue() - Method in interface com.github.valid8j.pcond.core.fluent.builtins.BooleanChecker
 
type() - Method in class com.github.valid8j.pcond.core.EvaluationEntry
 

U

unless(Statement<T>) - Method in interface com.github.valid8j.fluent.Expectations.Unless
Validates a given statement and if it is valid, the target value of it will be returned.
unless(Statement<?>...) - Method in interface com.github.valid8j.fluent.Expectations.Unless
This doesn’t return any value because it cannot be determined which value should be the one to be returned.
unwrap(Function<T, R>) - Static method in class com.github.valid8j.pcond.core.printable.PrintableFunction
 
useEvaluator(boolean) - Method in class com.github.valid8j.pcond.validator.Validator.Configuration.Builder
 
useEvaluator() - Method in interface com.github.valid8j.pcond.validator.Validator.Configuration
 
useOpentest4J() - Method in class com.github.valid8j.pcond.validator.Validator.Configuration.Builder
 
Utils - Enum in com.github.valid8j.metamor
 

V

validate(T, Predicate<? super T>) - Method in interface com.github.valid8j.classic.Validates.TestValidator
 
validate(T, Predicate<? super T>, Function<String, E>) - Method in interface com.github.valid8j.classic.Validates.TestValidator
 
validate(T, Predicate<? super T>) - Static method in enum com.github.valid8j.classic.Validates
 
validate(T, Predicate<? super T>, Function<String, E>) - Static method in enum com.github.valid8j.classic.Validates
 
validate(T, Predicate<? super T>, ExceptionComposer.ForValidate) - Method in interface com.github.valid8j.pcond.validator.Validator
Validates the given value.
validate(T, Predicate<? super T>, Function<String, Throwable>) - Method in interface com.github.valid8j.pcond.validator.Validator
Validates the given variable value.
validate_2(T, Predicate<? super T>, Validator.ExceptionFactory<Throwable>) - Method in interface com.github.valid8j.pcond.validator.Validator
 
validateArg(V) - Method in interface com.github.valid8j.pcond.experimentals.currying.CurriedFunction
 
validateArgument(T, Predicate<? super T>) - Method in interface com.github.valid8j.classic.Validates.TestValidator
 
validateArgument(T, Predicate<? super T>) - Static method in enum com.github.valid8j.classic.Validates
 
validateArgument(T, Predicate<? super T>, ExceptionComposer.ForValidate) - Method in interface com.github.valid8j.pcond.validator.Validator
Validates the given argument variable value.
validateNonNull(T) - Method in interface com.github.valid8j.classic.Validates.TestValidator
 
validateNonNull(T) - Static method in enum com.github.valid8j.classic.Validates
 
validateNonNull(T, ExceptionComposer.ForValidate) - Method in interface com.github.valid8j.pcond.validator.Validator
Validates the given value.
validateParamOrderList(List<Integer>, int) - Static method in enum com.github.valid8j.pcond.internals.InternalChecks
 
Validates - Enum in com.github.valid8j.classic
 
Validates.TestValidator - Interface in com.github.valid8j.classic
 
validateState(T, Predicate<? super T>) - Method in interface com.github.valid8j.classic.Validates.TestValidator
 
validateState(T, Predicate<? super T>) - Static method in enum com.github.valid8j.classic.Validates
 
validateState(T, Predicate<? super T>, ExceptionComposer.ForValidate) - Method in interface com.github.valid8j.pcond.validator.Validator
Validates the given state variable value.
validateStatement(Statement<T>) - Static method in enum com.github.valid8j.classic.Validates
 
ValidationException - Exception in com.github.valid8j.pcond.validator.exceptions
A default exception intended to be used, when a user-defined requirement is not satisfied.
ValidationException(String) - Constructor for exception com.github.valid8j.pcond.validator.exceptions.ValidationException
 
ValidationFluents - Enum in com.github.valid8j.fluent.internals
A facade class to provide fluent versions of valid8j entry points.
Validator - Interface in com.github.valid8j.pcond.validator
An interface of a policy for behaviours on 'contract violations'.
Validator.Configuration - Interface in com.github.valid8j.pcond.validator
 
Validator.Configuration.Builder - Class in com.github.valid8j.pcond.validator
 
Validator.Configuration.Debugging - Interface in com.github.valid8j.pcond.validator
When com.github.valid8j.pcond.debug is not true, it is assumed that those methods in this interface return false.
Validator.Configuration.Utils - Enum in com.github.valid8j.pcond.validator
 
Validator.ExceptionFactory<E extends Throwable> - Interface in com.github.valid8j.pcond.validator
 
Validator.Impl - Class in com.github.valid8j.pcond.validator
 
value(T, Function<T, TX>) - Static method in enum com.github.valid8j.fluent.Expectations
value(T) - Static method in enum com.github.valid8j.fluent.Expectations
value(List<T>) - Static method in enum com.github.valid8j.fluent.Expectations
value(Stream<T>) - Static method in enum com.github.valid8j.fluent.Expectations
value(String) - Static method in enum com.github.valid8j.fluent.Expectations
value(int) - Static method in enum com.github.valid8j.fluent.Expectations
value(long) - Static method in enum com.github.valid8j.fluent.Expectations
value(short) - Static method in enum com.github.valid8j.fluent.Expectations
value(double) - Static method in enum com.github.valid8j.fluent.Expectations
value(float) - Static method in enum com.github.valid8j.fluent.Expectations
value(boolean) - Static method in enum com.github.valid8j.fluent.Expectations
value(E) - Static method in enum com.github.valid8j.fluent.Expectations
value(E) - Static method in enum com.github.valid8j.fluent.internals.ValidationFluents
 
value() - Method in class com.github.valid8j.pcond.core.fluent.Matcher.Base
 
value() - Method in class com.github.valid8j.pcond.core.ValueHolder
 
value() - Static method in class com.github.valid8j.pcond.forms.Functions
A method to return a value for a "casting placeholder value".
valueAt(int) - Method in interface com.github.valid8j.pcond.experimentals.currying.context.CurriedContext
Returns the context value specified by the index.
ValueHolder<V> - Class in com.github.valid8j.pcond.core
 
ValueHolder - Interface in com.github.valid8j.pcond.fluent
A base interface for values for which independent report records should not be composed.
ValueHolder.State - Enum in com.github.valid8j.pcond.core
 
valueOf(String) - Static method in enum com.github.valid8j.classic.Assertions
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.github.valid8j.classic.Ensures
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.github.valid8j.classic.Requires
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.github.valid8j.classic.TestAssertions
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.github.valid8j.classic.Validates
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.github.valid8j.fluent.Expectations
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.github.valid8j.fluent.internals.ValidationFluents
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.github.valid8j.metamor.internals.InternalUtils
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.github.valid8j.metamor.IoContext.Utils
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.github.valid8j.metamor.Utils
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.github.valid8j.pcond.core.DebuggingUtils
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.github.valid8j.pcond.core.EvaluationEntry.Type
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.github.valid8j.pcond.core.fluent.Matcher.JunctionType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.github.valid8j.pcond.core.printable.PrintableFunctionFactory.Parameterized
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.github.valid8j.pcond.core.printable.PrintableFunctionFactory.Simple
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.github.valid8j.pcond.core.printable.PrintableFunctionFactory
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.github.valid8j.pcond.core.printable.PrintablePredicateFactory.Leaf
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.github.valid8j.pcond.core.printable.PrintablePredicateFactory.ParameterizedLeafFactory
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.github.valid8j.pcond.core.printable.PrintablePredicateFactory
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.github.valid8j.pcond.core.refl.MethodSelector.Utils
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.github.valid8j.pcond.core.refl.ReflUtils
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.github.valid8j.pcond.core.ValueHolder.State
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.github.valid8j.pcond.experimentals.currying.Checks
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.github.valid8j.pcond.experimentals.currying.context.CurriedContext.PrivateUtils
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.github.valid8j.pcond.experimentals.currying.context.CurriedContextUtils
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.github.valid8j.pcond.experimentals.currying.CurriedFunctions
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.github.valid8j.pcond.experimentals.currying.CurryingUtils
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.github.valid8j.pcond.experimentals.currying.multi.MultiFunctionUtils
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.github.valid8j.pcond.experimentals.cursor.Cursors
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.github.valid8j.pcond.forms.Printables
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.github.valid8j.pcond.internals.InternalChecks
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.github.valid8j.pcond.internals.InternalUtils
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.github.valid8j.pcond.validator.ExceptionComposer.Utils
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.github.valid8j.pcond.validator.ReportComposer.Utils
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.github.valid8j.pcond.validator.Validator.Configuration.Utils
Returns the enum constant of this type with the specified name.
valueReturned(V) - Method in class com.github.valid8j.pcond.core.ValueHolder
 
values() - Static method in enum com.github.valid8j.classic.Assertions
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.github.valid8j.classic.Ensures
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.github.valid8j.classic.Requires
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.github.valid8j.classic.TestAssertions
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.github.valid8j.classic.Validates
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.github.valid8j.fluent.Expectations
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.github.valid8j.fluent.internals.ValidationFluents
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.github.valid8j.metamor.internals.InternalUtils
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.github.valid8j.metamor.IoContext.Utils
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.github.valid8j.metamor.Utils
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.github.valid8j.pcond.core.DebuggingUtils
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.github.valid8j.pcond.core.EvaluationEntry.Type
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.github.valid8j.pcond.core.fluent.Matcher.JunctionType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.github.valid8j.pcond.core.printable.PrintableFunctionFactory.Parameterized
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.github.valid8j.pcond.core.printable.PrintableFunctionFactory.Simple
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.github.valid8j.pcond.core.printable.PrintableFunctionFactory
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.github.valid8j.pcond.core.printable.PrintablePredicateFactory.Leaf
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.github.valid8j.pcond.core.printable.PrintablePredicateFactory.ParameterizedLeafFactory
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.github.valid8j.pcond.core.printable.PrintablePredicateFactory
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.github.valid8j.pcond.core.refl.MethodSelector.Utils
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.github.valid8j.pcond.core.refl.ReflUtils
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.github.valid8j.pcond.core.ValueHolder.State
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.github.valid8j.pcond.experimentals.currying.Checks
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.github.valid8j.pcond.experimentals.currying.context.CurriedContext.PrivateUtils
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Method in interface com.github.valid8j.pcond.experimentals.currying.context.CurriedContext
Returns context values.
values() - Static method in enum com.github.valid8j.pcond.experimentals.currying.context.CurriedContextUtils
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.github.valid8j.pcond.experimentals.currying.CurriedFunctions
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.github.valid8j.pcond.experimentals.currying.CurryingUtils
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.github.valid8j.pcond.experimentals.currying.multi.MultiFunctionUtils
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.github.valid8j.pcond.experimentals.cursor.Cursors
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.github.valid8j.pcond.forms.Printables
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.github.valid8j.pcond.internals.InternalChecks
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.github.valid8j.pcond.internals.InternalUtils
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.github.valid8j.pcond.validator.ExceptionComposer.Utils
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.github.valid8j.pcond.validator.ReportComposer.Utils
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.github.valid8j.pcond.validator.Validator.Configuration.Utils
Returns an array containing the constants of this enum type, in the order they are declared.
valueToCut() - Method in interface com.github.valid8j.pcond.core.Evaluable.StreamPred
Returns a value to make a "cut" happen.
valueToCut() - Method in class com.github.valid8j.pcond.core.printable.PrintablePredicateFactory.StreamPredicate
 
variableBundlePredicate(Predicate<T>, int) - Static method in enum com.github.valid8j.pcond.core.printable.PrintablePredicateFactory
 

W

WIDER_TYPES - Static variable in enum com.github.valid8j.pcond.core.refl.ReflUtils
 
withPreformer() - Method in class com.github.valid8j.metamor.MetamorphicTestCaseFactory.BuilderBase
 
wrapIfNecessary(Throwable) - Static method in enum com.github.valid8j.pcond.internals.InternalUtils
 
wrapperClassOf(Class<?>) - Static method in enum com.github.valid8j.pcond.internals.InternalUtils
 
$ A B C D E F G H I J L M N O P R S T U V W 
Skip navigation links

Copyright © 2024. All rights reserved.