Uses of Class
org.aspectj.org.eclipse.jdt.internal.compiler.lookup.InferenceVariable

Packages that use InferenceVariable

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

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

Methods in org.aspectj.org.eclipse.jdt.internal.compiler.lookup that return InferenceVariable

Modifier and Type	Method	Description
InferenceVariable[]	InferenceContext18.addTypeVariableSubstitutions(TypeBinding[] typeArguments, boolean capturesOnly)	Add new inference variables for the given type arguments.
InferenceVariable[]	InferenceContext18.createInitialBoundSet(TypeVariableBinding[] typeParameters)	JLS 18.1.3: Create initial bounds from a given set of type parameters declarations.
static InferenceVariable	InferenceVariable.get(TypeBinding typeParameter, int rank, InvocationSite site, Scope scope, ReferenceBinding object, boolean initial)	Create or retrieve the inference variable representing the given typeParameter.
InferenceVariable	InferenceVariable.prototype()

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

Modifier and Type	Method	Description
void	InferenceContext18.addThrowsContraints(TypeBinding[] parameters, InferenceVariable[] variables, ReferenceBinding[] thrownExceptions)	JLS 18.1.3 Bounds: throws α: the inference variable α appears in a throws clause
org.aspectj.org.eclipse.jdt.internal.compiler.lookup.BoundSet	InferenceContext18.solve(InferenceVariable[] toResolve, boolean isRecordPatternTypeInference)

Constructors in org.aspectj.org.eclipse.jdt.internal.compiler.lookup with parameters of type InferenceVariable

Modifier	Constructor	Description
	InferenceSubstitution(LookupEnvironment environment, InferenceVariable[] variables, InvocationSite site)

Uses of InferenceVariable in org.aspectj.org.eclipse.jdt.internal.compiler.util

Methods in org.aspectj.org.eclipse.jdt.internal.compiler.util with parameters of type InferenceVariable

Modifier and Type	Method	Description
static void	Sorting.sortInferenceVariables(InferenceVariable[] variables)	Sort inference variables by rank.