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

java.lang.Object
  org.eclipse.jdt.internal.compiler.lookup.InferenceContext

public class InferenceContext
extends java.lang.Object

Context used during type inference for a generic method invocation

Constructor Summary

InferenceContext(MethodBinding genericMethod)

Method Summary

boolean	checkRawSubstitution()
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

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

InferenceContext

public InferenceContext(MethodBinding genericMethod)

Method Detail

checkRawSubstitution

public boolean checkRawSubstitution()

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