Package com.intellij.codeInspection.dataFlow.value

Class DfaCondition

java.lang.Object

com.intellij.codeInspection.dataFlow.value.DfaCondition

Direct Known Subclasses:

DfaRelation

public abstract class DfaCondition
extends java.lang.Object

Represents a condition to be applied to DFA memory state. This interface has only two implementations: Exact and DfaRelation. No other implementations allowed.

Method Summary

Modifier and Type	Method and Description
static DfaCondition	getFalse()
static DfaCondition	getTrue()
static DfaCondition	getUnknown()
abstract DfaCondition	negate()

Methods inherited from class java.lang.Object

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

Method Detail

negate

public abstract DfaCondition negate()

Returns:

a condition which is the opposite to this condition

getTrue

public static DfaCondition getTrue()

Returns:

always true condition; singleton object

getFalse

public static DfaCondition getFalse()

Returns:

always false condition; singleton object

getUnknown

public static DfaCondition getUnknown()

Returns:

condition with unknown value; singleton object