Package com.intellij.codeInspection.dataFlow

Class TypeConstraints

java.lang.Object

com.intellij.codeInspection.dataFlow.TypeConstraints

public class TypeConstraints
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static TypeConstraint	BOTTOM Bottom constraint (no actual type satisfies this)
static TypeConstraint.Exact	EXACTLY_OBJECT Exactly java.lang.Object class
static TypeConstraint	TOP Top constraint (no restriction; any non-primitive value satisfies this)

Constructor Summary

Constructors

Constructor and Description
TypeConstraints()

Method Summary

Modifier and Type	Method and Description
static TypeConstraint	exact(PsiType type)
static TypeConstraint	instanceOf(PsiType type)

Methods inherited from class java.lang.Object

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

Field Detail

TOP

public static final TypeConstraint TOP

Top constraint (no restriction; any non-primitive value satisfies this)

BOTTOM

public static final TypeConstraint BOTTOM

Bottom constraint (no actual type satisfies this)

EXACTLY_OBJECT

public static final TypeConstraint.Exact EXACTLY_OBJECT

Exactly java.lang.Object class

Constructor Detail

TypeConstraints

public TypeConstraints()

Method Detail

exact

public static TypeConstraint exact(PsiType type)

Parameters:

type - PsiType

Returns:

a constraint for the object that has exactly given PsiType; BOTTOM if the object of given type cannot be instantiated.

instanceOf

public static TypeConstraint instanceOf(PsiType type)

Parameters:

type - PsiType

Returns:

a constraint for the object whose type is the supplied type or any subtype