The standard type Boolean represents the common true/false values. Boolean is itself an instance of the metatype PrimitiveType (from UML).
conformsTo
OclAny
Operations
=(object2 : OclSelf) : Boolean
precedence:
EQUALITY
Returns
true
if the logical value of
self
is the same as the numeric value of object2,
false
otherwise.
<>(object2 : OclSelf) : Boolean
precedence:
EQUALITY
Returns
true
if the logical value of
self
is the not same as the numeric value of object2,
false
otherwise.
allInstances() : Set(OclSelf)
Returns
Set{false, true}
.
and(b : Boolean[?]) : Boolean[?] invalidating validating
precedence:
AND
True if both b1 and b are
true
.
body: if self.oclIsInvalid() then
if b.oclIsUndefined() then self
else if b = false then false
else self endif endif
else if self.oclIsUndefined() then
if b.oclIsInvalid() then b
else if b.oclIsUndefined() then invalid
else if b = false then false
else invalid endif endif endif
else
if self = false then false
else if b.oclIsInvalid() then b
else if b.oclIsUndefined() then invalid
else b
endif endif endif endif endif
implies(b : Boolean[?]) : Boolean[?] invalidating validating
precedence:
IMPLIES
True if
self
is
false
, or if
self
is
true
and b is
true
.
body: if self.oclIsInvalid() then
if b.oclIsUndefined() then self
else if b = true then true
else self endif endif
else if self.oclIsUndefined() then
if b.oclIsInvalid() then b
else if b.oclIsUndefined() then invalid
else if b = true then true
else invalid endif endif endif
else
if self = false then true
else if b.oclIsInvalid() then b
else if b.oclIsUndefined() then invalid
else b
endif endif endif endif endif
not() : Boolean[?]
precedence:
UNARY
True if
self
is
false
.
body: if self = true then false
else if self.oclIsInvalid() then self
else if self.oclIsUndefined() then invalid
else true
endif endif endif
or(b : Boolean[?]) : Boolean[?] invalidating validating
precedence:
OR
True if either
self
or b is
true
.
body: if self.oclIsInvalid() then
if b.oclIsUndefined() then self
else if b = true then true
else self endif endif
else if self.oclIsUndefined() then
if b.oclIsInvalid() then b
else if b.oclIsUndefined() then invalid
else if b = true then true
else invalid endif endif endif
else
if self = true then true
else if b.oclIsInvalid() then b
else if b.oclIsUndefined() then invalid
else b
endif endif endif endif endif
toString() : String
Converts
self
to a string value.
xor(b : Boolean[?]) : Boolean[?]
precedence:
XOR
True if either
self
or b is
true
, but not both.