tip.cfg.dfa
Enum DivisionAnalysis.Div

java.lang.Object
  extended by java.lang.Enum<DivisionAnalysis.Div>
      extended by tip.cfg.dfa.DivisionAnalysis.Div
All Implemented Interfaces:
Serializable, Comparable<DivisionAnalysis.Div>, Lattice<DivisionAnalysis.Div>, Equalitor<DivisionAnalysis.Div>
Enclosing class:
DivisionAnalysis

public static enum DivisionAnalysis.Div
extends Enum<DivisionAnalysis.Div>
implements Lattice<DivisionAnalysis.Div>


Enum Constant Summary
BOT
           
NO
           
NOT_SURE
           
 
Method Summary
 boolean equals(DivisionAnalysis.Div a, DivisionAnalysis.Div b)
          Returns true if the elements a and b are equal according to this {link Equalitor}.
 DivisionAnalysis.Div getLeastUpperBound(DivisionAnalysis.Div a, DivisionAnalysis.Div b)
          Returns the least upper bound of the lattice elements a and b.
 DivisionAnalysis.Div getSmallestElement()
          Returns the smallest element of the lattice.
 int hashCode(DivisionAnalysis.Div a)
          Returns the hashcode for the element a according to this Equalitor.
 String toString()
           
static DivisionAnalysis.Div valueOf(String name)
          Returns the enum constant of this type with the specified name.
static DivisionAnalysis.Div[] values()
          Returns an array containing the constants of this enum type, in the order they are declared.
 
Methods inherited from class java.lang.Enum
compareTo, equals, getDeclaringClass, hashCode, name, ordinal, valueOf
 
Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait
 

Enum Constant Detail

NOT_SURE

public static final DivisionAnalysis.Div NOT_SURE

NO

public static final DivisionAnalysis.Div NO

BOT

public static final DivisionAnalysis.Div BOT
Method Detail

values

public static DivisionAnalysis.Div[] values()
Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:
for (DivisionAnalysis.Div c : DivisionAnalysis.Div.values())
    System.out.println(c);

Returns:
an array containing the constants of this enum type, in the order they are declared

valueOf

public static DivisionAnalysis.Div valueOf(String name)
Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

Parameters:
name - the name of the enum constant to be returned.
Returns:
the enum constant with the specified name
Throws:
IllegalArgumentException - if this enum type has no constant with the specified name
NullPointerException - if the argument is null

toString

public String toString()
Overrides:
toString in class Enum<DivisionAnalysis.Div>

getSmallestElement

public DivisionAnalysis.Div getSmallestElement()
Description copied from interface: Lattice
Returns the smallest element of the lattice. Beware that if the lattice elements are mutable, getSmallestElement must return a cloned element.

Specified by:
getSmallestElement in interface Lattice<DivisionAnalysis.Div>
Returns:
the smallest element of the lattice

getLeastUpperBound

public DivisionAnalysis.Div getLeastUpperBound(DivisionAnalysis.Div a,
                                               DivisionAnalysis.Div b)
Description copied from interface: Lattice
Returns the least upper bound of the lattice elements a and b. Beware that if the lattice elements are mutable, getLeastUpperBound must return a cloned or new element. The method must handle the case where a or b are null.

Specified by:
getLeastUpperBound in interface Lattice<DivisionAnalysis.Div>
Parameters:
a - the first element
b - the second element
Returns:
the least upper bound of the first and second element

equals

public boolean equals(DivisionAnalysis.Div a,
                      DivisionAnalysis.Div b)
Description copied from interface: Equalitor
Returns true if the elements a and b are equal according to this {link Equalitor}. If the elements are equal, then we must have hashCode(a) == hashCode(b). The method must handle the case where a or b is null. The equality relation must atleast be reflexive in the object reference, i.e. for all elements e we must have equals(e,e)==true.

Specified by:
equals in interface Equalitor<DivisionAnalysis.Div>
Parameters:
a - the first element
b - the second element
Returns:
true if a and b are equal

hashCode

public int hashCode(DivisionAnalysis.Div a)
Description copied from interface: Equalitor
Returns the hashcode for the element a according to this Equalitor. If Equalitor.equals(Object,Object) returns true, for two elements a and b, then for hashCode we must have hashCode(a) == hashCode(b). The method must handle the case where a is null.

Specified by:
hashCode in interface Equalitor<DivisionAnalysis.Div>
Parameters:
a - the element
Returns:
the hashcode of a.