CheckStyle Audit

Designed for use with CheckStyle and Ant.

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

Error DescriptionLine
La ligne contient un caractère tabulation.22
La ligne contient un caractère tabulation.23
La ligne contient un caractère tabulation.24
La ligne contient un caractère tabulation.25
La ligne contient un caractère tabulation.26
La ligne contient un caractère tabulation.27
Commentaire javadoc manquant.27
La variable 'voc' devrait être privée et avoir des accesseurs.27
La ligne contient un caractère tabulation.29
Commentaire javadoc manquant.29
La variable 'coefs' devrait être privée et avoir des accesseurs.29
La ligne contient un caractère tabulation.31
Commentaire javadoc manquant.31
La variable 'degree' devrait être privée et avoir des accesseurs.31
La ligne excède 80 caractères.34
La ligne contient un caractère tabulation.34
Commentaire javadoc manquant.34
Le paramètre lits devrait être final.34
Le paramètre coefLits devrait être final.34
Le paramètre degree devrait être final.34
'degree' masque un attribut.34
Le paramètre voc devrait être final.34
'voc' masque un attribut.34
La ligne contient un caractère tabulation.35
L'instruction 'for' devrait utiliser des accolades ('{' et '}').36
La ligne contient un caractère tabulation.36
La ligne contient un caractère tabulation.37
La ligne contient un caractère tabulation.38
La ligne contient un caractère tabulation.39
La ligne contient un caractère tabulation.40
La ligne contient un caractère tabulation.42
Commentaire javadoc manquant.42
Le paramètre voc devrait être final.42
'voc' masque un attribut.42
La ligne contient un caractère tabulation.43
La ligne contient un caractère tabulation.44
La ligne contient un caractère tabulation.45
La ligne contient un caractère tabulation.46
La ligne contient un caractère tabulation.48
Commentaire javadoc manquant.48
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.48
La ligne contient un caractère tabulation.49
La ligne contient un caractère tabulation.50
La ligne contient un caractère tabulation.51
La ligne contient un caractère tabulation.52
La ligne contient un caractère tabulation.53
La ligne contient un caractère tabulation.54
La ligne contient un caractère tabulation.55
La ligne contient un caractère tabulation.56
La ligne contient un caractère tabulation.57
La ligne contient un caractère tabulation.58
La ligne contient un caractère tabulation.59
La ligne excède 80 caractères.60
La ligne contient un caractère tabulation.60
La ligne contient un caractère tabulation.61
L'instruction 'for' devrait utiliser des accolades ('{' et '}').62
La ligne contient un caractère tabulation.62
L'instruction 'if' devrait utiliser des accolades ('{' et '}').63
La ligne contient un caractère tabulation.63
La ligne contient un caractère tabulation.64
La ligne contient un caractère tabulation.65
La ligne contient un caractère tabulation.67
La ligne contient un caractère tabulation.68
La ligne contient un caractère tabulation.70
Commentaire javadoc manquant.70
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.70
Le paramètre cpb devrait être final.70
Le paramètre deg devrait être final.70
La ligne contient un caractère tabulation.71
Le paramètre reducedCoefs devrait être final.71
La ligne contient un caractère tabulation.72
La ligne contient un caractère tabulation.73
La ligne contient un caractère tabulation.75
Commentaire javadoc manquant.75
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.75
Le paramètre cpb devrait être final.75
Le paramètre degreeCons devrait être final.75
La ligne contient un caractère tabulation.76
Le paramètre reducedCoefs devrait être final.76
Le paramètre coefMult devrait être final.76
La ligne contient un caractère tabulation.77
La ligne contient un caractère tabulation.78
La ligne contient un caractère tabulation.80
L'instruction 'for' devrait utiliser des accolades ('{' et '}').81
La ligne contient un caractère tabulation.81
La ligne excède 80 caractères.82
La ligne contient un caractère tabulation.82
La ligne contient un caractère tabulation.83
L'instruction 'else' devrait utiliser des accolades ('{' et '}').84
La ligne contient un caractère tabulation.84
L'instruction 'for' devrait utiliser des accolades ('{' et '}').85
La ligne contient un caractère tabulation.85
La ligne excède 80 caractères.86
La ligne contient un caractère tabulation.86
La ligne contient un caractère tabulation.87
La ligne contient un caractère tabulation.89
La ligne contient un caractère tabulation.90
La ligne contient un caractère tabulation.92
Commentaire javadoc manquant.92
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.92
Le paramètre lits devrait être final.92
Le paramètre reducedCoefs devrait être final.92
La ligne contient un caractère tabulation.93
Le paramètre deg devrait être final.93
La ligne contient un caractère tabulation.94
La ligne contient un caractère tabulation.95
La ligne contient un caractère tabulation.97
Commentaire javadoc manquant.97
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.97
Le paramètre lits devrait être final.97
Les crochets du tableau ne sont pas placés au bon endroit.97
Le paramètre reducedCoefs devrait être final.97
La ligne contient un caractère tabulation.98
Le paramètre degreeCons devrait être final.98
Le paramètre coefMult devrait être final.98
La ligne contient un caractère tabulation.99
La ligne contient un caractère tabulation.100
L'instruction 'for' devrait utiliser des accolades ('{' et '}').102
La ligne contient un caractère tabulation.102
La ligne excède 80 caractères.103
La ligne contient un caractère tabulation.103
La ligne contient un caractère tabulation.105
La ligne contient un caractère tabulation.106
La ligne contient un caractère tabulation.108
Commentaire javadoc manquant.108
La ligne contient un caractère tabulation.109
La ligne contient un caractère tabulation.110
La ligne contient un caractère tabulation.111
La ligne excède 80 caractères.112
La ligne contient un caractère tabulation.112
L'instruction 'if' devrait utiliser des accolades ('{' et '}').113
La ligne contient un caractère tabulation.113
La ligne contient un caractère tabulation.114
L'instruction 'else' devrait utiliser des accolades ('{' et '}').115
La ligne contient un caractère tabulation.115
La ligne contient un caractère tabulation.116
La ligne contient un caractère tabulation.117
Line has trailing spaces.118
La ligne contient un caractère tabulation.118
La ligne contient un caractère tabulation.119
La ligne contient un caractère tabulation.120
La ligne excède 80 caractères.121
La ligne contient un caractère tabulation.121
La ligne contient un caractère tabulation.122
La ligne excède 80 caractères.123
La ligne contient un caractère tabulation.123
La ligne contient un caractère tabulation.124
La ligne contient un caractère tabulation.125
La ligne contient un caractère tabulation.126
La ligne contient un caractère tabulation.127
La ligne contient un caractère tabulation.128
La ligne contient un caractère tabulation.129
La ligne excède 80 caractères.130
La ligne contient un caractère tabulation.130
La ligne excède 80 caractères.131
La ligne contient un caractère tabulation.131
La ligne contient un caractère tabulation.132
La ligne contient un caractère tabulation.133
La ligne contient un caractère tabulation.134
La ligne contient un caractère tabulation.135
La ligne contient un caractère tabulation.136
La ligne contient un caractère tabulation.137
La ligne contient un caractère tabulation.138
La ligne contient un caractère tabulation.140
Commentaire javadoc manquant.140
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.140
Le paramètre resLits devrait être final.140
La ligne contient un caractère tabulation.141
Le paramètre resCoefs devrait être final.141
Il manque une espace avant '<'.141
Il manque une espace après '<'.141
Il manque une espace avant '>'.141
La ligne contient un caractère tabulation.142
La ligne contient un caractère tabulation.143
La ligne contient un caractère tabulation.144
La ligne contient un caractère tabulation.145
La ligne contient un caractère tabulation.146
La ligne contient un caractère tabulation.147
La ligne contient un caractère tabulation.148
La ligne contient un caractère tabulation.149
La ligne contient un caractère tabulation.150
La ligne contient un caractère tabulation.151
La ligne contient un caractère tabulation.152
La ligne excède 80 caractères.154
La ligne contient un caractère tabulation.154
Commentaire javadoc manquant.154
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.154
Le paramètre resLits devrait être final.154
Le paramètre resCoefs devrait être final.154
La ligne contient un caractère tabulation.155
La ligne contient un caractère tabulation.156
La ligne contient un caractère tabulation.157
La ligne contient un caractère tabulation.158
La ligne contient un caractère tabulation.159
La ligne contient un caractère tabulation.160
La ligne contient un caractère tabulation.161
La ligne contient un caractère tabulation.162
La ligne contient un caractère tabulation.163
La ligne contient un caractère tabulation.164
La ligne contient un caractère tabulation.165
La ligne contient un caractère tabulation.166
La ligne contient un caractère tabulation.167
La ligne contient un caractère tabulation.169
Commentaire javadoc manquant.169
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.169
La ligne contient un caractère tabulation.170
La ligne contient un caractère tabulation.171
La ligne contient un caractère tabulation.173
Commentaire javadoc manquant.173
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.173
La ligne contient un caractère tabulation.174
L'instruction 'for' devrait utiliser des accolades ('{' et '}').175
La ligne contient un caractère tabulation.175
L'instruction 'if' devrait utiliser des accolades ('{' et '}').176
La ligne contient un caractère tabulation.176
La ligne contient un caractère tabulation.177
La ligne contient un caractère tabulation.178
La ligne contient un caractère tabulation.179
La ligne contient un caractère tabulation.181
La ligne contient un caractère tabulation.182
Line has trailing spaces.183
La ligne contient un caractère tabulation.183
La ligne contient un caractère tabulation.184
La ligne contient un caractère tabulation.185
La ligne contient un caractère tabulation.186
Commentaire javadoc manquant.186
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.186
La ligne contient un caractère tabulation.187
La ligne contient un caractère tabulation.188
La ligne contient un caractère tabulation.189
La ligne contient un caractère tabulation.190
La ligne contient un caractère tabulation.191
La ligne contient un caractère tabulation.192
La ligne contient un caractère tabulation.193
La ligne contient un caractère tabulation.194
La ligne contient un caractère tabulation.195
La ligne contient un caractère tabulation.196
La ligne contient un caractère tabulation.197
La ligne contient un caractère tabulation.199
La ligne contient un caractère tabulation.200
La ligne contient un caractère tabulation.201
La ligne contient un caractère tabulation.202
La ligne excède 80 caractères.204
La ligne contient un caractère tabulation.204
Commentaire javadoc manquant.204
Le paramètre coef devrait être final.204
Le paramètre mult devrait être final.204
L'instruction 'if' devrait utiliser des accolades ('{' et '}').205
La ligne contient un caractère tabulation.205
La ligne contient un caractère tabulation.206
L'instruction 'if' devrait utiliser des accolades ('{' et '}').207
La ligne contient un caractère tabulation.207
La ligne contient un caractère tabulation.208
La ligne contient un caractère tabulation.209
La ligne contient un caractère tabulation.210