CheckStyle Audit

Designed for use with CheckStyle and Ant.

File /usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/AbstractDataStructureFactory.java

Error DescriptionLine
Exception levée : java.lang.RuntimeException: Impossible d'obtenir les informations relatives à ContradictionException.0
Line has trailing spaces.34
La ligne excède 80 caractères.35
Commentaire javadoc manquant.37
La méthode 'conflictDetectedInWatchesFor' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.37
Le paramètre p devrait être final.37
Le paramètre i devrait être final.37
Line has trailing spaces.45
Commentaire javadoc manquant.48
La méthode 'getWatchesFor' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.48
Il manque une espace avant '<'.48
Il manque une espace après '<'.48
Il manque une espace avant '>'.48
Le paramètre p devrait être final.48
Commentaire javadoc manquant.54
La variable 'lits' devrait être privée et avoir des accesseurs.54
Commentaire javadoc manquant.56
Il manque une espace avant '<'.56
Il manque une espace après '<'.56
Il manque une espace avant '>'.56
Il manque une espace avant '<'.56
Il manque une espace après '<'.56
Il manque une espace avant '>'.56
Il manque une espace après '>'.56
Line has trailing spaces.60
Commentaire javadoc manquant.63
La méthode 'getVocabulary' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.63
Commentaire javadoc manquant.67
La variable 'solver' devrait être privée et avoir des accesseurs.67
Commentaire javadoc manquant.69
La variable 'learner' devrait être privée et avoir des accesseurs.69
Commentaire javadoc manquant.71
La méthode 'setUnitPropagationListener' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.71
Le paramètre s devrait être final.71
Commentaire javadoc manquant.75
La méthode 'setLearner' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.75
Le paramètre learner devrait être final.75
'learner' masque un attribut.75
Commentaire javadoc manquant.79
Commentaire javadoc manquant.82
La méthode 'learnConstraint' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.82
Le paramètre constr devrait être final.82
Line has trailing spaces.88
La ligne excède 80 caractères.89
Commentaire javadoc manquant.92
Line has trailing spaces.99
La ligne excède 80 caractères.100
Line has trailing spaces.113