Checkstyle Results

The following document contains the results of Checkstyle. rss feed

Summary

Files Infos Infos Warnings Warnings Errors Errors
1 0 0 422

Files

Files I Infos W Warnings E Errors
org/sat4j/sat/Lanceur.java 0 0 422

Rules

Rules Violations Severity
JavadocPackage
  • allowLegacy: "true"
 1 Errors Error
NewlineAtEndOfFile 0 Errors Error
Translation 0 Errors Error
FileLength 0 Errors Error
FileTabCharacter
  • eachLine: "true"
 335 Errors Error
RegexpSingleline
  • message: "Line has trailing spaces."
  • format: "\s+$"
 6 Errors Error
JavadocMethod 4 Errors Error
JavadocType 0 Errors Error
JavadocVariable 3 Errors Error
JavadocStyle 0 Errors Error
ConstantName 0 Errors Error
LocalFinalVariableName 0 Errors Error
LocalVariableName 0 Errors Error
MemberName 0 Errors Error
MethodName 0 Errors Error
PackageName 0 Errors Error
ParameterName 0 Errors Error
StaticVariableName 0 Errors Error
TypeName 0 Errors Error
AvoidStarImport 0 Errors Error
IllegalImport 0 Errors Error
RedundantImport 0 Errors Error
UnusedImports 0 Errors Error
LineLength 53 Errors Error
MethodLength 0 Errors Error
ParameterNumber 0 Errors Error
EmptyForIteratorPad 0 Errors Error
MethodParamPad 0 Errors Error
NoWhitespaceAfter 0 Errors Error
NoWhitespaceBefore 0 Errors Error
OperatorWrap 0 Errors Error
ParenPad 1 Errors Error
TypecastParenPad 0 Errors Error
WhitespaceAfter 0 Errors Error
WhitespaceAround 0 Errors Error
ModifierOrder 0 Errors Error
RedundantModifier 2 Errors Error
AvoidNestedBlocks 0 Errors Error
EmptyBlock 0 Errors Error
LeftCurly 0 Errors Error
NeedBraces 0 Errors Error
RightCurly 0 Errors Error
AvoidInlineConditionals 0 Errors Error
DoubleCheckedLocking 0 Errors Error
EmptyStatement 0 Errors Error
EqualsHashCode 0 Errors Error
HiddenField 0 Errors Error
IllegalInstantiation 0 Errors Error
InnerAssignment 0 Errors Error
MagicNumber 0 Errors Error
MissingSwitchDefault 0 Errors Error
RedundantThrows 1 Errors Error
SimplifyBooleanExpression 0 Errors Error
SimplifyBooleanReturn 0 Errors Error
DesignForExtension 6 Errors Error
FinalClass 0 Errors Error
HideUtilityClassConstructor 0 Errors Error
InterfaceIsType 0 Errors Error
VisibilityModifier 1 Errors Error
ArrayTypeStyle 0 Errors Error
FinalParameters 9 Errors Error
TodoComment 0 Errors Error
UpperEll 0 Errors Error

Details

org/sat4j/sat/Lanceur.java

Violation Message Line
Errors Missing package-info.java file. 0
Errors Line is longer than 80 characters. 2
Errors Line is longer than 80 characters. 18
Errors Line has trailing spaces. 62
Errors Line has trailing spaces. 66
Errors Line has trailing spaces. 69
Errors Line contains a tab character. 74
Errors Line has trailing spaces. 75
Errors Line contains a tab character. 75
Errors Line contains a tab character. 76
Errors Line contains a tab character. 77
Errors Line contains a tab character. 79
Errors Line contains a tab character. 80
Errors Line has trailing spaces. 81
Errors Line contains a tab character. 81
Errors Line contains a tab character. 82
Errors Line contains a tab character. 83
Errors Line contains a tab character. 84
Errors Line contains a tab character. 85
Errors Line contains a tab character. 86
Errors Line contains a tab character. 87
Errors Line contains a tab character. 88
Errors Line contains a tab character. 89
Errors Line contains a tab character. 90
Errors Line contains a tab character. 92
Errors Missing a Javadoc comment. 92
Errors Variable 'factory' must be private and have accessor methods. 92
Errors Line contains a tab character. 94
Errors Missing a Javadoc comment. 94
Errors Line contains a tab character. 96
Errors Missing a Javadoc comment. 96
Errors Line contains a tab character. 98
Errors Missing a Javadoc comment. 98
Errors Line contains a tab character. 99
Errors Line contains a tab character. 100
Errors Line contains a tab character. 102
Errors Line is longer than 80 characters. 103
Errors Line contains a tab character. 103
Errors Line contains a tab character. 104
Errors Line is longer than 80 characters. 105
Errors Line contains a tab character. 105
Errors Line contains a tab character. 106
Errors Line contains a tab character. 107
Errors Line contains a tab character. 108
Errors Line contains a tab character. 109
Errors Line contains a tab character. 110
Errors Line contains a tab character. 111
Errors Line contains a tab character. 112
Errors Line is longer than 80 characters. 113
Errors Line contains a tab character. 113
Errors Line contains a tab character. 114
Errors Line contains a tab character. 115
Errors Line is longer than 80 characters. 116
Errors Line contains a tab character. 116
Errors Line contains a tab character. 117
Errors Line contains a tab character. 118
Errors Line is longer than 80 characters. 119
Errors Line contains a tab character. 119
Errors Line is longer than 80 characters. 120
Errors Line contains a tab character. 120
Errors Line contains a tab character. 121
Errors Line contains a tab character. 122
Errors Line is longer than 80 characters. 123
Errors Line contains a tab character. 123
Errors Line contains a tab character. 124
Errors Line contains a tab character. 125
Errors Line is longer than 80 characters. 126
Errors Line contains a tab character. 126
Errors Line contains a tab character. 127
Errors Line contains a tab character. 128
Errors Line contains a tab character. 129
Errors Line contains a tab character. 130
Errors Line contains a tab character. 131
Errors Line contains a tab character. 132
Errors Line contains a tab character. 133
Errors Line contains a tab character. 134
Errors Line contains a tab character. 135
Errors Line contains a tab character. 136
Errors Line contains a tab character. 137
Errors Line contains a tab character. 138
Errors Line contains a tab character. 139
Errors Line contains a tab character. 140
Errors Line contains a tab character. 141
Errors Line contains a tab character. 142
Errors Line contains a tab character. 143
Errors Line contains a tab character. 144
Errors Line contains a tab character. 145
Errors Line contains a tab character. 146
Errors Line contains a tab character. 147
Errors Line contains a tab character. 148
Errors Line contains a tab character. 150
Errors Line contains a tab character. 151
Errors Line has trailing spaces. 152
Errors Line contains a tab character. 152
Errors Line contains a tab character. 153
Errors Line contains a tab character. 154
Errors Line contains a tab character. 155
Errors Line contains a tab character. 156
Errors Line contains a tab character. 157
Errors Method 'configureSolver' is not designed for extension - needs to be abstract, final or empty. 157
Errors '(' is followed by whitespace. 157
Errors Line contains a tab character. 158
Errors Line contains a tab character. 159
Errors Parameter args should be final. 159
Errors Line contains a tab character. 160
Errors Line contains a tab character. 161
Errors Line contains a tab character. 162
Errors Line contains a tab character. 163
Errors Line contains a tab character. 164
Errors Line contains a tab character. 165
Errors Line contains a tab character. 166
Errors Line is longer than 80 characters. 167
Errors Line contains a tab character. 167
Errors Line is longer than 80 characters. 169
Errors Line contains a tab character. 169
Errors Line contains a tab character. 170
Errors Line contains a tab character. 171
Errors Line contains a tab character. 172
Errors Line contains a tab character. 174
Errors Line contains a tab character. 175
Errors Line is longer than 80 characters. 176
Errors Line contains a tab character. 176
Errors Line contains a tab character. 177
Errors Line is longer than 80 characters. 178
Errors Line contains a tab character. 178
Errors Line is longer than 80 characters. 179
Errors Line contains a tab character. 179
Errors Line contains a tab character. 180
Errors Line contains a tab character. 181
Errors Line contains a tab character. 182
Errors Line is longer than 80 characters. 183
Errors Line contains a tab character. 183
Errors Line contains a tab character. 184
Errors Line contains a tab character. 186
Errors Line contains a tab character. 187
Errors Line contains a tab character. 188
Errors Line is longer than 80 characters. 189
Errors Line contains a tab character. 189
Errors Line contains a tab character. 190
Errors Line contains a tab character. 191
Errors Line contains a tab character. 192
Errors Line contains a tab character. 193
Errors Line is longer than 80 characters. 194
Errors Line contains a tab character. 194
Errors Line contains a tab character. 195
Errors Line contains a tab character. 196
Errors Line contains a tab character. 197
Errors Line contains a tab character. 198
Errors Line contains a tab character. 200
Errors Line is longer than 80 characters. 201
Errors Line contains a tab character. 201
Errors Line contains a tab character. 202
Errors Line contains a tab character. 203
Errors Line contains a tab character. 204
Errors Line contains a tab character. 205
Errors Line is longer than 80 characters. 206
Errors Line contains a tab character. 206
Errors Line contains a tab character. 207
Errors Line contains a tab character. 209
Errors Line contains a tab character. 210
Errors Line contains a tab character. 211
Errors Line contains a tab character. 212
Errors Line is longer than 80 characters. 213
Errors Line contains a tab character. 213
Errors Line contains a tab character. 214
Errors Line contains a tab character. 215
Errors Line contains a tab character. 216
Errors Line is longer than 80 characters. 217
Errors Line contains a tab character. 217
Errors Line contains a tab character. 218
Errors Line is longer than 80 characters. 219
Errors Line contains a tab character. 219
Errors Line contains a tab character. 220
Errors Line contains a tab character. 221
Errors Line contains a tab character. 222
Errors Line contains a tab character. 224
Errors Line contains a tab character. 225
Errors Line contains a tab character. 226
Errors Line contains a tab character. 227
Errors Line contains a tab character. 228
Errors Line contains a tab character. 229
Errors Line contains a tab character. 230
Errors Line contains a tab character. 231
Errors Line is longer than 80 characters. 232
Errors Line contains a tab character. 232
Errors Line contains a tab character. 233
Errors Line contains a tab character. 234
Errors Line contains a tab character. 236
Errors Line contains a tab character. 237
Errors Line contains a tab character. 238
Errors Line contains a tab character. 240
Errors Line is longer than 80 characters. 241
Errors Line contains a tab character. 241
Errors Line contains a tab character. 242
Errors Line contains a tab character. 243
Errors Line contains a tab character. 244
Errors Line contains a tab character. 245
Errors Line contains a tab character. 246
Errors Line contains a tab character. 247
Errors Line contains a tab character. 248
Errors Line is longer than 80 characters. 250
Errors Line contains a tab character. 250
Errors Line is longer than 80 characters. 251
Errors Line contains a tab character. 251
Errors Line contains a tab character. 252
Errors Line contains a tab character. 253
Errors Line contains a tab character. 254
Errors Line is longer than 80 characters. 255
Errors Line contains a tab character. 255
Errors Line is longer than 80 characters. 256
Errors Line contains a tab character. 256
Errors Line contains a tab character. 257
Errors Line is longer than 80 characters. 258
Errors Line contains a tab character. 258
Errors Line is longer than 80 characters. 259
Errors Line contains a tab character. 259
Errors Line contains a tab character. 260
Errors Line is longer than 80 characters. 261
Errors Line contains a tab character. 261
Errors Line contains a tab character. 262
Errors Line is longer than 80 characters. 263
Errors Line contains a tab character. 263
Errors Line is longer than 80 characters. 264
Errors Line contains a tab character. 264
Errors Line contains a tab character. 265
Errors Line is longer than 80 characters. 266
Errors Line contains a tab character. 266
Errors Line is longer than 80 characters. 267
Errors Line contains a tab character. 267
Errors Line contains a tab character. 268
Errors Line is longer than 80 characters. 269
Errors Line contains a tab character. 269
Errors Line is longer than 80 characters. 270
Errors Line contains a tab character. 270
Errors Line contains a tab character. 271
Errors Line is longer than 80 characters. 272
Errors Line contains a tab character. 272
Errors Line is longer than 80 characters. 273
Errors Line contains a tab character. 273
Errors Line contains a tab character. 274
Errors Line contains a tab character. 275
Errors Line contains a tab character. 276
Errors Line contains a tab character. 277
Errors Line contains a tab character. 278
Errors Line contains a tab character. 279
Errors Line contains a tab character. 280
Errors Line contains a tab character. 282
Errors Line contains a tab character. 283
Errors Line is longer than 80 characters. 284
Errors Line contains a tab character. 284
Errors Line contains a tab character. 285
Errors Line is longer than 80 characters. 286
Errors Line contains a tab character. 286
Errors Line contains a tab character. 287
Errors Line is longer than 80 characters. 288
Errors Line contains a tab character. 288
Errors Line contains a tab character. 289
Errors Line is longer than 80 characters. 290
Errors Line contains a tab character. 290
Errors Line contains a tab character. 291
Errors Line contains a tab character. 292
Errors Line contains a tab character. 293
Errors Line contains a tab character. 294
Errors Line contains a tab character. 296
Errors Line contains a tab character. 297
Errors Line contains a tab character. 298
Errors Line contains a tab character. 299
Errors Line contains a tab character. 300
Errors Line contains a tab character. 301
Errors Line contains a tab character. 302
Errors Line contains a tab character. 303
Errors Line contains a tab character. 304
Errors Line contains a tab character. 306
Errors Method 'createReader' is not designed for extension - needs to be abstract, final or empty. 306
Errors Line contains a tab character. 307
Errors Parameter theSolver should be final. 307
Errors Parameter problemname should be final. 307
Errors Line contains a tab character. 308
Errors Line contains a tab character. 309
Errors Line contains a tab character. 310
Errors Line contains a tab character. 311
Errors Line contains a tab character. 312
Errors Line contains a tab character. 314
Errors Method 'displayLicense' is not designed for extension - needs to be abstract, final or empty. 314
Errors Line contains a tab character. 315
Errors Line contains a tab character. 316
Errors Line is longer than 80 characters. 317
Errors Line contains a tab character. 317
Errors Line contains a tab character. 318
Errors Line contains a tab character. 320
Errors Method 'usage' is not designed for extension - needs to be abstract, final or empty. 320
Errors Line contains a tab character. 321
Errors Line contains a tab character. 322
Errors Line contains a tab character. 323
Errors Line contains a tab character. 325
Errors Method 'getInstanceName' is not designed for extension - needs to be abstract, final or empty. 325
Errors Line contains a tab character. 326
Errors Parameter args should be final. 326
Errors Line contains a tab character. 327
Errors Line contains a tab character. 328
Errors Line contains a tab character. 330
Errors Missing a Javadoc comment. 330
Errors Line contains a tab character. 331
Errors Redundant 'final' modifier. 331
Errors Parameter solverconfig should be final. 331
Errors Line contains a tab character. 332
Errors Parameter theSolver should be final. 332
Errors Line contains a tab character. 333
Errors Line contains a tab character. 334
Errors Line contains a tab character. 335
Errors Line contains a tab character. 336
Errors Line contains a tab character. 337
Errors Line contains a tab character. 338
Errors Line contains a tab character. 339
Errors Line contains a tab character. 340
Errors Line contains a tab character. 341
Errors Line contains a tab character. 342
Errors Line contains a tab character. 343
Errors Line contains a tab character. 344
Errors Line contains a tab character. 345
Errors Line contains a tab character. 346
Errors Line contains a tab character. 347
Errors Line contains a tab character. 348
Errors Line contains a tab character. 349
Errors Line contains a tab character. 350
Errors Line contains a tab character. 351
Errors Line contains a tab character. 352
Errors Line contains a tab character. 353
Errors Line contains a tab character. 354
Errors Line contains a tab character. 355
Errors Line contains a tab character. 356
Errors Line contains a tab character. 357
Errors Line contains a tab character. 358
Errors Line contains a tab character. 359
Errors Line contains a tab character. 360
Errors Line contains a tab character. 361
Errors Line contains a tab character. 362
Errors Line contains a tab character. 363
Errors Line contains a tab character. 364
Errors Line contains a tab character. 365
Errors Line contains a tab character. 366
Errors Line contains a tab character. 367
Errors Line contains a tab character. 368
Errors Line contains a tab character. 369
Errors Line contains a tab character. 370
Errors Line contains a tab character. 371
Errors Line contains a tab character. 372
Errors Line contains a tab character. 373
Errors Line contains a tab character. 374
Errors Line contains a tab character. 375
Errors Line contains a tab character. 376
Errors Line is longer than 80 characters. 377
Errors Line contains a tab character. 377
Errors Line contains a tab character. 378
Errors Line contains a tab character. 379
Errors Line contains a tab character. 380
Errors Line contains a tab character. 382
Errors Missing a Javadoc comment. 382
Errors Line is longer than 80 characters. 383
Errors Line contains a tab character. 383
Errors Line is longer than 80 characters. 384
Errors Line contains a tab character. 384
Errors Line contains a tab character. 385
Errors Line contains a tab character. 387
Errors Missing a Javadoc comment. 387
Errors Line contains a tab character. 388
Errors Redundant 'final' modifier. 388
Errors Parameter component should be final. 388
Errors Parameter pf should be final. 388
Errors Line contains a tab character. 389
Errors Line contains a tab character. 390
Errors Line contains a tab character. 391
Errors Line contains a tab character. 392
Errors Line contains a tab character. 393
Errors Line contains a tab character. 394
Errors Line contains a tab character. 395
Errors Line contains a tab character. 396
Errors Line contains a tab character. 397
Errors Line is longer than 80 characters. 398
Errors Line contains a tab character. 398
Errors Line contains a tab character. 399
Errors Line contains a tab character. 400
Errors Line is longer than 80 characters. 401
Errors Line contains a tab character. 401
Errors Line contains a tab character. 402
Errors Line is longer than 80 characters. 403
Errors Line contains a tab character. 403
Errors Line contains a tab character. 404
Errors Line is longer than 80 characters. 405
Errors Line contains a tab character. 405
Errors Line contains a tab character. 406
Errors Line contains a tab character. 407
Errors Line contains a tab character. 408
Errors Line contains a tab character. 409
Errors Line contains a tab character. 410
Errors Line contains a tab character. 411
Errors Line contains a tab character. 412
Errors Line contains a tab character. 413
Errors Line contains a tab character. 414
Errors Line contains a tab character. 415
Errors Line contains a tab character. 416
Errors Line contains a tab character. 417
Errors Line contains a tab character. 419
Errors Method 'readProblem' is not designed for extension - needs to be abstract, final or empty. 419
Errors Line contains a tab character. 420
Errors Parameter problemname should be final. 420
Errors Line is longer than 80 characters. 421
Errors Line contains a tab character. 421
Errors Redundant throws: 'FileNotFoundException' is subclass of 'IOException'. 421
Errors Line contains a tab character. 422
Errors Line contains a tab character. 423
Errors Line contains a tab character. 424
Errors Line contains a tab character. 425
Errors Line contains a tab character. 426
Errors Line contains a tab character. 427
Errors Line contains a tab character. 428
Errors Line contains a tab character. 429
Errors Line contains a tab character. 430
Errors Line contains a tab character. 431
Errors Line contains a tab character. 432
Errors Line contains a tab character. 433
Errors Line contains a tab character. 434