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

Interface TypeConstraints

All Known Implementing Classes:

TypeConstraintsImpl

public interface TypeConstraints

Method Summary

Methods

Modifier and Type	Method and Description
java.util.Set<JetType>	getExactBounds()
java.util.Set<JetType>	getLowerBounds()
java.util.Set<JetType>	getUpperBounds()
Variance	getVarianceOfPosition()
boolean	isEmpty()

Method Detail

getLowerBounds

@NotNull
java.util.Set<JetType> getLowerBounds()

getUpperBounds

@NotNull
java.util.Set<JetType> getUpperBounds()

getExactBounds

@NotNull
java.util.Set<JetType> getExactBounds()

getVarianceOfPosition

@NotNull
Variance getVarianceOfPosition()

isEmpty

boolean isEmpty()