CheckStyle Audit

Designed for use with CheckStyle and Ant.

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

Error DescriptionLine
Commentaire javadoc manquant.9
La ligne excède 80 caractères.11
La ligne contient un caractère tabulation.11
Commentaire javadoc manquant.11
Le paramètre m devrait être final.11
Il manque une espace avant '<'.11
Il manque une espace après '<'.11
Il manque une espace avant '>'.11
Le paramètre d devrait être final.11
Le paramètre voc devrait être final.11
La ligne contient un caractère tabulation.12
Le paramètre level devrait être final.12
La ligne contient un caractère tabulation.13
La ligne contient un caractère tabulation.14
Commentaire javadoc manquant.15
Le paramètre cpb devrait être final.15
Le paramètre level devrait être final.15
Il manque une espace avant '<'.16
Il manque une espace après '<'.16
Il manque une espace avant '>'.16
Il manque une espace avant '<'.16
Il manque une espace après '<'.16
Il manque une espace avant '>'.16
Il manque une espace après '>'.16
Line has trailing spaces.33
La méthode 'reduceUntilConflict' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.40
Le paramètre litImplied devrait être final.41
Balise javadoc @param manquante pour 'litImplied'.41
Le paramètre ind devrait être final.41
Balise javadoc @param manquante pour 'ind'.41
Le paramètre reducedCoefs devrait être final.42
Balise javadoc @param manquante pour 'reducedCoefs'.42
Le paramètre wpb devrait être final.42
Balise javadoc @param manquante pour 'wpb'.42
La ligne contient un caractère tabulation.43
Il manque une espace après ','.47
Line has trailing spaces.50
La ligne contient un caractère tabulation.50
Line has trailing spaces.51
La ligne contient un caractère tabulation.51