Utilisation de l'éditeur de type d'assertion

L'éditeur de type d'assertion permet d'afficher toutes les assertions.

Voici des définitions de tous les groupes contenus dans l'éditeur de type d'assertion.

Informations générales

Le groupe Informations générales donne les renseignements suivants :

Informations sur l'assertion

Le groupe Informations sur l'assertion donne les renseignements suivants :

Groupe Corrélations

Ce groupe présente toutes les requêtes de corrélation pertinentes pour le type d'objet en cours de modification. Toutes les sections de corrélation directe existent toujours. Toutes les sections de corrélation indirecte ont été réduites en une seule section. Pour plus d'informations, reportez-vous à la section Utilisation des corrélations.

Types d'utilisation

Certaines assertions ne peuvent être utilisées que sur un noeud final (par exemple : Heures de fonctionnement et règle de propagation). D'autres assertions ne peuvent être utilisées que sur une règle (par exemple : Rejet systématique).

Un type d'assertion peut avoir une annotation allowedUsageConstraint : ENDPOINT POLICY BOTH.

Le système ne permet pas d'ajouter une assertion à la règle si elle est contrainte par les noeuds finaux et vice-versa. Cela évite l'utilisation d'Heures de fonctionnement et autres types d'assertions spécialisées certes "créatives", mais non prises en charge. Les contraintes d'utilisation d'u ne assertion sont montrées dans l'éditeur de type d'assertion.

Assertions basées sur le contenu

Il existe trois méthodes pour définir la règle composite utilisée pour la sélection d'un noeud final :

Comparateurs d'assertions

Les comparateurs de conditions de règle suivants permettent d'écrire des expressions concernant les propriétés des assertions basées sur le contenu :
Concepts associés
Implémentation d'un indicateur d'assertions
Tâches associées
Ajout d'assertions
Référence associée
Configuration d'une liste d'assertions