CheckStyle Audit

Designed for use with CheckStyle and Ant.

File /usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/cnf/WLClause.java

Error DescriptionLine
Il manque un caractère NewLine à la fin du fichier0
Exception levée : java.lang.RuntimeException: Impossible d'obtenir les informations relatives à ContradictionException.0
Line has trailing spaces.2
Line has trailing spaces.4
Line has trailing spaces.6
Line has trailing spaces.8
Line has trailing spaces.9
Line has trailing spaces.11
Line has trailing spaces.25
Line has trailing spaces.45
Line has trailing spaces.46
Commentaire javadoc manquant.50
Commentaire javadoc manquant.52
Commentaire javadoc manquant.54
Commentaire javadoc manquant.56
Commentaire javadoc manquant.58
Commentaire javadoc manquant.60
Commentaire javadoc manquant.62
La première ligne doit se terminer avec un point.64
Line has trailing spaces.66
Le paramètre ps devrait être final.71
Le paramètre voc devrait être final.71
'voc' masque un attribut.71
Commentaire javadoc manquant.80
Commentaire javadoc manquant.84
La première ligne doit se terminer avec un point.88
Line has trailing spaces.95
Line has trailing spaces.150
Line has trailing spaces.176
Line has trailing spaces.185
Line has trailing spaces.214
Line has trailing spaces.233
Line has trailing spaces.247
Line has trailing spaces.258
Line has trailing spaces.330
Line has trailing spaces.354