Package com.intellij.psi.impl.source.resolve.graphInference

Class InferenceIncorporationPhase

java.lang.Object

com.intellij.psi.impl.source.resolve.graphInference.InferenceIncorporationPhase

public class InferenceIncorporationPhase
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
InferenceIncorporationPhase(InferenceSession session)

Method Summary

Modifier and Type	Method and Description
void	addBound(InferenceVariable variable, PsiType type, InferenceBound bound)
void	addCapture(InferenceVariable[] typeParameters, PsiClassType rightType)
void	collectCaptureDependencies(InferenceVariable variable, java.util.Set<? super InferenceVariable> dependencies)
void	forgetCaptures(java.util.List<? extends InferenceVariable> variables)
java.util.List<Pair<InferenceVariable[],PsiClassType>>	getCaptures()
boolean	hasCaptureConstraints(java.lang.Iterable<? extends InferenceVariable> variables)
boolean	incorporate()
protected void	upDown(java.util.List<? extends PsiType> lowerBounds, java.util.Collection<? extends PsiType> changedLowerBounds, java.util.List<? extends PsiType> upperBounds, java.util.Collection<? extends PsiType> changedUpperBounds)

Methods inherited from class java.lang.Object

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

Constructor Detail

InferenceIncorporationPhase

public InferenceIncorporationPhase(InferenceSession session)

Method Detail

addCapture

public void addCapture(InferenceVariable[] typeParameters,
                       PsiClassType rightType)

forgetCaptures

public void forgetCaptures(java.util.List<? extends InferenceVariable> variables)

hasCaptureConstraints

public boolean hasCaptureConstraints(java.lang.Iterable<? extends InferenceVariable> variables)

collectCaptureDependencies

public void collectCaptureDependencies(InferenceVariable variable,
                                       java.util.Set<? super InferenceVariable> dependencies)

getCaptures

public java.util.List<Pair<InferenceVariable[],PsiClassType>> getCaptures()

incorporate

public boolean incorporate()

upDown

protected void upDown(java.util.List<? extends PsiType> lowerBounds,
                      java.util.Collection<? extends PsiType> changedLowerBounds,
                      java.util.List<? extends PsiType> upperBounds,
                      java.util.Collection<? extends PsiType> changedUpperBounds)

addBound

public void addBound(InferenceVariable variable,
                     PsiType type,
                     InferenceBound bound)