CheckStyle Audit

Designed for use with CheckStyle and Ant.

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

Error DescriptionLine
Line has trailing spaces.3
Commentaire javadoc manquant.23
Commentaire javadoc manquant.25
Commentaire javadoc manquant.27
Commentaire javadoc manquant.29
Commentaire javadoc manquant.31
Le paramètre voc devrait être final.31
'voc' masque un attribut.31
Le paramètre p devrait être final.31
Commentaire javadoc manquant.36
La méthode 'addTernaryClause' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.36
Le paramètre a devrait être final.36
Le paramètre b devrait être final.36
Line has trailing spaces.43
Commentaire javadoc manquant.46
Line has trailing spaces.52
La ligne excède 80 caractères.53
Commentaire javadoc manquant.56
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.56
Le paramètre s devrait être final.56
Le paramètre p devrait être final.56
Line has trailing spaces.77
Commentaire javadoc manquant.80
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.80
Line has trailing spaces.86
Commentaire javadoc manquant.89
Le paramètre p devrait être final.89
Line has trailing spaces.94
Commentaire javadoc manquant.97
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.97
Le paramètre p devrait être final.97
Le paramètre outReason devrait être final.97
La ligne excède 80 caractères.111
Line has trailing spaces.123
Commentaire javadoc manquant.126
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.126
Line has trailing spaces.132
Commentaire javadoc manquant.135
Le paramètre claInc devrait être final.135
Line has trailing spaces.140
Commentaire javadoc manquant.143
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.143
Line has trailing spaces.149
Commentaire javadoc manquant.152
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.152
Line has trailing spaces.159
Commentaire javadoc manquant.162
Line has trailing spaces.168
Commentaire javadoc manquant.171
Line has trailing spaces.177
Commentaire javadoc manquant.180
Le paramètre d devrait être final.180
Line has trailing spaces.186
Commentaire javadoc manquant.189
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.189
Line has trailing spaces.195
Commentaire javadoc manquant.198
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.198
Le paramètre i devrait être final.198
Commentaire javadoc manquant.202
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.202
Le paramètre s devrait être final.202