CheckStyle Audit

Designed for use with CheckStyle and Ant.

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

Error DescriptionLine
La première ligne doit se terminer avec un point.16
Commentaire javadoc manquant.21
Commentaire javadoc manquant.23
Commentaire javadoc manquant.25
'20' devrait être défini comme une constante.26
Commentaire javadoc manquant.29
Le paramètre p devrait être final.29
Line has trailing spaces.36
Commentaire javadoc manquant.39
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.39
Line has trailing spaces.58
Commentaire javadoc manquant.59
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.59
La ligne excède 80 caractères.61