polyglot.visit

Class ReachChecker.DataFlowItem

java.lang.Object

polyglot.visit.DataFlow.Item

polyglot.visit.ReachChecker.DataFlowItem

Enclosing class:

ReachChecker

protected static class ReachChecker.DataFlowItem
extends DataFlow.Item

Field Summary

Fields

Modifier and Type	Field and Description
boolean	normalReachable
static ReachChecker.DataFlowItem	NOT_REACHABLE
boolean	reachable
static ReachChecker.DataFlowItem	REACHABLE
static ReachChecker.DataFlowItem	REACHABLE_EX_ONLY

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ReachChecker.DataFlowItem(boolean reachable, boolean normalReachable)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

reachable

public final boolean reachable

normalReachable

public final boolean normalReachable

REACHABLE

public static final ReachChecker.DataFlowItem REACHABLE

REACHABLE_EX_ONLY

public static final ReachChecker.DataFlowItem REACHABLE_EX_ONLY

NOT_REACHABLE

public static final ReachChecker.DataFlowItem NOT_REACHABLE

Constructor Detail

ReachChecker.DataFlowItem

protected ReachChecker.DataFlowItem(boolean reachable,
                         boolean normalReachable)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Specified by:

equals in class DataFlow.Item

hashCode

public int hashCode()

Specified by:

hashCode in class DataFlow.Item