|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttip.cfg.dfa.NullPointerAnalysis.NullLattice
public static class NullPointerAnalysis.NullLattice
Constructor Summary | |
---|---|
NullPointerAnalysis.NullLattice()
|
Method Summary | |
---|---|
boolean |
equals(NullPointerAnalysis.Null a,
NullPointerAnalysis.Null b)
Returns true if the elements a and b are equal
according to this {link Equalitor}. |
boolean |
equals(Object o)
|
NullPointerAnalysis.Null |
getLeastUpperBound(NullPointerAnalysis.Null a,
NullPointerAnalysis.Null b)
Returns the least upper bound of the lattice elements a and
b . |
NullPointerAnalysis.Null |
getSmallestElement()
Returns the smallest element of the lattice. |
int |
hashCode(NullPointerAnalysis.Null a)
Returns the hashcode for the element a according to this
Equalitor . |
Methods inherited from class java.lang.Object |
---|
getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public NullPointerAnalysis.NullLattice()
Method Detail |
---|
public NullPointerAnalysis.Null getSmallestElement()
Lattice
getSmallestElement
must return a cloned
element.
getSmallestElement
in interface Lattice<NullPointerAnalysis.Null>
public NullPointerAnalysis.Null getLeastUpperBound(NullPointerAnalysis.Null a, NullPointerAnalysis.Null 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<NullPointerAnalysis.Null>
a
- the first elementb
- the second element
public boolean equals(NullPointerAnalysis.Null a, NullPointerAnalysis.Null 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<NullPointerAnalysis.Null>
a
- the first elementb
- the second element
true
if a
and b
are equalpublic int hashCode(NullPointerAnalysis.Null 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<NullPointerAnalysis.Null>
a
- the element
a
.public boolean equals(Object o)
equals
in class Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |