Ajout d'assertions

Cette procédure explique comment ajouter une assertion.

Pourquoi et quand exécuter cette tâche

Vous pouvez ajouter des assertions à la fois aux noeuds finaux et aux règles. Cinq catégories d'assertions sont fournies dans la liste déroulante des options d'assertion.

Pour ajouter une assertion, effectuez les tâches suivantes :

  1. Cliquez sur Ajouter.
  2. Sélectionnez l'assertion dans la boîte de dialogue de sélection d'arborescence filtrée dans la fenêtre contextuelle Sélectionner le type d'assertion.
  3. Une fois le type d'assertion sélectionné, un éditeur d'assertions s'affiche. Sélectionnez Requis si vous souhaitez que l'assertion soit toujours vraie. Sélectionnez Verrouillé si vous ne souhaitez pas que la valeur de l'assertion soit modifiée.
  4. Entrez les valeurs de propriété appropriées. Cette opération permet d'ajouter l'assertion en tant qu'enregistrement dans la table sous la catégorie.
  5. Renouvelez ce processus pour ajouter d'autres assertions.
Résultats

Navigation

Accédez à l'éditeur de règles ou de noeuds finaux, puis accédez à l'onglet Contrat/Assertions en bas de l'éditeur.