Checkstyle Results

The following document contains the results of Checkstyle . rss feed

Summary

Files Infos Infos Warnings Warnings Errors Errors
8 0 0 549

Files

Files I Infos W Warnings E Errors
org/sat4j/maxsat/GenericOptLauncher.java 0 0 27
org/sat4j/maxsat/MinCostDecorator.java 0 0 48
org/sat4j/maxsat/SolverFactory.java 0 0 65
org/sat4j/maxsat/WeightedMaxSatDecorator.java 0 0 380
org/sat4j/maxsat/reader/P2DimacsReader.java 0 0 14
org/sat4j/maxsat/reader/WDimacsReader.java 0 0 15

Rules

Rules Violations Severity
PackageHtml 0 Errors Error
NewlineAtEndOfFile 0 Errors Error
Translation 0 Errors Error
JavadocMethod 43 Errors Error
JavadocType 1 Errors Error
JavadocVariable 17 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 35 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 245 Errors Error
WhitespaceAfter 10 Errors Error
WhitespaceAround 80 Errors Error
ModifierOrder 0 Errors Error
RedundantModifier 0 Errors Error
AvoidNestedBlocks 0 Errors Error
EmptyBlock 0 Errors Error
LeftCurly 0 Errors Error
NeedBraces 4 Errors Error
RightCurly 0 Errors Error
AvoidInlineConditionals 1 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 3 Errors Error
MissingSwitchDefault 0 Errors Error
RedundantThrows 0 Errors Error
SimplifyBooleanExpression 0 Errors Error
SimplifyBooleanReturn 0 Errors Error
DesignForExtension 37 Errors Error
FinalClass 0 Errors Error
HideUtilityClassConstructor 0 Errors Error
InterfaceIsType 0 Errors Error
VisibilityModifier 6 Errors Error
ArrayTypeStyle 0 Errors Error
FinalParameters 32 Errors Error
GenericIllegalRegexp
  • message : "Line has trailing spaces."
  • format : "\s+$"
34 Errors Error
TodoComment 0 Errors Error
UpperEll 0 Errors Error

Details

org/sat4j/maxsat/GenericOptLauncher.java

Violation Message Line
Errors Line is longer than 80 characters. 2
Errors Line has trailing spaces. 41
Errors Line has trailing spaces. 43
Errors Line has trailing spaces. 48
Errors Missing a Javadoc comment. 52
Errors Method 'displayLicense' is not designed for extension - needs to be abstract, final or empty. 64
Errors Missing a Javadoc comment. 64
Errors Line is longer than 80 characters. 67
Errors Line has trailing spaces. 69
Errors Method 'usage' is not designed for extension - needs to be abstract, final or empty. 70
Errors Missing a Javadoc comment. 70
Errors Method 'createReader' is not designed for extension - needs to be abstract, final or empty. 75
Errors Missing a Javadoc comment. 75
Errors Parameter solver should be final. 76
Errors Parameter problemname should be final. 76
Errors 'cast' is not followed by whitespace. 80
Errors Method 'getInstanceName' is not designed for extension - needs to be abstract, final or empty. 85
Errors Missing a Javadoc comment. 85
Errors Parameter args should be final. 86
Errors Method 'configureSolver' is not designed for extension - needs to be abstract, final or empty. 90
Errors Missing a Javadoc comment. 90
Errors Parameter args should be final. 91
Errors Line is longer than 80 characters. 107
Errors '||' is not preceded with whitespace. 107
Errors '||' is not followed by whitespace. 107
Errors Missing a Javadoc comment. 138
Errors Parameter args should be final. 138

org/sat4j/maxsat/MinCostDecorator.java

Violation Message Line
Errors Line is longer than 80 characters. 2
Errors Line is longer than 80 characters. 34
Errors Line has trailing spaces. 35
Errors Line has trailing spaces. 37
Errors Line has trailing spaces. 45
Errors Missing a Javadoc comment. 49
Errors Missing a Javadoc comment. 51
Errors Missing a Javadoc comment. 53
Errors Missing a Javadoc comment. 55
Errors '<' is not preceded with whitespace. 55
Errors '<' is not followed by whitespace. 55
Errors '>' is not preceded with whitespace. 55
Errors '<' is not preceded with whitespace. 55
Errors '<' is not followed by whitespace. 55
Errors '>' is not preceded with whitespace. 55
Errors '>' is not followed by whitespace. 55
Errors Missing a Javadoc comment. 57
Errors Parameter solver should be final. 57
Errors Line has trailing spaces. 63
Errors Method 'newVar' is not designed for extension - needs to be abstract, final or empty. 66
Errors Missing a Javadoc comment. 66
Errors Line has trailing spaces. 73
Errors Line has trailing spaces. 76
Errors Expected an @return tag. 80
Errors Method 'newVar' is not designed for extension - needs to be abstract, final or empty. 80
Errors Parameter howmany should be final. 81
Errors Line has trailing spaces. 97
Errors Method 'costOf' is not designed for extension - needs to be abstract, final or empty. 102
Errors Parameter var should be final. 102
Errors Line has trailing spaces. 108
Errors Method 'setCost' is not designed for extension - needs to be abstract, final or empty. 114
Errors Parameter var should be final. 114
Errors Parameter cost should be final. 114
Errors Method 'admitABetterSolution' is not designed for extension - needs to be abstract, final or empty. 119
Errors Missing a Javadoc comment. 119
Errors 'if' construct must use '{}'s. 121
Errors Method 'hasNoObjectiveFunction' is not designed for extension - needs to be abstract, final or empty. 126
Errors Missing a Javadoc comment. 126
Errors Method 'nonOptimalMeansSatisfiable' is not designed for extension - needs to be abstract, final or empty. 130
Errors Missing a Javadoc comment. 130
Errors Method 'calculateObjective' is not designed for extension - needs to be abstract, final or empty. 134
Errors Missing a Javadoc comment. 134
Errors Missing a Javadoc comment. 138
Errors Parameter prevmodel2 should be final. 138
Errors Method 'discard' is not designed for extension - needs to be abstract, final or empty. 148
Errors Missing a Javadoc comment. 148
Errors Method 'model' is not designed for extension - needs to be abstract, final or empty. 153
Errors Missing a Javadoc comment. 153

org/sat4j/maxsat/SolverFactory.java

Violation Message Line
Errors Line is longer than 80 characters. 2
Errors Missing a Javadoc comment. 33
Errors '<' is not preceded with whitespace. 33
Errors '<' is not followed by whitespace. 33
Errors '>' is not preceded with whitespace. 33
Errors Missing a Javadoc comment. 35
Errors Line has trailing spaces. 40
Errors '<' is not preceded with whitespace. 43
Errors '<' is not followed by whitespace. 43
Errors ',' is not followed by whitespace. 43
Errors '<' is not preceded with whitespace. 43
Errors '<' is not followed by whitespace. 43
Errors '>' is not preceded with whitespace. 43
Errors '>' is not followed by whitespace. 43
Errors '>' is not preceded with whitespace. 43
Errors Line is longer than 80 characters. 44
Errors '<' is not preceded with whitespace. 44
Errors '<' is not followed by whitespace. 44
Errors ',' is not followed by whitespace. 44
Errors '<' is not preceded with whitespace. 44
Errors '<' is not followed by whitespace. 44
Errors '>' is not preceded with whitespace. 44
Errors '>' is not followed by whitespace. 44
Errors '>' is not preceded with whitespace. 44
Errors '<' is not preceded with whitespace. 44
Errors '<' is not followed by whitespace. 44
Errors ',' is not followed by whitespace. 44
Errors '<' is not preceded with whitespace. 44
Errors '<' is not followed by whitespace. 44
Errors '>' is not preceded with whitespace. 44
Errors '>' is not followed by whitespace. 44
Errors '>' is not preceded with whitespace. 44
Errors '>' is not followed by whitespace. 44
Errors Line is longer than 80 characters. 45
Errors '<' is not preceded with whitespace. 45
Errors '<' is not followed by whitespace. 45
Errors ',' is not followed by whitespace. 45
Errors '<' is not preceded with whitespace. 45
Errors '<' is not followed by whitespace. 45
Errors '>' is not preceded with whitespace. 45
Errors '>' is not followed by whitespace. 45
Errors '>' is not preceded with whitespace. 45
Errors '<' is not preceded with whitespace. 45
Errors '<' is not followed by whitespace. 45
Errors ',' is not followed by whitespace. 45
Errors '<' is not preceded with whitespace. 45
Errors '<' is not followed by whitespace. 45
Errors '>' is not preceded with whitespace. 45
Errors '>' is not followed by whitespace. 45
Errors '>' is not preceded with whitespace. 45
Errors '>' is not followed by whitespace. 45
Errors '1.2' is a magic number. 46
Errors '100000' is a magic number. 47
Errors '<' is not preceded with whitespace. 47
Errors '<' is not followed by whitespace. 47
Errors '>' is not preceded with whitespace. 47
Errors '>' is not followed by whitespace. 47
Errors Line has trailing spaces. 53
Errors Method 'defaultSolver' is not designed for extension - needs to be abstract, final or empty. 54
Errors Missing a Javadoc comment. 54
Errors Method 'lightSolver' is not designed for extension - needs to be abstract, final or empty. 59
Errors Missing a Javadoc comment. 59
Errors Missing a Javadoc comment. 64
Errors Line has trailing spaces. 67
Errors Missing a Javadoc comment. 68

org/sat4j/maxsat/WeightedMaxSatDecorator.java

Violation Message Line
Errors Line is longer than 80 characters. 18
Errors Line has trailing spaces. 42
Errors Line has trailing spaces. 45
Errors Line has trailing spaces. 47
Errors Line contains a tab character. 50
Errors Line contains a tab character. 52
Errors Line has trailing spaces. 53
Errors Line contains a tab character. 55
Errors Line contains a tab character. 57
Errors Missing a Javadoc comment. 57
Errors Variable 'nborigvars' must be private and have accessor methods. 57
Errors Line contains a tab character. 59
Errors Missing a Javadoc comment. 59
Errors Line contains a tab character. 61
Errors Missing a Javadoc comment. 61
Errors Line contains a tab character. 63
Errors Missing a Javadoc comment. 63
Errors Variable 'nbnewvar' must be private and have accessor methods. 63
Errors Line contains a tab character. 65
Errors Missing a Javadoc comment. 65
Errors Variable 'prevmodel' must be private and have accessor methods. 65
Errors Line contains a tab character. 66
Errors Missing a Javadoc comment. 66
Errors Variable 'prevboolmodel' must be private and have accessor methods. 66
Errors Line contains a tab character. 68
Errors Missing a Javadoc comment. 68
Errors Variable 'prevfullmodel' must be private and have accessor methods. 68
Errors Line contains a tab character. 70
Errors Missing a Javadoc comment. 70
Errors Parameter solver should be final. 70
Errors Line contains a tab character. 71
Errors Line is longer than 80 characters. 72
Errors Line contains a tab character. 72
Errors '<' is not preceded with whitespace. 72
Errors '<' is not followed by whitespace. 72
Errors '?' is not preceded with whitespace. 72
Errors '>' is not preceded with whitespace. 72
Errors '?' is not followed by whitespace. 72
Errors '<' is not preceded with whitespace. 72
Errors '<' is not followed by whitespace. 72
Errors '?' is not preceded with whitespace. 72
Errors '?' is not followed by whitespace. 72
Errors '<' is not preceded with whitespace. 72
Errors '<' is not followed by whitespace. 72
Errors '?' is not preceded with whitespace. 72
Errors '>' is not preceded with whitespace. 72
Errors '?' is not followed by whitespace. 72
Errors '>' is not followed by whitespace. 72
Errors '>' is not preceded with whitespace. 72
Errors '>' is not followed by whitespace. 72
Errors Line contains a tab character. 73
Errors Line contains a tab character. 74
Errors Line is longer than 80 characters. 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 Method 'newVar' is not designed for extension - needs to be abstract, final or empty. 79
Errors Missing a Javadoc comment. 79
Errors Line contains a tab character. 80
Errors Parameter howmany should be final. 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. 85
Errors Method 'setExpectedNumberOfClauses' is not designed for extension - needs to be abstract, final or empty. 85
Errors Missing a Javadoc comment. 85
Errors Line contains a tab character. 86
Errors Parameter nb should be final. 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. 91
Errors Line contains a tab character. 92
Errors Line contains a tab character. 94
Errors Method 'model' is not designed for extension - needs to be abstract, final or empty. 94
Errors Missing a Javadoc comment. 94
Errors Line contains a tab character. 95
Errors Line contains a tab character. 96
Errors Line contains a tab character. 97
Errors Line contains a tab character. 99
Errors Method 'model' is not designed for extension - needs to be abstract, final or empty. 99
Errors Missing a Javadoc comment. 99
Errors Line contains a tab character. 100
Errors Parameter var should be final. 100
Errors Line contains a tab character. 101
Errors Line contains a tab character. 102
Errors Line contains a tab character. 104
Errors Missing a Javadoc comment. 104
Errors Variable 'top' must be private and have accessor methods. 104
Errors Line contains a tab character. 106
Errors Method 'setTopWeight' is not designed for extension - needs to be abstract, final or empty. 106
Errors Missing a Javadoc comment. 106
Errors Parameter top should be final. 106
Errors 'top' hides a field. 106
Errors Line contains a tab character. 107
Errors Line contains a tab character. 108
Errors Line contains a tab character. 110
Errors Line contains a tab character. 111
Errors Line has trailing spaces. 112
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 is longer than 80 characters. 115
Errors Line contains a tab character. 115
Errors Line contains a tab character. 116
Errors Line has trailing spaces. 117
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 contains a tab character. 120
Errors Line contains a tab character. 121
Errors Line contains a tab character. 122
Errors Expected an @return tag. 123
Errors Line contains a tab character. 123
Errors Method 'addClause' is not designed for extension - needs to be abstract, final or empty. 123
Errors Line is longer than 80 characters. 124
Errors Line contains a tab character. 124
Errors Parameter literals should be final. 124
Errors Expected @throws tag for 'ContradictionException'. 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. 130
Errors Line is longer than 80 characters. 131
Errors Line contains a tab character. 131
Errors Line has trailing spaces. 132
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 Method 'addHardClause' is not designed for extension - needs to be abstract, final or empty. 138
Errors Parameter literals should be final. 138
Errors Line contains a tab character. 139
Errors Expected @throws tag for 'ContradictionException'. 139
Errors Line contains a tab character. 140
Errors Line contains a tab character. 141
Errors Line contains a tab character. 143
Errors Line contains a tab character. 144
Errors Line has trailing spaces. 145
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. 150
Errors Line contains a tab character. 151
Errors Method 'addSoftClause' is not designed for extension - needs to be abstract, final or empty. 151
Errors Parameter literals should be final. 151
Errors Line contains a tab character. 152
Errors Expected @throws tag for 'ContradictionException'. 152
Errors Line contains a tab character. 153
Errors Line contains a tab character. 154
Errors Line contains a tab character. 156
Errors Line contains a tab character. 157
Errors Line has trailing spaces. 158
Errors Line contains a tab character. 158
Errors Line is longer than 80 characters. 159
Errors Line contains a tab character. 159
Errors Line contains a tab character. 160
Errors Line has trailing spaces. 161
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 contains a tab character. 167
Errors Line contains a tab character. 168
Errors Line contains a tab character. 169
Errors Method 'addSoftClause' is not designed for extension - needs to be abstract, final or empty. 169
Errors Parameter weight should be final. 169
Errors Parameter literals should be final. 169
Errors Line contains a tab character. 170
Errors Expected @throws tag for 'ContradictionException'. 170
Errors Line contains a tab character. 171
Errors Line contains a tab character. 172
Errors Line contains a tab character. 173
Errors Line is longer than 80 characters. 174
Errors Line contains a tab character. 174
Errors Line contains a tab character. 175
Errors Line contains a tab character. 176
Errors Line is longer than 80 characters. 177
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 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. 185
Errors Line contains a tab character. 186
Errors Line is longer than 80 characters. 187
Errors Line contains a tab character. 187
Errors Line is longer than 80 characters. 188
Errors Line contains a tab character. 188
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 is longer than 80 characters. 193
Errors Line contains a tab character. 193
Errors Line is longer than 80 characters. 194
Errors Line contains a tab character. 194
Errors Line is longer than 80 characters. 195
Errors Line contains a tab character. 195
Errors Line is longer than 80 characters. 196
Errors Line contains a tab character. 196
Errors Line is longer than 80 characters. 197
Errors Line contains a tab character. 197
Errors Line contains a tab character. 198
Errors Line is longer than 80 characters. 199
Errors Line contains a tab character. 199
Errors Line contains a tab character. 200
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 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. 209
Errors Line contains a tab character. 210
Errors Line contains a tab character. 211
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. 218
Errors Line contains a tab character. 219
Errors Line has trailing spaces. 220
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. 223
Errors Line contains a tab character. 224
Errors Method 'addLiteralsToMinimize' is not designed for extension - needs to be abstract, final or empty. 224
Errors Parameter literals should be final. 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. 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 contains a tab character. 237
Errors Line contains a tab character. 238
Errors Line contains a tab character. 239
Errors Method 'addWeightedLiteralsToMinimize' is not designed for extension - needs to be abstract, final or empty. 239
Errors Parameter literals should be final. 239
Errors Line contains a tab character. 240
Errors Parameter coefficients should be final. 240
Errors '<' is not preceded with whitespace. 240
Errors '<' is not followed by whitespace. 240
Errors '>' is not preceded with whitespace. 240
Errors 'if' construct must use '{}'s. 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. 249
Errors Line contains a tab character. 250
Errors Line has trailing spaces. 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 contains a tab character. 255
Errors Line contains a tab character. 256
Errors Line contains a tab character. 257
Errors Method 'addWeightedLiteralsToMinimize' is not designed for extension - needs to be abstract, final or empty. 257
Errors Parameter literals should be final. 257
Errors Line contains a tab character. 258
Errors Parameter coefficients should be final. 258
Errors 'if' construct must use '{}'s. 259
Errors Line contains a tab character. 259
Errors Line contains a tab character. 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. 267
Errors Method 'admitABetterSolution' is not designed for extension - needs to be abstract, final or empty. 267
Errors Missing a Javadoc comment. 267
Errors Line contains a tab character. 268
Errors Line contains a tab character. 269
Errors Line contains a tab character. 270
Errors Line contains a tab character. 271
Errors Line contains a tab character. 272
Errors Line contains a tab character. 273
Errors Line contains a tab character. 274
Errors 'if' construct must use '{}'s. 275
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 Avoid inline conditionals. 278
Errors Line contains a tab character. 279
Errors Line contains a tab character. 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 Method 'reset' is not designed for extension - needs to be abstract, final or empty. 288
Errors Missing a Javadoc comment. 288
Errors Line contains a tab character. 289
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 Method 'hasNoObjectiveFunction' is not designed for extension - needs to be abstract, final or empty. 296
Errors Missing a Javadoc comment. 296
Errors Line contains a tab character. 297
Errors Line contains a tab character. 298
Errors Line contains a tab character. 300
Errors Method 'nonOptimalMeansSatisfiable' is not designed for extension - needs to be abstract, final or empty. 300
Errors Missing a Javadoc comment. 300
Errors Line contains a tab character. 301
Errors Line contains a tab character. 302
Errors Line contains a tab character. 304
Errors Missing a Javadoc comment. 304
Errors Line contains a tab character. 306
Errors Method 'calculateObjective' is not designed for extension - needs to be abstract, final or empty. 306
Errors Missing a Javadoc comment. 306
Errors Line contains a tab character. 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. 313
Errors Line contains a tab character. 314
Errors Line contains a tab character. 315
Errors Line contains a tab character. 317
Errors Missing a Javadoc comment. 317
Errors Line contains a tab character. 319
Errors Missing a Javadoc comment. 319
Errors '<' is not preceded with whitespace. 319
Errors '<' is not followed by whitespace. 319
Errors '>' is not preceded with whitespace. 319
Errors '<' is not preceded with whitespace. 319
Errors '<' is not followed by whitespace. 319
Errors '>' is not preceded with whitespace. 319
Errors '>' is not followed by whitespace. 319
Errors Line is longer than 80 characters. 321
Errors Line contains a tab character. 321
Errors Missing a Javadoc comment. 321
Errors Line contains a tab character. 323
Errors Method 'discard' is not designed for extension - needs to be abstract, final or empty. 323
Errors Missing a Javadoc comment. 323
Errors Line contains a tab character. 324
Errors Line contains a tab character. 325
Errors Line contains a tab character. 326
Errors Line contains a tab character. 327

org/sat4j/maxsat/reader/P2DimacsReader.java

Violation Message Line
Errors Line is longer than 80 characters. 2
Errors Line has trailing spaces. 32
Errors Line has trailing spaces. 39
Errors Missing a Javadoc comment. 43
Errors Parameter solver should be final. 43
Errors ',' is not followed by whitespace. 44
Errors Method 'readProblemLine' is not designed for extension - needs to be abstract, final or empty. 47
Errors Missing a Javadoc comment. 47
Errors Parameter in should be final. 48
Errors Line is longer than 80 characters. 60
Errors Line is longer than 80 characters. 81
Errors '5' is a magic number. 83
Errors 'cast' is not followed by whitespace. 84
Errors Line has trailing spaces. 96

org/sat4j/maxsat/reader/WDimacsReader.java

Violation Message Line
Errors Line is longer than 80 characters. 2
Errors Line has trailing spaces. 32
Errors Line has trailing spaces. 39
Errors Missing a Javadoc comment. 43
Errors Parameter solver should be final. 43
Errors ',' is not followed by whitespace. 44
Errors Missing a Javadoc comment. 47
Errors Parameter solver should be final. 47
Errors Parameter format should be final. 47
Errors Method 'readProblemLine' is not designed for extension - needs to be abstract, final or empty. 51
Errors Missing a Javadoc comment. 51
Errors Parameter in should be final. 52
Errors Line is longer than 80 characters. 64
Errors 'cast' is not followed by whitespace. 89
Errors Line has trailing spaces. 93