Search in sources :

Example 6 with ListNode

use of org.kie.dmn.feel.lang.ast.ListNode in project drools by kiegroup.

the class ASTBuilderVisitor method visitQuantExprEvery.

@Override
public BaseNode visitQuantExprEvery(FEEL_1_1Parser.QuantExprEveryContext ctx) {
    ListNode list = (ListNode) visit(ctx.iterationContexts());
    BaseNode expr = visit(ctx.expression());
    return ASTBuilderFactory.newQuantifiedExpression(ctx, QuantifiedExpressionNode.Quantifier.EVERY, list, expr);
}
Also used : BaseNode(org.kie.dmn.feel.lang.ast.BaseNode) ListNode(org.kie.dmn.feel.lang.ast.ListNode)

Example 7 with ListNode

use of org.kie.dmn.feel.lang.ast.ListNode in project drools by kiegroup.

the class ASTBuilderVisitor method visitFunctionDefinition.

@Override
public BaseNode visitFunctionDefinition(FEEL_1_1Parser.FunctionDefinitionContext ctx) {
    ListNode parameters = null;
    if (ctx.formalParameters() != null) {
        parameters = (ListNode) visit(ctx.formalParameters());
    }
    boolean external = ctx.external != null;
    BaseNode body = visit(ctx.body);
    return ASTBuilderFactory.newFunctionDefinition(ctx, parameters, external, body);
}
Also used : BaseNode(org.kie.dmn.feel.lang.ast.BaseNode) ListNode(org.kie.dmn.feel.lang.ast.ListNode)

Example 8 with ListNode

use of org.kie.dmn.feel.lang.ast.ListNode in project drools by kiegroup.

the class ASTBuilderVisitor method visitQuantExprSome.

@Override
public BaseNode visitQuantExprSome(FEEL_1_1Parser.QuantExprSomeContext ctx) {
    ListNode list = (ListNode) visit(ctx.iterationContexts());
    BaseNode expr = visit(ctx.expression());
    return ASTBuilderFactory.newQuantifiedExpression(ctx, QuantifiedExpressionNode.Quantifier.SOME, list, expr);
}
Also used : BaseNode(org.kie.dmn.feel.lang.ast.BaseNode) ListNode(org.kie.dmn.feel.lang.ast.ListNode)

Example 9 with ListNode

use of org.kie.dmn.feel.lang.ast.ListNode in project drools by kiegroup.

the class FEELParserTest method testInUnaryTestList.

@Test
public void testInUnaryTestList() {
    String inputExpression = "x ** y in ( <=1000, >t, null, (2000..z[, ]z..2000], [(10+5)..(a*b)) )";
    BaseNode inNode = parse(inputExpression);
    assertThat(inNode, is(instanceOf(InNode.class)));
    assertThat(inNode.getResultType(), is(BuiltInType.BOOLEAN));
    assertThat(inNode.getText(), is(inputExpression));
    InNode in = (InNode) inNode;
    assertThat(in.getValue(), is(instanceOf(InfixOpNode.class)));
    assertThat(in.getValue().getText(), is("x ** y"));
    assertThat(in.getExprs(), is(instanceOf(ListNode.class)));
    assertThat(in.getExprs().getText(), is("<=1000, >t, null, (2000..z[, ]z..2000], [(10+5)..(a*b))"));
    ListNode list = (ListNode) in.getExprs();
    assertThat(list.getElements().get(0), is(instanceOf(UnaryTestNode.class)));
    assertThat(list.getElements().get(0).getText(), is("<=1000"));
    assertThat(list.getElements().get(1), is(instanceOf(UnaryTestNode.class)));
    assertThat(list.getElements().get(1).getText(), is(">t"));
    assertThat(list.getElements().get(2), is(instanceOf(NullNode.class)));
    assertThat(list.getElements().get(2).getText(), is("null"));
    assertThat(list.getElements().get(3), is(instanceOf(RangeNode.class)));
    RangeNode interval = (RangeNode) list.getElements().get(3);
    assertThat(interval.getText(), is("(2000..z["));
    assertThat(interval.getLowerBound(), is(RangeNode.IntervalBoundary.OPEN));
    assertThat(interval.getUpperBound(), is(RangeNode.IntervalBoundary.OPEN));
    assertThat(interval.getStart(), is(instanceOf(NumberNode.class)));
    assertThat(interval.getEnd(), is(instanceOf(NameRefNode.class)));
    assertThat(list.getElements().get(4), is(instanceOf(RangeNode.class)));
    interval = (RangeNode) list.getElements().get(4);
    assertThat(interval.getText(), is("]z..2000]"));
    assertThat(interval.getLowerBound(), is(RangeNode.IntervalBoundary.OPEN));
    assertThat(interval.getUpperBound(), is(RangeNode.IntervalBoundary.CLOSED));
    assertThat(interval.getStart(), is(instanceOf(NameRefNode.class)));
    assertThat(interval.getEnd(), is(instanceOf(NumberNode.class)));
    assertThat(list.getElements().get(5), is(instanceOf(RangeNode.class)));
    interval = (RangeNode) list.getElements().get(5);
    assertThat(interval.getText(), is("[(10+5)..(a*b))"));
    assertThat(interval.getLowerBound(), is(RangeNode.IntervalBoundary.CLOSED));
    assertThat(interval.getUpperBound(), is(RangeNode.IntervalBoundary.OPEN));
    assertThat(interval.getStart(), is(instanceOf(InfixOpNode.class)));
    assertThat(interval.getEnd(), is(instanceOf(InfixOpNode.class)));
}
Also used : InNode(org.kie.dmn.feel.lang.ast.InNode) BaseNode(org.kie.dmn.feel.lang.ast.BaseNode) ListNode(org.kie.dmn.feel.lang.ast.ListNode) RangeNode(org.kie.dmn.feel.lang.ast.RangeNode) Test(org.junit.Test)

Example 10 with ListNode

use of org.kie.dmn.feel.lang.ast.ListNode in project drools by kiegroup.

the class FEELImpl method evaluateUnaryTests.

@Override
public List<UnaryTest> evaluateUnaryTests(String expression, Map<String, Type> variableTypes) {
    // DMN defines a special case where, unless the expressions are unary tests
    // or ranges, they need to be converted into an equality test unary expression.
    // This way, we have to compile and check the low level AST nodes to properly
    // deal with this case
    CompilerContext ctx = newCompilerContext();
    for (Map.Entry<String, Type> e : variableTypes.entrySet()) {
        ctx.addInputVariableType(e.getKey(), e.getValue());
    }
    CompiledExpressionImpl compiledExpression = (CompiledExpressionImpl) compileExpressionList(expression, ctx);
    if (compiledExpression != null) {
        ListNode listNode = (ListNode) compiledExpression.getExpression();
        List<BaseNode> tests = new ArrayList<>();
        for (BaseNode o : listNode.getElements()) {
            if (o == null) {
                // not much we can do, so just skip it. Error was reported somewhere else
                continue;
            } else if (o instanceof UnaryTestNode || o instanceof DashNode) {
                tests.add(o);
            } else if (o instanceof RangeNode || o instanceof ListNode) {
                tests.add(new UnaryTestNode("in", o));
            } else {
                tests.add(new UnaryTestNode("=", o));
            }
        }
        listNode.setElements(tests);
        compiledExpression.setExpression(listNode);
        // now we can evaluate the expression to build the list of unary tests
        List<UnaryTest> uts = (List<UnaryTest>) evaluate(compiledExpression, FEELImpl.EMPTY_INPUT);
        return uts;
    }
    return Collections.emptyList();
}
Also used : UnaryTestNode(org.kie.dmn.feel.lang.ast.UnaryTestNode) CompilerContext(org.kie.dmn.feel.lang.CompilerContext) BaseNode(org.kie.dmn.feel.lang.ast.BaseNode) ArrayList(java.util.ArrayList) ListNode(org.kie.dmn.feel.lang.ast.ListNode) UnaryTest(org.kie.dmn.feel.runtime.UnaryTest) Type(org.kie.dmn.feel.lang.Type) ArrayList(java.util.ArrayList) List(java.util.List) DashNode(org.kie.dmn.feel.lang.ast.DashNode) HashMap(java.util.HashMap) Map(java.util.Map) RangeNode(org.kie.dmn.feel.lang.ast.RangeNode)

Aggregations

BaseNode (org.kie.dmn.feel.lang.ast.BaseNode)12 ListNode (org.kie.dmn.feel.lang.ast.ListNode)12 Test (org.junit.Test)5 InNode (org.kie.dmn.feel.lang.ast.InNode)2 RangeNode (org.kie.dmn.feel.lang.ast.RangeNode)2 ArrayList (java.util.ArrayList)1 HashMap (java.util.HashMap)1 List (java.util.List)1 Map (java.util.Map)1 CompilerContext (org.kie.dmn.feel.lang.CompilerContext)1 Type (org.kie.dmn.feel.lang.Type)1 DashNode (org.kie.dmn.feel.lang.ast.DashNode)1 FunctionInvocationNode (org.kie.dmn.feel.lang.ast.FunctionInvocationNode)1 NamedParameterNode (org.kie.dmn.feel.lang.ast.NamedParameterNode)1 UnaryTestNode (org.kie.dmn.feel.lang.ast.UnaryTestNode)1 UnaryTest (org.kie.dmn.feel.runtime.UnaryTest)1