Package com.intellij.codeInspection.dataFlow.value

Class DfaRelation

java.lang.Object

com.intellij.codeInspection.dataFlow.value.DfaCondition

com.intellij.codeInspection.dataFlow.value.DfaRelation

public final class DfaRelation
extends DfaCondition

A condition that represents a relation between two DfaValues

Method Summary

Modifier and Type	Method and Description
static DfaRelation	createRelation(DfaValue dfaLeft, RelationType relationType, DfaValue dfaRight)
boolean	equals(java.lang.Object o)
DfaValue	getLeftOperand()
RelationType	getRelation()
DfaValue	getRightOperand()
int	hashCode()
boolean	isEquality()
boolean	isNonEquality()
DfaRelation	negate()
java.lang.String	toString()

Methods inherited from class com.intellij.codeInspection.dataFlow.value.DfaCondition

getFalse, getTrue, getUnknown

Methods inherited from class java.lang.Object

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

Method Detail

negate

public DfaRelation negate()

Specified by:

negate in class DfaCondition

Returns:

a condition which is the opposite to this condition

getLeftOperand

public DfaValue getLeftOperand()

getRightOperand

public DfaValue getRightOperand()

createRelation

public static DfaRelation createRelation(DfaValue dfaLeft,
                                         RelationType relationType,
                                         DfaValue dfaRight)

isEquality

public boolean isEquality()

isNonEquality

public boolean isNonEquality()

getRelation

public RelationType getRelation()

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