Uses of Interface
org.aspectj.org.eclipse.jdt.internal.compiler.lookup.Substitution

Packages that use Substitution

Package	Description
org.aspectj.org.eclipse.jdt.internal.compiler.ast
org.aspectj.org.eclipse.jdt.internal.compiler.lookup

Uses of Substitution in org.aspectj.org.eclipse.jdt.internal.compiler.ast

Methods in org.aspectj.org.eclipse.jdt.internal.compiler.ast with parameters of type Substitution

Modifier and Type	Method	Description
static NullAnnotationMatching	NullAnnotationMatching.analyse(TypeBinding requiredType, TypeBinding providedType, TypeBinding providedSubstitute, Substitution substitution, int nullStatus, Expression providedExpression, NullAnnotationMatching.CheckMode mode)	Find any mismatches between the two given types, which are caused by null type annotations.
protected void	TypeReference.checkNullConstraints(Scope scope, Substitution substitution, TypeBinding[] variables, int rank)	Check whether this type reference conforms to the null constraints defined for the corresponding type variable.
static void	LambdaExpression.updateLocalTypesInMethod(MethodBinding method, Scope.Substitutor substor, Substitution subst)

Uses of Substitution in org.aspectj.org.eclipse.jdt.internal.compiler.lookup

Classes in org.aspectj.org.eclipse.jdt.internal.compiler.lookup that implement Substitution

Modifier and Type	Class	Description
class	InferenceSubstitution	A type variable substitution strategy based on inference variables (JLS8 18.1.1)
class	ParameterizedGenericMethodBinding	Binding denoting a generic method after type parameter substitutions got performed.
class	ParameterizedTypeBinding	A parameterized type encapsulates a type with type arguments,
class	PolyParameterizedGenericMethodBinding
class	RawTypeBinding	Denote a raw type, i.e.
static class	Substitution.NullSubstitution	Don't substitute any type variables.

Methods in org.aspectj.org.eclipse.jdt.internal.compiler.lookup with parameters of type Substitution

Modifier and Type	Method	Description
TypeConstants.BoundCheckStatus	TypeVariableBinding.boundCheck(Substitution substitution, TypeBinding argumentType, Scope scope, ASTNode location)	Returns true if the argument type satisfies all bounds of the type parameter
boolean	TypeVariableBinding.isInterchangeableWith(TypeVariableBinding otherVariable, Substitution substitute)	Returns true if the 2 variables are playing exact same role: they have the same bounds, providing one is substituted with the other: <T1 extends List<T1>> is interchangeable with <T2 extends List<T2>>.
TypeBinding	InferenceSubstitution.substitute(Substitution substitution, TypeBinding originalType)	Override method Scope.Substitutor.substitute(Substitution, TypeBinding), to add substitution of types other than type variables.
static ReferenceBinding[]	Scope.substitute(Substitution substitution, ReferenceBinding[] originalTypes)	Returns an array of types, where original types got substituted given a substitution.
static TypeBinding	Scope.substitute(Substitution substitution, TypeBinding originalType)	Returns a type, where original type was substituted using the receiver parameterized type.
static TypeBinding[]	Scope.substitute(Substitution substitution, TypeBinding[] originalTypes)	Returns an array of types, where original types got substituted given a substitution.
ReferenceBinding[]	Scope.Substitutor.substitute(Substitution substitution, ReferenceBinding[] originalTypes)	Returns an array of types, where original types got substituted given a substitution.
TypeBinding	Scope.Substitutor.substitute(Substitution substitution, TypeBinding originalType)	Returns a type, where original type was substituted using the receiver parameterized type.
TypeBinding[]	Scope.Substitutor.substitute(Substitution substitution, TypeBinding[] originalTypes)	Returns an array of types, where original types got substituted given a substitution.