/*
 * Copyright (c) 2011, 2012, Oracle and/or its affiliates. All rights reserved.
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
 *
 * This code is free software; you can redistribute it and/or modify it
 * under the terms of the GNU General Public License version 2 only, as
 * published by the Free Software Foundation.  Oracle designates this
 * particular file as subject to the "Classpath" exception as provided
 * by Oracle in the LICENSE file that accompanied this code.
 *
 * This code is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
 * version 2 for more details (a copy is included in the LICENSE file that
 * accompanied this code).
 *
 * You should have received a copy of the GNU General Public License version
 * 2 along with this work; if not, write to the Free Software Foundation,
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
 *
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
 * or visit www.oracle.com if you need additional information or have any
 * questions.
 */
package com.apple.internal.jobjc.generator.utils;

import java.util.Arrays;
import java.util.Collection;
import java.util.HashMap;
import java.util.HashSet;
import java.util.List;
import java.util.Map;
import java.util.Set;

import com.apple.internal.jobjc.generator.model.types.NType;
import com.apple.internal.jobjc.generator.model.types.NType.NArray;
import com.apple.internal.jobjc.generator.model.types.NType.NBitfield;
import com.apple.internal.jobjc.generator.model.types.NType.NClass;
import com.apple.internal.jobjc.generator.model.types.NType.NField;
import com.apple.internal.jobjc.generator.model.types.NType.NObject;
import com.apple.internal.jobjc.generator.model.types.NType.NPointer;
import com.apple.internal.jobjc.generator.model.types.NType.NPrimitive;
import com.apple.internal.jobjc.generator.model.types.NType.NSelector;
import com.apple.internal.jobjc.generator.model.types.NType.NStruct;
import com.apple.internal.jobjc.generator.model.types.NType.NUnion;
import com.apple.internal.jobjc.generator.model.types.NType.NUnknown;
import com.apple.internal.jobjc.generator.model.types.NType.NVoid;
import com.apple.internal.jobjc.generator.utils.Fp.Dispatcher;
import com.apple.internal.jobjc.generator.utils.Fp.Map2;
import com.apple.jobjc.JObjCRuntime.Width;

/**
 * Merges two NTypes. All merge does is fill out missing information. It doesn't choose the larger primitive when there's a conflict or anything like that.
 *
 * Example:
 *<pre>
 * a: {_NSRect={_NSPoint="x"f"y"f}"size"{_NSSize=ff}}
 * b: {_NSRect="origin"{_NSPoint=ff}{_NSSize="width"f"height"f}}
 * c: {_NSRect="origin"{_NSPoint="x"f"y"f}"size"{_NSSize="width"f"height"f}}
 *</pre>
 */
public class NTypeMerger {
    public static class MergeFailed extends RuntimeException{
        public MergeFailed(String reason, Object a, Object b){
            super(reason
                    + " -- (" + a.getClass().getSimpleName() + ") a: " + a
                    + " -- (" + b.getClass().getSimpleName() + ") b: " + b);
        }
    }

    private static NTypeMerger INST = new NTypeMerger();
    public static NTypeMerger inst(){ return INST; }

    /**
     * Merge a and b.
     */
    public NType merge(NType a, NType b) throws MergeFailed{
        if(a!=null && b==null) return a;
        if(a==null && b!=null) return b;
        if(a==null && b==null) return null;
        if(a.equals(b)) return a;
        try {
            return Dispatcher.dispatch(getClass(), this, "accept", a, b);
        } catch (NoSuchMethodException e) {
            throw new MergeFailed("a and b are of different NType", a, b);
        }
    }

    private static Collection<String> emptyNames = Arrays.asList(null, "", "?");
    /**
     * Merge two identifiers:
     *  - If they're equal, return one.
     *  - If one is null, "", "?", return the other one.
     *  - else throw MergeFailed
     *
     *  Exception: Due to a bug in BridgeSupport, this will return
     *  a (the first arg) instead of throwing MergeFailed.
     */
    public String mergeName(String a, String b) throws MergeFailed{
        if(QA.bothNullOrEquals(a, b)) return a;
        if(emptyNames.contains(a) && !emptyNames.contains(b)) return b;
        if(emptyNames.contains(b) && !emptyNames.contains(a)) return a;
        return a; // HACK BS bug #5954843
//        throw new MergeFailed("a and b have different names");
    }

    private Map mergeMap(Map a, Map b) throws MergeFailed{
        if(a.equals(b)) return a;
        Map ret = new HashMap();
        Set keys = new HashSet(Fp.append(a.keySet(), b.keySet()));
        for(Object key : keys){
            Object ai = a.get(key);
            Object bi = b.get(key);
            if(ai != null && bi == null) ret.put(key, ai);
            else if(ai == null && bi != null) ret.put(key, bi);
            else if(ai.equals(bi)) ret.put(key, ai);
            else throw new MergeFailed("a and b are different", ai, bi);
        }
        return ret;
    }

    public Map<Width,Integer> mergeSizeOf(Map<Width,Integer> a, Map<Width,Integer> b) throws MergeFailed{
        return mergeMap(a, b);
    }

    public Map<Width,Integer> mergeOffset(Map<Width,Integer> a, Map<Width,Integer> b) throws MergeFailed{
        return mergeMap(a, b);
    }

    //

    private void mustEqual(NType a, NType b){
        if(!a.equals(b)) throw new MergeFailed("a must equal b", a, b);
    }

    protected NType accept(NBitfield a, NBitfield b) {
        mustEqual(a, b);
        return a;
    }

    protected NType accept(NPrimitive a, NPrimitive b) {
        mustEqual(a, b);
        return a;
    }

    protected NType accept(NPointer a, NPointer b) {
        return new NPointer(NTypeMerger.inst().merge(a.subject, b.subject));
    }

    // Merge structs

    protected NField mergeNFields(NField a, NField b) {
        return new NField(mergeName(a.name, b.name),
                NTypeMerger.inst().merge(a.type, b.type),
                mergeOffset(a.offset, b.offset));
    }

    protected NStruct mergeStructs(NStruct a, NStruct b){
        if(a.fields.size() != b.fields.size())
            throw new MergeFailed("a and b have different numbers of fields", a, b);

        List<NField> fields = Fp.map2(new Map2<NField,NField,NField>(){
            public NField apply(NField f32, NField f64) { return mergeNFields(f32, f64); }
        }, a.fields, b.fields);

        return new NStruct(mergeName(a.name, b.name),
                fields, mergeSizeOf(a.sizeof, b.sizeof));
    }

    protected NType accept(NStruct a, NStruct b) {
        return mergeStructs(a, b);
    }

    protected NType accept(NUnion a, NUnion b) {
        NStruct nst = mergeStructs(a, b);
        return new NUnion(nst.name, Fp.map(NUnion.zeroOffsets, nst.fields), nst.sizeof);
    }

    protected NType accept(NArray a, NArray b) {
        if(a.length != b.length)
            throw new MergeFailed("a and b are of different sizes", a, b);
        return new NArray(a.length, NTypeMerger.inst().merge(a.type, b.type));
    }

    protected NType accept(NVoid a, NVoid b) { return NVoid.inst(); }
    protected NType accept(NObject a, NObject b) { return NObject.inst(); }
    protected NType accept(NClass a, NClass b) { return NClass.inst(); }
    protected NType accept(NSelector a, NSelector b) { return NSelector.inst(); }
    protected NType accept(NUnknown a, NUnknown b) { return NUnknown.inst(); }
}