org.jetbrains.kotlin.resolve.calls.inference
Class ConstraintsUtil

java.lang.Object
  org.jetbrains.kotlin.resolve.calls.inference.ConstraintsUtil

public class ConstraintsUtil
extends java.lang.Object

Constructor Summary

ConstraintsUtil()

Method Summary

static boolean	checkUpperBoundIsSatisfied(ConstraintSystem constraintSystem, TypeParameterDescriptor typeParameter, Call call, boolean substituteOtherTypeParametersInBound)
static java.lang.String	getDebugMessageForStatus(ConstraintSystemStatus status)
static TypeVariable	getFirstConflictingVariable(ConstraintSystem constraintSystem)
static java.util.Collection<TypeSubstitutor>	getSubstitutorsForConflictingParameters(ConstraintSystem constraintSystem)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ConstraintsUtil

public ConstraintsUtil()

Method Detail

getFirstConflictingVariable

@Nullable
public static TypeVariable getFirstConflictingVariable(@NotNull
                                                                ConstraintSystem constraintSystem)

getSubstitutorsForConflictingParameters

@NotNull
public static java.util.Collection<TypeSubstitutor> getSubstitutorsForConflictingParameters(@NotNull
                                                                                                    ConstraintSystem constraintSystem)

checkUpperBoundIsSatisfied

public static boolean checkUpperBoundIsSatisfied(@NotNull
                                                 ConstraintSystem constraintSystem,
                                                 @NotNull
                                                 TypeParameterDescriptor typeParameter,
                                                 @NotNull
                                                 Call call,
                                                 boolean substituteOtherTypeParametersInBound)

getDebugMessageForStatus

public static java.lang.String getDebugMessageForStatus(@NotNull
                                                        ConstraintSystemStatus status)