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

DescriptorSubstitutor()

Method Summary

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)