org.jetbrains.jet.lang.types

Class TypeSubstitutor.MapToTypeSubstitutionAdapter

java.lang.Object

org.jetbrains.jet.lang.types.TypeSubstitutor.MapToTypeSubstitutionAdapter

All Implemented Interfaces:

TypeSubstitution

Enclosing class:

TypeSubstitutor

public static class TypeSubstitutor.MapToTypeSubstitutionAdapter
extends java.lang.Object
implements TypeSubstitution

Field Summary

Fields inherited from interface org.jetbrains.jet.lang.types.TypeSubstitution

EMPTY

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
TypeProjection	get(TypeConstructor key)
boolean	isEmpty()
java.lang.String	toString()

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 interface TypeSubstitution

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface TypeSubstitution

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object