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

Class StrictSubtypingConstraint

java.lang.Object

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

All Implemented Interfaces:

ConstraintFormula

public class StrictSubtypingConstraint
extends java.lang.Object
implements ConstraintFormula

Constructor Summary

Constructors

Constructor and Description
StrictSubtypingConstraint(PsiType t, PsiType s)
StrictSubtypingConstraint(PsiType t, PsiType s, boolean capture)

Method Summary

Modifier and Type	Method and Description
void	apply(PsiSubstitutor substitutor, boolean cache)
boolean	equals(java.lang.Object o)
static PsiClassType	getSubclassType(PsiClass containingClass, PsiType sType, boolean capture)
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

StrictSubtypingConstraint

public StrictSubtypingConstraint(PsiType t,
                                 PsiType s)

StrictSubtypingConstraint

public StrictSubtypingConstraint(PsiType t,
                                 PsiType s,
                                 boolean capture)

Method Detail

apply

public void apply(PsiSubstitutor substitutor,
                  boolean cache)

Specified by:

apply in interface ConstraintFormula

reduce

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

Specified by:

reduce in interface ConstraintFormula

getSubclassType

public static PsiClassType getSubclassType(PsiClass containingClass,
                                           PsiType sType,
                                           boolean capture)

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object