tools/signature-tools/src/signature/compare/model/subst/ViewpointAdapter.java

/*
 * Copyright (C) 2009 The Android Open Source Project
 *
 * Licensed 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 signature.compare.model.subst;

import signature.model.IArrayType;
import signature.model.IClassDefinition;
import signature.model.IClassReference;
import signature.model.IParameterizedType;
import signature.model.IPrimitiveType;
import signature.model.ITypeReference;
import signature.model.ITypeVariableDefinition;
import signature.model.ITypeVariableReference;
import signature.model.IWildcardType;
import signature.model.impl.SigClassReference;

import java.util.ArrayList;
import java.util.Collections;
import java.util.HashMap;
import java.util.HashSet;
import java.util.Iterator;
import java.util.List;
import java.util.Map;
import java.util.Set;

public class ViewpointAdapter {

    static Map<ITypeVariableDefinition, ITypeReference> createTypeMapping(
            IParameterizedType paramameterizedType,
            IClassDefinition parameterizedTypeDefinition) {
        List<ITypeVariableDefinition> typeParameters =
                parameterizedTypeDefinition.getTypeParameters();
        List<ITypeReference> actualTypeArguments = paramameterizedType
                .getTypeArguments();
        if (actualTypeArguments == null || typeParameters == null) {
            return Collections.emptyMap();
        }
        Map<ITypeVariableDefinition, ITypeReference> substitution =
                new HashMap<ITypeVariableDefinition, ITypeReference>();
        Iterator<ITypeVariableDefinition> paramsIterator = typeParameters
                .iterator();
        Iterator<ITypeReference> argumentsIterator = actualTypeArguments
                .iterator();
        while (paramsIterator.hasNext() && argumentsIterator.hasNext()) {
            substitution.put(paramsIterator.next(), argumentsIterator.next());
        }
        return substitution;
    }

    public static Set<ITypeReference> substitutedTypeReferences(
            Set<ITypeReference> original,
            Map<ITypeVariableDefinition, ITypeReference> mappings) {
        List<ITypeReference> result = new ArrayList<ITypeReference>(original);
        return new HashSet<ITypeReference>(substitutedTypeReferences(result,
                mappings));
    }

    public static List<ITypeReference> substitutedTypeReferences(
            List<ITypeReference> original,
            Map<ITypeVariableDefinition, ITypeReference> mappings) {
        List<ITypeReference> result = new ArrayList<ITypeReference>(original
                .size());
        for (ITypeReference typeReference : original) {
            result.add(substitutedTypeReference(typeReference, mappings));
        }
        return result;
    }

    public static ITypeReference substitutedTypeReference(
            ITypeReference original,
            Map<ITypeVariableDefinition, ITypeReference> mappings) {
        ITypeReference type = original;
        if (type instanceof IClassReference) {
            return new ClassReferenceProjection((IClassReference) original,
                    mappings);
        } else if (type instanceof IPrimitiveType) {
            return type;
        } else if (type instanceof IArrayType) {
            return new ArrayTypeProjection((IArrayType) type, mappings);
        } else if (type instanceof IParameterizedType) {
            return new ParameterizedTypeProjection((IParameterizedType) type,
                    mappings);
        } else if (type instanceof IWildcardType) {
            return new WildcardTypeProjection((IWildcardType) type, mappings);
        } else if (type instanceof ITypeVariableReference) {
            // here happens the substitution
            ITypeReference subst = mappings.get(((ITypeVariableReference) type)
                    .getTypeVariableDefinition());
            return subst != null ? subst : type;
        }
        throw new IllegalStateException();
    }

    public static IClassReference getReferenceTo(IClassDefinition definition) {
        return new SigClassReference(new ClassProjection(definition,
                new HashMap<ITypeVariableDefinition, ITypeReference>()));
    }
}