Boolean

Boolean

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.