public class NewAllocAbsVal extends DefUseAbsVal
EMPTY, hashCode, rd
Constructor and Description |
---|
NewAllocAbsVal(java.util.Set<HContext> objects) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object objects) |
int |
hashCode() |
boolean |
leq(DefUseAbsVal that)
Is the given object less than or equal to this one
|
java.util.Set<HContext> |
objects() |
java.lang.String |
toString() |
DefUseAbsVal |
upperBound(DefUseAbsVal that)
Compute the upper bound of
this and o |
addReachingDef, isBottom, reachingDefinitions, widen
public NewAllocAbsVal(java.util.Set<HContext> objects)
public boolean leq(DefUseAbsVal that)
Ordered
leq
in interface Ordered<DefUseAbsVal>
leq
in class DefUseAbsVal
that
- object to compare to this
o
public DefUseAbsVal upperBound(DefUseAbsVal that)
Ordered
this
and o
upperBound
in interface Ordered<DefUseAbsVal>
upperBound
in class DefUseAbsVal
that
- object to upper bound with thisthis
with o
public boolean equals(java.lang.Object objects)
equals
in class DefUseAbsVal
public int hashCode()
hashCode
in class DefUseAbsVal
public java.util.Set<HContext> objects()
public java.lang.String toString()
toString
in class DefUseAbsVal