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>

Author:

Sebastian Zarnekow - Initial contribution and API

Constructor Summary

Constructors

Constructor and Description
LocalTypeSubstitutor(ITypeReferenceOwner owner, JvmIdentifiableElement boundary)

Method Summary

Methods

Modifier and Type	Method and 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,
                    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)