org.jetbrains.jet.lang.types
Class CompositeTypeSubstitution

java.lang.Object
  org.jetbrains.jet.lang.types.CompositeTypeSubstitution

All Implemented Interfaces:

TypeSubstitution

public class CompositeTypeSubstitution
extends java.lang.Object
implements TypeSubstitution

Field Summary

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

EMPTY

Constructor Summary

CompositeTypeSubstitution(TypeSubstitution... inner)

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

CompositeTypeSubstitution

public CompositeTypeSubstitution(@NotNull
                                 TypeSubstitution... inner)

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