CheckStyle Audit

Designed for use with CheckStyle and Ant.

File /usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MixableCBClausePB.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.34
Line has trailing spaces.37
Commentaire javadoc manquant.41
Le paramètre ps devrait être final.41
Le paramètre voc devrait être final.41
Le paramètre learnt devrait être final.41
Commentaire javadoc manquant.45
Le paramètre ps devrait être final.45
Le paramètre voc devrait être final.45
Commentaire javadoc manquant.49
Le paramètre s devrait être final.49
Le paramètre voc devrait être final.50
Le paramètre literals devrait être final.50
Line has trailing spaces.58
Commentaire javadoc manquant.61
La méthode 'computeAnImpliedClause' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.61
Line has trailing spaces.67
Commentaire javadoc manquant.70
La méthode 'getCoef' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.70
Le paramètre literal devrait être final.70
Line has trailing spaces.76
Commentaire javadoc manquant.79
La méthode 'getCoefs' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.79
L'instruction 'for' devrait utiliser des accolades ('{' et '}').81
Line has trailing spaces.88
Commentaire javadoc manquant.91
La méthode 'getDegree' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.91
Line has trailing spaces.97
Commentaire javadoc manquant.100
La méthode 'getLits' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.100
Line has trailing spaces.108
Commentaire javadoc manquant.111
La méthode 'getVocabulary' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.111
Line has trailing spaces.117
La ligne excède 80 caractères.118
Commentaire javadoc manquant.120
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.120
Le paramètre s devrait être final.121
L'instruction 'for' devrait utiliser des accolades ('{' et '}').122