Utilizzo dell'editor dei tipi di asserzione

L'editor dei tipi di asserzione è utilizzato per visualizzare tutte le asserzioni.

Di seguito sono definiti tutti i gruppi contenuti nell'editor dei tipi di asserzioni.

Informazioni generali

Il gruppo Informazioni generali fornisce i seguenti elementi:

Informazioni asserzione

Il gruppo Informazioni asserzione fornisce i seguenti elementi:

Gruppo Correlazioni

Questo gruppo elenca tutte le query di correlazioni pertinenti per il tipo di oggetto che viene modificato. Esistono ancora tutte le sezioni di correlazione diretta. Tutte le sezioni di correlazione indiretta sono state compresse in un'unica sezione. Per ulteriori informazioni, fare riferimento alla sezione Utilizzo delle query di correlazione.

Tipi di utilizzo

Alcune asserzioni possono solo essere utilizzate su un endpoint (per esempio, Ore dell'operazione e Propaga politica). Altre asserzioni possono essere utilizzate solo con una politica (ad esempio: Rifiuta sempre).

Un tipo di asserzione può avere un'annotazione allowedUsageConstraint: ENDPOINT POLICY BOTH.

Il sistema non consente di aggiungere un'asserzione a una politica se è vincolata ad endpoint e viceversa. Ciò impedisce l'utilizzo "creativo" immaginativo ancora non supportato dell'asserzione Ore dell'operazione e altri tipi di asserzioni specifiche. I vincoli di utilizzo per un'asserzione sono mostrati nell'editor dei tipi di asserzioni.

Asserzioni basate sul contenuto

Vi sono tre modi per definire la politica composta utilizzata per una selezione di endpoint:

Comparatori di asserzioni

Sono disponibili i seguenti comparatori di condizioni di politica per la scrittura di espressioni relative alle proprietà di asserzioni basate sul contenuto: