public class TypeValue extends java.lang.Object implements BoundsOwner
| Constructor and Description |
|---|
TypeValue(JetType knownType) |
TypeValue(TypeParameterDescriptor typeParameterDescriptor,
Variance positionVariance) |
| Modifier and Type | Method and Description |
|---|---|
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() |
public TypeValue(@NotNull TypeParameterDescriptor typeParameterDescriptor, @NotNull Variance positionVariance)
public boolean isKnown()
public TypeParameterDescriptor getTypeParameterDescriptor()
@NotNull public Variance getPositionVariance()
@NotNull public java.util.Set<TypeValue> getUpperBounds()
getUpperBounds in interface BoundsOwner@NotNull public java.util.Set<TypeValue> getLowerBounds()
getLowerBounds in interface BoundsOwner@NotNull public JetType getOriginalType()
public void addUpperBound(@NotNull TypeValue bound)
public void addLowerBound(@NotNull TypeValue bound)
public boolean hasValue()
public java.lang.String toString()
toString in class java.lang.Object