CheckStyle Audit

Designed for use with CheckStyle and Ant.

File /usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/ConflictMapClause.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.33
Commentaire javadoc manquant.35
Le paramètre m devrait être final.35
Il manque une espace avant '<'.35
Il manque une espace après '<'.35
Il manque une espace avant '>'.35
Le paramètre d devrait être final.35
Le paramètre voc devrait être final.36
Le paramètre level devrait être final.36
Commentaire javadoc manquant.40
Le paramètre cpb devrait être final.40
Le paramètre level devrait être final.40
Il manque une espace avant '<'.41
Il manque une espace après '<'.41
Il manque une espace avant '>'.41
Il manque une espace avant '<'.41
Il manque une espace après '<'.41
Il manque une espace avant '>'.41
Il manque une espace après '>'.41
Line has trailing spaces.58
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.65
Le paramètre litImplied devrait être final.66
Balise javadoc @param manquante pour 'litImplied'.66
Le paramètre ind devrait être final.66
Balise javadoc @param manquante pour 'ind'.66
Le paramètre reducedCoefs devrait être final.67
Balise javadoc @param manquante pour 'reducedCoefs'.67
Le paramètre wpb devrait être final.67
Balise javadoc @param manquante pour 'wpb'.67
L'instruction 'for' devrait utiliser des accolades ('{' et '}').68
L'instruction 'if' devrait utiliser des accolades ('{' et '}').69
L'instruction 'else' devrait utiliser des accolades ('{' et '}').71