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.