/*
* Copyright 2010-2015 JetBrains s.r.o.
*
* 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 org.jetbrains.kotlin.resolve.calls.inference;
import com.google.common.collect.Lists;
import com.google.common.collect.Maps;
import kotlin.collections.CollectionsKt;
import org.jetbrains.annotations.NotNull;
import org.jetbrains.annotations.Nullable;
import org.jetbrains.kotlin.descriptors.TypeParameterDescriptor;
import org.jetbrains.kotlin.psi.Call;
import org.jetbrains.kotlin.types.*;
import org.jetbrains.kotlin.types.checker.KotlinTypeChecker;
import java.lang.reflect.InvocationTargetException;
import java.lang.reflect.Method;
import java.util.*;
public class ConstraintsUtil {
@Nullable
public static TypeVariable getFirstConflictingVariable(@NotNull ConstraintSystem constraintSystem) {
for (TypeVariable typeVariable : constraintSystem.getTypeVariables()) {
TypeBounds constraints = constraintSystem.getTypeBounds(typeVariable);
if (constraints.getValues().size() > 1) {
return typeVariable;
}
}
return null;
}
@NotNull
public static Collection<TypeSubstitutor> getSubstitutorsForConflictingParameters(@NotNull ConstraintSystem constraintSystem) {
TypeVariable firstConflictingVariable = getFirstConflictingVariable(constraintSystem);
if (firstConflictingVariable == null) return Collections.emptyList();
TypeParameterDescriptor firstConflictingParameter = firstConflictingVariable.getOriginalTypeParameter();
Collection<KotlinType> conflictingTypes = constraintSystem.getTypeBounds(firstConflictingVariable).getValues();
List<Map<TypeConstructor, TypeProjection>> substitutionContexts = Lists.newArrayList();
for (KotlinType type : conflictingTypes) {
Map<TypeConstructor, TypeProjection> context = Maps.newLinkedHashMap();
context.put(firstConflictingParameter.getTypeConstructor(), new TypeProjectionImpl(type));
substitutionContexts.add(context);
}
for (TypeVariable typeVariable : constraintSystem.getTypeVariables()) {
if (typeVariable == firstConflictingVariable) continue;
KotlinType safeType = getSafeValue(constraintSystem, typeVariable);
for (Map<TypeConstructor, TypeProjection> context : substitutionContexts) {
TypeProjection typeProjection = new TypeProjectionImpl(safeType);
context.put(typeVariable.getOriginalTypeParameter().getTypeConstructor(), typeProjection);
}
}
Collection<TypeSubstitutor> typeSubstitutors = new ArrayList<>(substitutionContexts.size());
for (Map<TypeConstructor, TypeProjection> context : substitutionContexts) {
typeSubstitutors.add(TypeSubstitutor.create(context));
}
return typeSubstitutors;
}
@NotNull
private static KotlinType getSafeValue(@NotNull ConstraintSystem constraintSystem, @NotNull TypeVariable typeVariable) {
KotlinType type = constraintSystem.getTypeBounds(typeVariable).getValue();
if (type != null) {
return type;
}
//todo may be error type
return TypeIntersector.getUpperBoundsAsType(typeVariable.getOriginalTypeParameter());
}
public static boolean checkUpperBoundIsSatisfied(
@NotNull ConstraintSystem constraintSystem,
@NotNull TypeParameterDescriptor typeParameter,
@NotNull Call call,
boolean substituteOtherTypeParametersInBound
) {
TypeVariable typeVariable = ConstraintSystemUtilsKt.descriptorToVariable(
constraintSystem, TypeVariableKt.toHandle(call), typeParameter
);
KotlinType type = constraintSystem.getTypeBounds(typeVariable).getValue();
if (type == null) return true;
List<TypeParameterDescriptor> typeParametersUsedInSystem =
CollectionsKt.map(constraintSystem.getTypeVariables(), TypeVariable::getOriginalTypeParameter);
for (KotlinType upperBound : typeParameter.getUpperBounds()) {
if (!substituteOtherTypeParametersInBound &&
TypeUtils.dependsOnTypeParameters(upperBound, typeParametersUsedInSystem)) {
continue;
}
KotlinType substitutedUpperBound = constraintSystem.getResultingSubstitutor().substitute(upperBound, Variance.INVARIANT);
assert substitutedUpperBound != null : "We wanted to substitute projections as a result for " + typeParameter;
if (!KotlinTypeChecker.DEFAULT.isSubtypeOf(type, substitutedUpperBound)) {
return false;
}
}
return true;
}
public static String getDebugMessageForStatus(@NotNull ConstraintSystemStatus status) {
StringBuilder sb = new StringBuilder();
List<Method> interestingMethods = Lists.newArrayList();
for (Method method : status.getClass().getMethods()) {
String name = method.getName();
boolean isInteresting = name.startsWith("is") || name.startsWith("has") && !name.equals("hashCode");
if (method.getParameterTypes().length == 0 && isInteresting) {
interestingMethods.add(method);
}
}
interestingMethods.sort(Comparator.comparing(Method::getName));
for (Iterator<Method> iterator = interestingMethods.iterator(); iterator.hasNext(); ) {
Method method = iterator.next();
try {
sb.append("-").append(method.getName()).append(": ").append(method.invoke(status));
if (iterator.hasNext()) {
sb.append("\n");
}
}
catch (IllegalAccessException | InvocationTargetException e) {
sb.append(e.getMessage());
}
}
return sb.toString();
}
}