CheckStyle Audit

Designed for use with CheckStyle and Ant.

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

Error DescriptionLine
Il manque un caractère NewLine à la fin du fichier0
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.41
Commentaire javadoc manquant.43
La variable 'falsified' devrait être privée et avoir des accesseurs.43
Commentaire javadoc manquant.45
Commentaire javadoc manquant.47
La variable 'lits' devrait être privée et avoir des accesseurs.47
Commentaire javadoc manquant.49
La variable 'voc' devrait être privée et avoir des accesseurs.49
Commentaire javadoc manquant.51
Commentaire javadoc manquant.53
Le paramètre s devrait être final.53
Le paramètre voc devrait être final.53
Le paramètre literals devrait être final.54
Line has trailing spaces.61
Le paramètre ps devrait être final.63
Balise javadoc @param manquante pour 'ps'.63
Le paramètre voc devrait être final.63
'voc' masque un attribut.63
Balise javadoc @param manquante pour 'voc'.63
Le paramètre learnt devrait être final.63
'learnt' masque un attribut.63
Balise javadoc @param manquante pour 'learnt'.63
Commentaire javadoc manquant.70
Le paramètre ps devrait être final.70
Le paramètre voc devrait être final.70
'voc' masque un attribut.70
Line has trailing spaces.76
Commentaire javadoc manquant.79
La méthode 'remove' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.79
Line has trailing spaces.87
La ligne excède 80 caractères.88
Commentaire javadoc manquant.91
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.91
Le paramètre s devrait être final.91
Le paramètre p devrait être final.91
Line has trailing spaces.112
Commentaire javadoc manquant.115
La méthode 'simplify' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.115
Line has trailing spaces.126
Commentaire javadoc manquant.129
La méthode 'undo' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.129
Le paramètre p devrait être final.129
Line has trailing spaces.135
Commentaire javadoc manquant.139
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.139
Le paramètre p devrait être final.139
Le paramètre outReason devrait être final.139
Line has trailing spaces.152
Commentaire javadoc manquant.155
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.155
Line has trailing spaces.161
Commentaire javadoc manquant.164
La méthode 'incActivity' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.164
Le paramètre claInc devrait être final.164
Line has trailing spaces.170
Commentaire javadoc manquant.173
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.173
Line has trailing spaces.179
Commentaire javadoc manquant.182
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.182
Line has trailing spaces.188
Commentaire javadoc manquant.191
La méthode 'setLearnt' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.191
Line has trailing spaces.197
Commentaire javadoc manquant.200
La méthode 'register' 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.217
Commentaire javadoc manquant.220
La méthode 'rescaleBy' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.220
Le paramètre d devrait être final.220
Line has trailing spaces.226
Commentaire javadoc manquant.229
La méthode 'size' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.229
Line has trailing spaces.235
Commentaire javadoc manquant.238
La méthode 'get' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.238
Le paramètre i devrait être final.238
Line has trailing spaces.244
La ligne excède 80 caractères.245
Commentaire javadoc manquant.247
La méthode 'assertConstraint' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.247
Le paramètre s devrait être final.247
Commentaire javadoc manquant.253
La méthode 'toString' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.253