Les indicateurs d'assertions peuvent être implémentés dans l'éditeur de type d'assertions ou dans l'onglet Contrat énonçant les règles.
Pour plus d'informations, voir Utilisation de l'éditeur de type d'assertion.
Les indicateurs d'assertions suivants sont pris en charge.
- Verrouillée : Si une assertion est Verrouillée pour une cible de règle spécifique, cela signifie qu'elle ne peut plus être personnalisée à un niveau cible plus bas.
- Visible : Si une assertion est identifiée comme étant Visible, cela signifie qu'elle sera affichée pendant la période de personnalisation (que l'utilisateur soit habilité à la modifier ou non).
- Requis : Si une assertion est requise, pendant la sélection de noeud final, tout noeud final qui ne correspond pas à l'assertion sera automatiquement éliminé en tant que candidat. Cet indicateur n'est valable que pour les assertions de noeud final.
- Remplir à partir du contexte : Si une assertion doit être remplie à partir du contexte, elle est automatiquement incluse dans le contexte d'appel.
Cet indicateur demande au système de renseigner les propriétés activées d'une assertion depuis le contexte lors de l'exécution.
La sélection d'indicateur d'assertion Remplir à partir du contexte ne s'affiche que si l'assertion possède plus d'une propriété et n'est valable que pour les assertions basées sur le contenu pouvant être ajoutées à une règle.
Navigation
Accédez à l'éditeur de Règle/Editeur, puis à l'onglet Assertions en bas du plan de travail.