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[1] precedence: EQUALITY

Returns true if the logical value of self is the same as the numeric value of object2, false otherwise.

<>(object2 : OclSelf[?]) : Boolean[1] 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

false if either self or b is false. Otherwise invalid if either self or b is invalid . Otherwise null if either self or b is null. Otherwise true.

body: if self.oclIsInvalid() then
        if b.oclIsInvalid() then self
        elseif b = false then false
        else self
        endif
      elseif self = false then false
      elseif b.oclIsInvalid() then b
      elseif b = false then false
      elseif self = null then null
      elseif b = null then null
      else true
      endif

and2(b : Boolean[?]) : Boolean[?]

false if either self or b is false. Otherwise true.

body: if self = false then false
      elseif b = false then false
      else true
      endif

implies(b : Boolean[?]) : Boolean[?] invalidating validating precedence: IMPLIES

true if self is false, or if b is true. Otherwise invalid if either self or b is invalid. Otherwise null if either self or b is null. Otherwise false.

body: if self.oclIsInvalid() then
        if b.oclIsInvalid() then self
        elseif b = true then true
        else self
        endif
      elseif self = false then true
      elseif b.oclIsInvalid() then b
      elseif b = true then true
      elseif self = null then null
      elseif b = null then b
      else false
      endif

implies2(b : Boolean[?]) : Boolean[?]

true if self is false, or if b is true. Otherwise false.

body: if self = false then true
      elseif b = true then true
      else false
      endif

not() : Boolean[?] validating precedence: UNARY

true if self is false. false if self is true. null if self is null. Otherwise invalid.

body: if self.oclIsInvalid() then self
      elseif self = null then null
      else self = false
      endif

not2() : Boolean[1]

true if self is false. Otherwise false.

body: if self then false else true endif

or(b : Boolean[?]) : Boolean[?] invalidating validating precedence: OR

true if either self or b is true. Otherwise invalid if either self or b is invalid. Otherwise null if either self or b is null. Otherwise false.

body: if self.oclIsInvalid() then
        if b.oclIsInvalid() then self
    elseif b = true then true
        else self
        endif
      elseif self = true then true
  elseif b.oclIsInvalid() then b
  elseif b = true then true
  elseif self = null then null
  elseif b = null then null
      else false
      endif

or2(b : Boolean[?]) : Boolean[?]

true if either self or b is true. Otherwise false.

body: if self = true then true
  elseif b = true then true
      else false
      endif

toString() : String[1]

Converts self to a string value.

xor(b : Boolean[?]) : Boolean[?] precedence: XOR

true if self is true and b is false, or if self is false and b is true. false if self is true and b is true, or if self is false and b is false. Otherwise invalid if either self or b is invalid. Otherwise null.

body: if self.oclIsInvalid() then self
      elseif b.oclIsInvalid() then b
      elseif self = null then null
      elseif b = null then null
      else self <> b
      endif

xor2(b : Boolean[?]) : Boolean[?]

true if self <> b Otherwise false.

body: self <> b