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

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

Method Summary

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