CheckStyle Audit

Designed for use with CheckStyle and Ant.

File /usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/orders/VarOrderHeap.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.45
Commentaire javadoc manquant.47
Commentaire javadoc manquant.49
La variable 'activity' devrait être privée et avoir des accesseurs.54
Commentaire javadoc manquant.56
Commentaire javadoc manquant.63
La variable 'lits' devrait être privée et avoir des accesseurs.63
Commentaire javadoc manquant.65
Commentaire javadoc manquant.67
La variable 'heap' devrait être privée et avoir des accesseurs.67
Commentaire javadoc manquant.69
La variable 'phase' devrait être privée et avoir des accesseurs.69
Commentaire javadoc manquant.71
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.71
Le paramètre lits devrait être final.71
'lits' masque un attribut.71
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.78
La première ligne doit se terminer avec un point.82
Line has trailing spaces.84
Le paramètre howmany devrait être final.87
Line has trailing spaces.93
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.96
'0.0001' devrait être défini comme une constante.101
Line has trailing spaces.112
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.115
Le paramètre d devrait être final.115
Line has trailing spaces.121
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.124
Le paramètre x devrait être final.124
Balise javadoc @param manquante pour 'x'.124
L'instruction 'if' devrait utiliser des accolades ('{' et '}').125
Line has trailing spaces.131
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.134
Le paramètre p devrait être final.134
L'instruction 'if' devrait utiliser des accolades ('{' et '}').138
Commentaire javadoc manquant.142
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.142
Evitez d'affecter une valeur à une variable au sein d'une expression.143
Line has trailing spaces.149
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.151
Line has trailing spaces.156
Commentaire javadoc manquant.165
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.165
Le paramètre p devrait être final.165
Line has trailing spaces.170
Balise javadoc @return manquante.172
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.172
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.186
La ligne excède 80 caractères.195
Commentaire javadoc manquant.206
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.206
Commentaire javadoc manquant.211
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.211
Commentaire javadoc manquant.215
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.215
Le paramètre out devrait être final.215
Le paramètre prefix devrait être final.215