/*
 * 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.vxquery.compiler.rewriter.rules;

import java.util.HashMap;
import java.util.List;
import java.util.Map;

import org.apache.commons.lang3.mutable.Mutable;
import org.apache.vxquery.compiler.rewriter.rules.util.OperatorToolbox;
import org.apache.vxquery.functions.BuiltinFunctions;
import org.apache.vxquery.functions.BuiltinOperators;

import org.apache.hyracks.algebricks.common.exceptions.AlgebricksException;
import org.apache.hyracks.algebricks.core.algebra.base.ILogicalExpression;
import org.apache.hyracks.algebricks.core.algebra.base.ILogicalOperator;
import org.apache.hyracks.algebricks.core.algebra.base.IOptimizationContext;
import org.apache.hyracks.algebricks.core.algebra.base.LogicalExpressionTag;
import org.apache.hyracks.algebricks.core.algebra.expressions.AbstractFunctionCallExpression;
import org.apache.hyracks.algebricks.core.algebra.expressions.ExpressionAnnotationNoCopyImpl;
import org.apache.hyracks.algebricks.core.algebra.expressions.IExpressionAnnotation;
import org.apache.hyracks.algebricks.core.algebra.functions.AlgebricksBuiltinFunctions;
import org.apache.hyracks.algebricks.core.algebra.functions.FunctionIdentifier;
import org.apache.hyracks.algebricks.core.algebra.functions.IFunctionInfo;
import org.apache.hyracks.algebricks.core.rewriter.base.IAlgebraicRewriteRule;

/**
 * The rule searches for where the XQuery function are used in place of Algebricks builtin function.
 * The combination of the boolean XQuery function and the XQuery equivalent function are replaced with
 * the Algebricks builtin function .
 *
 * <pre>
 * Before
 * 
 *   plan__parent
 *   %OPERATOR( $v1 : xquery_expression( \@input_expression ) )
 *   plan__child
 * 
 *   where xquery_expression has a known equivalent in Algebricks,
 *     such as conditional expressions and a check for null.
 *     The expression may include the boolean function to ensure only
 *     a true or false result.
 * 
 * After
 * 
 *   plan__parent
 *   %OPERATOR( $v1 : algebricks_function( \@input_expression ) )
 *   plan__child
 * </pre>
 *
 * @author prestonc, shivanim
 */
public class ConvertToAlgebricksExpressionsRule implements IAlgebraicRewriteRule {
    final Map<FunctionIdentifier, FunctionIdentifier> ALGEBRICKS_MAP = new HashMap<FunctionIdentifier, FunctionIdentifier>();
    final Map<FunctionIdentifier, FunctionIdentifier> ALGEBRICKS_BOOL_MAP = new HashMap<FunctionIdentifier, FunctionIdentifier>();
    final static String ALGEBRICKS_CONVERSION_ANNOTATION = "ConversionToAndFromAlgebricks";

    public ConvertToAlgebricksExpressionsRule() {
        ALGEBRICKS_BOOL_MAP.put(BuiltinOperators.AND.getFunctionIdentifier(), AlgebricksBuiltinFunctions.AND);
        ALGEBRICKS_BOOL_MAP.put(BuiltinOperators.OR.getFunctionIdentifier(), AlgebricksBuiltinFunctions.OR);
        ALGEBRICKS_BOOL_MAP.put(BuiltinOperators.VALUE_EQ.getFunctionIdentifier(), AlgebricksBuiltinFunctions.EQ);
        ALGEBRICKS_BOOL_MAP.put(BuiltinOperators.VALUE_GE.getFunctionIdentifier(), AlgebricksBuiltinFunctions.GE);
        ALGEBRICKS_BOOL_MAP.put(BuiltinOperators.VALUE_GT.getFunctionIdentifier(), AlgebricksBuiltinFunctions.GT);
        ALGEBRICKS_BOOL_MAP.put(BuiltinOperators.VALUE_LE.getFunctionIdentifier(), AlgebricksBuiltinFunctions.LE);
        ALGEBRICKS_BOOL_MAP.put(BuiltinOperators.VALUE_LT.getFunctionIdentifier(), AlgebricksBuiltinFunctions.LT);
        ALGEBRICKS_BOOL_MAP.put(BuiltinOperators.VALUE_NE.getFunctionIdentifier(), AlgebricksBuiltinFunctions.NEQ);

        ALGEBRICKS_MAP.put(BuiltinFunctions.FN_EMPTY_1.getFunctionIdentifier(), AlgebricksBuiltinFunctions.IS_NULL);
        ALGEBRICKS_MAP.put(BuiltinFunctions.FN_NOT_1.getFunctionIdentifier(), AlgebricksBuiltinFunctions.NOT);
    }

    @Override
    public boolean rewritePre(Mutable<ILogicalOperator> opRef, IOptimizationContext context) throws AlgebricksException {
        return false;
    }

    @Override
    public boolean rewritePost(Mutable<ILogicalOperator> opRef, IOptimizationContext context)
            throws AlgebricksException {
        boolean modified = false;
        List<Mutable<ILogicalExpression>> expressions = OperatorToolbox.getExpressions(opRef);
        for (Mutable<ILogicalExpression> expression : expressions) {
            if (processExpression(expression, context)) {
                modified = true;
            }
        }
        return modified;
    }

    private boolean processExpression(Mutable<ILogicalExpression> search, IOptimizationContext context) {
        return checkAllFunctionExpressions(search, context);
    }

    public boolean convertFunctionToAlgebricksExpression(Mutable<ILogicalExpression> searchM,
            AbstractFunctionCallExpression functionCall, IOptimizationContext context,
            Map<FunctionIdentifier, FunctionIdentifier> map) {

        if (map.containsKey(functionCall.getFunctionIdentifier())) {
            IExpressionAnnotation annotate = new ExpressionAnnotationNoCopyImpl();
            annotate.setObject(functionCall.getFunctionIdentifier());
            FunctionIdentifier algebricksFid = map.get(functionCall.getFunctionIdentifier());
            IFunctionInfo algebricksFunction = context.getMetadataProvider().lookupFunction(algebricksFid);
            functionCall.setFunctionInfo(algebricksFunction);
            functionCall.getAnnotations().put(ALGEBRICKS_CONVERSION_ANNOTATION, annotate);
            searchM.setValue(functionCall);
            return true;
        }
        return false;
    }

    public boolean checkAllFunctionExpressions(Mutable<ILogicalExpression> search, IOptimizationContext context) {
        boolean modified = false;
        ILogicalExpression le = search.getValue();

        if (le.getExpressionTag() == LogicalExpressionTag.FUNCTION_CALL) {
            AbstractFunctionCallExpression afce = (AbstractFunctionCallExpression) le;
            if (afce.getFunctionIdentifier().equals(BuiltinFunctions.FN_BOOLEAN_1.getFunctionIdentifier())) {
                ILogicalExpression argFirst = afce.getArguments().get(0).getValue();
                if (argFirst.getExpressionTag() == LogicalExpressionTag.FUNCTION_CALL) {
                    AbstractFunctionCallExpression functionCall = (AbstractFunctionCallExpression) argFirst;
                    if (convertFunctionToAlgebricksExpression(search, functionCall, context, ALGEBRICKS_BOOL_MAP)) {
                        modified = true;
                    }
                }
            } else if (ALGEBRICKS_MAP.containsKey(afce.getFunctionIdentifier())) {
                if (convertFunctionToAlgebricksExpression(search, afce, context, ALGEBRICKS_MAP)) {
                    modified = true;
                }
            } else {
            }
            for (Mutable<ILogicalExpression> argExp : afce.getArguments()) {
                if (checkAllFunctionExpressions(argExp, context)) {
                    modified = true;
                }
            }
        }
        return modified;
    }
}