CheckStyle Audit

Designed for use with CheckStyle and Ant.

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

Error DescriptionLine
Exception levée : java.lang.RuntimeException: Impossible d'obtenir les informations relatives à ContradictionException.0
Line has trailing spaces.4
Line has trailing spaces.6
Line has trailing spaces.10
Line has trailing spaces.15
Line has trailing spaces.20
Line has trailing spaces.24
Commentaire javadoc manquant.42
La première ligne doit se terminer avec un point.44
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.47
La première ligne doit se terminer avec un point.49
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 première ligne doit se terminer avec un point.54
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
Le nom de la classe 'rand' n'est pas conforme à l'expression '^[A-Z][A-Z0-9]*(_[A-Z0-9]+)*$'.57
La première ligne doit se terminer avec un point.59
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 variable 'activity' devrait être privée et avoir des accesseurs.62
La première ligne doit se terminer avec un point.64
La ligne contient un caractère tabulation.64
La ligne contient un caractère tabulation.65
La ligne contient un caractère tabulation.66
La ligne contient un caractère tabulation.67
La variable 'coefs' devrait être privée et avoir des accesseurs.67
La première ligne doit se terminer avec un point.69
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.72
La variable 'degree' devrait être privée et avoir des accesseurs.72
La première ligne doit se terminer avec un point.74
La ligne contient un caractère tabulation.74
La ligne contient un caractère tabulation.75
La ligne contient un caractère tabulation.76
La ligne contient un caractère tabulation.77
La variable 'lits' devrait être privée et avoir des accesseurs.77
La première ligne doit se terminer avec un point.79
La ligne contient un caractère tabulation.79
La ligne contient un caractère tabulation.80
La ligne contient un caractère tabulation.81
La ligne contient un caractère tabulation.82
La variable 'learnt' devrait être privée et avoir des accesseurs.82
La première ligne doit se terminer avec un point.84
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 variable 'locked' devrait être privée et avoir des accesseurs.87
La première ligne doit se terminer avec un point.89
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 variable 'watchCumul' devrait être privée et avoir des accesseurs.92
La première ligne doit se terminer avec un point.94
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 variable 'voc' devrait être privée et avoir des accesseurs.97
La ligne contient un caractère tabulation.99
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 contient un caractère tabulation.103
La ligne contient un caractère tabulation.105
Commentaire javadoc manquant.105
Le paramètre mpb devrait être final.105
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.111
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 première ligne doit se terminer avec un point.117
La ligne contient un caractère tabulation.117
La ligne contient un caractère tabulation.118
Line has trailing spaces.119
La ligne contient un caractère tabulation.119
La ligne contient un caractère tabulation.120
La ligne contient un caractère tabulation.121
La ligne contient un caractère tabulation.122
La ligne contient un caractère tabulation.123
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.123
Le paramètre dl devrait être final.123
Balise javadoc @param manquante pour 'dl'.123
La ligne contient un caractère tabulation.124
La ligne contient un caractère tabulation.125
L'instruction 'if' devrait utiliser des accolades ('{' et '}').126
La ligne contient un caractère tabulation.126
La ligne excède 80 caractères.127
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
L'instruction 'if' devrait utiliser des accolades ('{' et '}').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 excède 80 caractères.135
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 contient un caractère tabulation.138
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 première ligne doit se terminer avec un point.143
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.151
La ligne contient un caractère tabulation.152
La ligne contient un caractère tabulation.153
La méthode 'calcReason' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.153
Le paramètre p devrait être final.153
Le paramètre outReason devrait être final.153
La ligne contient un caractère tabulation.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.161
Commentaire javadoc manquant.161
La ligne contient un caractère tabulation.163
La ligne contient un caractère tabulation.164
La ligne contient un caractère tabulation.166
La ligne contient un caractère tabulation.167
Line has trailing spaces.168
La ligne contient un caractère tabulation.168
La ligne contient un caractère tabulation.169
La ligne contient un caractère tabulation.170
La ligne contient un caractère tabulation.171
La ligne contient un caractère tabulation.172
La ligne contient un caractère tabulation.173
La ligne contient un caractère tabulation.174
La ligne contient un caractère tabulation.175
La ligne contient un caractère tabulation.177
La ligne contient un caractère tabulation.178
Line has trailing spaces.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.184
La ligne contient un caractère tabulation.185
La ligne contient un caractère tabulation.186
La ligne contient un caractère tabulation.188
La ligne contient un caractère tabulation.189
Line has trailing spaces.190
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.198
La ligne excède 80 caractères.199
La ligne contient un caractère tabulation.199
La ligne contient un caractère tabulation.200
La ligne excède 80 caractères.201
La ligne contient un caractère tabulation.201
La ligne contient un caractère tabulation.202
La ligne excède 80 caractères.203
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 ligne excède 80 caractères.206
La ligne contient un caractère tabulation.206
La ligne excède 80 caractères.207
La ligne contient un caractère tabulation.207
La ligne contient un caractère tabulation.208
La ligne excède 80 caractères.209
La ligne contient un caractère tabulation.209
La ligne contient un caractère tabulation.210
La ligne contient un caractère tabulation.212
La ligne excède 80 caractères.213
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
La ligne contient un caractère tabulation.217
La ligne contient un caractère tabulation.218
La ligne contient un caractère tabulation.219
La ligne contient un caractère tabulation.220
La ligne contient un caractère tabulation.221
La ligne contient un caractère tabulation.222
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 ligne contient un caractère tabulation.228
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
La ligne contient un caractère tabulation.233
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.238
La ligne contient un caractère tabulation.239
La ligne contient un caractère tabulation.240
La ligne contient un caractère tabulation.241
La ligne contient un caractère tabulation.242
La ligne contient un caractère tabulation.243
La ligne contient un caractère tabulation.245
La ligne contient un caractère tabulation.246
Line has trailing spaces.247
La ligne contient un caractère tabulation.247
La ligne contient un caractère tabulation.248
La ligne contient un caractère tabulation.249
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.254
La ligne contient un caractère tabulation.255
Line has trailing spaces.256
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
La ligne contient un caractère tabulation.260
La ligne contient un caractère tabulation.261
La ligne contient un caractère tabulation.263
La ligne contient un caractère tabulation.264
Line has trailing spaces.265
La ligne contient un caractère tabulation.265
La ligne contient un caractère tabulation.266
La ligne contient un caractère tabulation.267
La ligne contient un caractère tabulation.268
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 excède 80 caractères.272
La ligne contient un caractère tabulation.272
La ligne contient un caractère tabulation.273
La ligne contient un caractère tabulation.274
La ligne contient un caractère tabulation.276
La ligne contient un caractère tabulation.277
La ligne contient un caractère tabulation.278
Line has trailing spaces.279
La ligne contient un caractère tabulation.279
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 ligne contient un caractère tabulation.285
La ligne contient un caractère tabulation.286
La ligne contient un caractère tabulation.287
Line has trailing spaces.288
La ligne contient un caractère tabulation.288
La ligne contient un caractère tabulation.289
La ligne contient un caractère tabulation.290
La ligne contient un caractère tabulation.291
La ligne contient un caractère tabulation.292
La ligne contient un caractère tabulation.293
La ligne contient un caractère tabulation.295
La ligne contient un caractère tabulation.296
La ligne contient un caractère tabulation.297
Line has trailing spaces.298
La ligne contient un caractère tabulation.298
La ligne contient un caractère tabulation.299
La ligne contient un caractère tabulation.300
La ligne contient un caractère tabulation.301
La ligne contient un caractère tabulation.302
La ligne contient un caractère tabulation.303
La ligne contient un caractère tabulation.305
La ligne contient un caractère tabulation.306
Line has trailing spaces.307
La ligne contient un caractère tabulation.307
La ligne contient un caractère tabulation.308
La ligne contient un caractère tabulation.309
La ligne contient un caractère tabulation.310
La ligne contient un caractère tabulation.311
La ligne contient un caractère tabulation.312
La ligne contient un caractère tabulation.314
La ligne contient un caractère tabulation.315
Line has trailing spaces.316
La ligne contient un caractère tabulation.316
La ligne contient un caractère tabulation.317
La ligne contient un caractère tabulation.318
La ligne contient un caractère tabulation.319
La ligne contient un caractère tabulation.320
La ligne contient un caractère tabulation.321
La ligne contient un caractère tabulation.322
La ligne contient un caractère tabulation.324
La ligne contient un caractère tabulation.325
Line has trailing spaces.326
La ligne contient un caractère tabulation.326
La ligne contient un caractère tabulation.327
La ligne contient un caractère tabulation.328
La ligne contient un caractère tabulation.329
La ligne contient un caractère tabulation.330
La ligne contient un caractère tabulation.331
La ligne contient un caractère tabulation.332
La ligne contient un caractère tabulation.334
La ligne contient un caractère tabulation.335
Line has trailing spaces.336
La ligne contient un caractère tabulation.336
La ligne contient un caractère tabulation.337
La ligne contient un caractère tabulation.338
La ligne contient un caractère tabulation.339
La ligne contient un caractère tabulation.340
La ligne contient un caractère tabulation.341
La ligne contient un caractère tabulation.342
La ligne contient un caractère tabulation.343
La ligne contient un caractère tabulation.344
La ligne contient un caractère tabulation.345
La ligne contient un caractère tabulation.347
La ligne contient un caractère tabulation.348
Line has trailing spaces.349
La ligne contient un caractère tabulation.349
La ligne contient un caractère tabulation.350
La ligne contient un caractère tabulation.351
La ligne contient un caractère tabulation.352
La ligne contient un caractère tabulation.353
La ligne contient un caractère tabulation.354
La ligne contient un caractère tabulation.355
La ligne contient un caractère tabulation.357
La ligne contient un caractère tabulation.358
La ligne contient un caractère tabulation.359
La ligne contient un caractère tabulation.360
La ligne contient un caractère tabulation.362
La ligne contient un caractère tabulation.363
La ligne contient un caractère tabulation.364
La ligne contient un caractère tabulation.365
La ligne contient un caractère tabulation.366
La ligne contient un caractère tabulation.367
La ligne contient un caractère tabulation.368
La ligne contient un caractère tabulation.369
La ligne contient un caractère tabulation.370
La ligne contient un caractère tabulation.371
La ligne contient un caractère tabulation.372
La ligne contient un caractère tabulation.373
La ligne contient un caractère tabulation.374
La ligne contient un caractère tabulation.375
La ligne contient un caractère tabulation.377
La ligne contient un caractère tabulation.378
La ligne contient un caractère tabulation.379
La ligne contient un caractère tabulation.380
La ligne contient un caractère tabulation.381
La ligne contient un caractère tabulation.382
La ligne contient un caractère tabulation.384
La ligne contient un caractère tabulation.385
Line has trailing spaces.386
La ligne contient un caractère tabulation.386
La ligne contient un caractère tabulation.387
La ligne contient un caractère tabulation.388
La ligne contient un caractère tabulation.389
La ligne contient un caractère tabulation.390
La ligne contient un caractère tabulation.392
La ligne contient un caractère tabulation.393
La ligne contient un caractère tabulation.394
La ligne contient un caractère tabulation.395
La ligne contient un caractère tabulation.396
La ligne contient un caractère tabulation.397
La ligne contient un caractère tabulation.398
La ligne contient un caractère tabulation.399
La ligne contient un caractère tabulation.401
La ligne contient un caractère tabulation.402
La ligne contient un caractère tabulation.404
La ligne contient un caractère tabulation.405
La ligne contient un caractère tabulation.406
La ligne contient un caractère tabulation.408
La ligne contient un caractère tabulation.409
La ligne contient un caractère tabulation.410
La ligne contient un caractère tabulation.411
La ligne contient un caractère tabulation.412
La ligne contient un caractère tabulation.413
La ligne contient un caractère tabulation.414
La ligne contient un caractère tabulation.415
La ligne contient un caractère tabulation.416
La ligne contient un caractère tabulation.417
La ligne contient un caractère tabulation.418
La ligne contient un caractère tabulation.419
La ligne contient un caractère tabulation.421
La ligne contient un caractère tabulation.422
La ligne contient un caractère tabulation.424
La ligne contient un caractère tabulation.425
Line has trailing spaces.426
La ligne contient un caractère tabulation.426
La ligne contient un caractère tabulation.427
La ligne contient un caractère tabulation.428
La ligne contient un caractère tabulation.429
La ligne contient un caractère tabulation.430
La ligne contient un caractère tabulation.431
La ligne contient un caractère tabulation.432
La ligne contient un caractère tabulation.433
La ligne contient un caractère tabulation.434
La ligne contient un caractère tabulation.435
La ligne contient un caractère tabulation.437
La ligne contient un caractère tabulation.438
La ligne contient un caractère tabulation.439
La ligne contient un caractère tabulation.440
La ligne contient un caractère tabulation.441
La ligne contient un caractère tabulation.442
La ligne contient un caractère tabulation.444
La ligne contient un caractère tabulation.445
La ligne contient un caractère tabulation.446
La ligne contient un caractère tabulation.447
La ligne contient un caractère tabulation.448
La ligne contient un caractère tabulation.449
La ligne contient un caractère tabulation.450
La ligne contient un caractère tabulation.452
La ligne contient un caractère tabulation.453
La ligne contient un caractère tabulation.455
La ligne contient un caractère tabulation.456
La ligne contient un caractère tabulation.457
La ligne contient un caractère tabulation.458
La ligne contient un caractère tabulation.459
La ligne contient un caractère tabulation.460
La ligne contient un caractère tabulation.461
La ligne contient un caractère tabulation.463
La ligne contient un caractère tabulation.464
La ligne contient un caractère tabulation.465
La ligne contient un caractère tabulation.467
La ligne contient un caractère tabulation.469
La ligne contient un caractère tabulation.470
Line has trailing spaces.471
La ligne contient un caractère tabulation.471
La ligne contient un caractère tabulation.472
La ligne contient un caractère tabulation.473
La ligne contient un caractère tabulation.474
La ligne contient un caractère tabulation.475
La ligne contient un caractère tabulation.476
La ligne contient un caractère tabulation.478
La ligne contient un caractère tabulation.479
La ligne contient un caractère tabulation.480
La ligne contient un caractère tabulation.481
La ligne contient un caractère tabulation.482
La ligne contient un caractère tabulation.483
La ligne contient un caractère tabulation.484
La ligne contient un caractère tabulation.485
La ligne contient un caractère tabulation.486
La ligne contient un caractère tabulation.487
La ligne contient un caractère tabulation.488
La ligne contient un caractère tabulation.489
La ligne contient un caractère tabulation.490
La ligne contient un caractère tabulation.491
La ligne contient un caractère tabulation.492
La ligne contient un caractère tabulation.493
La ligne contient un caractère tabulation.494
La ligne contient un caractère tabulation.495
La ligne contient un caractère tabulation.496
La ligne contient un caractère tabulation.497
La ligne contient un caractère tabulation.499
La ligne contient un caractère tabulation.500
La ligne contient un caractère tabulation.501
La ligne contient un caractère tabulation.502
La ligne excède 80 caractères.503
La ligne contient un caractère tabulation.503
La ligne contient un caractère tabulation.504
La ligne contient un caractère tabulation.505
La ligne contient un caractère tabulation.506
La ligne contient un caractère tabulation.507
La ligne contient un caractère tabulation.508
La ligne contient un caractère tabulation.510
La ligne contient un caractère tabulation.511
La ligne contient un caractère tabulation.512
La ligne contient un caractère tabulation.513
La ligne contient un caractère tabulation.514
La ligne contient un caractère tabulation.515
La ligne contient un caractère tabulation.516
La ligne contient un caractère tabulation.517
La ligne contient un caractère tabulation.519
La ligne contient un caractère tabulation.520
La ligne contient un caractère tabulation.521
La ligne contient un caractère tabulation.522
La ligne contient un caractère tabulation.523
La ligne contient un caractère tabulation.524
La ligne contient un caractère tabulation.525
La ligne contient un caractère tabulation.526
La ligne contient un caractère tabulation.527
La ligne contient un caractère tabulation.529
La ligne contient un caractère tabulation.530
La ligne contient un caractère tabulation.531
La ligne contient un caractère tabulation.532
La ligne contient un caractère tabulation.533
La ligne contient un caractère tabulation.534
La ligne contient un caractère tabulation.536
La ligne contient un caractère tabulation.537
La ligne contient un caractère tabulation.538
La ligne contient un caractère tabulation.540
La ligne contient un caractère tabulation.541
La ligne contient un caractère tabulation.542
La ligne contient un caractère tabulation.543
La ligne contient un caractère tabulation.544
La ligne contient un caractère tabulation.546
La ligne contient un caractère tabulation.547
La ligne contient un caractère tabulation.548
La ligne contient un caractère tabulation.549
La ligne contient un caractère tabulation.550
La ligne contient un caractère tabulation.552
La ligne contient un caractère tabulation.553
La ligne contient un caractère tabulation.554
La ligne contient un caractère tabulation.556
La ligne excède 80 caractères.557
La ligne contient un caractère tabulation.557
La ligne contient un caractère tabulation.558
La ligne contient un caractère tabulation.559
La ligne contient un caractère tabulation.560
La ligne contient un caractère tabulation.561
La ligne contient un caractère tabulation.562
La ligne contient un caractère tabulation.563
La ligne contient un caractère tabulation.564
La ligne contient un caractère tabulation.565
La ligne contient un caractère tabulation.566
La ligne contient un caractère tabulation.567
La ligne contient un caractère tabulation.568
La ligne contient un caractère tabulation.569
La ligne contient un caractère tabulation.570
La ligne contient un caractère tabulation.571
La ligne contient un caractère tabulation.572
La ligne contient un caractère tabulation.573
La ligne contient un caractère tabulation.574
La ligne contient un caractère tabulation.576
La ligne contient un caractère tabulation.577
La ligne contient un caractère tabulation.578