CheckStyle Audit

Designed for use with CheckStyle and Ant.

File /usr/local/anthill/work/core/src/org/sat4j/minisat/core/SearchParams.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
Line has trailing spaces.33
Line has trailing spaces.35
Commentaire javadoc manquant.39
'0.95' devrait être défini comme une constante.46
'0.999' devrait être défini comme une constante.46
'1.5' devrait être défini comme une constante.46
'100' devrait être défini comme une constante.46
Line has trailing spaces.49
Line has trailing spaces.50
Le paramètre conflictBound devrait être final.53
'0.95' devrait être défini comme une constante.54
'0.999' devrait être défini comme une constante.54
'1.5' devrait être défini comme une constante.54
Commentaire javadoc manquant.57
Le paramètre confincfactor devrait être final.57
Le paramètre conflictBound devrait être final.57
'0.95' devrait être défini comme une constante.58
'0.999' devrait être défini comme une constante.58
Le paramètre d devrait être final.71
Le paramètre e devrait être final.71
Le paramètre f devrait être final.71
Le paramètre i devrait être final.71
La méthode 'getClaDecay' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.81
La méthode 'getVarDecay' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.88
Commentaire javadoc manquant.92
Commentaire javadoc manquant.94
Commentaire javadoc manquant.96
Commentaire javadoc manquant.98
Line has trailing spaces.102
Commentaire javadoc manquant.105
La méthode 'toString' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.105
La méthode 'setConflictBoundIncFactor' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.129
Le paramètre conflictBoundIncFactor devrait être final.129
'conflictBoundIncFactor' masque un attribut.129
La méthode 'setInitConflictBound' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.137
Le paramètre initConflictBound devrait être final.137
'initConflictBound' masque un attribut.137
La méthode 'getConflictBoundIncFactor' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.144
La méthode 'getInitConflictBound' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.151
La méthode 'setClaDecay' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.159
Le paramètre claDecay devrait être final.159
'claDecay' masque un attribut.159
La méthode 'setVarDecay' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.167
Le paramètre varDecay devrait être final.167
'varDecay' masque un attribut.167