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 java.lang.Object

Context used during type inference for a generic method invocation

Field Summary

Fields

Modifier and Type	Field and Description
boolean	isUnchecked

Constructor Summary

Constructors

Constructor and Description
InferenceContext(MethodBinding genericMethod)

Method Summary

Modifier and Type	Method and 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)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

isUnchecked

public boolean isUnchecked

Constructor Detail

InferenceContext

public InferenceContext(MethodBinding genericMethod)

Method Detail

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 java.lang.String toString()

Overrides:

toString in class java.lang.Object