org.jetbrains.jet.lang.resolve.calls.inference
Class ConstraintsUtil

java.lang.Object
  org.jetbrains.jet.lang.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 TypeParameterDescriptor	getFirstConflictingParameter(ConstraintSystem constraintSystem)
static JetType	getSafeValue(ConstraintSystem constraintSystem, TypeParameterDescriptor typeParameter)
static java.util.Collection<TypeSubstitutor>	getSubstitutorsForConflictingParameters(ConstraintSystem constraintSystem)
static JetType	getValue(TypeConstraints typeConstraints)
static java.util.Set<JetType>	getValues(TypeConstraints typeConstraints)

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

getValues

@NotNull
public static java.util.Set<JetType> getValues(@Nullable
                                                       TypeConstraints typeConstraints)

getValue

@Nullable
public static JetType getValue(@Nullable
                                        TypeConstraints typeConstraints)

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)