CheckStyle Audit

Designed for use with CheckStyle and Ant.

File /usr/local/anthill/work/core/src/org/sat4j/minisat/learning/MiniSATLearning.java

Error DescriptionLine
Il manque un caractère NewLine à la fin du fichier0
La ligne excède 80 caractères.2
Line has trailing spaces.3
Line has trailing spaces.5
Line has trailing spaces.9
Line has trailing spaces.14
Line has trailing spaces.19
Line has trailing spaces.23
Line has trailing spaces.35
Line has trailing spaces.36
Line has trailing spaces.38
Line has trailing spaces.40
Dans le commentaire javadoc de la classe, il manque une balise @param <L>.43
Il manque une espace avant '<'.43
Il manque une espace après '<'.43
Il manque une espace avant '>'.43
Il manque une espace avant '<'.43
Il manque une espace après '<'.43
Il manque une espace avant '>'.43
Commentaire javadoc manquant.44
Commentaire javadoc manquant.46
Il manque une espace avant '<'.46
Il manque une espace après '<'.46
Il manque une espace avant '>'.46
Commentaire javadoc manquant.48
La méthode 'setDataStructureFactory' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.48
Le paramètre dsf devrait être final.48
Il manque une espace avant '<'.48
Il manque une espace après '<'.48
Il manque une espace avant '>'.48
'dsf' masque un attribut.48
Commentaire javadoc manquant.52
La méthode 'setSolver' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.52
Le paramètre s devrait être final.53
Il manque une espace avant '<'.53
Il manque une espace après '<'.53
Il manque une espace avant '>'.53
Commentaire javadoc manquant.58
La méthode 'learns' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.58
Le paramètre constr devrait être final.58
Commentaire javadoc manquant.67
La méthode 'toString' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.67
Line has trailing spaces.71