Documentation:OCLOperators constraints

The operator return both meta information about a class's constraints and if it's currently broken.

The return value is a collection of Tuple containing the following

1. Name
2. Description
3. IsDeleteConstraint: True/False
4. ErrorLevel: #Information, #Warning or #Error
5. Broken:Evaluated and Subscribed state of the constraint

Examples

To check if any constraint with error level Error is broken;

self.constraints->select(c|(c.ErrorLevel = #Error) and c.Broken)->isEmpty  -- Returns True if no errors

Returning a collection of Descriptions of broken Warning constraints;

self.constraints->select(c|(c.ErrorLevel = #Warning) and c.Broken)->collect(c|c.Description)

Please note

This operator earlier resulted in a array of booleans with the constraint result. To get the same functionality now, add .broken=false to the end of the previous expression.

Like this, used with forAll;

self.constraints->forAll(c|c.broken=false)

See also: Constraints, OCLOperators brokenConstraints