public class ExpressionCompatibilityConstraint extends InputOutputConstraintFormula
Constructor and Description |
---|
ExpressionCompatibilityConstraint(PsiExpression expression,
PsiType type) |
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) |
apply, getCurrentType, getInputVariables, getOutputVariables, toString
public ExpressionCompatibilityConstraint(PsiExpression expression, PsiType type)
public boolean reduce(InferenceSession session, java.util.List<? super ConstraintFormula> constraints)
public static InferenceSession reduceExpressionCompatibilityConstraint(InferenceSession session, PsiExpression expression, PsiType targetType, boolean registerErrorOnFailure)
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public PsiExpression getExpression()
getExpression
in class InputOutputConstraintFormula
protected InputOutputConstraintFormula createSelfConstraint(PsiType type, PsiExpression expression)
createSelfConstraint
in class InputOutputConstraintFormula
protected void collectReturnTypeVariables(InferenceSession session, PsiExpression psiExpression, PsiType returnType, java.util.Set<? super InferenceVariable> result)
collectReturnTypeVariables
in class InputOutputConstraintFormula