polyglot.visit
Class InitChecker.DataFlowItem

java.lang.Object
  extended by polyglot.visit.DataFlow.Item
      extended by 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.


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
 

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