CheckStyle Audit

Designed for use with CheckStyle and Ant.

File /usr/local/anthill/work/core/src/org/sat4j/minisat/orders/VarOrderHeap.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>.43
Il manque une espace avant '<'.43
Il manque une espace après '<'.43
Il manque une espace avant '>'.43
Il manque une espace avant '<'.43
Il manque une espace après '<'.43
Il manque une espace avant '>'.43
Il manque une espace après '>'.43
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.88
Line has trailing spaces.94
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.97
'0.0001' devrait être défini comme une constante.102
Line has trailing spaces.113
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.117
Le paramètre d devrait être final.117
Line has trailing spaces.123
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.126
Le paramètre x devrait être final.126
Balise javadoc @param manquante pour 'x'.126
L'instruction 'if' devrait utiliser des accolades ('{' et '}').127
Line has trailing spaces.133
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.137
Le paramètre p devrait être final.137
L'instruction 'if' devrait utiliser des accolades ('{' et '}').141
Commentaire javadoc manquant.145
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.145
Evitez d'affecter une valeur à une variable au sein d'une expression.146
Line has trailing spaces.152
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.154
Line has trailing spaces.159
Commentaire javadoc manquant.168
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.168
Le paramètre p devrait être final.168
Line has trailing spaces.173
Balise javadoc @return manquante.175
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.175
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.189
La ligne excède 80 caractères.198
Commentaire javadoc manquant.209
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.209
Commentaire javadoc manquant.214
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.214
Commentaire javadoc manquant.218
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.218
Le paramètre out devrait être final.218
Le paramètre prefix devrait être final.218
Commentaire javadoc manquant.222
Le paramètre p devrait être final.222
Line has trailing spaces.223