polyglot.visit
Class InitChecker.InitCount

java.lang.Object
  extended by polyglot.visit.InitChecker.InitCount
Enclosing class:
InitChecker

protected static class InitChecker.InitCount
extends java.lang.Object

Class representing the initialization counts of variables. The different values of the counts that we are interested in are ZERO, ONE and MANY.


Field Summary
protected  int count
           
 
Constructor Summary
protected InitChecker.InitCount(int i)
           
 
Method Summary
 boolean equals(java.lang.Object o)
           
 int hashCode()
           
 InitChecker.InitCount increment()
           
static InitChecker.InitCount max(InitChecker.InitCount a, InitChecker.InitCount b)
           
static InitChecker.InitCount min(InitChecker.InitCount a, InitChecker.InitCount b)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

count

protected int count
Constructor Detail

InitChecker.InitCount

protected InitChecker.InitCount(int i)
Method Detail

hashCode

public int hashCode()
Overrides:
hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object o)
Overrides:
equals in class java.lang.Object

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

increment

public InitChecker.InitCount increment()

min

public static InitChecker.InitCount min(InitChecker.InitCount a,
                                        InitChecker.InitCount b)

max

public static InitChecker.InitCount max(InitChecker.InitCount a,
                                        InitChecker.InitCount b)