org.jetbrains.kotlin.types
Class TypeSubstitutor.MapToTypeSubstitutionAdapter

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

Enclosing class:

TypeSubstitutor

public static class TypeSubstitutor.MapToTypeSubstitutionAdapter
extends TypeSubstitution

Field Summary

Fields inherited from class org.jetbrains.kotlin.types.TypeSubstitution

EMPTY

Constructor Summary

TypeSubstitutor.MapToTypeSubstitutionAdapter(java.util.Map<TypeConstructor,TypeProjection> substitutionContext)

Method Summary

TypeProjection	get(TypeConstructor key)
boolean	isEmpty()
java.lang.String	toString()

Methods inherited from class org.jetbrains.kotlin.types.TypeSubstitution

approximateCapturedTypes

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeSubstitutor.MapToTypeSubstitutionAdapter

public TypeSubstitutor.MapToTypeSubstitutionAdapter(@NotNull
                                                    java.util.Map<TypeConstructor,TypeProjection> substitutionContext)

Method Detail

get

public TypeProjection get(TypeConstructor key)

Specified by:

get in class TypeSubstitution

isEmpty

public boolean isEmpty()

Overrides:

isEmpty in class TypeSubstitution

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object