Class InferenceContext
java.lang.Object
org.aspectj.org.eclipse.jdt.internal.compiler.lookup.InferenceContext
Context used during type inference for a generic method invocation
-
Field Summary
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptiongetSubstitutes(TypeVariableBinding typeVariable, int constraint)
boolean
Returns true if any unresolved variable is detected, i.e. any variable is substituted with itselfvoid
recordSubstitute(TypeVariableBinding typeVariable, TypeBinding actualType, int constraint)
toString()
-
Field Details
-
isUnchecked
public boolean isUnchecked
-
-
Constructor Details
-
InferenceContext
-
-
Method Details
-
getSubstitutes
-
hasUnresolvedTypeArgument
public boolean hasUnresolvedTypeArgument()Returns true if any unresolved variable is detected, i.e. any variable is substituted with itself -
recordSubstitute
public void recordSubstitute(TypeVariableBinding typeVariable, TypeBinding actualType, int constraint) -
toString
-