Lors de la vérification d'un MOO, les contrôles suivants sont effectués sur les généralisations :
|
Vérification |
Description et correction |
|---|---|
|
Généralisations redondantes |
Deux classes ou interfaces ne peuvent pas être liées par plusieurs généralisations. Correction manuelle : Supprimez les généralisations redondantes Correction automatique : Aucune |
|
Héritages multiples de classes |
La vérification suivante ne concerne que Java et PowerBuilder. UML admet les héritages multiples, mais Java ne les admet pas. Correction manuelle : Ne conservez qu'un seul héritage Correction automatique : Aucune |
|
Extension de classe finale |
Une classe finale ne peut pas être étendue. Correction manuelle : Supprimez le lien de généralisation, ou retirez la propriété Final dans une classe parent Correction automatique : Aucune |
|
Attribut discriminant non persistant |
Si une généralisation a un attribut discriminant, l'attribut doit être marqué comme persistant. Correction manuelle : Cochez la case Persistant sur l'onglet Détails de la feuille de propriétés de l'attribut discriminant. Correction automatique : Aucune |
|
Paramètres de type enfant manquants pour une généralisation générique |
Un enfant d'un classificateur générique doit résoudre tous les paramètres de type définis par son parent. Correction manuelle : Résolvez les paramètres de type manquants. Correction automatique : Aucun. |
|
L'enfant ne peut être lié pour une généralisation générique |
Un classificateur lié ne peut pas être l'enfant d'un classificateur autre que son parent générique. Correction manuelle : Supprimez les liens supplémentaires. Correction automatique : Aucune. |