com.gs.dmn.runtime.interpreter.AllowedValuesConverter Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of jdmn-core Show documentation
There is a newer version: 8.7.3
/*
 * Copyright 2016 Goldman Sachs.
 *
 * 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 com.gs.dmn.runtime.interpreter;

import com.gs.dmn.context.DMNContext;
import com.gs.dmn.el.analysis.semantics.type.ConstraintType;
import com.gs.dmn.el.analysis.semantics.type.Type;
import com.gs.dmn.el.analysis.syntax.ast.expression.Expression;
import com.gs.dmn.el.interpreter.ELInterpreter;
import com.gs.dmn.feel.analysis.semantics.type.CompositeDataType;
import com.gs.dmn.feel.analysis.semantics.type.ListType;
import com.gs.dmn.runtime.Context;
import com.gs.dmn.runtime.DMNRuntimeException;
import com.gs.dmn.transformation.basic.BasicDMNToNativeTransformer;

import java.util.List;
import java.util.Set;

import static com.gs.dmn.context.DMNContext.INPUT_ENTRY_PLACE_HOLDER;

public class AllowedValuesConverter {
    static Object validateConstraint(Object value, Type expectedType, ELInterpreter elInterpreter, BasicDMNToNativeTransformer dmnTransformer) {
        if (value == null) {
            return null;
        }
        if (expectedType instanceof ConstraintType) {
            return checkConstraint(value, expectedType, elInterpreter, dmnTransformer) ? value : null;
        } else if (expectedType instanceof ListType) {
            Type expectedElementType = ((ListType) expectedType).getElementType();
            if (value instanceof List) {
                for (Object element: (List) value) {
                    boolean validElement = checkConstraint(element, expectedElementType, elInterpreter, dmnTransformer);
                    if (!validElement) {
                        return null;
                    }
                }
            }
            return value;
        } else if (expectedType instanceof CompositeDataType) {
            Set members = ((CompositeDataType) expectedType).getMembers();
            for (String member: members) {
                Type expectedMemeberType = ((CompositeDataType) expectedType).getMemberType(member);
                if (value instanceof Context) {
                    Object memberValue = ((Context) value).get(member);
                    boolean validMember =  checkConstraint(memberValue, expectedMemeberType, elInterpreter, dmnTransformer);
                    if (!validMember) {
                        return null;
                    }
                }
            }
            return value;
        } else {
            return value;
        }
    }

    static boolean checkConstraint(Object value, Type expectedType, ELInterpreter elInterpreter, BasicDMNToNativeTransformer dmnTransformer) {
        if (value == null) {
            return true;
        }
        if (expectedType instanceof ConstraintType) {
            return evaluateConstraint(value, expectedType, elInterpreter, dmnTransformer);
        } else if (expectedType instanceof ListType) {
            Type expectedElementType = ((ListType) expectedType).getElementType();
            if (value instanceof List) {
                for (Object element: (List) value) {
                    boolean res = checkConstraint(element, expectedElementType, elInterpreter, dmnTransformer);
                    if (!res) {
                        return false;
                    }
                }
            }
            return true;
        } else if (expectedType instanceof CompositeDataType) {
            Set members = ((CompositeDataType) expectedType).getMembers();
            for (String member: members) {
                Type expectedMemeberType = ((CompositeDataType) expectedType).getMemberType(member);
                if (value instanceof Context) {
                    Object memberValue = ((Context) value).get(member);
                    boolean res = checkConstraint(memberValue, expectedMemeberType, elInterpreter, dmnTransformer);
                    if (!res) {
                        return false;
                    }
                }
            }
            return true;
        } else {
            return true;
        }
    }

    private static boolean evaluateConstraint(Object value, Type expectedType, ELInterpreter elInterpreter, BasicDMNToNativeTransformer dmnTransformer) {
        String name = "_input";
        DMNContext inputContext = dmnTransformer.makeLocalContext(dmnTransformer.makeBuiltInContext());
        inputContext.addDeclaration(dmnTransformer.getEnvironmentFactory().makeVariableDeclaration(name, expectedType));
        Expression inputExpression = elInterpreter.analyzeExpression(name, inputContext);

        DMNContext constraintContext = dmnTransformer.makeUnaryTestContext(inputExpression, inputContext);
        constraintContext.bind(INPUT_ENTRY_PLACE_HOLDER, value);
        String unaryTests = ((ConstraintType) expectedType).getUnaryTests();
        Result result = elInterpreter.evaluateUnaryTests(unaryTests, constraintContext);
        Object resultValue = Result.value(result);
        if (resultValue instanceof Boolean) {
            return (Boolean) resultValue;
        } else {
            throw new DMNRuntimeException(String.format("Unary tests '%s' evaluated to '%s', expected boolean", unaryTests, resultValue));
        }
    }
}