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

Constructors

Constructor and Description
CompositeTypeSubstitution(TypeSubstitution... inner)

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

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