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

static ReachChecker.DataFlowItem	NOT_REACHABLE
static ReachChecker.DataFlowItem	REACHABLE
static ReachChecker.DataFlowItem	REACHABLE_EX_ONLY

Constructor Summary

protected

ReachChecker.DataFlowItem(boolean reachable, boolean normalReachable)

Method Summary

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 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