The check button

The 'Check' button determines whether the instance conforms to its pattern. The verdict is displayed in the associated text field:




The 'number of values' takes into account every element and every value on its references and attributes. For example, adding a function F2 in another function F1 results in 2 'extra values': 1 for the presence of F2 and 1 for the containment of F2 into F1 via the 'subFunctions' reference.

The 'Conformity' text field provides a quick overview on conformity. To better understand the reasons for non-conformity, use the 'Show details' check box. When this check box is ticked, clicking the 'Check' button pops up a dialog which graphically shows all the differences (additions, removals, other changes) between the instance and its pattern. This checking ignores differences related to 'Name', 'Description' and 'Summary' if checked in the 'Features to exclude' group. For a precise description of the kinds of differences and how they are represented, see section 'The 'Update pattern' button'.