CheckStyle Audit

Designed for use with CheckStyle and Ant.

File /usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/pb/PBSolver.java

Error DescriptionLine
Il manque un caractère NewLine à la fin du fichier0
Commentaire javadoc manquant.29
Le paramètre acg devrait être final.36
Balise javadoc @param manquante pour 'acg'.36
Le paramètre learner devrait être final.36
Balise javadoc @param manquante pour 'learner'.36
Le paramètre dsf devrait être final.37
Balise javadoc @param manquante pour 'dsf'.37
Il manque une espace après ','.37
Le paramètre order devrait être final.37
Balise javadoc @param manquante pour 'order'.37
Il manque une espace après ','.38
Commentaire javadoc manquant.41
La méthode 'analyze' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.41
Le paramètre myconfl devrait être final.42
Le paramètre outLearntRef devrait être final.42
Il manque une espace avant '<'.42
Il manque une espace après '<'.42
Il manque une espace avant '>'.42
L'instruction 'if' devrait utiliser des accolades ('{' et '}').76
L'instruction 'if' devrait utiliser des accolades ('{' et '}').81
L'instruction 'else' devrait utiliser des accolades ('{' et '}').84
Il manque une espace avant '<'.101
Il manque une espace après '<'.101
Il manque une espace avant '>'.101
Il manque une espace avant '<'.101
Il manque une espace après '<'.101
Il manque une espace avant '>'.101
Il manque une espace après '>'.101