Lors de la vérification d'un MOO, les contrôles suivants sont effectués sur les opérations de classe et opérations d'interface :
|
Vérification |
Description et correction |
|---|---|
|
Unicité du nom et du code d'opération |
Les noms et les codes d'opération doivent être uniques dans le classificateur. Correction manuelle : Modifiez le nom/code en double Correction automatique : Ajoute un numéro au nom/code en double |
|
Affectation d'un type de résultat |
Le type de résultat d'une opération doit être défini. Correction manuelle : Affectez un type de résultat à l'opération Correction automatique : Affecte un type de résultat 'void' à l'opération |
|
Affectation de type de données à un paramètre |
Le type de données d'un paramètre doit être défini. En outre, un paramètre ne doit pas être VOID. Correction manuelle : Choisissez un type de données valide pour le paramètre Correction automatique : Aucune |
|
Corps d'opération abstraite |
[classes] Les opérations abstraites contenues dans une classe ne doivent pas être mises en oeuvre. Correction manuelle : Supprimez le corps ou la propriété abstraite pour l'opération Correction automatique : Aucune |
|
Opération abstraite dans une classe non abstraite |
[classes] Les opérations abstraites doivent être déclarées uniquement dans des classes abstraites. Correction manuelle : Définissez la classe comme abstraite, ou supprimez la propriété Abstrait de l'opération Correction automatique : Supprime la propriété Abstrait dans la feuille de propriétés de l'opération |
|
Surcharge de signature d'opération |
[classes] Des opérations surchargées ayant le même nom et le même type de données de paramètres ne peuvent pas avoir un type de résultat différent dans une classe. La surcharge d'opération consiste à utiliser le même nom de méthode en effectuant des opérations différentes en fonction du nombre ou du type de paramètres. Correction manuelle : Changez le nom de l'opération, le type de données de paramètre ou le type de résultat Correction automatique : Aucune |
|
Redéfinition d'opérations |
[classes] Lorsque vous redéfinissez une opération parent dans une classe, vous ne pouvez pas changer ses modificateurs. La redéfinition d'une opération signifie qu'une opération définie dans une classe particulière est redéfinie dans une classe enfant, dans ce cas l'opération de la classe parent est dite redéfinie. Correction manuelle : Conservez les mêmes modificateurs pour l'opération enfant Correction automatique : Aucune |
|
Enum : les constantes doivent surcharger une méthode abstraite |
[classes] Vous pouvez donner un comportement différent à chaque constante enum en déclarant une méthode abstraite dans le type enum et en la surchargeant avec une méthode concrète pour chaque constante. Dans ce cas, chaque constante doit surcharger la méthode abstraite. Correction manuelle : Assurez-vous que chaque constante soit associée à une méthode concrète qui surcharge la méthode abstraite. Correction automatique : Aucune |