Package org.eclipse.xtext.xbase.typesystem.util

Class LocalTypeSubstitutor

java.lang.Object

org.eclipse.xtext.xbase.typesystem.references.TypeReferenceVisitorWithParameterAndResult<VarianceInfo,org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult>

org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor

public class LocalTypeSubstitutor
extends TypeReferenceVisitorWithParameterAndResult<VarianceInfo,org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult>

Constructor Summary

Constructors

Constructor	Description
LocalTypeSubstitutor(ITypeReferenceOwner owner, org.eclipse.xtext.common.types.JvmIdentifiableElement boundary)

Method Summary

Modifier and Type	Method	Description
protected org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult	doSubstituteFunctionType(FunctionTypeReference reference, FunctionTypeReference result, boolean didSubstitute)
protected org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult	doVisitArrayTypeReference(ArrayTypeReference reference, VarianceInfo varianceInfo)
protected org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult	doVisitCompoundTypeReference(CompoundTypeReference reference, VarianceInfo varianceInfo)
protected org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult	doVisitFunctionTypeReference(FunctionTypeReference reference, VarianceInfo varianceInfo)
protected org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult	doVisitInnerFunctionTypeReference(InnerFunctionTypeReference reference, VarianceInfo varianceInfo)
protected org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult	doVisitInnerTypeReference(InnerTypeReference reference, VarianceInfo varianceInfo)
protected org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult	doVisitParameterizedTypeReference(ParameterizedTypeReference reference, VarianceInfo varianceInfo)
protected org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult	doVisitTypeReference(LightweightTypeReference reference, VarianceInfo param)
protected org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult	doVisitWildcardTypeReference(WildcardTypeReference reference, VarianceInfo varianceInfo)
protected ITypeReferenceOwner	getOwner()
protected org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult	visitTypeArgument(LightweightTypeReference reference, VarianceInfo varianceInfo)
LightweightTypeReference	withoutLocalTypes(LightweightTypeReference original)

Methods inherited from class org.eclipse.xtext.xbase.typesystem.references.TypeReferenceVisitorWithParameterAndResult

doVisitAnyTypeReference, doVisitMultiTypeReference, doVisitSynonymTypeReference, doVisitUnboundTypeReference, doVisitUnknownTypeReference

Methods inherited from class java.lang.Object

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

Constructor Detail

LocalTypeSubstitutor

public LocalTypeSubstitutor(ITypeReferenceOwner owner,
                            org.eclipse.xtext.common.types.JvmIdentifiableElement boundary)

Method Detail

getOwner

protected ITypeReferenceOwner getOwner()

doVisitFunctionTypeReference

protected org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult doVisitFunctionTypeReference(FunctionTypeReference reference,
                                                                                                                       VarianceInfo varianceInfo)

Overrides:

doVisitFunctionTypeReference in class TypeReferenceVisitorWithParameterAndResult<VarianceInfo,org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult>

doSubstituteFunctionType

protected org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult doSubstituteFunctionType(FunctionTypeReference reference,
                                                                                                                   FunctionTypeReference result,
                                                                                                                   boolean didSubstitute)

doVisitInnerFunctionTypeReference

protected org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult doVisitInnerFunctionTypeReference(InnerFunctionTypeReference reference,
                                                                                                                            VarianceInfo varianceInfo)

Overrides:

doVisitInnerFunctionTypeReference in class TypeReferenceVisitorWithParameterAndResult<VarianceInfo,org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult>

visitTypeArgument

protected org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult visitTypeArgument(LightweightTypeReference reference,
                                                                                                            VarianceInfo varianceInfo)

doVisitParameterizedTypeReference

protected org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult doVisitParameterizedTypeReference(ParameterizedTypeReference reference,
                                                                                                                            VarianceInfo varianceInfo)

Overrides:

doVisitParameterizedTypeReference in class TypeReferenceVisitorWithParameterAndResult<VarianceInfo,org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult>

doVisitWildcardTypeReference

protected org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult doVisitWildcardTypeReference(WildcardTypeReference reference,
                                                                                                                       VarianceInfo varianceInfo)

Overrides:

doVisitWildcardTypeReference in class TypeReferenceVisitorWithParameterAndResult<VarianceInfo,org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult>

doVisitInnerTypeReference

protected org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult doVisitInnerTypeReference(InnerTypeReference reference,
                                                                                                                    VarianceInfo varianceInfo)

Overrides:

doVisitInnerTypeReference in class TypeReferenceVisitorWithParameterAndResult<VarianceInfo,org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult>

doVisitArrayTypeReference

protected org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult doVisitArrayTypeReference(ArrayTypeReference reference,
                                                                                                                    VarianceInfo varianceInfo)

Overrides:

doVisitArrayTypeReference in class TypeReferenceVisitorWithParameterAndResult<VarianceInfo,org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult>

doVisitTypeReference

protected org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult doVisitTypeReference(LightweightTypeReference reference,
                                                                                                               VarianceInfo param)

Overrides:

doVisitTypeReference in class TypeReferenceVisitorWithParameterAndResult<VarianceInfo,org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult>

param - some parameter.

doVisitCompoundTypeReference

protected org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult doVisitCompoundTypeReference(CompoundTypeReference reference,
                                                                                                                       VarianceInfo varianceInfo)

Overrides:

doVisitCompoundTypeReference in class TypeReferenceVisitorWithParameterAndResult<VarianceInfo,org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult>

withoutLocalTypes

public LightweightTypeReference withoutLocalTypes(LightweightTypeReference original)