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

Class LambdaExpressionCompatibilityConstraint

java.lang.Object

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

All Implemented Interfaces:

ConstraintFormula

public class LambdaExpressionCompatibilityConstraint
extends java.lang.Object
implements ConstraintFormula

Constructor Summary

Constructors

Constructor and Description
LambdaExpressionCompatibilityConstraint(PsiLambdaExpression expression, PsiType t)

Method Summary

Modifier and Type	Method and Description
void	apply(PsiSubstitutor substitutor, boolean cache)
boolean	reduce(InferenceSession session, java.util.List<? super ConstraintFormula> constraints)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

LambdaExpressionCompatibilityConstraint

public LambdaExpressionCompatibilityConstraint(PsiLambdaExpression expression,
                                               PsiType t)

Method Detail

reduce

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

Specified by:

reduce in interface ConstraintFormula

apply

public void apply(PsiSubstitutor substitutor,
                  boolean cache)

Specified by:

apply in interface ConstraintFormula

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object