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

Nested Classes

Modifier and Type	Class and Description
static class	TypeConstraintsImpl.BoundKind

Constructor Summary

Constructors

Constructor and Description
TypeConstraintsImpl(Variance varianceOfPosition)

Method Summary

Methods

Modifier and Type	Method and Description
void	addBound(TypeConstraintsImpl.BoundKind boundKind, JetType type)
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