CheckStyle Audit

Designed for use with CheckStyle and Ant.

File /usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/orders/VarOrderHeap.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.48
Commentaire javadoc manquant.50
Commentaire javadoc manquant.52
La variable 'activity' devrait être privée et avoir des accesseurs.57
Commentaire javadoc manquant.59
Commentaire javadoc manquant.66
La variable 'lits' devrait être privée et avoir des accesseurs.66
Commentaire javadoc manquant.68
Commentaire javadoc manquant.70
Commentaire javadoc manquant.72
'12345' devrait être défini comme une constante.72
Commentaire javadoc manquant.74
Le mot-clef 'static' n'apparaît pas dans l'ordre préconisé par les JLS.74
Commentaire javadoc manquant.76
Commentaire javadoc manquant.78
Line has trailing spaces.79
Commentaire javadoc manquant.80
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.80
Le paramètre lits devrait être final.80
'lits' masque un attribut.80
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.87
La première ligne doit se terminer avec un point.91
Line has trailing spaces.93
Le paramètre howmany devrait être final.97
Line has trailing spaces.103
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.106
Il manque une espace après '^'.110
Il manque une espace avant '>'.111
Il manque une espace après '>'.111
Avoid inline conditionals.111
Il manque une espace avant '?'.111
Il manque une espace après '?'.111
Il manque une espace avant ':'.111
Il manque une espace après ':'.111
'0.0001' devrait être défini comme une constante.113
Line has trailing spaces.124
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.128
Le paramètre d devrait être final.128
Line has trailing spaces.134
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.137
Le paramètre x devrait être final.137
Balise javadoc @param manquante pour 'x'.137
L'instruction 'if' devrait utiliser des accolades ('{' et '}').138
Line has trailing spaces.144
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.147
Le paramètre p devrait être final.147
L'instruction 'if' devrait utiliser des accolades ('{' et '}').151
Commentaire javadoc manquant.155
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.155
Line has trailing spaces.162
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.164
Line has trailing spaces.169
Commentaire javadoc manquant.178
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.178
Le paramètre p devrait être final.178
Line has trailing spaces.183
Balise javadoc @return manquante.185
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.185
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.199
Il manque une espace avant '<<'.202
Il manque une espace après '<<'.202
Il manque une espace avant '^'.202
Il manque une espace après '^'.202
Il manque une espace avant '<<'.212
Il manque une espace après '<<'.212
Il manque une espace avant '<<'.213
Il manque une espace après '<<'.213
Il manque une espace avant '^'.213
Il manque une espace après '^'.213
Il manque une espace avant '<<'.215
Il manque une espace après '<<'.215
Il manque une espace avant '<<'.216
Il manque une espace après '<<'.216
Il manque une espace avant '^'.216
Il manque une espace après '^'.216
Commentaire javadoc manquant.221
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.221
Commentaire javadoc manquant.225
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.225
Commentaire javadoc manquant.229
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.229
Le paramètre out devrait être final.229
Le paramètre prefix devrait être final.229