Package com.intellij.codeInspection.dataFlow

Class TypeConstraint.Constrained

java.lang.Object

com.intellij.codeInspection.dataFlow.TypeConstraint.Constrained

All Implemented Interfaces:

TypeConstraint

Enclosing interface:

TypeConstraint

public static final class TypeConstraint.Constrained
extends java.lang.Object
implements TypeConstraint

A non-exact, constrained type

Nested Class Summary

Nested classes/interfaces inherited from interface com.intellij.codeInspection.dataFlow.TypeConstraint

TypeConstraint.Constrained, TypeConstraint.Exact

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
java.lang.String	getAssignabilityExplanation(TypeConstraint otherType, boolean expectedAssignable)
java.lang.String	getPresentationText(PsiType type)
PsiType	getPsiType(Project project)
int	hashCode()
<any>	instanceOfTypes()
boolean	isSuperConstraintOf(TypeConstraint other)
TypeConstraint	join(TypeConstraint other)
TypeConstraint	meet(TypeConstraint other)
<any>	notInstanceOfTypes()
java.lang.String	toString()
TypeConstraint	tryNegate()

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.intellij.codeInspection.dataFlow.TypeConstraint

asDfType, fromDfType, isComparedByEquals, isExact, toShortString

Method Detail

getPsiType

public PsiType getPsiType(Project project)

Specified by:

getPsiType in interface TypeConstraint

Parameters:

project - current project

Returns:

the narrowest PsiType that contains all the values satisfied by this constraint.

tryNegate

public TypeConstraint tryNegate()

Specified by:

tryNegate in interface TypeConstraint

Returns:

negated constraint (a constraint that satisfied only by types not satisfied by this constraint). Null if such a constraint cannot be created.

join

public TypeConstraint join(TypeConstraint other)

Specified by:

join in interface TypeConstraint

Parameters:

other - other constraint to join with

Returns:

joined constraint. If some type satisfies either this or other constraint, it also satisfies the resulting constraint.

meet

public TypeConstraint meet(TypeConstraint other)

Specified by:

meet in interface TypeConstraint

Parameters:

other - other constraint to meet with

Returns:

intersection constraint. If some type satisfies the resulting constraint, it also satisfies both this and other constraints.

isSuperConstraintOf

public boolean isSuperConstraintOf(TypeConstraint other)

Specified by:

isSuperConstraintOf in interface TypeConstraint

Parameters:

other - other constraint to check

Returns:

true if every type satisfied by other constraint is also satisfied by this constraint.

getAssignabilityExplanation

public java.lang.String getAssignabilityExplanation(TypeConstraint otherType,
                                                    boolean expectedAssignable)

Specified by:

getAssignabilityExplanation in interface TypeConstraint

Parameters:

otherType - other type

expectedAssignable - whether other type is expected to be assignable from this, or not

Returns:

textual explanation about why expected assignability cannot be satisfied; null if it can be satisfied, or explanation cannot be found.

instanceOfTypes

public <any> instanceOfTypes()

Specified by:

instanceOfTypes in interface TypeConstraint

Returns:

stream of "instanceof" constraints of this type

notInstanceOfTypes

public <any> notInstanceOfTypes()

Specified by:

notInstanceOfTypes in interface TypeConstraint

Returns:

stream of "not-instanceof" constraints of this type

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

getPresentationText

public java.lang.String getPresentationText(PsiType type)

Specified by:

getPresentationText in interface TypeConstraint

Parameters:

type - declared PsiType of the value

Returns:

presentation text that tells about additional constraints; can be empty if no additional constraints are known