Contrôle de cohérence

Bonjour à tous le monde,

Je ne vois pas très bien comment faire un contrôle de cohérence en UML. Par exemple, comment Visual Studio fait pour vérifier que une classe ou un bout de code possède une erreur. Je pense qu'on doit passé par une interface qui permettrait à chaque classe de s'autovérifier, mais c'est qu'une supposition. D'où l'ouverture de ce sujet, quelqu'un aurait-il une idée (diagramme de classe) pour réaliser un contrôle d'erreur ?

Merci d'avance à ceux qui me répondront ;).

Contrôle de cohérence de quoi ?
Les éditeurs de code s'appuient sur une grammaire pour vérifier que le code est correct ou non.

Toi tu veux faire quoi ?

Bonjour,

Merci ego pour ta réponse, je vais apporter un peu plus de précisions à mes besoins. En fait, actuellement je programme un logiciel pour faire des séquences.

Voici le diagramme UML acutuel :

Pièce jointe 139412

Donc la classe Verificateur permet de vérifier chaque éléments des classes. L'interface Verification permet à chaque étape de s'auto-vérifier. Donc, j'aimerais bien savoir comment améliorer ce digramme UML, pour que ça soit plus facile à implémenter. Surtout que le code commence à devenir n'importe quoi et que ça va dans tous les sens. J'ai besoin de vérifier :

- les fichiers de séquence en intégralité pour voir si il n y a les mêmes noms de séquences utilisées

- chaque séquence pour voir si il n y a pas d'erreur du type même nom de variable, if mal placé etc...

- chaque étape pour voir si les noms sont bons, si il n y a pas d'erreurs de saisies etc...

Merci d'avances

Ben déjà je ne mélangerai pas la structure de tes données et la notion de vérification.
Je ne mettrai pas de méthode "vérifier" dans les classes "Sequence", "SubSequence",...

J'essayerai plutôt d'implémenter le principe du Visiteur. Tu aurais une Interface Visitor et une classe implémentant cette interface VerificationVisitor

Hello ego,

Merci pour ta réponse, je pense que tu veux parler du design pattern Visitors ? J'ai regardé un peu, mais je ne comprend pas bien comment l’implémenter avec mon diagramme UML. En fait, dans mon cas chaque étape pouvait s'auto-vérifié, donc pour la vérification je regarde juste les étapes que j'ai besoins. Mais l'idée est intéressante, je ne vois juste pas trop comment l'implémenter à mon diagramme :aie:. J'ai pas très bien compris le concept du accept dans l'exemple suivant : http://pcaboche.developpez.com/artic...e/?page=page_5.

Merci pour ta réponse ego ;).

tu enlèves les opérations Verification de tes classes
Tu créés une Interface Visitor avec les opérations suivantes :

Code:

---

1 2 3 4 5

void visit(FileSequence fileSequence) void visit(Variable variable) void visit(SubSequence subSequence) ...

---

Un visit pour chaque type de classe

Ensuite dans tes classes FileSequence, Variable, SubSequence,...tu ajoutes une opération accept(Visitor visitor). Cette opération ne fait que faire l'appel visitor.visit(this), qui va donc appeler la méthode visit correspondant à l'objet sur lequel le visitor se trouve.

Ensuite tu créés une classe AbstractVisitor qui extends l'interface Visitor et qui pour chaque méthode visit, parcours les éléments qu'il faut pour chaque type de classe, par exemple, pour FileSequence tu auras un truc du genre :

Code:

---

1 2 3

if fileSequence.getVariables()!=null) (for (Variable v : fileSequence.getVariables()) v.accept(this);

---

Enfin tu créés la classe Verification qui extends AbstractVisitor et tu redéfinis les opérations visit en faisant d'abord le test que tu doit faire et ensuite tu rappelles le visit de AbstractVisitor :

Code:

---

1 2 3 4 5

// Tester, par exemple que 2 variables n'ont pas le même nom ...blabla...blabla // Rappel du visit du parent super.visit(fileSequence);

---