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

Class CheckedExceptionCompatibilityConstraint

java.lang.Object

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

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

All Implemented Interfaces:

ConstraintFormula

public class CheckedExceptionCompatibilityConstraint
extends InputOutputConstraintFormula

Constructor Summary

Constructors

Constructor and Description
CheckedExceptionCompatibilityConstraint(PsiExpression expression, PsiType t)

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)
PsiExpression	getExpression()
boolean	reduce(InferenceSession session, java.util.List<? super ConstraintFormula> constraints)

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, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

CheckedExceptionCompatibilityConstraint

public CheckedExceptionCompatibilityConstraint(PsiExpression expression,
                                               PsiType t)

Method Detail

reduce

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

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