CheckStyle Audit

Designed for use with CheckStyle and Ant.

File /usr/local/anthill/work/core/src/org/sat4j/minisat/orders/VarOrder.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
Dans le commentaire javadoc de la classe, il manque une balise @param <L>.42
Il manque une espace avant '<'.42
Il manque une espace après '<'.42
Il manque une espace avant '>'.42
Il manque une espace avant '<'.42
Il manque une espace après '<'.42
Il manque une espace avant '>'.42
Commentaire javadoc manquant.44
La première ligne doit se terminer avec un point.46
Commentaire javadoc manquant.51
La variable 'activity' devrait être privée et avoir des accesseurs.56
La première ligne doit se terminer avec un point.58
La variable 'lastVar' devrait être privée et avoir des accesseurs.61
La première ligne doit se terminer avec un point.63
La variable 'order' devrait être privée et avoir des accesseurs.66
Commentaire javadoc manquant.68
La première ligne doit se terminer avec un point.75
La variable 'varpos' devrait être privée et avoir des accesseurs.78
Commentaire javadoc manquant.80
La variable 'lits' devrait être privée et avoir des accesseurs.80
Commentaire javadoc manquant.82
Line has trailing spaces.92
Commentaire javadoc manquant.95
La méthode 'setLits' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.95
Le paramètre lits devrait être final.95
'lits' masque un attribut.95
Line has trailing spaces.101
Commentaire javadoc manquant.104
La méthode 'newVar' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.104
Line has trailing spaces.110
Commentaire javadoc manquant.113
Le paramètre howmany devrait être final.113
Line has trailing spaces.118
Commentaire javadoc manquant.121
La méthode 'select' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.121
'0.0001' devrait être défini comme une constante.127
Line has trailing spaces.147
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.151
Le paramètre d devrait être final.151
Line has trailing spaces.157
Commentaire javadoc manquant.160
La méthode 'undo' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.160
Le paramètre x devrait être final.160
Line has trailing spaces.172
Commentaire javadoc manquant.175
La méthode 'updateVar' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.175
Le paramètre p devrait être final.175
Commentaire javadoc manquant.199
La méthode 'updateActivity' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.199
Evitez d'affecter une valeur à une variable au sein d'une expression.200
Line has trailing spaces.206
La méthode 'varDecayActivity' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.208
Line has trailing spaces.213
Commentaire javadoc manquant.222
La méthode 'varActivity' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.222
Le paramètre p devrait être final.222
Line has trailing spaces.227
Balise javadoc @return manquante.229
La méthode 'numberOfInterestingVariables' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.229
Line has trailing spaces.241
Commentaire javadoc manquant.244
La méthode 'init' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.244
La ligne excède 80 caractères.255
Line has trailing spaces.273
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.276
La ligne excède 80 caractères.278
Commentaire javadoc manquant.281
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.281
Line has trailing spaces.287
Commentaire javadoc manquant.291
La méthode 'printStat' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.291
Le paramètre out devrait être final.291
Le paramètre prefix devrait être final.291
Commentaire javadoc manquant.296
Le paramètre p devrait être final.296
Line has trailing spaces.297