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