org.jetbrains.kotlin.types
Class TypeSubstitutor

java.lang.Object
  org.jetbrains.kotlin.types.TypeSubstitutor

public class TypeSubstitutor
extends java.lang.Object

Field Summary

static TypeSubstitutor

EMPTY

Constructor Summary

protected

TypeSubstitutor(TypeSubstitution substitution)

Method Summary

static Variance	combine(Variance typeParameterVariance, TypeProjection typeProjection)
static Variance	combine(Variance typeParameterVariance, Variance projectionKind)
static TypeSubstitutor	create(KotlinType context)
static TypeSubstitutor	create(TypeSubstitution substitution)
static TypeSubstitutor	createChainedSubstitutor(TypeSubstitution first, TypeSubstitution second)
TypeSubstitution	getSubstitution()
boolean	isEmpty()
KotlinType	safeSubstitute(KotlinType type, Variance howThisTypeIsUsed)
KotlinType	substitute(KotlinType type, Variance howThisTypeIsUsed)
TypeProjection	substitute(TypeProjection typeProjection)
TypeProjection	substituteWithoutApproximation(TypeProjection typeProjection)

Methods inherited from class java.lang.Object

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

Field Detail

EMPTY

public static final TypeSubstitutor EMPTY

Constructor Detail

TypeSubstitutor

protected TypeSubstitutor(@NotNull
                          TypeSubstitution substitution)

Method Detail

create

@NotNull
public static TypeSubstitutor create(@NotNull
                                             TypeSubstitution substitution)

createChainedSubstitutor

@NotNull
public static TypeSubstitutor createChainedSubstitutor(@NotNull
                                                               TypeSubstitution first,
                                                               @NotNull
                                                               TypeSubstitution second)

create

@NotNull
public static TypeSubstitutor create(@NotNull
                                             KotlinType context)

isEmpty

public boolean isEmpty()

getSubstitution

@NotNull
public TypeSubstitution getSubstitution()

safeSubstitute

@NotNull
public KotlinType safeSubstitute(@NotNull
                                         KotlinType type,
                                         @NotNull
                                         Variance howThisTypeIsUsed)

substitute

@Nullable
public KotlinType substitute(@NotNull
                                      KotlinType type,
                                      @NotNull
                                      Variance howThisTypeIsUsed)

substitute

@Nullable
public TypeProjection substitute(@NotNull
                                          TypeProjection typeProjection)

substituteWithoutApproximation

@Nullable
public TypeProjection substituteWithoutApproximation(@NotNull
                                                              TypeProjection typeProjection)

combine

@NotNull
public static Variance combine(@NotNull
                                       Variance typeParameterVariance,
                                       @NotNull
                                       TypeProjection typeProjection)

combine

@NotNull
public static Variance combine(@NotNull
                                       Variance typeParameterVariance,
                                       @NotNull
                                       Variance projectionKind)