Package com.intellij.codeInspection.dataFlow.value

Class DfaValue

java.lang.Object

com.intellij.codeInspection.dataFlow.value.DfaValue

Direct Known Subclasses:

DfaBinOpValue, DfaBoxedValue, DfaInstanceofValue, DfaTypeValue, DfaVariableValue

public abstract class DfaValue
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
protected DfaValueFactory	myFactory

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	DfaValue(DfaValueFactory factory)

Method Summary

Modifier and Type	Method and Description
DfaCondition	cond(RelationType relationType, DfaValue other) Create condition (suitable to pass into DfaMemoryState.applyCondition(DfaCondition)), evaluating it statically if possible.
boolean	dependsOn(DfaVariableValue other)
DfaCondition	eq(DfaValue other) Creates an equivalence condition (suitable to pass into DfaMemoryState.applyCondition(DfaCondition)) between this and other value.
boolean	equals(java.lang.Object obj)
DfType	getDfType()
DfaValueFactory	getFactory()
int	getID()
PsiType	getType()
int	hashCode()
DfaValue	unite(DfaValue other) Produces a value which describes a union of this value and other value

Methods inherited from class java.lang.Object

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

Field Detail

myFactory

protected final DfaValueFactory myFactory

Constructor Detail

DfaValue

protected DfaValue(DfaValueFactory factory)

Method Detail

getFactory

public DfaValueFactory getFactory()

getID

public int getID()

getType

public PsiType getType()

Returns:

PSI type of the value if known

getDfType

public DfType getDfType()

Returns:

a DfType this value belongs under any possible memory state

unite

public DfaValue unite(DfaValue other)

Produces a value which describes a union of this value and other value

Parameters:

other - other value to unite with

Returns:

a union value. Any particular runtime value which satisfies this value or other value, satisfies also the returned value.

eq

public final DfaCondition eq(DfaValue other)

Creates an equivalence condition (suitable to pass into DfaMemoryState.applyCondition(DfaCondition)) between this and other value.

Parameters:

other - other value that is tested to be equal to this

Returns:

a condition

cond

public final DfaCondition cond(RelationType relationType,
                               DfaValue other)

Create condition (suitable to pass into DfaMemoryState.applyCondition(DfaCondition)), evaluating it statically if possible.

Parameters:

relationType - relation

other - other condition operand

Returns:

resulting condition between this value and other operand

dependsOn

public boolean dependsOn(DfaVariableValue other)

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object