package edu.uci.ics.asterix.om.typecomputer.impl;

import java.util.Iterator;

import org.apache.commons.lang3.mutable.Mutable;

import edu.uci.ics.asterix.om.base.AString;
import edu.uci.ics.asterix.om.constants.AsterixConstantValue;
import edu.uci.ics.asterix.om.typecomputer.base.IResultTypeComputer;
import edu.uci.ics.asterix.om.typecomputer.base.TypeComputerUtilities;
import edu.uci.ics.asterix.om.types.ARecordType;
import edu.uci.ics.asterix.om.types.IAType;
import edu.uci.ics.hyracks.algebricks.common.exceptions.AlgebricksException;
import edu.uci.ics.hyracks.algebricks.core.algebra.base.ILogicalExpression;
import edu.uci.ics.hyracks.algebricks.core.algebra.base.LogicalExpressionTag;
import edu.uci.ics.hyracks.algebricks.core.algebra.expressions.AbstractFunctionCallExpression;
import edu.uci.ics.hyracks.algebricks.core.algebra.expressions.ConstantExpression;
import edu.uci.ics.hyracks.algebricks.core.algebra.expressions.IVariableTypeEnvironment;
import edu.uci.ics.hyracks.algebricks.core.algebra.metadata.IMetadataProvider;

public class RecordConstructorResultType implements IResultTypeComputer {

    private boolean isOpen;

    public static final RecordConstructorResultType CLOSED_INSTANCE = new RecordConstructorResultType(false);
    public static final RecordConstructorResultType OPEN_INSTANCE = new RecordConstructorResultType(true);

    private RecordConstructorResultType(boolean open) {
        this.isOpen = open;
    }

    @Override
    public IAType computeType(ILogicalExpression expression, IVariableTypeEnvironment env,
            IMetadataProvider<?, ?> metadataProvider) throws AlgebricksException {
        AbstractFunctionCallExpression f = (AbstractFunctionCallExpression) expression;
        IAType reqType = TypeComputerUtilities.getRequiredType(f);
        if (reqType != null)
            return reqType;
        int n = f.getArguments().size() / 2;
        String[] fieldNames = new String[n];
        IAType[] fieldTypes = new IAType[n];
        int i = 0;
        Iterator<Mutable<ILogicalExpression>> argIter = f.getArguments().iterator();
        while (argIter.hasNext()) {
            ILogicalExpression e1 = argIter.next().getValue();
            if (e1.getExpressionTag() == LogicalExpressionTag.CONSTANT) {
                ConstantExpression nameExpr = (ConstantExpression) e1;
                if (!(nameExpr.getValue() instanceof AsterixConstantValue)) {
                    throw new AlgebricksException("Expecting a string and found " + nameExpr.getValue() + " instead.");
                }
                fieldNames[i] = ((AString) ((AsterixConstantValue) nameExpr.getValue()).getObject()).getStringValue();
            }
            ILogicalExpression e2 = argIter.next().getValue();
            try {
                fieldTypes[i] = (IAType) env.getType(e2);
            } catch (AlgebricksException e) {
                throw new AlgebricksException(e);
            }
            i++;
        }
        return new ARecordType(null, fieldNames, fieldTypes, isOpen);
    }
}