CheckStyle Audit

Designed for use with CheckStyle and Ant.

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

Error DescriptionLine
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.42
Commentaire javadoc manquant.44
Commentaire javadoc manquant.46
Commentaire javadoc manquant.48
Commentaire javadoc manquant.50
Le paramètre voc devrait être final.50
'voc' masque un attribut.50
Le paramètre p devrait être final.50
Commentaire javadoc manquant.55
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.55
Le paramètre a devrait être final.55
Le paramètre b devrait être final.55
Line has trailing spaces.62
Commentaire javadoc manquant.65
Line has trailing spaces.71
La ligne excède 80 caractères.72
Commentaire javadoc manquant.75
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.75
Le paramètre s devrait être final.75
Le paramètre p devrait être final.75
Line has trailing spaces.96
Commentaire javadoc manquant.99
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.99
Line has trailing spaces.105
Commentaire javadoc manquant.108
Le paramètre p devrait être final.108
Line has trailing spaces.113
Commentaire javadoc manquant.116
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.116
Le paramètre p devrait être final.116
Le paramètre outReason devrait être final.116
La ligne excède 80 caractères.130
Line has trailing spaces.142
Commentaire javadoc manquant.145
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.145
Line has trailing spaces.151
Commentaire javadoc manquant.154
Le paramètre claInc devrait être final.154
Line has trailing spaces.159
Commentaire javadoc manquant.162
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.162
Line has trailing spaces.168
Commentaire javadoc manquant.171
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.171
Line has trailing spaces.178
Commentaire javadoc manquant.181
Line has trailing spaces.187
Commentaire javadoc manquant.190
Line has trailing spaces.196
Commentaire javadoc manquant.199
Le paramètre d devrait être final.199
Line has trailing spaces.205
Commentaire javadoc manquant.208
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.208
Line has trailing spaces.214
Commentaire javadoc manquant.217
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.217
Le paramètre i devrait être final.217
Commentaire javadoc manquant.221
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.221
Le paramètre s devrait être final.221