CheckStyle Audit

Designed for use with CheckStyle and Ant.

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

Error DescriptionLine
Il manque un caractère NewLine à la fin du fichier0
Commentaire javadoc manquant.22
Commentaire javadoc manquant.24
La variable 'falsified' devrait être privée et avoir des accesseurs.24
Commentaire javadoc manquant.26
Commentaire javadoc manquant.28
La variable 'lits' devrait être privée et avoir des accesseurs.28
Commentaire javadoc manquant.30
La variable 'voc' devrait être privée et avoir des accesseurs.30
Commentaire javadoc manquant.32
Commentaire javadoc manquant.34
Le paramètre s devrait être final.34
Le paramètre voc devrait être final.34
Le paramètre literals devrait être final.35
Line has trailing spaces.42
Le paramètre ps devrait être final.44
Balise javadoc @param manquante pour 'ps'.44
Le paramètre voc devrait être final.44
'voc' masque un attribut.44
Balise javadoc @param manquante pour 'voc'.44
Le paramètre learnt devrait être final.44
'learnt' masque un attribut.44
Balise javadoc @param manquante pour 'learnt'.44
Commentaire javadoc manquant.51
Le paramètre ps devrait être final.51
Le paramètre voc devrait être final.51
'voc' masque un attribut.51
Line has trailing spaces.57
Commentaire javadoc manquant.60
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.60
Line has trailing spaces.68
La ligne excède 80 caractères.69
Commentaire javadoc manquant.72
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.72
Le paramètre s devrait être final.72
Le paramètre p devrait être final.72
Line has trailing spaces.93
Commentaire javadoc manquant.96
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.96
Line has trailing spaces.107
Commentaire javadoc manquant.110
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.110
Le paramètre p devrait être final.110
Line has trailing spaces.116
Commentaire javadoc manquant.120
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.120
Le paramètre p devrait être final.120
Le paramètre outReason devrait être final.120
Line has trailing spaces.133
Commentaire javadoc manquant.136
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.136
Line has trailing spaces.142
Commentaire javadoc manquant.145
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.145
Le paramètre claInc devrait être final.145
Line has trailing spaces.151
Commentaire javadoc manquant.154
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.154
Line has trailing spaces.160
Commentaire javadoc manquant.163
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.163
Line has trailing spaces.169
Commentaire javadoc manquant.172
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.172
Line has trailing spaces.178
Commentaire javadoc manquant.181
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.181
Line has trailing spaces.198
Commentaire javadoc manquant.201
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.201
Le paramètre d devrait être final.201
Line has trailing spaces.207
Commentaire javadoc manquant.210
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.210
Line has trailing spaces.216
Commentaire javadoc manquant.219
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.219
Le paramètre i devrait être final.219
Line has trailing spaces.225
La ligne excède 80 caractères.226
Commentaire javadoc manquant.228
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.228
Le paramètre s devrait être final.228
Commentaire javadoc manquant.234
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.234