Utilisation de l'éditeur de type d'assertion

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

Les éléments suivants constituent tous les groupes de l'éditeur de type d'assertion :

Informations générales

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

Informations sur l'assertion

Le groupe Informations de l'assertion fournit 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 directes existent toujours. Toutes les sections de corrélation indirectes ont été réduites en une seule section. Pour en savoir plus, voir Utilisation des requêtes de corrélation.

Types d'utilisation

Certaines assertions ne peuvent être utilisées que sur un noeud final (par exemple, Heures de l'opération et Règle de propagation), et d'autres dans une règle uniquement (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 à une règle si elle est contrainte par les noeuds finaux et inversement. Cela évite l'utilisation inventive, créative, mais non prise en charge d'Heures de fonctionnement et autres types d'assertion spécialisée. L'éditeur de type d'assertion indique les contraintes d'utilisation d'une 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 :