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

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

All Implemented Interfaces:

BoundsOwner

public class TypeValue
extends java.lang.Object
implements BoundsOwner

Constructor Summary

TypeValue(JetType knownType)

TypeValue(TypeParameterDescriptor typeParameterDescriptor, Variance positionVariance)

Method Summary

void	addLowerBound(TypeValue bound)
void	addUpperBound(TypeValue bound)
java.util.Set<TypeValue>	getLowerBounds()
JetType	getOriginalType()
Variance	getPositionVariance()
JetType	getType()
TypeParameterDescriptor	getTypeParameterDescriptor()
java.util.Set<TypeValue>	getUpperBounds()
boolean	hasValue()
boolean	isKnown()
void	setValue(JetType value)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeValue

public TypeValue(@NotNull
                 TypeParameterDescriptor typeParameterDescriptor,
                 @NotNull
                 Variance positionVariance)

TypeValue

public TypeValue(@NotNull
                 JetType knownType)

Method Detail

isKnown

public boolean isKnown()

getTypeParameterDescriptor

public TypeParameterDescriptor getTypeParameterDescriptor()

getPositionVariance

@NotNull
public Variance getPositionVariance()

getUpperBounds

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

Specified by:

getUpperBounds in interface BoundsOwner

getLowerBounds

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

Specified by:

getLowerBounds in interface BoundsOwner

getType

@NotNull
public JetType getType()

getOriginalType

@NotNull
public JetType getOriginalType()

addUpperBound

public void addUpperBound(@NotNull
                          TypeValue bound)

addLowerBound

public void addLowerBound(@NotNull
                          TypeValue bound)

setValue

public void setValue(@NotNull
                     JetType value)

hasValue

public boolean hasValue()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object