Colour code for the OCL expressions.

The icons that represent the OCL expressions in the tree viewer have different colours depending on the value combination of a set of boolean attributes.

  correct evaluated result Meaning
Blue true false true/false Without evaluation and correct
Yellow false true/false true/false Syntax, semantic or internal tool error.
Green true true true Invariant with true value
Red true true false Invariant with false value

Colour combination for the OCL expressions and its interpretation.

Colour code for the OCL expressions