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	checkBoundsAreSatisfied(ConstraintSystem constraintSystem, boolean substituteOtherTypeParametersInBounds)
static boolean	checkUpperBoundIsSatisfied(ConstraintSystem constraintSystem, TypeParameterDescriptor typeParameter, boolean substituteOtherTypeParametersInBound)
static java.lang.String	getDebugMessageForStatus(ConstraintSystemStatus status)
static TypeParameterDescriptor	getFirstConflictingParameter(ConstraintSystem constraintSystem)
static JetType	getSafeValue(ConstraintSystem constraintSystem, TypeParameterDescriptor typeParameter)
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

getFirstConflictingParameter

@Nullable
public static TypeParameterDescriptor getFirstConflictingParameter(@NotNull
                                                                            ConstraintSystem constraintSystem)

getSubstitutorsForConflictingParameters

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

getSafeValue

@NotNull
public static JetType getSafeValue(@NotNull
                                           ConstraintSystem constraintSystem,
                                           @NotNull
                                           TypeParameterDescriptor typeParameter)

checkUpperBoundIsSatisfied

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

checkBoundsAreSatisfied

public static boolean checkBoundsAreSatisfied(@NotNull
                                              ConstraintSystem constraintSystem,
                                              boolean substituteOtherTypeParametersInBounds)

getDebugMessageForStatus

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