CheckStyle Audit

Designed for use with CheckStyle and Ant.

File /usr/local/anthill/work/core/src/org/sat4j/minisat/core/Heap.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
Line has trailing spaces.34
Line has trailing spaces.36
Commentaire javadoc manquant.43
Commentaire javadoc manquant.45
Mot-clef 'final' redondant.45
Le mot-clef 'static' n'apparaît pas dans l'ordre préconisé par les JLS.45
Le paramètre i devrait être final.45
Commentaire javadoc manquant.49
Mot-clef 'final' redondant.49
Le mot-clef 'static' n'apparaît pas dans l'ordre préconisé par les JLS.49
Le paramètre i devrait être final.49
Commentaire javadoc manquant.53
Mot-clef 'final' redondant.53
Le mot-clef 'static' n'apparaît pas dans l'ordre préconisé par les JLS.53
Le paramètre i devrait être final.53
Commentaire javadoc manquant.57
Mot-clef 'final' redondant.57
Le paramètre a devrait être final.57
Le paramètre b devrait être final.57
Commentaire javadoc manquant.61
Commentaire javadoc manquant.63
Commentaire javadoc manquant.65
Commentaire javadoc manquant.67
Le paramètre i devrait être final.68
Commentaire javadoc manquant.79
Le paramètre i devrait être final.79
Lutilisation de lopérateur conditionel est prohibée.83
L'instruction 'if' devrait utiliser des accolades ('{' et '}').85
Commentaire javadoc manquant.95
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.95
Le paramètre n devrait être final.95
Commentaire javadoc manquant.99
Le paramètre activity devrait être final.99
'activity' masque un attribut.99
Commentaire javadoc manquant.105
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.105
Le paramètre size devrait être final.105
Commentaire javadoc manquant.110
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.110
Le paramètre n devrait être final.110
Commentaire javadoc manquant.115
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.115
Le paramètre n devrait être final.115
Commentaire javadoc manquant.121
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.121
Commentaire javadoc manquant.125
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.125
Le paramètre n devrait être final.125
Commentaire javadoc manquant.132
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.132
L'instruction 'if' devrait utiliser des accolades ('{' et '}').138
Commentaire javadoc manquant.143
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.143
Commentaire javadoc manquant.147
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.147
Le paramètre i devrait être final.147