CheckStyle Audit

Designed for use with CheckStyle and Ant.

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

Error DescriptionLine
La première ligne doit se terminer avec un point.13
Line has trailing spaces.15
La première ligne doit se terminer avec un point.20
Le paramètre ps devrait être final.29
Balise javadoc @param manquante pour 'ps'.29
Le paramètre voc devrait être final.29
Balise javadoc @param manquante pour 'voc'.29
Line has trailing spaces.36
La ligne excède 80 caractères.37
Commentaire javadoc manquant.40
La méthode 'propagate' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.40
Le paramètre s devrait être final.41
Le paramètre p devrait être final.41
Le paramètre ps devrait être final.51
Balise javadoc @param manquante pour 'ps'.51
Le paramètre voc devrait être final.51
Balise javadoc @param manquante pour 'voc'.51
Le paramètre learnt devrait être final.51
Balise javadoc @param manquante pour 'learnt'.51
Commentaire javadoc manquant.56
Le paramètre s devrait être final.56
Le paramètre voc devrait être final.56
Le paramètre literals devrait être final.57