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

Constructors

Constructor and Description
ConstraintsUtil()

Method Summary

Methods

Modifier and Type	Method and Description
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)