/*
 * Licensed to the Apache Software Foundation (ASF) under one
 * or more contributor license agreements.  See the NOTICE file
 * distributed with this work for additional information
 * regarding copyright ownership.  The ASF licenses this file
 * to you 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 org.apache.jena.sparql.algebra.optimize;

import static org.apache.jena.sparql.expr.NodeValue.FALSE;
import static org.apache.jena.sparql.expr.NodeValue.TRUE;

import org.apache.jena.sparql.ARQInternalErrorException;
import org.apache.jena.sparql.algebra.Op;
import org.apache.jena.sparql.algebra.TransformCopy;
import org.apache.jena.sparql.algebra.op.OpFilter;
import org.apache.jena.sparql.algebra.op.OpLeftJoin;
import org.apache.jena.sparql.expr.*;

public class TransformExpandOneOf extends TransformCopy
{
    public TransformExpandOneOf() {}
    
    // Expressions to expand can be in two places: OpFilter and the expr of OpLeftJoin. 
    
    @Override
    public Op transform(OpFilter opFilter, Op subOp) {
        ExprList exprList = opFilter.getExprs();
        ExprList exprList2 = process(exprList);
        if ( exprList2 == null )
            return super.transform(opFilter, subOp);
        Op opFilter2 = OpFilter.filterBy(exprList2, subOp);
        return opFilter2;
    }

    @Override
    public Op transform(OpLeftJoin opLeftJoin, Op opLeft, Op opRight) {
        ExprList exprList = opLeftJoin.getExprs();
        if ( exprList == null )
            return opLeftJoin;
        ExprList exprList2 = process(exprList);
        if ( exprList2 == null )
            return opLeftJoin;
        return OpLeftJoin.create(opLeft, opRight, exprList2);
    }

    private static ExprList process(ExprList exprList) {
        if ( !interesting(exprList) )
            return null;
        return expand(exprList);
    }
    
    /** Prescan to see if anything to consider */ 
    private static boolean interesting(ExprList exprList) {
        return exprList.getList().stream().anyMatch((e) -> processable(e));
    }

    /** Check whether the expression is to be processed here */ 
    private static boolean processable(Expr e) {
        return (e instanceof E_OneOfBase) && ((E_OneOfBase)e).getRHS().size() < REWRITE_LIMIT;
    }

    /*package*/ static int REWRITE_LIMIT = 250;

    private static ExprList expand(ExprList exprList) {
        ExprList exprList2 = new ExprList() ;
        
        for ( Expr e : exprList ) {

            if ( !processable(e) ) {
                exprList2.add(e);
                continue;
            }

            if ( e instanceof E_OneOf ) {
                // ?x IN (a,b) ===> (?x == a) || (?x == b)
                // ?x IN () ===> false

                E_OneOf exprOneOf = (E_OneOf)e ;
                if ( exprOneOf.getRHS().size() > REWRITE_LIMIT )
                    // Too large - leave it alone.
                    continue;
                Expr x = exprOneOf.getLHS();
                Expr disjunction = null;
                // if ?x IN () then it's false regardless.
                for ( Expr sub : exprOneOf.getRHS() ) {
                    Expr e2 = new E_Equals(x, sub);
                    if ( disjunction == null )
                        disjunction = e2;
                    else
                        disjunction = new E_LogicalOr(disjunction, e2);
                }

                if ( disjunction == null )
                    exprList2.add(FALSE);
                else
                    exprList2.add(disjunction);
                continue;
            }
            if ( e instanceof E_NotOneOf ) {
                // ?x NOT IN (a,b) ===> (?x != a) && (?x != b)
                // ?x NOT IN () ===> TRUE (or nothing)
                E_NotOneOf exprNotOneOf = (E_NotOneOf)e;
                if ( exprNotOneOf.getRHS().size() > REWRITE_LIMIT )
                    // Too large - leave it alone.
                    continue ;
                Expr x = exprNotOneOf.getLHS() ;
                if ( exprNotOneOf.getRHS().size() == 0 )
                    exprList2.add(TRUE) ;
                else
                {
                    for ( Expr sub : exprNotOneOf.getRHS() )
                        exprList2.add(new E_NotEquals(x, sub)) ;
                }
                continue ;
            }
            throw new ARQInternalErrorException() ;
        }

        return exprList2 ;
    }
}