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

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

All Implemented Interfaces:

TypeBounds

public class TypeBoundsImpl
extends java.lang.Object
implements TypeBounds

Nested Class Summary

Nested classes/interfaces inherited from interface org.jetbrains.jet.lang.resolve.calls.inference.TypeBounds

TypeBounds.Bound, TypeBounds.BoundKind

Constructor Summary

TypeBoundsImpl(TypeParameterDescriptor typeVariable, Variance varianceOfPosition)

Method Summary

void	addBound(TypeBounds.BoundKind kind, JetType type, ConstraintPosition position)
TypeBoundsImpl	filter(com.intellij.openapi.util.Condition<ConstraintPosition> condition)
java.util.Collection<TypeBounds.Bound>	getBounds()
TypeParameterDescriptor	getTypeVariable()
JetType	getValue()
java.util.Collection<JetType>	getValues()
Variance	getVarianceOfPosition()
boolean	isEmpty()

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeBoundsImpl

public TypeBoundsImpl(@NotNull
                      TypeParameterDescriptor typeVariable,
                      @NotNull
                      Variance varianceOfPosition)

Method Detail

getVarianceOfPosition

@NotNull
public Variance getVarianceOfPosition()

Specified by:

getVarianceOfPosition in interface TypeBounds

addBound

public void addBound(@NotNull
                     TypeBounds.BoundKind kind,
                     @NotNull
                     JetType type,
                     @NotNull
                     ConstraintPosition position)

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface TypeBounds

getTypeVariable

@NotNull
public TypeParameterDescriptor getTypeVariable()

Specified by:

getTypeVariable in interface TypeBounds

getBounds

@NotNull
public java.util.Collection<TypeBounds.Bound> getBounds()

Specified by:

getBounds in interface TypeBounds

filter

@NotNull
public TypeBoundsImpl filter(@NotNull
                                     com.intellij.openapi.util.Condition<ConstraintPosition> condition)

getValue

@Nullable
public JetType getValue()

Specified by:

getValue in interface TypeBounds

getValues

@NotNull
public java.util.Collection<JetType> getValues()

Specified by:

getValues in interface TypeBounds