|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |
java.lang.Objectjava.lang.Enum<DivisionAnalysis.Div>
tip.cfg.dfa.DivisionAnalysis.Div
public static enum 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 |
---|
public static final DivisionAnalysis.Div NOT_SURE
public static final DivisionAnalysis.Div NO
public static final DivisionAnalysis.Div BOT
Method Detail |
---|
public static DivisionAnalysis.Div[] values()
for (DivisionAnalysis.Div c : DivisionAnalysis.Div.values()) System.out.println(c);
public static DivisionAnalysis.Div valueOf(String name)
name
- the name of the enum constant to be returned.
IllegalArgumentException
- if this enum type has no constant
with the specified name
NullPointerException
- if the argument is nullpublic String toString()
toString
in class Enum<DivisionAnalysis.Div>
public DivisionAnalysis.Div getSmallestElement()
Lattice
getSmallestElement
must return a cloned
element.
getSmallestElement
in interface Lattice<DivisionAnalysis.Div>
public DivisionAnalysis.Div getLeastUpperBound(DivisionAnalysis.Div a, DivisionAnalysis.Div b)
Lattice
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
.
getLeastUpperBound
in interface Lattice<DivisionAnalysis.Div>
a
- the first elementb
- the second element
public boolean equals(DivisionAnalysis.Div a, DivisionAnalysis.Div b)
Equalitor
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
.
equals
in interface Equalitor<DivisionAnalysis.Div>
a
- the first elementb
- the second element
true
if a
and b
are equalpublic int hashCode(DivisionAnalysis.Div a)
Equalitor
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
.
hashCode
in interface Equalitor<DivisionAnalysis.Div>
a
- the element
a
.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |