CheckStyle Audit

Designed for use with CheckStyle and Ant.

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

Error DescriptionLine
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.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
Commentaire javadoc manquant.94
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.94
Le paramètre lits devrait être final.94
'lits' masque un attribut.94
Commentaire javadoc manquant.102
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.102
Commentaire javadoc manquant.110
Le paramètre howmany devrait être final.110
Commentaire javadoc manquant.117
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.117
'0.0001' devrait être défini comme une constante.123
Line has trailing spaces.143
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.146
Le paramètre d devrait être final.146
Commentaire javadoc manquant.154
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.154
Le paramètre x devrait être final.154
Commentaire javadoc manquant.168
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.168
Le paramètre p devrait être final.168
Commentaire javadoc manquant.192
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.192
Evitez d'affecter une valeur à une variable au sein d'une expression.193
Line has trailing spaces.199
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.201
Line has trailing spaces.206
Commentaire javadoc manquant.215
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.215
Le paramètre p devrait être final.215
Line has trailing spaces.220
Balise javadoc @return manquante.222
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.222
Commentaire javadoc manquant.236
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.236
La ligne excède 80 caractères.247
Line has trailing spaces.265
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.268
La ligne excède 80 caractères.270
Commentaire javadoc manquant.273
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.273
Commentaire javadoc manquant.282
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.282
Le paramètre out devrait être final.282
Le paramètre prefix devrait être final.282