CheckStyle Audit

Designed for use with CheckStyle and Ant.

File /usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/PBSolverClause.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
Commentaire javadoc manquant.34
Il manque une espace avant '<'.34
Il manque une espace après '<'.34
Il manque une espace avant '>'.34
Line has trailing spaces.37
Commentaire javadoc manquant.41
Le paramètre acg devrait être final.41
La ligne excède 80 caractères.42
Le paramètre learner devrait être final.42
Il manque une espace avant '<'.42
Il manque une espace après '<'.42
Il manque une espace avant '>'.42
Le paramètre dsf devrait être final.42
Il manque une espace avant '<'.42
Il manque une espace après '<'.42
Il manque une espace avant '>'.42
Le paramètre order devrait être final.42
Il manque une espace avant '<'.42
Il manque une espace après '<'.42
Il manque une espace avant '>'.42
Commentaire javadoc manquant.46
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.46
Le paramètre myconfl devrait être final.47
Le paramètre level devrait être final.47
Commentaire javadoc manquant.51
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.51
Le paramètre prefix devrait être final.52