CheckStyle Audit

Designed for use with CheckStyle and Ant.

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

Error DescriptionLine
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.83
Commentaire javadoc manquant.86
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.86
Line has trailing spaces.92
Commentaire javadoc manquant.95
Le paramètre p devrait être final.95
Line has trailing spaces.100
Commentaire javadoc manquant.103
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.103
Le paramètre p devrait être final.103
Le paramètre outReason devrait être final.103
La ligne excède 80 caractères.117
Line has trailing spaces.129
Commentaire javadoc manquant.132
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.132
Line has trailing spaces.138
Commentaire javadoc manquant.141
Le paramètre claInc devrait être final.141
Line has trailing spaces.146
Commentaire javadoc manquant.149
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.149
Line has trailing spaces.155
Commentaire javadoc manquant.158
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.158
Line has trailing spaces.165
Commentaire javadoc manquant.168
Line has trailing spaces.174
Commentaire javadoc manquant.177
Line has trailing spaces.183
Commentaire javadoc manquant.186
Le paramètre d devrait être final.186
Line has trailing spaces.192
Commentaire javadoc manquant.195
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.195
Line has trailing spaces.201
Commentaire javadoc manquant.204
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.204
Le paramètre i devrait être final.204
Commentaire javadoc manquant.208
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.208
Le paramètre s devrait être final.208