CheckStyle Audit

Designed for use with CheckStyle and Ant.

File /usr/local/anthill/work/RELEASE_1_5/SAT4J/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
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
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.37
Commentaire javadoc manquant.48
Le paramètre i devrait être final.48
Avoid inline conditionals.52
L'instruction 'if' devrait utiliser des accolades ('{' et '}').54
Commentaire javadoc manquant.64
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.64
Le paramètre n devrait être final.64
Commentaire javadoc manquant.68
Le paramètre activity devrait être final.68
'activity' masque un attribut.68
Commentaire javadoc manquant.73
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.73
Le paramètre size devrait être final.73
Commentaire javadoc manquant.78
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.78
Le paramètre n devrait être final.78
Commentaire javadoc manquant.83
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.83
Le paramètre n devrait être final.83
Commentaire javadoc manquant.89
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.89
Commentaire javadoc manquant.93
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.93
Le paramètre n devrait être final.93
Commentaire javadoc manquant.100
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.100
L'instruction 'if' devrait utiliser des accolades ('{' et '}').106
Commentaire javadoc manquant.111
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.111
Commentaire javadoc manquant.115
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.115
Le paramètre i devrait être final.115