CheckStyle Audit

Designed for use with CheckStyle and Ant.

File /usr/local/anthill/work/core/src/org/sat4j/minisat/restarts/LubyRestarts.java

Error DescriptionLine
La première ligne doit se terminer avec un point.6
Line has trailing spaces.9
Line has trailing spaces.11
Line has trailing spaces.16
Line has trailing spaces.21
Line has trailing spaces.36
Commentaire javadoc manquant.40
Le nom de la classe 'luby_super' n'est pas conforme à l'expression '^[a-z][a-zA-Z0-9]*$'.40
Le paramètre i devrait être final.40
L'instruction 'if' devrait utiliser des accolades ('{' et '}').52
Commentaire javadoc manquant.57
Commentaire javadoc manquant.58
Line has trailing spaces.59
Commentaire javadoc manquant.60
'32' devrait être défini comme une constante.61
Line has trailing spaces.63
Commentaire javadoc manquant.64
La méthode 'setFactor' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.64
Le paramètre factor devrait être final.64
'factor' masque un attribut.64
Line has trailing spaces.67
Commentaire javadoc manquant.68
La méthode 'getFactor' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.68
Line has trailing spaces.71
Commentaire javadoc manquant.72
La méthode 'init' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.72
Le paramètre params devrait être final.72
Commentaire javadoc manquant.76
La méthode 'nextRestartNumberOfConflict' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.76
Il manque une espace avant '*'.77
Il manque une espace après '*'.77
Commentaire javadoc manquant.80
La méthode 'onRestart' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.80
Line has trailing spaces.83
Commentaire javadoc manquant.84
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.84
La ligne excède 80 caractères.86
Line has trailing spaces.86
Il manque une espace avant '+'.86
Il manque une espace après '+'.86