org.jetbrains.jet.lang.types

Class DescriptorSubstitutor

java.lang.Object

org.jetbrains.jet.lang.types.DescriptorSubstitutor

public class DescriptorSubstitutor
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
DescriptorSubstitutor()

Method Summary

Methods

Modifier and Type	Method and Description
static TypeSubstitutor	createUpperBoundsSubstitutor(java.util.List<TypeParameterDescriptor> typeParameters)
static TypeSubstitutor	substituteTypeParameters(java.util.List<TypeParameterDescriptor> typeParameters, TypeSubstitutor originalSubstitutor, DeclarationDescriptor newContainingDeclaration, java.util.List<TypeParameterDescriptor> result)

Methods inherited from class java.lang.Object

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

Constructor Detail

DescriptorSubstitutor

public DescriptorSubstitutor()

Method Detail

substituteTypeParameters

@NotNull
public static TypeSubstitutor substituteTypeParameters(@NotNull
                                               java.util.List<TypeParameterDescriptor> typeParameters,
                                               @NotNull
                                               TypeSubstitutor originalSubstitutor,
                                               @NotNull
                                               DeclarationDescriptor newContainingDeclaration,
                                               @NotNull
                                               java.util.List<TypeParameterDescriptor> result)

createUpperBoundsSubstitutor

@NotNull
public static TypeSubstitutor createUpperBoundsSubstitutor(@NotNull
                                                   java.util.List<TypeParameterDescriptor> typeParameters)