public class LocalTypeSubstitutor extends TypeReferenceVisitorWithParameterAndResult<VarianceInfo,org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult>
Constructor and Description |
---|
LocalTypeSubstitutor(ITypeReferenceOwner owner,
JvmIdentifiableElement boundary) |
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) |
doVisitAnyTypeReference, doVisitMultiTypeReference, doVisitSynonymTypeReference, doVisitUnboundTypeReference, doVisitUnknownTypeReference
public LocalTypeSubstitutor(ITypeReferenceOwner owner, JvmIdentifiableElement boundary)
protected ITypeReferenceOwner getOwner()
protected org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult doVisitFunctionTypeReference(FunctionTypeReference reference, VarianceInfo varianceInfo)
doVisitFunctionTypeReference
in class TypeReferenceVisitorWithParameterAndResult<VarianceInfo,org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult>
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 doVisitInnerFunctionTypeReference(InnerFunctionTypeReference reference, VarianceInfo varianceInfo)
doVisitInnerFunctionTypeReference
in class TypeReferenceVisitorWithParameterAndResult<VarianceInfo,org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult>
protected org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult visitTypeArgument(LightweightTypeReference reference, VarianceInfo varianceInfo)
protected org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult doVisitParameterizedTypeReference(ParameterizedTypeReference reference, VarianceInfo varianceInfo)
doVisitParameterizedTypeReference
in class TypeReferenceVisitorWithParameterAndResult<VarianceInfo,org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult>
protected org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult doVisitWildcardTypeReference(WildcardTypeReference reference, VarianceInfo varianceInfo)
doVisitWildcardTypeReference
in class TypeReferenceVisitorWithParameterAndResult<VarianceInfo,org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult>
protected org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult doVisitInnerTypeReference(InnerTypeReference reference, VarianceInfo varianceInfo)
doVisitInnerTypeReference
in class TypeReferenceVisitorWithParameterAndResult<VarianceInfo,org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult>
protected org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult doVisitArrayTypeReference(ArrayTypeReference reference, VarianceInfo varianceInfo)
doVisitArrayTypeReference
in class TypeReferenceVisitorWithParameterAndResult<VarianceInfo,org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult>
protected org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult doVisitTypeReference(LightweightTypeReference reference, VarianceInfo param)
doVisitTypeReference
in class TypeReferenceVisitorWithParameterAndResult<VarianceInfo,org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult>
param
- some parameter.protected org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult doVisitCompoundTypeReference(CompoundTypeReference reference, VarianceInfo varianceInfo)
doVisitCompoundTypeReference
in class TypeReferenceVisitorWithParameterAndResult<VarianceInfo,org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult>
public LightweightTypeReference withoutLocalTypes(LightweightTypeReference original)