CheckStyle Audit

Designed for use with CheckStyle and Ant.

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

Error DescriptionLine
Commentaire javadoc manquant.7
La ligne contient un caractère tabulation.9
Commentaire javadoc manquant.9
Le paramètre lits devrait être final.9
Le paramètre coefs devrait être final.9
Le paramètre d devrait être final.9
La ligne contient un caractère tabulation.10
Le paramètre voc devrait être final.10
La ligne contient un caractère tabulation.11
La ligne contient un caractère tabulation.12
La ligne contient un caractère tabulation.13
La ligne contient un caractère tabulation.15
Commentaire javadoc manquant.15
Le paramètre cpb devrait être final.15
La ligne contient un caractère tabulation.16
La ligne contient un caractère tabulation.17
La ligne contient un caractère tabulation.18
La ligne contient un caractère tabulation.20
La ligne contient un caractère tabulation.21
La ligne contient un caractère tabulation.22
La ligne contient un caractère tabulation.23
La ligne contient un caractère tabulation.24
La ligne contient un caractère tabulation.25
La ligne contient un caractère tabulation.26
La ligne contient un caractère tabulation.27
La ligne contient un caractère tabulation.28
La ligne contient un caractère tabulation.29
La ligne contient un caractère tabulation.30
Balise javadoc @return manquante.31
La ligne contient un caractère tabulation.31
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.31
Le paramètre litImplied devrait être final.31
Balise javadoc @param manquante pour 'litImplied'.31
Le paramètre ind devrait être final.31
Balise javadoc @param manquante pour 'ind'.31
La ligne contient un caractère tabulation.32
Le paramètre reducedCoefs devrait être final.32
Balise javadoc @param manquante pour 'reducedCoefs'.32
Le paramètre wpb devrait être final.32
Balise javadoc @param manquante pour 'wpb'.32
La ligne contient un caractère tabulation.33
La ligne contient un caractère tabulation.34
L'instruction 'if' devrait utiliser des accolades ('{' et '}').35
La ligne contient un caractère tabulation.35
La ligne contient un caractère tabulation.36
La ligne contient un caractère tabulation.37
La ligne contient un caractère tabulation.38
La ligne contient un caractère tabulation.39
La ligne contient un caractère tabulation.40
La ligne contient un caractère tabulation.41
La ligne contient un caractère tabulation.42