CheckStyle Audit

Designed for use with CheckStyle and Ant.

File /usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/orders/VarOrder.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.47
La première ligne doit se terminer avec un point.49
Commentaire javadoc manquant.54
La variable 'activity' devrait être privée et avoir des accesseurs.59
La première ligne doit se terminer avec un point.61
La variable 'lastVar' devrait être privée et avoir des accesseurs.64
La première ligne doit se terminer avec un point.66
La variable 'order' devrait être privée et avoir des accesseurs.69
Commentaire javadoc manquant.71
La première ligne doit se terminer avec un point.78
La variable 'varpos' devrait être privée et avoir des accesseurs.81
Commentaire javadoc manquant.83
La variable 'lits' devrait être privée et avoir des accesseurs.83
Commentaire javadoc manquant.85
Commentaire javadoc manquant.87
Commentaire javadoc manquant.89
'12345' devrait être défini comme une constante.89
Commentaire javadoc manquant.91
Le mot-clef 'static' n'apparaît pas dans l'ordre préconisé par les JLS.91
Commentaire javadoc manquant.96
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.96
Le paramètre lits devrait être final.96
'lits' masque un attribut.96
Commentaire javadoc manquant.103
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.103
Commentaire javadoc manquant.110
Le paramètre howmany devrait être final.110
Commentaire javadoc manquant.116
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.116
'0.0001' devrait être défini comme une constante.122
Line has trailing spaces.142
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.153
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.153
Le paramètre x devrait être final.153
Commentaire javadoc manquant.166
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.166
Le paramètre p devrait être final.166
Commentaire javadoc manquant.190
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.190
Line has trailing spaces.197
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.199
Line has trailing spaces.204
Commentaire javadoc manquant.213
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.213
Le paramètre p devrait être final.213
Line has trailing spaces.218
Balise javadoc @return manquante.220
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.220
Commentaire javadoc manquant.233
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.233
Il manque une espace avant '+'.235
Il manque une espace après '+'.235
Il manque une espace après ','.242
Il manque une espace avant '='.242
Il manque une espace après '='.242
Line has trailing spaces.262
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.265
Commentaire javadoc manquant.270
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.270
La ligne excède 80 caractères.275
Commentaire javadoc manquant.277
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.277
Le paramètre out devrait être final.277
Le paramètre prefix devrait être final.277