Symbol (;)

The semicolon (;) is used to separate multiple OCL expressions that are evaluated in sequence, especially in environments like MDriven where more than one expression can be written in the same rule or action.

Example:

self.Name <> '';
self.EmployeeCount > 0

Example with a collection

Department.allInstances->notEmpty();
Department.allInstances->forAll(d | d.EmployeeCount > 0)

The semicolon operator is used to separate OCL expressions

The semicolon (;) separates multiple OCL expressions so they can be evaluated in sequence within the same context.