CheckStyle Audit

Designed for use with CheckStyle and Ant.

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

Error DescriptionLine
Il manque un caractère NewLine à la fin du fichier0
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
Dans le commentaire javadoc de la classe, il manque une balise @param <L>.50
Il manque une espace avant '<'.50
Il manque une espace après '<'.50
Il manque une espace avant '>'.50
Il manque une espace avant '<'.50
Il manque une espace après '<'.50
Il manque une espace avant '>'.50
Commentaire javadoc manquant.52
Line has trailing spaces.53
Le paramètre acg devrait être final.59
Balise javadoc @param manquante pour 'acg'.59
Le paramètre learner devrait être final.59
Il manque une espace avant '<'.59
Il manque une espace après '<'.59
Il manque une espace avant '>'.59
Balise javadoc @param manquante pour 'learner'.59
Le paramètre dsf devrait être final.60
Il manque une espace avant '<'.60
Il manque une espace après '<'.60
Il manque une espace avant '>'.60
Balise javadoc @param manquante pour 'dsf'.60
Le paramètre order devrait être final.60
Il manque une espace avant '<'.60
Il manque une espace après '<'.60
Il manque une espace avant '>'.60
Balise javadoc @param manquante pour 'order'.60
La ligne excède 80 caractères.61
'1.5' devrait être défini comme une constante.61
'100' devrait être défini comme une constante.61
Il manque une espace après ','.61
La ligne excède 80 caractères.64
Commentaire javadoc manquant.64
Le paramètre acg devrait être final.64
Le paramètre learner devrait être final.64
Il manque une espace avant '<'.64
Il manque une espace après '<'.64
Il manque une espace avant '>'.64
Le paramètre dsf devrait être final.64
Il manque une espace avant '<'.64
Il manque une espace après '<'.64
Il manque une espace avant '>'.64
Le paramètre params devrait être final.64
Le paramètre order devrait être final.64
Il manque une espace avant '<'.64
Il manque une espace après '<'.64
Il manque une espace avant '>'.64
Le paramètre restarter devrait être final.64
La ligne excède 80 caractères.68
Commentaire javadoc manquant.68
Le paramètre acg devrait être final.68
Le paramètre learner devrait être final.68
Il manque une espace avant '<'.68
Il manque une espace après '<'.68
Il manque une espace avant '>'.68
Le paramètre dsf devrait être final.68
Il manque une espace avant '<'.68
Il manque une espace après '<'.68
Il manque une espace avant '>'.68
Le paramètre params devrait être final.68
Le paramètre order devrait être final.68
Il manque une espace avant '<'.68
Il manque une espace après '<'.68
Il manque une espace avant '>'.68
Il manque une espace après ','.69
Commentaire javadoc manquant.72
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.72
Le paramètre myconfl devrait être final.73
Le paramètre outLearntRef devrait être final.73
Il manque une espace avant '<'.73
Il manque une espace après '<'.73
Il manque une espace avant '>'.73
Line has trailing spaces.78
L'instruction 'if' devrait utiliser des accolades ('{' et '}').88
Il manque une espace avant '<'.112
Il manque une espace après '<'.112
Il manque une espace avant '>'.112
Il manque une espace avant '<'.112
Il manque une espace après '<'.112
Il manque une espace avant '>'.112
Il manque une espace après '>'.112
Line has trailing spaces.128
Line has trailing spaces.129
Commentaire javadoc manquant.134
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.134
Le paramètre myconfl devrait être final.134
Le paramètre level devrait être final.134
Commentaire javadoc manquant.138
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.138
Le paramètre prefix devrait être final.139