public interface Null
Modifier and Type | Method and Description |
---|---|
boolean |
isMaybeNull()
Returns true if this value is maybe null.
|
boolean |
isMaybeOtherThanNull()
Returns true if this value is maybe some other than null.
|
boolean |
isNotNull()
Returns true if this value is definitely not null.
|
Value |
joinNull()
Constructs a value as the join of this value and null.
|
Value |
restrictToNotNull()
Constructs a value as a copy of this value but definitely not null.
|
Value |
restrictToNull()
Constructs a value as a copy of this value but only considering its null facet.
|
boolean isMaybeNull()
boolean isMaybeOtherThanNull()
boolean isNotNull()
Value joinNull()
Value restrictToNotNull()
Value restrictToNull()
Copyright © 2009-2019 Aarhus University