Checkstyle Results

The following document contains the results of Checkstyle . rss feed

Summary

Files Infos Infos Warnings Warnings Errors Errors
2 0 0 465

Files

Files I Infos W Warnings E Errors
org/sat4j/helper/MappingHelper.java 0 0 464
org/sat4j/helper/package.html 0 0 1

Rules

Rules Violations Severity
PackageHtml 1 Errors Error
NewlineAtEndOfFile 0 Errors Error
Translation 0 Errors Error
JavadocMethod 19 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
FileLength 0 Errors Error
LineLength 15 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 0 Errors Error
TypecastParenPad 0 Errors Error
TabCharacter 302 Errors Error
WhitespaceAfter 0 Errors Error
WhitespaceAround 45 Errors Error
ModifierOrder 0 Errors Error
RedundantModifier 0 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 1 Errors Error
IllegalInstantiation 0 Errors Error
InnerAssignment 0 Errors Error
MagicNumber 0 Errors Error
MissingSwitchDefault 0 Errors Error
RedundantThrows 0 Errors Error
SimplifyBooleanExpression 0 Errors Error
SimplifyBooleanReturn 0 Errors Error
DesignForExtension 21 Errors Error
FinalClass 0 Errors Error
HideUtilityClassConstructor 0 Errors Error
InterfaceIsType 0 Errors Error
VisibilityModifier 1 Errors Error
ArrayTypeStyle 0 Errors Error
FinalParameters 33 Errors Error
GenericIllegalRegexp
  • message : "Line has trailing spaces."
  • format : "\s+$"
24 Errors Error
TodoComment 0 Errors Error
UpperEll 0 Errors Error

Details

org/sat4j/helper/MappingHelper.java

Violation Message Line
Errors Line is longer than 80 characters. 2
Errors Line has trailing spaces. 18
Errors Line has trailing spaces. 20
Errors Line has trailing spaces. 26
Errors Line is longer than 80 characters. 27
Errors Line has trailing spaces. 45
Errors Line has trailing spaces. 47
Errors '<' is not preceded with whitespace. 51
Errors '<' is not followed by whitespace. 51
Errors '>' is not preceded with whitespace. 51
Errors Line contains a tab character. 53
Errors Line has trailing spaces. 54
Errors Line contains a tab character. 54
Errors Line contains a tab character. 55
Errors Line contains a tab character. 56
Errors Line contains a tab character. 58
Errors Missing a Javadoc comment. 58
Errors '<' is not preceded with whitespace. 58
Errors '<' is not followed by whitespace. 58
Errors '>' is not preceded with whitespace. 58
Errors '<' is not preceded with whitespace. 58
Errors '<' is not followed by whitespace. 58
Errors '>' is not preceded with whitespace. 58
Errors '>' is not followed by whitespace. 58
Errors Line contains a tab character. 59
Errors Missing a Javadoc comment. 59
Errors '<' is not preceded with whitespace. 59
Errors '<' is not followed by whitespace. 59
Errors '>' is not preceded with whitespace. 59
Errors Line contains a tab character. 60
Errors Missing a Javadoc comment. 60
Errors Variable 'solver' must be private and have accessor methods. 60
Errors Line contains a tab character. 62
Errors Missing a Javadoc comment. 62
Errors Parameter solver should be final. 62
Errors 'solver' hides a field. 62
Errors Line contains a tab character. 63
Errors Line contains a tab character. 64
Errors '<' is not preceded with whitespace. 64
Errors '<' is not followed by whitespace. 64
Errors '>' is not preceded with whitespace. 64
Errors '>' is not followed by whitespace. 64
Errors Line contains a tab character. 65
Errors Line contains a tab character. 66
Errors Line contains a tab character. 68
Errors Method 'getIntValue' is not designed for extension - needs to be abstract, final or empty. 68
Errors Missing a Javadoc comment. 68
Errors Parameter thing should be final. 68
Errors Line contains a tab character. 69
Errors Line contains a tab character. 70
Errors Line contains a tab character. 71
Errors Line contains a tab character. 72
Errors Line contains a tab character. 73
Errors Line contains a tab character. 74
Errors Line contains a tab character. 75
Errors Line contains a tab character. 76
Errors Line contains a tab character. 78
Errors Method 'getSolution' is not designed for extension - needs to be abstract, final or empty. 78
Errors Missing a Javadoc comment. 78
Errors '<' is not preceded with whitespace. 78
Errors '<' is not followed by whitespace. 78
Errors '>' is not preceded with whitespace. 78
Errors Line contains a tab character. 79
Errors Line contains a tab character. 80
Errors '<' is not preceded with whitespace. 80
Errors '<' is not followed by whitespace. 80
Errors '>' is not preceded with whitespace. 80
Errors '<' is not preceded with whitespace. 80
Errors '<' is not followed by whitespace. 80
Errors '>' is not preceded with whitespace. 80
Errors '>' is not followed by whitespace. 80
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. 89
Errors Method 'getBooleanValueFor' is not designed for extension - needs to be abstract, final or empty. 89
Errors Missing a Javadoc comment. 89
Errors Parameter t should be final. 89
Errors Line contains a tab character. 90
Errors Line contains a tab character. 91
Errors Line contains a tab character. 93
Errors Method 'hasASolution' is not designed for extension - needs to be abstract, final or empty. 93
Errors Missing a Javadoc comment. 93
Errors Line contains a tab character. 94
Errors Line contains a tab character. 95
Errors Line contains a tab character. 97
Errors Line contains a tab character. 98
Errors Line has trailing spaces. 99
Errors Line contains a tab character. 99
Errors Line contains a tab character. 100
Errors Line contains a tab character. 101
Errors Line contains a tab character. 102
Errors Line contains a tab character. 103
Errors Line contains a tab character. 104
Errors Line contains a tab character. 105
Errors Line contains a tab character. 106
Errors Method 'addImplies' is not designed for extension - needs to be abstract, final or empty. 106
Errors Parameter x should be final. 106
Errors Parameter y should be final. 106
Errors Expected @throws tag for 'ContradictionException'. 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. 113
Errors Line contains a tab character. 114
Errors Line has trailing spaces. 115
Errors Line contains a tab character. 115
Errors Line contains a tab character. 116
Errors Line contains a tab character. 117
Errors Line contains a tab character. 118
Errors Line contains a tab character. 119
Errors Line contains a tab character. 120
Errors Line contains a tab character. 121
Errors Line contains a tab character. 122
Errors Method 'addImplies' is not designed for extension - needs to be abstract, final or empty. 122
Errors Parameter x should be final. 122
Errors Parameter y should be final. 122
Errors Expected @throws tag for 'ContradictionException'. 122
Errors Line contains a tab character. 123
Errors Line contains a tab character. 124
Errors Line contains a tab character. 125
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. 132
Errors Line contains a tab character. 133
Errors Line has trailing spaces. 134
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 is longer than 80 characters. 141
Errors Line contains a tab character. 141
Errors Method 'addImplies' is not designed for extension - needs to be abstract, final or empty. 141
Errors Parameter x should be final. 141
Errors '<' is not preceded with whitespace. 141
Errors '<' is not followed by whitespace. 141
Errors '>' is not preceded with whitespace. 141
Errors Parameter y should be final. 141
Errors Expected @throws tag for 'ContradictionException'. 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. 149
Errors Line contains a tab character. 151
Errors Line contains a tab character. 152
Errors Line has trailing spaces. 153
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 Line contains a tab character. 158
Errors Line contains a tab character. 159
Errors Line contains a tab character. 160
Errors Line contains a tab character. 161
Errors Method 'addImplies' is not designed for extension - needs to be abstract, final or empty. 161
Errors Parameter x should be final. 161
Errors Parameter y should be final. 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 contains a tab character. 167
Errors Line contains a tab character. 168
Errors Line contains a tab character. 169
Errors Line contains a tab character. 171
Errors Line contains a tab character. 172
Errors Line has trailing spaces. 173
Errors Line contains a tab character. 173
Errors Line contains a tab character. 174
Errors Line contains a tab character. 175
Errors Line contains a tab character. 176
Errors Line contains a tab character. 177
Errors Line contains a tab character. 178
Errors Line contains a tab character. 179
Errors Line contains a tab character. 180
Errors Line is longer than 80 characters. 181
Errors Line contains a tab character. 181
Errors Method 'addImplies' is not designed for extension - needs to be abstract, final or empty. 181
Errors Parameter x should be final. 181
Errors Parameter y should be final. 181
Errors '<' is not preceded with whitespace. 181
Errors '<' is not followed by whitespace. 181
Errors '>' is not preceded with whitespace. 181
Errors Line contains a tab character. 182
Errors Line contains a tab character. 183
Errors Line contains a tab character. 184
Errors Line contains a tab character. 185
Errors Line contains a tab character. 186
Errors Line contains a tab character. 187
Errors Line contains a tab character. 188
Errors Line contains a tab character. 189
Errors Line contains a tab character. 191
Errors Line contains a tab character. 192
Errors Line has trailing spaces. 193
Errors Line contains a tab character. 193
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. 199
Errors Line contains a tab character. 200
Errors Line contains a tab character. 201
Errors Method 'addImplication' is not designed for extension - needs to be abstract, final or empty. 201
Errors Parameter x should be final. 201
Errors Parameter y should be final. 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 contains a tab character. 206
Errors Line contains a tab character. 207
Errors Line contains a tab character. 208
Errors Line contains a tab character. 210
Errors Line contains a tab character. 211
Errors Line has trailing spaces. 212
Errors Line contains a tab character. 212
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 contains a tab character. 217
Errors Line contains a tab character. 218
Errors Line contains a tab character. 219
Errors Line contains a tab character. 220
Errors Method 'addImplication' is not designed for extension - needs to be abstract, final or empty. 220
Errors Parameter x should be final. 220
Errors Parameter y should be final. 220
Errors '<' is not preceded with whitespace. 220
Errors '<' is not followed by whitespace. 220
Errors '>' is not preceded with whitespace. 220
Errors Line contains a tab character. 221
Errors Line contains a tab character. 222
Errors Line contains a tab character. 223
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. 230
Errors Line contains a tab character. 231
Errors Line contains a tab character. 232
Errors Line has trailing spaces. 233
Errors Line contains a tab character. 233
Errors Line contains a tab character. 234
Errors Line contains a tab character. 235
Errors Line contains a tab character. 236
Errors Line is longer than 80 characters. 237
Errors Line contains a tab character. 237
Errors Line contains a tab character. 238
Errors Line contains a tab character. 239
Errors Line contains a tab character. 240
Errors Line is longer than 80 characters. 241
Errors Line contains a tab character. 241
Errors Method 'addAtLeast' is not designed for extension - needs to be abstract, final or empty. 241
Errors Parameter x should be final. 241
Errors Parameter degree should be final. 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. 249
Errors Line contains a tab character. 250
Errors Line contains a tab character. 251
Errors Line has trailing spaces. 252
Errors Line contains a tab character. 252
Errors Line contains a tab character. 253
Errors Line contains a tab character. 254
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 contains a tab character. 258
Errors Line contains a tab character. 259
Errors Line contains a tab character. 260
Errors Method 'addAtLeast' is not designed for extension - needs to be abstract, final or empty. 260
Errors Parameter x should be final. 260
Errors '<' is not preceded with whitespace. 260
Errors '<' is not followed by whitespace. 260
Errors '>' is not preceded with whitespace. 260
Errors Parameter degree should be final. 260
Errors Line contains a tab character. 261
Errors Line contains a tab character. 262
Errors Line contains a tab character. 263
Errors Line contains a tab character. 264
Errors Line contains a tab character. 265
Errors Line contains a tab character. 266
Errors Line contains a tab character. 267
Errors Line contains a tab character. 269
Errors Line contains a tab character. 270
Errors Line contains a tab character. 271
Errors Line has trailing spaces. 272
Errors Line contains a tab character. 272
Errors Line contains a tab character. 273
Errors Line contains a tab character. 274
Errors Line contains a tab character. 275
Errors Line is longer than 80 characters. 276
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 Method 'addAtMost' is not designed for extension - needs to be abstract, final or empty. 280
Errors Parameter x should be final. 280
Errors Parameter degree should be final. 280
Errors Line contains a tab character. 281
Errors Line contains a tab character. 282
Errors Line contains a tab character. 283
Errors Line contains a tab character. 284
Errors Line contains a tab character. 285
Errors Line contains a tab character. 286
Errors Line contains a tab character. 288
Errors Line contains a tab character. 289
Errors Line contains a tab character. 290
Errors Line has trailing spaces. 291
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 is longer than 80 characters. 295
Errors Line contains a tab character. 295
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 Method 'addAtMost' is not designed for extension - needs to be abstract, final or empty. 299
Errors Parameter x should be final. 299
Errors '<' is not preceded with whitespace. 299
Errors '<' is not followed by whitespace. 299
Errors '>' is not preceded with whitespace. 299
Errors Parameter degree should be final. 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. 305
Errors Line contains a tab character. 306
Errors Line contains a tab character. 308
Errors Method 'addExactlyOneOf' is not designed for extension - needs to be abstract, final or empty. 308
Errors Missing a Javadoc comment. 308
Errors Parameter ts should be final. 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. 313
Errors Line contains a tab character. 314
Errors Line contains a tab character. 315
Errors Line has trailing spaces. 316
Errors Line contains a tab character. 316
Errors Line contains a tab character. 317
Errors Line contains a tab character. 318
Errors Line has trailing spaces. 319
Errors Line contains a tab character. 319
Errors Line contains a tab character. 320
Errors Line contains a tab character. 321
Errors Line contains a tab character. 322
Errors Line has trailing spaces. 323
Errors Line contains a tab character. 323
Errors Line contains a tab character. 324
Errors Line is longer than 80 characters. 325
Errors Line contains a tab character. 325
Errors Method 'addImpliesEquivalence' is not designed for extension - needs to be abstract, final or empty. 325
Errors Parameter x should be final. 325
Errors Expected @param tag for 'x'. 325
Errors Parameter y should be final. 325
Errors Expected @param tag for 'y'. 325
Errors Parameter z should be final. 325
Errors Expected @param tag for 'z'. 325
Errors Expected @throws tag for 'ContradictionException'. 325
Errors Line contains a tab character. 326
Errors Line has trailing spaces. 327
Errors Line is longer than 80 characters. 327
Errors Line contains a tab character. 327
Errors Line contains a tab character. 328
Errors Line contains a tab character. 329
Errors Line has trailing spaces. 330
Errors Line is longer than 80 characters. 330
Errors Line contains a tab character. 330
Errors Line contains a tab character. 331
Errors Line contains a tab character. 332
Errors Line contains a tab character. 334
Errors Line is longer than 80 characters. 335
Errors Line contains a tab character. 335
Errors Line contains a tab character. 336
Errors Line has trailing spaces. 337
Errors Line contains a tab character. 337
Errors Line contains a tab character. 338
Errors Line is longer than 80 characters. 339
Errors Line contains a tab character. 339
Errors Method 'addConflict' is not designed for extension - needs to be abstract, final or empty. 339
Errors Parameter things should be final. 339
Errors '<' is not preceded with whitespace. 339
Errors '<' is not followed by whitespace. 339
Errors '>' is not preceded with whitespace. 339
Errors Expected @param tag for 'things'. 339
Errors Expected @throws tag for 'ContradictionException'. 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. 347
Errors Line is longer than 80 characters. 348
Errors Line contains a tab character. 348
Errors Line contains a tab character. 349
Errors Line has trailing spaces. 350
Errors Line contains a tab character. 350
Errors Line contains a tab character. 351
Errors Line contains a tab character. 352
Errors Method 'addConflict' is not designed for extension - needs to be abstract, final or empty. 352
Errors Parameter things should be final. 352
Errors Expected @param tag for 'things'. 352
Errors Expected @throws tag for 'ContradictionException'. 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. 360
Errors Method 'setTrue' is not designed for extension - needs to be abstract, final or empty. 360
Errors Missing a Javadoc comment. 360
Errors Parameter things should be final. 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. 369
Errors Method 'setFalse' is not designed for extension - needs to be abstract, final or empty. 369
Errors Missing a Javadoc comment. 369
Errors Parameter things should be final. 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

org/sat4j/helper/package.html

Violation Message Line
Errors Missing package documentation file. 0