CheckStyle Audit

Designed for use with CheckStyle and Ant.

File /usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/cnf/DefaultWLClause.java

Error DescriptionLine
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
Commentaire javadoc manquant.30
Commentaire javadoc manquant.32
Commentaire javadoc manquant.34
Le paramètre ps devrait être final.34
Le paramètre voc devrait être final.34
Line has trailing spaces.39
La première ligne doit se terminer avec un point.43
Line has trailing spaces.45
La méthode 'setLearnt' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.47
Line has trailing spaces.53
Commentaire javadoc manquant.56
La méthode 'learnt' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.56
La première ligne doit se terminer avec un point.60
Line has trailing spaces.63
La méthode 'register' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.66