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

Class SubtypingConstraint

java.lang.Object

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

All Implemented Interfaces:

ConstraintFormula

public class SubtypingConstraint
extends java.lang.Object
implements ConstraintFormula

Constructor Summary

Constructors

Constructor and Description
SubtypingConstraint(PsiType t, PsiType s)

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

SubtypingConstraint

public SubtypingConstraint(PsiType t,
                           PsiType s)

Method Detail

apply

public void apply(PsiSubstitutor substitutor,
                  boolean cache)

Specified by:

apply in interface ConstraintFormula

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

reduce

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

Specified by:

reduce in interface ConstraintFormula

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object