CheckStyle Audit

Designed for use with CheckStyle and Ant.

File /usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/card/AtLeast.java

Error DescriptionLine
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
Commentaire javadoc manquant.49
La première ligne doit se terminer avec un point.51
La première ligne doit se terminer avec un point.54
La première ligne doit se terminer avec un point.57
Commentaire javadoc manquant.62
Le paramètre voc devrait être final.70
'voc' masque un attribut.70
Balise javadoc @param manquante pour 'voc'.70
Le paramètre ps devrait être final.70
Le paramètre n devrait être final.70
'n' masque un attribut.70
Commentaire javadoc manquant.81
Line has trailing spaces.143
Line has trailing spaces.154
Line has trailing spaces.181
Line has trailing spaces.190
Line has trailing spaces.199
Line has trailing spaces.212
Line has trailing spaces.222
Line has trailing spaces.232