polyglot.visit
Class InitChecker.DataFlowItem
java.lang.Object
polyglot.visit.DataFlow.Item
polyglot.visit.InitChecker.DataFlowItem
- Enclosing class:
- InitChecker
protected static class InitChecker.DataFlowItem
- extends DataFlow.Item
Dataflow items for this dataflow are maps of VarInstances to counts
of the min and max number of times those variables/fields have
been initialized. These min and max counts are then used to determine
if variables have been initialized before use, and that final variables
are not initialized too many times.
This class is immutable.
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
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