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

Class InferenceContext

java.lang.Object

org.aspectj.org.eclipse.jdt.internal.compiler.lookup.InferenceContext

public class InferenceContext
extends Object

Context used during type inference for a generic method invocation

Field Summary

Fields

Modifier and Type	Field	Description
boolean	isUnchecked

Constructor Summary

Constructors

Constructor	Description
InferenceContext(MethodBinding genericMethod)

Method Summary

Modifier and Type	Method	Description
TypeBinding[]	getSubstitutes(TypeVariableBinding typeVariable, int constraint)
boolean	hasUnresolvedTypeArgument()	Returns true if any unresolved variable is detected, i.e.
void	recordSubstitute(TypeVariableBinding typeVariable, TypeBinding actualType, int constraint)
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

isUnchecked

public boolean isUnchecked

Constructor Details

InferenceContext

public InferenceContext(MethodBinding genericMethod)

Method Details

getSubstitutes

public TypeBinding[] getSubstitutes(TypeVariableBinding typeVariable,
 int constraint)

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

public String toString()

Overrides:

toString in class Object