Creating a Check    

This task explains how to create a check.
A check is a multiline statement that you can write either by typing directly the appropriate syntax in the editor field or by selecting items from the editor dictionary list. For more information about the language to be used in checks, see Knowledgeware Language.

  1. Open the KwrFormula0.CATPart document, select the root item in the specification tree and access the Knowledge Advisor workbench.

  2. Click the Check icon . The first Check Editor dialog box is displayed.

  3. Replace the default name with Cylinder_Check. If needed, add some comments to the Description field.
    If you want to add the check to be created to a specific relation set, specify a destination. To do so, see Creating Sets of Relations. By default, the check is created right below the Relations node.

  4. Click OK. The Check Editor is displayed.

  5. Select a type of check. Enter the message you want to be displayed in the information or warning box in case the check is not verified.

  6. Enter the check statements in the edition window. You can copy/paste the following statements into the edition window:

    Relations\Formula.1\Activity == false

  7. Click Apply to test your check syntax. If the information message is displayed, the check syntax is correct.

  8. Click OK to add Cylinder_Check to the relations node in the specification tree. A red icon is displayed in the specification tree meaning that the check is not valid.

  9. Deactivate Formula.1, the check icon turns to green in the specification tree.

Three parameters related to a check are displayed in the "Formulas" dialog box:
  • The  activity
  • The severity 
  • The result

 When you select the result parameter, the icon indicating whether the check is valid or not is displayed opposite the value field. Double-clicking this icon opens the check editor.
For more information about the Check Editor, see About the Check Editor.