/*

 * Copyright 2005-2006 Sun Microsystems, Inc.  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.  Sun designates this

 * particular file as subject to the "Classpath" exception as provided

 * by Sun 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 Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,

 * CA 95054 USA or visit www.sun.com if you need additional information or

 * have any questions.

 */

package com.sun.codemodel.internal;

import java.util.Iterator;

import java.util.List;

import java.util.Collections;

import java.util.ArrayList;

/**

 * Represents X<Y>.

 *

 * TODO: consider separating the decl and the use.

 *

 * @author

 *     Kohsuke Kawaguchi (kohsuke.kawaguchi@sun.com)

 */

class JNarrowedClass extends JClass {

    /**

     * A generic class with type parameters.

     */

    final JClass basis;

    /**

     * Arguments to those parameters.

     */

    private final List<JClass> args;

    JNarrowedClass(JClass basis, JClass arg) {

        this(basis,Collections.singletonList(arg));

    }

    JNarrowedClass(JClass basis, List<JClass> args) {

        super(basis.owner());

        this.basis = basis;

        assert !(basis instanceof JNarrowedClass);

        this.args = args;

    }

    public JClass narrow( JClass clazz ) {

        List<JClass> newArgs = new ArrayList<JClass>(args);

        newArgs.add(clazz);

        return new JNarrowedClass(basis,newArgs);

    }

    public JClass narrow( JClass... clazz ) {

        List<JClass> newArgs = new ArrayList<JClass>(args);

        for (JClass c : clazz)

            newArgs.add(c);

        return new JNarrowedClass(basis,newArgs);

    }

    public String name() {

        StringBuffer buf = new StringBuffer();

        buf.append(basis.name());

        buf.append('<');

        boolean first = true;

        for (JClass c : args) {

            if(first)

                first = false;

            else

                buf.append(',');

            buf.append(c.name());

        }

        buf.append('>');

        return buf.toString();

    }

    public String fullName() {

        StringBuilder buf = new StringBuilder();

        buf.append(basis.fullName());

        buf.append('<');

        boolean first = true;

        for (JClass c : args) {

            if(first)

                first = false;

            else

                buf.append(',');

            buf.append(c.fullName());

        }

        buf.append('>');

        return buf.toString();

    }

    public String binaryName() {

        StringBuilder buf = new StringBuilder();

        buf.append(basis.binaryName());

        buf.append('<');

        boolean first = true;

        for (JClass c : args) {

            if(first)

                first = false;

            else

                buf.append(',');

            buf.append(c.binaryName());

        }

        buf.append('>');

        return buf.toString();

    }

    public void generate(JFormatter f) {

        f.t(basis).p('<').g(args).p(JFormatter.CLOSE_TYPE_ARGS);

    }

    @Override

    void printLink(JFormatter f) {

        basis.printLink(f);

        f.p("{@code <}");

        boolean first = true;

        for( JClass c : args ) {

            if(first)

                first = false;

            else

                f.p(',');

            c.printLink(f);

        }

        f.p("{@code >}");

    }

    public JPackage _package() {

        return basis._package();

    }

    public JClass _extends() {

        JClass base = basis._extends();

        if(base==null)  return base;

        return base.substituteParams(basis.typeParams(),args);

    }

    public Iterator<JClass> _implements() {

        return new Iterator<JClass>() {

            private final Iterator<JClass> core = basis._implements();

            public void remove() {

                core.remove();

            }

            public JClass next() {

                return core.next().substituteParams(basis.typeParams(),args);

            }

            public boolean hasNext() {

                return core.hasNext();

            }

        };

    }

    public JClass erasure() {

        return basis;

    }

    public boolean isInterface() {

        return basis.isInterface();

    }

    public boolean isAbstract() {

        return basis.isAbstract();

    }

    public boolean isArray() {

        return false;

    }

    //

    // Equality is based on value

    //

    public boolean equals(Object obj) {

        if(!(obj instanceof JNarrowedClass))   return false;

        return fullName().equals(((JClass)obj).fullName());

    }

    public int hashCode() {

        return fullName().hashCode();

    }

    protected JClass substituteParams(JTypeVar[] variables, List<JClass> bindings) {

        JClass b = basis.substituteParams(variables,bindings);

        boolean different = b!=basis;

        List<JClass> clazz = new ArrayList<JClass>(args.size());

        for( int i=0; i<clazz.size(); i++ ) {

            JClass c = args.get(i).substituteParams(variables,bindings);

            clazz.set(i,c);

            different |= c != args.get(i);

        }

        if(different)

            return new JNarrowedClass(b,clazz);

        else

            return this;

    }

    public List<JClass> getTypeParameters() {

        return args;

    }

}