CheckStyle Audit

Designed for use with CheckStyle and Ant.

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

Error DescriptionLine
Commentaire javadoc manquant.8
Line has trailing spaces.11
Commentaire javadoc manquant.13
Commentaire javadoc manquant.15
Mot-clef 'final' redondant.15
Le mot-clef 'static' n'apparaît pas dans l'ordre préconisé par les JLS.15
Le paramètre i devrait être final.15
Il manque une espace avant '<<'.16
Il manque une espace après '<<'.16
Commentaire javadoc manquant.19
Mot-clef 'final' redondant.19
Le mot-clef 'static' n'apparaît pas dans l'ordre préconisé par les JLS.19
Le paramètre i devrait être final.19
Il manque une espace avant '<<'.20
Il manque une espace après '<<'.20
Il manque une espace avant '^'.20
Il manque une espace après '^'.20
Commentaire javadoc manquant.23
Mot-clef 'final' redondant.23
Le mot-clef 'static' n'apparaît pas dans l'ordre préconisé par les JLS.23
Le paramètre i devrait être final.23
Commentaire javadoc manquant.27
Mot-clef 'final' redondant.27
Le paramètre a devrait être final.27
Le paramètre b devrait être final.27
Commentaire javadoc manquant.31
Commentaire javadoc manquant.33
Commentaire javadoc manquant.35
Line has trailing spaces.36
Commentaire javadoc manquant.37
Le paramètre i devrait être final.38
Commentaire javadoc manquant.49
Le paramètre i devrait être final.49
Lutilisation de lopérateur conditionel est prohibée.53
L'instruction 'if' devrait utiliser des accolades ('{' et '}').55
Commentaire javadoc manquant.65
La méthode 'ok' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.65
Le paramètre n devrait être final.65
Commentaire javadoc manquant.69
Le paramètre activity devrait être final.69
'activity' masque un attribut.69
Commentaire javadoc manquant.74
La méthode 'setBounds' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.74
Le paramètre size devrait être final.74
Commentaire javadoc manquant.79
La méthode 'inHeap' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.79
Le paramètre n devrait être final.79
Commentaire javadoc manquant.84
La méthode 'increase' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.84
Le paramètre n devrait être final.84
Commentaire javadoc manquant.90
La méthode 'empty' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.90
Commentaire javadoc manquant.94
La méthode 'insert' 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 n devrait être final.94
Commentaire javadoc manquant.101
La méthode 'getmin' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.101
L'instruction 'if' devrait utiliser des accolades ('{' et '}').107
Commentaire javadoc manquant.112
La méthode 'heapProperty' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.112
Commentaire javadoc manquant.116
La méthode 'heapProperty' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.116
Le paramètre i devrait être final.116