PowerAMC fournit des vérifications par défaut afin de contrôler la validité des 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.
|
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.
|
Extension de classe finale |
Une classe finale ne peut pas être étendue.
|
Attribut discriminant non persistant |
Si une généralisation a un attribut discriminant, l'attribut doit être marqué comme persistant.
|
Générique : Paramètres de type enfant manquants |
Un enfant d'un classificateur générique doit résoudre tous les paramètres de type définis par son parent.
|
Générique : L'enfant ne peut pas être lié |
Un classificateur lié ne peut pas être l'enfant d'un classificateur autre que son parent générique.
|