L'exercice d'une contrainte de type sur un critère au-delà de la définition d'un composant est interdit sauf si la contrainte ...

L'exercice d'une contrainte de type sur un critère au-delà de la définition d'un composant est interdit sauf 
si la contrainte de type correspond au même type pour toutes les propriétés. 
Ce type de critère contraint le composant qui utilise la relation {0} au-delà de l'étendue de sa définition. Le chemin d'accès
du composant cible {1} comme point de terminaison. Toutes les propriétés du critère qui sont ciblées sur ce 
composant doivent cibler le type {1} avec ou sans utilisation de contrainte de type. Si elles ciblent un autre type 
que {1}, elles doivent toujours cibler 
un seul type pour toutes les propriétés. Si, dans le critère, vous disposez d'une ou de plusieurs classes abstraites soumises
à une contrainte de type et d'autres non soumises à une contrainte, envisagez d'appliquer la même contrainte de type à toutes les classes.