CheckStyle Audit

Designed for use with CheckStyle and Ant.

File /usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/MixableCBClausePB.java

Error DescriptionLine
Commentaire javadoc manquant.10
Il manque une espace avant '{'.10
La ligne contient un caractère tabulation.12
Line has trailing spaces.13
La ligne contient un caractère tabulation.13
La ligne contient un caractère tabulation.14
La ligne contient un caractère tabulation.15
La ligne contient un caractère tabulation.17
Commentaire javadoc manquant.17
Le paramètre ps devrait être final.17
Le paramètre voc devrait être final.17
Le paramètre learnt devrait être final.17
La ligne contient un caractère tabulation.18
La ligne contient un caractère tabulation.19
La ligne contient un caractère tabulation.21
Commentaire javadoc manquant.21
Le paramètre ps devrait être final.21
Le paramètre voc devrait être final.21
La ligne contient un caractère tabulation.22
La ligne contient un caractère tabulation.23
La ligne excède 80 caractères.25
Commentaire javadoc manquant.25
Le paramètre s devrait être final.25
Le paramètre voc devrait être final.25
Le paramètre literals devrait être final.26
Line has trailing spaces.33
La ligne contient un caractère tabulation.33
La ligne contient un caractère tabulation.34
La ligne excède 80 caractères.35
La ligne contient un caractère tabulation.35
La ligne contient un caractère tabulation.36
La ligne contient un caractère tabulation.37
Commentaire javadoc manquant.37
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.37
La ligne contient un caractère tabulation.38
La ligne contient un caractère tabulation.39
La ligne contient un caractère tabulation.41
La ligne contient un caractère tabulation.42
La ligne contient un caractère tabulation.43
La ligne contient un caractère tabulation.44
Commentaire javadoc manquant.44
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.44
Le paramètre literal devrait être final.44
La ligne contient un caractère tabulation.45
La ligne contient un caractère tabulation.46
La ligne contient un caractère tabulation.48
La ligne contient un caractère tabulation.49
La ligne contient un caractère tabulation.50
La ligne contient un caractère tabulation.51
Commentaire javadoc manquant.51
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.51
La ligne contient un caractère tabulation.52
L'instruction 'for' devrait utiliser des accolades ('{' et '}').53
La ligne contient un caractère tabulation.53
La ligne contient un caractère tabulation.54
La ligne contient un caractère tabulation.55
La ligne contient un caractère tabulation.56
La ligne contient un caractère tabulation.58
La ligne contient un caractère tabulation.59
La ligne contient un caractère tabulation.60
La ligne contient un caractère tabulation.61
Commentaire javadoc manquant.61
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.61
Line has trailing spaces.62
La ligne contient un caractère tabulation.62
La ligne contient un caractère tabulation.63
La ligne contient un caractère tabulation.65
La ligne contient un caractère tabulation.66
La ligne contient un caractère tabulation.67
La ligne contient un caractère tabulation.68
Commentaire javadoc manquant.68
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.68
La ligne contient un caractère tabulation.69
La ligne contient un caractère tabulation.70
La ligne contient un caractère tabulation.71
La ligne contient un caractère tabulation.72
La ligne contient un caractère tabulation.74
La ligne contient un caractère tabulation.75
La ligne contient un caractère tabulation.76
La ligne contient un caractère tabulation.77
Commentaire javadoc manquant.77
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.77
La ligne contient un caractère tabulation.78
La ligne contient un caractère tabulation.79
Line has trailing spaces.80
La ligne contient un caractère tabulation.80
Line has trailing spaces.83
La ligne excède 80 caractères.84
Commentaire javadoc manquant.86
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.86
Le paramètre s devrait être final.86
L'instruction 'for' devrait utiliser des accolades ('{' et '}').87
La ligne contient un caractère tabulation.87
La ligne contient un caractère tabulation.88
La ligne contient un caractère tabulation.89
La ligne contient un caractère tabulation.90
La ligne contient un caractère tabulation.91
La ligne contient un caractère tabulation.92