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