Vérification des opérations de classe et d'interface

PowerAMC fournit des vérifications de modèle par défaut afin de contrôler la validité des opérations de classe et d'interface.

Vérification

Description et correction

Le nom/code contient des termes qui ne figurent pas dans le glossaire

[si le glossaire est activé] Les noms et les codes ne doivent contenir que des termes approuvés tirés du glossaire.
  • Correction manuelle - Modifiez le nom ou le code de sorte qu'il ne contienne que des termes du glossaire.
  • Correction automatique - Aucune

Le nom/code contient des synonymes de termes de glossaire

[si le glossaire est activé] Les noms et les codes ne doivent pas contenir de synonymes de termes de glossaire.
  • Correction manuelle - Modifiez le nom ou code de sorte qu'il ne contienne que des termes du glossaire.
  • Correction automatique - Remplace les synonymes par les termes de glossaire qui leur sont associés.

Unicité du nom/code

Les noms d'objet doivent être uniques dans l'espace de noms.
  • Correction manuelle - Modifiez le nom ou code en double.
  • Correction automatique - Ajoute un numéro au nom ou 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