dk.brics.tajs.lattice

Interface Undef

All Known Implementing Classes:

Value

public interface Undef

'Undefined' facet for abstract values.

Method Summary

Methods

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 maybe 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.

Method Detail

isMaybeOtherThanUndef

boolean isMaybeOtherThanUndef()

Returns true if this value is maybe some other than undefined.

isMaybeUndef

boolean isMaybeUndef()

Returns true if this value is maybe undefined.

isNotUndef

boolean isNotUndef()

Returns true if this value is definitely not undefined.

joinUndef

Value joinUndef()

Constructs a value as the join of this value and maybe undefined.

restrictToNotUndef

Value restrictToNotUndef()

Constructs a value as a copy of this value but definitely not undefined.

restrictToUndef

Value restrictToUndef()

Constructs a value as a copy of this value but only considering its undefined facet.