CheckStyle Audit

Designed for use with CheckStyle and Ant.

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

Error DescriptionLine
Il manque une espace avant '{'.21
La ligne contient un caractère tabulation.23
Commentaire javadoc manquant.23
Commentaire javadoc manquant.25
Le paramètre cpb devrait être final.25
Il manque une espace avant '<'.26
Il manque une espace après '<'.26
Il manque une espace avant '>'.26
Il manque une espace avant '<'.26
Il manque une espace après '<'.26
Il manque une espace avant '>'.26
Il manque une espace après '>'.26
La ligne contient un caractère tabulation.36
Commentaire javadoc manquant.36
Le paramètre m devrait être final.36
Il manque une espace avant '<'.36
Il manque une espace après '<'.36
Il manque une espace avant '>'.36
Le paramètre d devrait être final.36
Le paramètre voc devrait être final.36
'voc' masque un attribut.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.41
La ligne contient un caractère tabulation.42
Line has trailing spaces.43
La ligne contient un caractère tabulation.43
La ligne contient un caractère tabulation.44
La ligne contient un caractère tabulation.45
Commentaire javadoc manquant.45
La ligne contient un caractère tabulation.47
Commentaire javadoc manquant.47
La ligne contient un caractère tabulation.49
La ligne excède 80 caractères.50
La ligne contient un caractère tabulation.50
Line has trailing spaces.51
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 méthode 'resolve' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.58
Le paramètre cpb devrait être final.58
Le paramètre litImplied devrait être final.58
La ligne contient un caractère tabulation.59
La ligne contient un caractère tabulation.60
La ligne contient un caractère tabulation.61
La ligne contient un caractère tabulation.62
La ligne contient un caractère tabulation.63
La ligne contient un caractère tabulation.65
La ligne contient un caractère tabulation.66
La ligne contient un caractère tabulation.68
La ligne contient un caractère tabulation.69
La ligne contient un caractère tabulation.70
La ligne contient un caractère tabulation.71
La ligne contient un caractère tabulation.73
La ligne contient un caractère tabulation.74
L'instruction 'while' devrait utiliser des accolades ('{' et '}').75
La ligne contient un caractère tabulation.75
La ligne contient un caractère tabulation.76
La ligne contient un caractère tabulation.78
La ligne contient un caractère tabulation.79
La ligne contient un caractère tabulation.81
La ligne contient un caractère tabulation.82
La ligne contient un caractère tabulation.83
La ligne contient un caractère tabulation.84
La ligne contient un caractère tabulation.85
La ligne contient un caractère tabulation.86
La ligne contient un caractère tabulation.87
La ligne contient un caractère tabulation.88
La ligne contient un caractère tabulation.89
La ligne contient un caractère tabulation.90
La ligne contient un caractère tabulation.91
La ligne contient un caractère tabulation.92
La ligne contient un caractère tabulation.93
La ligne contient un caractère tabulation.94
La ligne contient un caractère tabulation.95
La ligne contient un caractère tabulation.96
La ligne contient un caractère tabulation.97
La ligne contient un caractère tabulation.98
La ligne contient un caractère tabulation.99
La ligne excède 80 caractères.100
La ligne contient un caractère tabulation.100
La ligne contient un caractère tabulation.101
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.104
La ligne contient un caractère tabulation.105
La ligne excède 80 caractères.106
La ligne contient un caractère tabulation.106
La ligne contient un caractère tabulation.107
La ligne contient un caractère tabulation.108
La ligne contient un caractère tabulation.109
La ligne contient un caractère tabulation.110
La ligne contient un caractère tabulation.112
La ligne contient un caractère tabulation.113
La ligne contient un caractère tabulation.114
La ligne contient un caractère tabulation.115
La ligne contient un caractère tabulation.116
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 contient un caractère tabulation.122
La ligne contient un caractère tabulation.123
La ligne contient un caractère tabulation.125
Commentaire javadoc manquant.125
Le paramètre litImplied devrait être final.125
Le paramètre ind devrait être final.125
La ligne contient un caractère tabulation.126
Le paramètre reducedCoefs devrait être final.126
Le paramètre wpb devrait être final.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 contient un caractère tabulation.130
La ligne contient un caractère tabulation.131
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 excède 80 caractères.136
La ligne contient un caractère tabulation.136
La ligne contient un caractère tabulation.137
La ligne excède 80 caractères.138
La ligne contient un caractère tabulation.138
La ligne excède 80 caractères.139
La ligne contient un caractère tabulation.139
La ligne contient un caractère tabulation.140
La ligne contient un caractère tabulation.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
Line has trailing spaces.145
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.152
La ligne contient un caractère tabulation.153
La ligne contient un caractère tabulation.154
La ligne excède 80 caractères.155
La ligne contient un caractère tabulation.155
La ligne contient un caractère tabulation.157
La ligne excède 80 caractères.158
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.162
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.168
La ligne contient un caractère tabulation.169
La ligne contient un caractère tabulation.171
La ligne contient un caractère tabulation.173
Commentaire javadoc manquant.173
La méthode 'slackConflict' 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
La ligne contient un caractère tabulation.175
La ligne contient un caractère tabulation.176
La ligne contient un caractère tabulation.177
Il manque une espace avant '{'.177
La ligne contient un caractère tabulation.178
L'instruction 'if' devrait utiliser des accolades ('{' et '}').179
La ligne contient un caractère tabulation.179
La ligne contient un caractère tabulation.180
La ligne contient un caractère tabulation.181
La ligne contient un caractère tabulation.182
La ligne contient un caractère tabulation.183
La ligne contient un caractère tabulation.185
Commentaire javadoc manquant.185
La méthode 'isAssertive' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.185
Le paramètre dl devrait être final.185
La ligne contient un caractère tabulation.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
L'instruction 'if' devrait utiliser des accolades ('{' et '}').190
La ligne contient un caractère tabulation.190
La ligne excède 80 caractères.191
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
L'instruction 'if' devrait utiliser des accolades ('{' et '}').195
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.198
L'instruction 'if' devrait utiliser des accolades ('{' et '}').199
La ligne contient un caractère tabulation.199
La ligne excède 80 caractères.200
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 contient un caractère tabulation.203
La ligne contient un caractère tabulation.204
La ligne contient un caractère tabulation.205
La première ligne doit se terminer avec un point.207
La ligne contient un caractère tabulation.207
La ligne contient un caractère tabulation.208
Line has trailing spaces.209
La ligne contient un caractère tabulation.209
La ligne contient un caractère tabulation.210
La ligne contient un caractère tabulation.211
La ligne contient un caractère tabulation.212
La ligne contient un caractère tabulation.213
La ligne contient un caractère tabulation.214
La ligne contient un caractère tabulation.215
La ligne contient un caractère tabulation.216
Le paramètre a devrait être final.216
Le paramètre b devrait être final.216
La ligne contient un caractère tabulation.217
La ligne contient un caractère tabulation.218
La ligne contient un caractère tabulation.220
La ligne contient un caractère tabulation.221
La ligne contient un caractère tabulation.222
Line has trailing spaces.223
La ligne contient un caractère tabulation.223
La ligne contient un caractère tabulation.224
La ligne contient un caractère tabulation.225
La ligne contient un caractère tabulation.226
La méthode 'reduceInConstraint' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.226
Le paramètre wpb devrait être final.226
Balise javadoc @param manquante pour 'wpb'.226
La ligne contient un caractère tabulation.227
Balise javadoc @param manquante pour 'coefsBis'.227
Balise javadoc @param manquante pour 'indLitImplied'.227
La ligne contient un caractère tabulation.228
Balise javadoc @param manquante pour 'degreeBis'.228
La ligne excède 80 caractères.229
La ligne contient un caractère tabulation.229
La ligne contient un caractère tabulation.230
La ligne contient un caractère tabulation.231
La ligne contient un caractère tabulation.232
L'instruction 'for' devrait utiliser des accolades ('{' et '}').233
La ligne contient un caractère tabulation.233
La ligne excède 80 caractères.234
La ligne contient un caractère tabulation.234
La ligne contient un caractère tabulation.235
La ligne contient un caractère tabulation.236
La ligne contient un caractère tabulation.237
La ligne contient un caractère tabulation.239
L'instruction 'if' devrait utiliser des accolades ('{' et '}').240
La ligne contient un caractère tabulation.240
L'instruction 'for' devrait utiliser des accolades ('{' et '}').241
La ligne excède 80 caractères.241
La ligne contient un caractère tabulation.241
L'instruction 'if' devrait utiliser des accolades ('{' et '}').242
La ligne contient un caractère tabulation.242
La ligne excède 80 caractères.243
La ligne contient un caractère tabulation.243
La ligne contient un caractère tabulation.244
La ligne contient un caractère tabulation.245
La ligne contient un caractère tabulation.247
La ligne contient un caractère tabulation.248
La ligne contient un caractère tabulation.250
La ligne contient un caractère tabulation.251
La ligne contient un caractère tabulation.252
La ligne contient un caractère tabulation.253
La ligne contient un caractère tabulation.254
La ligne contient un caractère tabulation.256
La ligne contient un caractère tabulation.257
La ligne contient un caractère tabulation.258
La ligne contient un caractère tabulation.259
L'instruction 'if' devrait utiliser des accolades ('{' et '}').260
La ligne contient un caractère tabulation.260
La ligne contient un caractère tabulation.261
La ligne contient un caractère tabulation.262
La ligne contient un caractère tabulation.263
La ligne excède 80 caractères.264
La ligne contient un caractère tabulation.264
La ligne contient un caractère tabulation.265
La ligne contient un caractère tabulation.266
La ligne contient un caractère tabulation.267
L'instruction 'for' devrait utiliser des accolades ('{' et '}').268
La ligne contient un caractère tabulation.268
L'instruction 'if' devrait utiliser des accolades ('{' et '}').269
La ligne contient un caractère tabulation.269
La ligne contient un caractère tabulation.270
La ligne contient un caractère tabulation.271
La ligne contient un caractère tabulation.273
La ligne contient un caractère tabulation.274
La ligne contient un caractère tabulation.275
La ligne contient un caractère tabulation.276
La ligne contient un caractère tabulation.278
Commentaire javadoc manquant.278
La ligne contient un caractère tabulation.279
L'instruction 'if' devrait utiliser des accolades ('{' et '}').280
La ligne contient un caractère tabulation.280
La ligne contient un caractère tabulation.281
La ligne contient un caractère tabulation.282
La ligne contient un caractère tabulation.283
La ligne contient un caractère tabulation.284
La première ligne doit se terminer avec un point.286
Line has trailing spaces.289
Line has trailing spaces.290
La ligne excède 80 caractères.292
La méthode 'getBacktrackLevel' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.294
Le paramètre maxLevel devrait être final.294
L'instruction 'if' devrait utiliser des accolades ('{' et '}').305
L'instruction 'if' devrait utiliser des accolades ('{' et '}').306
L'instruction 'else' devrait utiliser des accolades ('{' et '}').308
L'instruction 'if' devrait utiliser des accolades ('{' et '}').316