dk.brics.tajs.lattice

Interface Bool

All Known Implementing Classes:

Value

public interface Bool

'Boolean' facet for abstract values.

Method Summary

Methods

Modifier and Type	Method and Description
boolean	isMaybeAnyBool() Returns true if this value is maybe any boolean.
boolean	isMaybeFalse() Returns true if this value is maybe false.
boolean	isMaybeFalseButNotTrue() Returns true if this value is maybe false.
boolean	isMaybeOtherThanBool() Returns true if this value is maybe a non-boolean.
boolean	isMaybeTrue() Returns true if this value is maybe true.
boolean	isMaybeTrueButNotFalse() Returns true if this value is maybe true.
boolean	isNotBool() Returns true if this value is definitely not a boolean.
Value	joinAnyBool() Constructs a value as the join of this value and maybe any boolean.
Value	joinBool(boolean x) Constructs a value as the join of this value and the given concrete boolean value.
Value	joinBool(Value x) Constructs a value as the join of this value and the given concrete boolean value.

Method Detail

isMaybeAnyBool

boolean isMaybeAnyBool()

Returns true if this value is maybe any boolean.

isMaybeFalse

boolean isMaybeFalse()

Returns true if this value is maybe false.

isMaybeFalseButNotTrue

boolean isMaybeFalseButNotTrue()

Returns true if this value is maybe false.

isMaybeOtherThanBool

boolean isMaybeOtherThanBool()

Returns true if this value is maybe a non-boolean.

isMaybeTrue

boolean isMaybeTrue()

Returns true if this value is maybe true.

isMaybeTrueButNotFalse

boolean isMaybeTrueButNotFalse()

Returns true if this value is maybe true.

isNotBool

boolean isNotBool()

Returns true if this value is definitely not a boolean.

joinAnyBool

Value joinAnyBool()

Constructs a value as the join of this value and maybe any boolean.

joinBool

Value joinBool(boolean x)

Constructs a value as the join of this value and the given concrete boolean value.

joinBool

Value joinBool(Value x)

Constructs a value as the join of this value and the given concrete boolean value.