public class NotNullAbsVal extends java.lang.Object implements AbstractValue<NotNullAbsVal>
Modifier and Type | Method and Description |
---|---|
int |
hashCode() |
boolean |
isBottom()
An AbstractValue may indicate that it is the bottom element.
|
boolean |
isMaybeNull() |
boolean |
isNotNull() |
boolean |
leq(NotNullAbsVal that)
Is the given object less than or equal to this one
|
java.lang.String |
toString() |
NotNullAbsVal |
upperBound(NotNullAbsVal that)
Compute the upper bound of
this and o |
static NotNullAbsVal |
valueOf(boolean isNotNull) |
NotNullAbsVal |
widen(NotNullAbsVal that)
Compute the widening operator on
this and o . |
public boolean leq(NotNullAbsVal that)
Ordered
leq
in interface Ordered<NotNullAbsVal>
that
- object to compare to this
o
public boolean isBottom()
AbstractValue
isBottom
in interface AbstractValue<NotNullAbsVal>
public NotNullAbsVal upperBound(NotNullAbsVal that)
Ordered
this
and o
upperBound
in interface Ordered<NotNullAbsVal>
that
- object to upper bound with thisthis
with o
public NotNullAbsVal widen(NotNullAbsVal that)
Ordered
this
and o
. A
widening operator is an upper bound where all ascending chains eventually
stabilize.widen
in interface Ordered<NotNullAbsVal>
that
- object to widen with this
this
and o
public boolean isNotNull()
public boolean isMaybeNull()
public static NotNullAbsVal valueOf(boolean isNotNull)
public java.lang.String toString()
toString
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object