CheckStyle Audit

Designed for use with CheckStyle and Ant.

File /usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/core/SearchParams.java

Error DescriptionLine
Line has trailing spaces.2
Line has trailing spaces.4
Line has trailing spaces.6
Line has trailing spaces.8
Line has trailing spaces.9
Line has trailing spaces.11
Line has trailing spaces.25
Commentaire javadoc manquant.43
Commentaire javadoc manquant.45
'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
'1.1' devrait être défini comme une constante.46
'0.5' devrait être défini comme une constante.46
'100' devrait être défini comme une constante.46
Commentaire javadoc manquant.49
Le paramètre conflictBound devrait être final.49
'0.95' devrait être défini comme une constante.50
'0.999' devrait être défini comme une constante.50
'1.5' devrait être défini comme une constante.50
'1.1' devrait être défini comme une constante.50
'0.5' devrait être défini comme une constante.50
Commentaire javadoc manquant.53
Le paramètre initLearntbound devrait être final.53
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
'1.1' devrait être défini comme une constante.54
Commentaire javadoc manquant.57
Le paramètre learntincfactor devrait être final.57
Le paramètre confincfactor devrait être final.57
Le paramètre initLearntbound devrait être final.58
Le paramètre conflictBound devrait être final.58
'0.95' devrait être défini comme une constante.59
'0.999' devrait être défini comme une constante.59
La ligne excède 80 caractères.78
Le paramètre d devrait être final.78
Le paramètre e devrait être final.78
Le paramètre f devrait être final.78
Le paramètre g devrait être final.78
Le paramètre h devrait être final.78
Le paramètre i devrait être final.78
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.90
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.97
Commentaire javadoc manquant.101
Commentaire javadoc manquant.103
Commentaire javadoc manquant.105
La variable 'conflictBoundIncFactor' devrait être privée et avoir des accesseurs.105
Commentaire javadoc manquant.107
La variable 'learntBoundIncFactor' devrait être privée et avoir des accesseurs.107
Commentaire javadoc manquant.109
La variable 'initLearntBoundConstraintFactor' devrait être privée et avoir des accesseurs.109
Commentaire javadoc manquant.111
La variable 'initConflictBound' devrait être privée et avoir des accesseurs.111
Line has trailing spaces.115
Commentaire javadoc manquant.118
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.118