CheckStyle Audit

Designed for use with CheckStyle and Ant.

File /usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/cnf/Lits.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.44
Commentaire javadoc manquant.46
Les crochets du tableau ne sont pas placés au bon endroit.46
Commentaire javadoc manquant.48
Commentaire javadoc manquant.50
Il manque une espace avant '<'.51
Il manque une espace après '<'.51
Il manque une espace avant '>'.51
Il manque une espace après '>'.51
La variable 'watches' devrait être privée et avoir des accesseurs.51
Commentaire javadoc manquant.53
Commentaire javadoc manquant.55
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.60
Commentaire javadoc manquant.62
Commentaire javadoc manquant.65
La méthode 'init' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.65
Il y a une espace de trop après '('.65
Le paramètre nvar devrait être final.66
Il manque une espace avant '<'.79
Il manque une espace après '<'.79
Il manque une espace avant '>'.79
Il manque une espace après '>'.79
Il manque une espace avant '<'.83
Il manque une espace après '<'.83
Il manque une espace avant '>'.83
Il manque une espace après '>'.83
Commentaire javadoc manquant.96
La méthode 'getFromPool' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.96
Le paramètre x devrait être final.96
Lutilisation de lopérateur conditionel est prohibée.100
Il manque une espace avant '<'.105
Il manque une espace après '<'.105
Il manque une espace avant '>'.105
Il manque une espace après '>'.105
Il manque une espace avant '<'.106
Il manque une espace après '<'.106
Il manque une espace avant '>'.106
Il manque une espace après '>'.106
Il manque une espace avant '<'.107
Il manque une espace après '<'.107
Il manque une espace avant '>'.107
Il manque une espace après '>'.107
Commentaire javadoc manquant.117
La méthode 'belongsToPool' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.117
Le paramètre x devrait être final.117
Commentaire javadoc manquant.122
La méthode 'resetPool' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.122
Commentaire javadoc manquant.130
La méthode 'ensurePool' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.130
Le paramètre howmany devrait être final.130
Commentaire javadoc manquant.134
La méthode 'unassign' 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 lit devrait être final.134
Commentaire javadoc manquant.140
La méthode 'satisfies' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.140
Le paramètre lit devrait être final.140
Commentaire javadoc manquant.146
La méthode 'isSatisfied' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.146
Le paramètre lit devrait être final.146
Commentaire javadoc manquant.150
Le paramètre lit devrait être final.150
Commentaire javadoc manquant.154
La méthode 'isUnassigned' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.154
Le paramètre lit devrait être final.154
Commentaire javadoc manquant.158
La méthode 'valueToString' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.158
Le paramètre lit devrait être final.158
L'instruction 'if' devrait utiliser des accolades ('{' et '}').159
L'instruction 'if' devrait utiliser des accolades ('{' et '}').161
Commentaire javadoc manquant.166
La méthode 'nVars' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.166
Commentaire javadoc manquant.170
La méthode 'not' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.170
Le paramètre lit devrait être final.170
Commentaire javadoc manquant.174
Le paramètre lit devrait être final.174
La ligne excède 80 caractères.175
Lutilisation de lopérateur conditionel est prohibée.175
Commentaire javadoc manquant.178
La méthode 'reset' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.178
Le paramètre lit devrait être final.178
Commentaire javadoc manquant.188
La méthode 'getLevel' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.188
Le paramètre lit devrait être final.188
Commentaire javadoc manquant.192
La méthode 'setLevel' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.192
Le paramètre lit devrait être final.192
Le paramètre l devrait être final.192
Commentaire javadoc manquant.196
La méthode 'getReason' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.196
Le paramètre lit devrait être final.196
Commentaire javadoc manquant.200
La méthode 'setReason' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.200
Le paramètre lit devrait être final.200
Le paramètre r devrait être final.200
Commentaire javadoc manquant.204
La méthode 'undos' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.204
Il manque une espace avant '<'.204
Il manque une espace après '<'.204
Il manque une espace avant '>'.204
Le paramètre lit devrait être final.204
Commentaire javadoc manquant.208
La méthode 'watch' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.208
Le paramètre lit devrait être final.208
Le paramètre c devrait être final.208
Commentaire javadoc manquant.212
La méthode 'watches' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.212
Il manque une espace avant '<'.212
Il manque une espace après '<'.212
Il manque une espace avant '>'.212
Le paramètre lit devrait être final.212
Commentaire javadoc manquant.216
La méthode 'isImplied' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.216
Le paramètre lit devrait être final.216
Commentaire javadoc manquant.224
La méthode 'realnVars' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.224