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

Class InputOutputConstraintFormula

java.lang.Object

com.intellij.psi.impl.source.resolve.graphInference.constraints.InputOutputConstraintFormula

All Implemented Interfaces:

ConstraintFormula

Direct Known Subclasses:

CheckedExceptionCompatibilityConstraint, ExpressionCompatibilityConstraint

public abstract class InputOutputConstraintFormula
extends java.lang.Object
implements ConstraintFormula

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	InputOutputConstraintFormula(PsiType t)

Method Summary

Modifier and Type	Method and Description
void	apply(PsiSubstitutor substitutor, boolean cache)
protected abstract void	collectReturnTypeVariables(InferenceSession session, PsiExpression psiExpression, PsiType returnType, java.util.Set<? super InferenceVariable> result)
protected abstract InputOutputConstraintFormula	createSelfConstraint(PsiType type, PsiExpression expression)
PsiType	getCurrentType()
abstract PsiExpression	getExpression()
java.util.Set<InferenceVariable>	getInputVariables(InferenceSession session)
java.util.Set<InferenceVariable>	getOutputVariables(java.util.Set<InferenceVariable> inputVariables, InferenceSession session)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.intellij.psi.impl.source.resolve.graphInference.constraints.ConstraintFormula

reduce

Constructor Detail

InputOutputConstraintFormula

protected InputOutputConstraintFormula(PsiType t)

Method Detail

getExpression

public abstract PsiExpression getExpression()

createSelfConstraint

protected abstract InputOutputConstraintFormula createSelfConstraint(PsiType type,
                                                                     PsiExpression expression)

collectReturnTypeVariables

protected abstract void collectReturnTypeVariables(InferenceSession session,
                                                   PsiExpression psiExpression,
                                                   PsiType returnType,
                                                   java.util.Set<? super InferenceVariable> result)

getInputVariables

public java.util.Set<InferenceVariable> getInputVariables(InferenceSession session)

getOutputVariables

public java.util.Set<InferenceVariable> getOutputVariables(java.util.Set<InferenceVariable> inputVariables,
                                                           InferenceSession session)

apply

public void apply(PsiSubstitutor substitutor,
                  boolean cache)

Specified by:

apply in interface ConstraintFormula

getCurrentType

public PsiType getCurrentType()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object