org.jetbrains.kotlin.types
Class TypeSubstitution

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

Direct Known Subclasses:

CompositeTypeSubstitution, TypeSubstitutor.MapToTypeSubstitutionAdapter

public abstract class TypeSubstitution
extends java.lang.Object

Field Summary

static TypeSubstitution

EMPTY

Constructor Summary

TypeSubstitution()

Method Summary

boolean	approximateCapturedTypes()
abstract TypeProjection	get(TypeConstructor key)
boolean	isEmpty()

Methods inherited from class java.lang.Object

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

Field Detail

EMPTY

public static final TypeSubstitution EMPTY

Constructor Detail

TypeSubstitution

public TypeSubstitution()

Method Detail

get

@Nullable
public abstract TypeProjection get(TypeConstructor key)

isEmpty

public boolean isEmpty()

approximateCapturedTypes

public boolean approximateCapturedTypes()