public interface Undef
Modifier and Type | Method and Description |
---|---|
boolean |
isMaybeOtherThanUndef()
Returns true if this value is maybe some other than undefined.
|
boolean |
isMaybeUndef()
Returns true if this value is maybe undefined.
|
boolean |
isNotUndef()
Returns true if this value is definitely not undefined.
|
Value |
joinUndef()
Constructs a value as the join of this value and undefined.
|
Value |
restrictToNotUndef()
Constructs a value as a copy of this value but definitely not undefined.
|
Value |
restrictToUndef()
Constructs a value as a copy of this value but only considering its undefined facet.
|
boolean isMaybeOtherThanUndef()
boolean isMaybeUndef()
boolean isNotUndef()
Value joinUndef()
Value restrictToNotUndef()
Value restrictToUndef()
Copyright © 2009-2019 Aarhus University