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

Packages that use Substitution

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

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

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

Modifier and Type	Class and 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	RawTypeBinding Denote a raw type, i.e.

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

Modifier and Type	Method and Description
int	TypeVariableBinding.boundCheck(Substitution substitution, TypeBinding argumentType, Scope scope) 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: > is interchangeable with >.
static ReferenceBinding[]	Scope.substitute(Substitution substitution, ReferenceBinding[] 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	InferenceSubstitution.substitute(Substitution substitution, TypeBinding originalType) Override method Scope.Substitutor.substitute(Substitution, TypeBinding), to add substitution of types other than type variables.
static TypeBinding	Scope.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 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.
TypeBinding[]	Scope.Substitutor.substitute(Substitution substitution, TypeBinding[] originalTypes) Returns an array of types, where original types got substituted given a substitution.