Documentation:OCLOperators casetruefalse

This is a new compact form to write :

if somebool then
  someexpressionwithtypeX
else
  someOtherexpressionwithtypeX
endif

This operator enables you to write the same thing as

somebool.TrueFalse(someexpressionwithtypeX,someOtherexpressionwithtypeX)

This makes a switch like construct look like this:

let x=SomeObject.SomeEnum in
(
  (x=#Enum1).TrueFalse(SomeObject.DoYourThing1,DoNothing);
  (x=#Enum2).TrueFalse(SomeObject.DoYourThing2,DoNothing);
  (x=#Enum3).TrueFalse(SomeObject.DoYourThing3,DoNothing)
)

See also OCLOperators_case