CheckStyle Audit

Designed for use with CheckStyle and Ant.

File /usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MapPb.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
Line has trailing spaces.38
Line has trailing spaces.39
Commentaire javadoc manquant.48
Il manque une espace avant '<'.48
Il manque une espace après '<'.48
Il manque une espace avant '>'.48
La variable 'coefs' devrait être privée et avoir des accesseurs.48
Commentaire javadoc manquant.50
La variable 'degree' devrait être privée et avoir des accesseurs.50
Commentaire javadoc manquant.52
Le paramètre m devrait être final.52
Il manque une espace avant '<'.52
Il manque une espace après '<'.52
Il manque une espace avant '>'.52
Le paramètre d devrait être final.52
Commentaire javadoc manquant.57
Il manque une espace avant '<'.58
Il manque une espace après '<'.58
Il manque une espace avant '>'.58
Il manque une espace après '>'.58
Commentaire javadoc manquant.61
La méthode 'saturation' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.61
Il manque une espace avant '<'.64
Il manque une espace après '<'.64
Il manque une espace avant '>'.64
L'instruction 'if' devrait utiliser des accolades ('{' et '}').67
L'instruction 'for' devrait utiliser des accolades ('{' et '}').75
Commentaire javadoc manquant.83
La méthode 'cuttingPlane' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.83
Le paramètre cpb devrait être final.83
Le paramètre deg devrait être final.83
Le paramètre reducedCoefs devrait être final.84
Le paramètre val devrait être final.84
Commentaire javadoc manquant.88
La méthode 'cuttingPlane' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.88
Le paramètre cpb devrait être final.88
Le paramètre degreeCons devrait être final.88
Le paramètre reducedCoefs devrait être final.89
Le paramètre coefMult devrait être final.89
Le paramètre val devrait être final.90
L'instruction 'if' devrait utiliser des accolades ('{' et '}').94
L'instruction 'else' devrait utiliser des accolades ('{' et '}').100
Commentaire javadoc manquant.110
La méthode 'cuttingPlane' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.110
Le paramètre lits devrait être final.110
Le paramètre reducedCoefs devrait être final.110
Le paramètre deg devrait être final.111
Commentaire javadoc manquant.115
La méthode 'cuttingPlane' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.115
Le paramètre lits devrait être final.115
Les crochets du tableau ne sont pas placés au bon endroit.115
Le paramètre reducedCoefs devrait être final.115
Le paramètre degreeCons devrait être final.116
Le paramètre coefMult devrait être final.116
L'instruction 'for' devrait utiliser des accolades ('{' et '}').120
Commentaire javadoc manquant.126
L'instruction 'if' devrait utiliser des accolades ('{' et '}').156
L'instruction 'else' devrait utiliser des accolades ('{' et '}').158
Commentaire javadoc manquant.168
La méthode 'buildConstraintFromConflict' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.168
Le paramètre resLits devrait être final.168
Le paramètre resCoefs devrait être final.169
Il manque une espace avant '<'.169
Il manque une espace après '<'.169
Il manque une espace avant '>'.169
Il manque une espace avant '<'.173
Il manque une espace après '<'.173
Il manque une espace avant '>'.173
Commentaire javadoc manquant.180
La méthode 'buildConstraintFromMapPb' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.180
Le paramètre resLits devrait être final.180
Le paramètre resCoefs devrait être final.180
Il manque une espace avant '<'.185
Il manque une espace après '<'.185
Il manque une espace avant '>'.185
Commentaire javadoc manquant.193
La méthode 'getDegree' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.193
Commentaire javadoc manquant.197
La méthode 'size' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.197
Line has trailing spaces.203
Commentaire javadoc manquant.206
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.206
Il manque une espace avant '<'.209
Il manque une espace après '<'.209
Il manque une espace avant '>'.209
Commentaire javadoc manquant.218
Le paramètre coef devrait être final.218
Le paramètre mult devrait être final.218
L'instruction 'if' devrait utiliser des accolades ('{' et '}').219
Commentaire javadoc manquant.224
La méthode 'increaseCoef' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.224
Le paramètre lit devrait être final.224
Le paramètre incCoef devrait être final.224
Commentaire javadoc manquant.228
La méthode 'decreaseCoef' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.228
Le paramètre lit devrait être final.228
Le paramètre decCoef devrait être final.228
Commentaire javadoc manquant.232
La méthode 'setCoef' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.232
Le paramètre lit devrait être final.232
Le paramètre newValue devrait être final.232
Commentaire javadoc manquant.236
La méthode 'removeCoef' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.236
Le paramètre lit devrait être final.236