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

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

public class InferenceContext
extends Object

Context used during type inference for a generic method invocation


Field Summary
 boolean isUnchecked
           
 
Constructor Summary
InferenceContext(MethodBinding genericMethod)
           
 
Method Summary
 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 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 String toString()
Overrides:
toString in class Object


Copyright © 2012. All Rights Reserved.