CheckStyle Audit

Designed for use with CheckStyle and Ant.

File /usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/PBSolverClause.java

Error DescriptionLine
Commentaire javadoc manquant.9
La ligne contient un caractère tabulation.11
Line has trailing spaces.12
La ligne contient un caractère tabulation.12
La ligne contient un caractère tabulation.13
La ligne contient un caractère tabulation.14
La ligne contient un caractère tabulation.16
Commentaire javadoc manquant.16
Le paramètre acg devrait être final.16
La ligne excède 80 caractères.17
La ligne contient un caractère tabulation.17
Le paramètre learner devrait être final.17
Le paramètre dsf devrait être final.17
Le paramètre order devrait être final.17
La ligne contient un caractère tabulation.18
La ligne contient un caractère tabulation.19
La ligne contient un caractère tabulation.21
Commentaire javadoc manquant.21
La méthode 'chooseConflict' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.21
Le paramètre myconfl devrait être final.21
La ligne contient un caractère tabulation.22
La ligne contient un caractère tabulation.23
Commentaire javadoc manquant.25
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.25
Le paramètre prefix devrait être final.26
La ligne excède 80 caractères.27
Il manque une espace avant '+'.27
Il manque une espace après '+'.27
Il manque une espace avant '+'.27
Il manque une espace après '+'.27
Il manque une espace avant '+'.27
Il manque une espace après '+'.27