polyglot.visit
Class DataFlow.Item

java.lang.Object
  polyglot.visit.DataFlow.Item

Direct Known Subclasses:

CopyPropagator.DataFlowItem, DeadCodeEliminator.DataFlowItem, ExitChecker.DataFlowItem, ReachChecker.DataFlowItem

Enclosing class:

DataFlow

public abstract static class DataFlow.Item
extends java.lang.Object

An Item contains the data which flows during the dataflow analysis. Each node in the flow graph will have two items associated with it: the input item, and the output item, which results from calling flow with the input item. The input item may itself be the result of a call to the confluence method, if many paths flow into the same node. NOTE: the equals(Item) method and hashCode() method must be implemented to ensure that the dataflow algorithm works correctly.

Constructor Summary

DataFlow.Item()

Method Summary

abstract boolean	equals(java.lang.Object i)
abstract int	hashCode()

Methods inherited from class java.lang.Object

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

Constructor Detail

DataFlow.Item

public DataFlow.Item()

Method Detail

equals

public abstract boolean equals(java.lang.Object i)

Overrides:

equals in class java.lang.Object

hashCode

public abstract int hashCode()

Overrides:

hashCode in class java.lang.Object