CheckStyle Audit

Designed for use with CheckStyle and Ant.

File /usr/local/anthill/work/RELEASE_1_6/core/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.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.43
Commentaire javadoc manquant.48
Commentaire javadoc manquant.50
Commentaire javadoc manquant.52
Commentaire javadoc manquant.54
Commentaire javadoc manquant.56
La première ligne doit se terminer avec un point.58
Line has trailing spaces.60
Le paramètre ps devrait être final.64
Le paramètre voc devrait être final.64
'voc' masque un attribut.64
La première ligne doit se terminer avec un point.73
Line has trailing spaces.80
Line has trailing spaces.131
La ligne excède 80 caractères.141
La ligne excède 80 caractères.144
Line has trailing spaces.154
Line has trailing spaces.163
Line has trailing spaces.192
Line has trailing spaces.208
Line has trailing spaces.222
Line has trailing spaces.233
Line has trailing spaces.253
Line has trailing spaces.254
Line has trailing spaces.307
Line has trailing spaces.331
Line has trailing spaces.346
La ligne contient un caractère tabulation.347
La ligne contient un caractère tabulation.348
La ligne contient un caractère tabulation.349
Line has trailing spaces.350
La ligne contient un caractère tabulation.350
La ligne contient un caractère tabulation.351
La ligne contient un caractère tabulation.355