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

java.lang.Object
  org.jetbrains.jet.lang.resolve.calls.inference.TypeConstraintsImpl

All Implemented Interfaces:

TypeConstraints

public class TypeConstraintsImpl
extends java.lang.Object
implements TypeConstraints

Nested Class Summary

static class

TypeConstraintsImpl.BoundKind

Constructor Summary

TypeConstraintsImpl(Variance varianceOfPosition)

Method Summary

void	addBound(TypeConstraintsImpl.BoundKind boundKind, JetType type)
java.util.Collection<com.intellij.openapi.util.Pair<TypeConstraintsImpl.BoundKind,JetType>>	getAllBounds()
java.util.Set<JetType>	getExactBounds()
java.util.Set<JetType>	getLowerBounds()
java.util.Set<JetType>	getUpperBounds()
Variance	getVarianceOfPosition()
boolean	isEmpty()

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeConstraintsImpl

public TypeConstraintsImpl(Variance varianceOfPosition)

Method Detail

getVarianceOfPosition

@NotNull
public Variance getVarianceOfPosition()

Specified by:

getVarianceOfPosition in interface TypeConstraints

addBound

public void addBound(@NotNull
                     TypeConstraintsImpl.BoundKind boundKind,
                     @NotNull
                     JetType type)

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface TypeConstraints

getLowerBounds

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

Specified by:

getLowerBounds in interface TypeConstraints

getUpperBounds

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

Specified by:

getUpperBounds in interface TypeConstraints

getExactBounds

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

Specified by:

getExactBounds in interface TypeConstraints

getAllBounds

public java.util.Collection<com.intellij.openapi.util.Pair<TypeConstraintsImpl.BoundKind,JetType>> getAllBounds()