de.viadee.bpm.vPAV.processing.dataflow.DescribedPredicateEvaluator Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of viadeeProcessApplicationValidator Show documentation

The tool checks Camunda projects for consistency and discovers errors in process-driven applications. Called as a Maven plugin or JUnit test, it discovers esp. inconsistencies of a given BPMN model in the classpath and the sourcecode of an underlying java project, such as a delegate reference to a non-existing java class or a non-existing Spring bean.

There is a newer version: 3.0.8

Show newest version

/**
 * BSD 3-Clause License
 *
 * Copyright © 2019, viadee Unternehmensberatung AG
 * All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions are met:
 *
 * * Redistributions of source code must retain the above copyright notice, this
 *   list of conditions and the following disclaimer.
 *
 * * Redistributions in binary form must reproduce the above copyright notice,
 *   this list of conditions and the following disclaimer in the documentation
 *   and/or other materials provided with the distribution.
 *
 * * Neither the name of the copyright holder nor the names of its
 *   contributors may be used to endorse or promote products derived from
 *   this software without specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
 * DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
 * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
 * CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
 * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 */
package de.viadee.bpm.vPAV.processing.dataflow;

import java.util.function.Function;
import java.util.stream.Collectors;
import java.util.stream.Stream;

/**
 * Representing a predicate to define constraints and conditions with.
 * Contains logic for evaluation returning an EvaluationResult object including a result message.
 * @param 
 * - Generic parameter
 */
public class DescribedPredicateEvaluator {

    private final Function> predicateEvaluator;
    private final String description;

    public DescribedPredicateEvaluator(Function> predicateEvaluator, String description) {
        this.predicateEvaluator = predicateEvaluator;
        this.description = description;
    }

    public EvaluationResult evaluate(T value) {
        return predicateEvaluator.apply(value);
    }

    /**
     * Predicate description used to generate rule descriptions.
     * @return predicate description
     */
    public String getDescription() {
        return description;
    }

    /**
     * Combines this predicate with another on disjunctively
     * @param other Other predicate
     * @return combined predicate
     */
    public DescribedPredicateEvaluator or(DescribedPredicateEvaluator other) {
        Function> orPredicateEvaluator = (T) ->
        {
            EvaluationResult result1 = this.evaluate(T);
            EvaluationResult result2 = other.evaluate(T);
            boolean isCombinedViolation = !result1.isFulfilled() && !result2.isFulfilled();

            return createEvaluationResult(result1, result2, isCombinedViolation);
        };
        return new DescribedPredicateEvaluator<>(orPredicateEvaluator, description + " or " + other.description);
    }


    /**
     * Combines this predicate with another on conjunctively
     * @param other Other predicate
     * @return combined predicate
     */
    public DescribedPredicateEvaluator and(DescribedPredicateEvaluator other) {
        Function> andPredicateEvaluator = (T) ->
        {
            EvaluationResult result1 = this.evaluate(T);
            EvaluationResult result2 = other.evaluate(T);
            boolean isCombinedViolation = !result1.isFulfilled() || !result2.isFulfilled();

            return createEvaluationResult(result1, result2, isCombinedViolation);
        };
        return new DescribedPredicateEvaluator<>(andPredicateEvaluator, description + " and " + other.description);
    }

    /**
     * Inverses this predicate.
     * @return Inversed predicate
     */
    public DescribedPredicateEvaluator inverse() {
        return new DescribedPredicateEvaluator<>(T -> predicateEvaluator.apply(T).inverse(), "not " + description);
    }

    private EvaluationResult createEvaluationResult(EvaluationResult result1, EvaluationResult result2, boolean isCombinedViolation) {
        if (isCombinedViolation) {
            String violationMessage = Stream.of(result1, result2)
                    .filter(r -> !r.isFulfilled())
                    .filter(r -> r.getMessage().isPresent())
                    .map(r -> r.getMessage().get())
                    .collect(Collectors.joining(" and "));
            return EvaluationResult.forViolation(violationMessage, result1.getEvaluatedVariable());
        } else {
            String successMessage = Stream.of(result1, result2)
                    .filter(EvaluationResult::isFulfilled)
                    .filter(r -> r.getMessage().isPresent())
                    .map(r -> r.getMessage().get())
                    .collect(Collectors.joining(" and "));
            return EvaluationResult.forSuccess(successMessage, result1.getEvaluatedVariable());
        }
    }

}