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

Class ExpressionCompatibilityConstraint

java.lang.Object

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

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

All Implemented Interfaces:

ConstraintFormula

public class ExpressionCompatibilityConstraint
extends InputOutputConstraintFormula

Constructor Summary

Constructors

Constructor and Description
ExpressionCompatibilityConstraint(PsiExpression expression, PsiType type)

Method Summary

Modifier and Type	Method and Description
protected void	collectReturnTypeVariables(InferenceSession session, PsiExpression psiExpression, PsiType returnType, java.util.Set<? super InferenceVariable> result)
protected InputOutputConstraintFormula	createSelfConstraint(PsiType type, PsiExpression expression)
boolean	equals(java.lang.Object o)
PsiExpression	getExpression()
int	hashCode()
boolean	reduce(InferenceSession session, java.util.List<? super ConstraintFormula> constraints)
static InferenceSession	reduceExpressionCompatibilityConstraint(InferenceSession session, PsiExpression expression, PsiType targetType, boolean registerErrorOnFailure)

Methods inherited from class com.intellij.psi.impl.source.resolve.graphInference.constraints.InputOutputConstraintFormula

apply, getCurrentType, getInputVariables, getOutputVariables, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ExpressionCompatibilityConstraint

public ExpressionCompatibilityConstraint(PsiExpression expression,
                                         PsiType type)

Method Detail

reduce

public boolean reduce(InferenceSession session,
                      java.util.List<? super ConstraintFormula> constraints)

reduceExpressionCompatibilityConstraint

public static InferenceSession reduceExpressionCompatibilityConstraint(InferenceSession session,
                                                                       PsiExpression expression,
                                                                       PsiType targetType,
                                                                       boolean registerErrorOnFailure)

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

getExpression

public PsiExpression getExpression()

Specified by:

getExpression in class InputOutputConstraintFormula

createSelfConstraint

protected InputOutputConstraintFormula createSelfConstraint(PsiType type,
                                                            PsiExpression expression)

Specified by:

createSelfConstraint in class InputOutputConstraintFormula

collectReturnTypeVariables

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

Specified by:

collectReturnTypeVariables in class InputOutputConstraintFormula