CheckStyle Audit

Designed for use with CheckStyle and Ant.

File /usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/card/MinWatchCard.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
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.38
Commentaire javadoc manquant.40
Commentaire javadoc manquant.42
Commentaire javadoc manquant.44
La première ligne doit se terminer avec un point.46
La variable 'degree' devrait être privée et avoir des accesseurs.49
La première ligne doit se terminer avec un point.51
La première ligne doit se terminer avec un point.56
La première ligne doit se terminer avec un point.61
La variable 'watchCumul' devrait être privée et avoir des accesseurs.64
La première ligne doit se terminer avec un point.66
Line has trailing spaces.74
Le paramètre voc devrait être final.84
'voc' masque un attribut.84
Le paramètre ps devrait être final.84
Le paramètre moreThan devrait être final.84
'moreThan' masque un attribut.84
Le paramètre degree devrait être final.84
'degree' masque un attribut.84
L'instruction 'for' devrait utiliser des accolades ('{' et '}').92
L'instruction 'if' devrait utiliser des accolades ('{' et '}').110
La ligne excède 80 caractères.129
Line has trailing spaces.131
Le paramètre voc devrait être final.139
'voc' masque un attribut.139
Le paramètre ps devrait être final.139
Le paramètre degree devrait être final.139
'degree' masque un attribut.139
La première ligne doit se terminer avec un point.151
Line has trailing spaces.153
La méthode 'calcReason' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.160
Le paramètre p devrait être final.160
Le paramètre outReason devrait être final.160
La première ligne doit se terminer avec un point.172
Line has trailing spaces.174
La méthode 'getActivity' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.178
La première ligne doit se terminer avec un point.183
Line has trailing spaces.185
Le paramètre claInc devrait être final.190
Line has trailing spaces.196
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.200
Line has trailing spaces.206
Le paramètre voc devrait être final.214
Le paramètre ps devrait être final.214
Line has trailing spaces.244
La méthode 'locked' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.248
Line has trailing spaces.257
Balise javadoc @throws manquante pour 'ContradictionException'.273
Line has trailing spaces.319
Line has trailing spaces.383
Line has trailing spaces.393
Line has trailing spaces.407
Line has trailing spaces.444