Package com.intellij.codeInspection.dataFlow

Interface TypeConstraint.Exact

All Superinterfaces:

TypeConstraint

Enclosing interface:

TypeConstraint

public static interface TypeConstraint.Exact
extends TypeConstraint

Represents an exact type. It may also represent types that cannot be instantiated (e.g. interface types), so no object could satisfy them, but they are still useful as building blocks for TypeConstraint.Constrained.

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
default boolean	canBeInstantiated()
default java.lang.String	getAssignabilityExplanation(TypeConstraint otherType, boolean expectedAssignable)
default java.lang.String	getPresentationText(PsiType type)
default TypeConstraint	instanceOf()
default <any>	instanceOfTypes()
boolean	isAssignableFrom(TypeConstraint.Exact other)
boolean	isConvertibleFrom(TypeConstraint.Exact other)
default boolean	isExact()
boolean	isFinal()
default boolean	isSuperConstraintOf(TypeConstraint other)
default TypeConstraint	join(TypeConstraint other)
default TypeConstraint	meet(TypeConstraint other)
default TypeConstraint	notInstanceOf()
<any>	superTypes()
default java.lang.String	toShortString()
default TypeConstraint	tryNegate()

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

asDfType, fromDfType, getPsiType, isComparedByEquals, notInstanceOfTypes

Method Detail

join

default 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

default 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.

isFinal

boolean isFinal()

Returns:

true if the type represented by this constraint cannot have subtypes

isExact

default boolean isExact()

Specified by:

isExact in interface TypeConstraint

Returns:

true if this constraint represents an exact type

canBeInstantiated

default boolean canBeInstantiated()

Returns:

true if instances of this type can exist (i.e. the type is not abstract).

superTypes

<any> superTypes()

Returns:

stream of supertypes

isAssignableFrom

boolean isAssignableFrom(TypeConstraint.Exact other)

Parameters:

other - type to test assignability

Returns:

true if this type is assignable from the other type

isConvertibleFrom

boolean isConvertibleFrom(TypeConstraint.Exact other)

Parameters:

other - type to test convertibility

Returns:

true if this type is convertible from the other type

instanceOfTypes

default <any> instanceOfTypes()

Specified by:

instanceOfTypes in interface TypeConstraint

Returns:

stream of "instanceof" constraints of this type

getAssignabilityExplanation

default 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.

isSuperConstraintOf

default 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.

tryNegate

default 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.

instanceOf

default TypeConstraint instanceOf()

Returns:

a constraint that represents objects not only of this type but also of any subtypes. May return self if the type is final.

notInstanceOf

default TypeConstraint notInstanceOf()

Returns:

a constraint that represents objects that are not instanceof this type

toShortString

default java.lang.String toShortString()

Specified by:

toShortString in interface TypeConstraint

Returns:

a short string representation

getPresentationText

default 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