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
 int count
           
static InitChecker.InitCount MANY
           
static InitChecker.InitCount ONE
           
static InitChecker.InitCount ZERO
           
 
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

ZERO

public static InitChecker.InitCount ZERO

ONE

public static InitChecker.InitCount ONE

MANY

public static InitChecker.InitCount MANY

count

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