io.github.theangrydev.businessflows.ValidationPath Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of business-flows Show documentation
Show all versions of business-flows Show documentation
A combination of the Try monad and the Either monad, to help tame complex business flows.
/*
* Copyright 2016 Liam Williams .
*
* This file is part of business-flows.
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
package io.github.theangrydev.businessflows;
import java.util.Arrays;
import java.util.List;
import static io.github.theangrydev.businessflows.Mapping.identity;
/**
* A {@link ValidationPath} is a special kind of {@link HappyPath} that can accumulate several validation failures into
* a list of {@link Sad}, if there are any failures.
*
* @param The type that the list of {@link Sad} validation errors will be aggregated into
*/
public interface ValidationPath extends HappyPath {
/**
* Provides a {@link ValidationPath} view over a known {@link Happy} object.
*
* @param happy The happy object to initiate the flow with
* @param sadAggregateMapping The list of {@link Sad} validation errors will be mapped to the {@link SadAggregate}
* @param The type of happy object the resulting {@link ValidationPath} may contain
* @param The type of validation errors the resulting {@link ValidationPath} may contain
* @param The type that the list of {@link Sad} validation errors will be aggregated into
* @return A {@link ValidationPath} that is happy on the inside
*/
static ValidationPath validationPathInto(Happy happy, Mapping, SadAggregate> sadAggregateMapping) {
return new HappyCaseValidationPath<>(happy, sadAggregateMapping);
}
/**
* Provides a {@link ValidationPath} view over a known {@link Happy} object, aggregated into a list of {@link Sad}.
*
* @param happy The happy object to initiate the flow with
* @param The type of happy object the resulting {@link ValidationPath} may contain
* @param The type of validation errors the resulting {@link ValidationPath} may contain
* @return A {@link ValidationPath} that is happy on the inside
*/
static ValidationPath> validationPath(Happy happy) {
return validationPathInto(happy, identity());
}
/**
* Provides a {@link ValidationPath} view over a known {@link Happy} object.
*
* @param validationFailures The validation failures to initiate the flow with
* @param The type of happy object the resulting {@link ValidationPath} may contain
* @param The type of validation errors the resulting {@link ValidationPath} may contain
* @param The type that the list of {@link Sad} validation errors will be aggregated into
* @return A {@link ValidationPath} that has failed validation
*/
static ValidationPath validationFailure(SadAggregate validationFailures) {
return new SadCaseValidationPath<>(validationFailures);
}
/**
* Provides a {@link ValidationPath} view over a known {@link Exception} object.
*
* @param technicalFailure The technical failure to initiate the flow with
* @param The type of happy object the resulting {@link ValidationPath} may contain
* @param The type of validation errors the resulting {@link ValidationPath} may contain
* @param The type that the list of {@link Sad} validation errors will be aggregated into
* @return A {@link ValidationPath} that is a technical failure
*/
static ValidationPath technicalFailure(Exception technicalFailure) {
return new TechnicalFailureCaseValidationPath<>(technicalFailure);
}
/**
* Validate the given {@link Happy} object by running the given list of validators over it.
* All validators that fail will be accumulated into the {@link SadAggregate} result.
* The first technical failure encountered will result in a technical failure overall.
*
* @param happy The {@link Happy} object to validate
* @param sadAggregateMapping The list of {@link Sad} validation errors will be mapped to the {@link SadAggregate}
* @param validators Actions that act on the happy object and may indicate a validation failure by returning {@link Sad}
* @param The type of happy object the resulting {@link ValidationPath} may represent
* @param The type of sad object the resulting {@link ValidationPath} may represent
* @param The type that the list of {@link Sad} validation errors will be aggregated into
* @return The result of applying all the validators
*/
static ValidationPath validateAllInto(Happy happy, Mapping, SadAggregate> sadAggregateMapping, List> validators) {
ValidationPath happyPath = ValidationPath.validationPathInto(happy, sadAggregateMapping);
return happyPath.validateAll(validators);
}
/**
* Validate the given {@link Happy} object by running the given list of validators over it.
* All validators that fail will be accumulated into a list of {@link Sad} results.
* The first technical failure encountered will result in a technical failure overall.
*
* @param happy The {@link Happy} object to validate
* @param validators Actions that act on the happy object and may indicate a validation failure by returning {@link Sad}
* @param The type of happy object the resulting {@link ValidationPath} may represent
* @param The type of sad object the resulting {@link ValidationPath} may represent
* @return The result of applying all the validators
*/
static ValidationPath> validateAll(Happy happy, List> validators) {
return validateAllInto(happy, identity(), validators);
}
/**
* Validate the given {@link Happy} object by running the given list of validators over it.
* All validators that fail will be accumulated into the {@link SadAggregate} result.
* The first technical failure encountered will result in a technical failure overall.
*
* @param happy The {@link Happy} object to validate
* @param sadAggregateMapping The list of {@link Sad} validation errors will be mapped to the {@link SadAggregate}
* @param validators Actions that act on the happy object and may indicate a validation failure by returning {@link Sad}
* @param The type of happy object the resulting {@link ValidationPath} may represent
* @param The type of sad object the resulting {@link ValidationPath} may represent
* @param The type that the list of {@link Sad} validation errors will be aggregated into
* @return The result of applying all the validators
*/
@SafeVarargs
@SuppressWarnings("varargs")
static ValidationPath validateAllInto(Happy happy, Mapping, SadAggregate> sadAggregateMapping, Validator... validators) {
return validateAllInto(happy, sadAggregateMapping, Arrays.asList(validators));
}
/**
* Validate the given {@link Happy} object by running the given list of validators over it.
* All validators that fail will be accumulated into a list of {@link Sad} results.
* The first technical failure encountered will result in a technical failure overall.
*
* @param happy The {@link Happy} object to validate
* @param validators Actions that act on the happy object and may indicate a validation failure by returning {@link Sad}
* @param The type of happy object the resulting {@link ValidationPath} may represent
* @param The type of sad object the resulting {@link ValidationPath} may represent
* @return The result of applying all the validators
*/
@SafeVarargs
@SuppressWarnings("varargs")
static ValidationPath> validateAll(Happy happy, Validator... validators) {
return validateAll(happy, Arrays.asList(validators));
}
/**
* Perform a subsequent round of validation, which will take place if the previous one succeeded.
* This can be useful when you want e.g. expensive validators to run after cheap ones, or if you want to group validators together.
*
* @param validators Actions that act on the happy object and may indicate a validation failure by returning {@link Sad}
* @return The result of applying all the validators
*/
ValidationPath validateAll(List> validators);
/**
* Perform a subsequent round of validation, which will take place if the previous one succeeded.
* This can be useful when you want e.g. expensive validators to run after cheap ones, or if you want to group validators together.
*
* This method changes the {@link SadAggregate} mapping. This can be useful for e.g. rounds of validation that are
* aggregated with different messages such as "Missing: A, B" in one round and "Invalid: A, B" in another round.
*
* @param sadAggregateMapping The list of {@link Sad} validation errors will be mapped to the {@link SadAggregate}
* @param validators Actions that act on the happy object and may indicate a validation failure by returning {@link Sad}
* @return The result of applying all the validators
*/
ValidationPath validateAllInto(Mapping, SadAggregate> sadAggregateMapping, List> validators);
/**
* Helper method to turn an array of {@link Validator} into a list of {@link Validator}.
*
* @param validators The validators
* @param The type of happy object the list of {@link Validator} can validate
* @param The type of validation error the list of {@link Validator} can produce
* @return A list of {@link Validator}
*/
@SafeVarargs
@SuppressWarnings("varargs")
static List> validators(Validator... validators) {
return Arrays.asList(validators);
}
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy