Checkstyle Results

The following document contains the results of Checkstylerss feed

Summary

FilesInfos InfosWarnings WarningsErrors Errors
700309

Rules

RulesViolationsSeverity
JavadocPackage
  • allowLegacy: "true"
0Errors Error
NewlineAtEndOfFile0Errors Error
Translation0Errors Error
FileLength0Errors Error
FileTabCharacter
  • eachLine: "true"
0Errors Error
RegexpSingleline
  • message: "Line has trailing spaces."
  • format: "\s+$"
46Errors Error
JavadocMethod43Errors Error
JavadocType3Errors Error
JavadocVariable27Errors Error
JavadocStyle0Errors Error
ConstantName0Errors Error
LocalFinalVariableName0Errors Error
LocalVariableName0Errors Error
MemberName0Errors Error
MethodName0Errors Error
PackageName0Errors Error
ParameterName0Errors Error
StaticVariableName0Errors Error
TypeName0Errors Error
AvoidStarImport0Errors Error
IllegalImport0Errors Error
RedundantImport0Errors Error
UnusedImports0Errors Error
LineLength28Errors Error
MethodLength0Errors Error
ParameterNumber0Errors Error
EmptyForIteratorPad0Errors Error
MethodParamPad0Errors Error
NoWhitespaceAfter0Errors Error
NoWhitespaceBefore0Errors Error
OperatorWrap0Errors Error
ParenPad0Errors Error
TypecastParenPad0Errors Error
WhitespaceAfter0Errors Error
WhitespaceAround38Errors Error
ModifierOrder0Errors Error
RedundantModifier0Errors Error
AvoidNestedBlocks0Errors Error
EmptyBlock0Errors Error
LeftCurly0Errors Error
NeedBraces0Errors Error
RightCurly0Errors Error
AvoidInlineConditionals0Errors Error
DoubleCheckedLocking0Errors Error
EmptyStatement0Errors Error
EqualsHashCode0Errors Error
HiddenField4Errors Error
IllegalInstantiation0Errors Error
InnerAssignment0Errors Error
MagicNumber6Errors Error
MissingSwitchDefault0Errors Error
RedundantThrows0Errors Error
SimplifyBooleanExpression0Errors Error
SimplifyBooleanReturn0Errors Error
DesignForExtension50Errors Error
FinalClass2Errors Error
HideUtilityClassConstructor0Errors Error
InterfaceIsType0Errors Error
VisibilityModifier4Errors Error
ArrayTypeStyle0Errors Error
FinalParameters58Errors Error
TodoComment0Errors Error
UpperEll0Errors Error

Details

org/sat4j/maxsat/GenericOptLauncher.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.55
ErrorsLine has trailing spaces.58
ErrorsLine has trailing spaces.63
ErrorsMissing a Javadoc comment.67
ErrorsMissing a Javadoc comment.71
ErrorsLine is longer than 80 characters.86
ErrorsLine is longer than 80 characters.92
ErrorsLine is longer than 80 characters.94
ErrorsLine is longer than 80 characters.96
ErrorsLine is longer than 80 characters.98
ErrorsMethod 'displayLicense' is not designed for extension - needs to be abstract, final or empty.103
ErrorsLine is longer than 80 characters.106
ErrorsMethod 'usage' is not designed for extension - needs to be abstract, final or empty.109
ErrorsLine is longer than 80 characters.111
ErrorsMethod 'createReader' is not designed for extension - needs to be abstract, final or empty.114
ErrorsParameter aSolver should be final.115
ErrorsParameter problemname should be final.115
ErrorsLine has trailing spaces.126
ErrorsMethod 'getInstanceName' is not designed for extension - needs to be abstract, final or empty.127
ErrorsParameter args should be final.128
ErrorsMissing a Javadoc comment.132
ErrorsMethod 'configureSolver' is not designed for extension - needs to be abstract, final or empty.134
ErrorsParameter args should be final.135
Errors'==' is not preceded with whitespace.153
Errors'==' is not followed by whitespace.153
ErrorsLine is longer than 80 characters.157
ErrorsLine is longer than 80 characters.173
Errors'{' is not preceded with whitespace.178
ErrorsLine is longer than 80 characters.179
Errors'else' is not preceded with whitespace.182
Errors'}' is not followed by whitespace.182
Errors'else' is not followed by whitespace.182
Errors'{' is not preceded with whitespace.182
ErrorsMissing a Javadoc comment.214
ErrorsParameter args should be final.214
ErrorsMethod 'readProblem' is not designed for extension - needs to be abstract, final or empty.219
ErrorsParameter problemname should be final.220

org/sat4j/maxsat/MinCostDecorator.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.48
ErrorsLine has trailing spaces.50
ErrorsLine has trailing spaces.52
ErrorsLine has trailing spaces.58
ErrorsMissing a Javadoc comment.62
ErrorsMissing a Javadoc comment.64
ErrorsMissing a Javadoc comment.66
ErrorsMissing a Javadoc comment.68
ErrorsMissing a Javadoc comment.70
ErrorsMissing a Javadoc comment.72
ErrorsMissing a Javadoc comment.74
ErrorsMissing a Javadoc comment.76
ErrorsParameter solver should be final.76
ErrorsLine has trailing spaces.82
ErrorsMethod 'newVar' is not designed for extension - needs to be abstract, final or empty.85
ErrorsLine has trailing spaces.92
ErrorsLine has trailing spaces.95
ErrorsExpected an @return tag.99
ErrorsMethod 'newVar' is not designed for extension - needs to be abstract, final or empty.99
ErrorsParameter howmany should be final.100
ErrorsLine has trailing spaces.116
ErrorsMethod 'costOf' is not designed for extension - needs to be abstract, final or empty.121
ErrorsParameter var should be final.121
ErrorsLine has trailing spaces.127
ErrorsMethod 'setCost' is not designed for extension - needs to be abstract, final or empty.133
ErrorsParameter var should be final.133
ErrorsParameter cost should be final.133
ErrorsMethod 'admitABetterSolution' is not designed for extension - needs to be abstract, final or empty.138
ErrorsMissing a Javadoc comment.138
ErrorsMethod 'admitABetterSolution' is not designed for extension - needs to be abstract, final or empty.142
ErrorsMissing a Javadoc comment.142
ErrorsParameter assumps should be final.142
ErrorsMethod 'hasNoObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.155
ErrorsMissing a Javadoc comment.155
ErrorsMethod 'nonOptimalMeansSatisfiable' is not designed for extension - needs to be abstract, final or empty.159
ErrorsMissing a Javadoc comment.159
ErrorsMethod 'calculateObjective' is not designed for extension - needs to be abstract, final or empty.163
ErrorsMissing a Javadoc comment.163
ErrorsMissing a Javadoc comment.168
ErrorsParameter prevmodel2 should be final.168
ErrorsMethod 'discardCurrentSolution' is not designed for extension - needs to be abstract, final or empty.178
ErrorsMissing a Javadoc comment.178
ErrorsMethod 'reset' is not designed for extension - needs to be abstract, final or empty.191
ErrorsMethod 'model' is not designed for extension - needs to be abstract, final or empty.197
ErrorsMethod 'getObjectiveValue' is not designed for extension - needs to be abstract, final or empty.203
ErrorsMissing a Javadoc comment.203
ErrorsMethod 'discard' is not designed for extension - needs to be abstract, final or empty.207
ErrorsMissing a Javadoc comment.207
ErrorsMethod 'forceObjectiveValueTo' is not designed for extension - needs to be abstract, final or empty.211
ErrorsMissing a Javadoc comment.211
ErrorsParameter forcedValue should be final.211
ErrorsMethod 'isOptimal' is not designed for extension - needs to be abstract, final or empty.217
ErrorsMissing a Javadoc comment.217
ErrorsMethod 'setTimeoutForFindingBetterSolution' is not designed for extension - needs to be abstract, final or empty.221
ErrorsMissing a Javadoc comment.221
ErrorsParameter seconds should be final.221

org/sat4j/maxsat/SolverFactory.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsClass SolverFactory should be declared as final.42
ErrorsMissing a Javadoc comment.42
ErrorsMissing a Javadoc comment.44
ErrorsLine has trailing spaces.45
ErrorsMissing a Javadoc comment.46
ErrorsLine has trailing spaces.51
ErrorsLine is longer than 80 characters.55
ErrorsLine is longer than 80 characters.58
Errors'1.2' is a magic number.58
Errors'100000' is a magic number.58
ErrorsLine has trailing spaces.63
ErrorsLine has trailing spaces.66
ErrorsLine has trailing spaces.72
ErrorsMissing a Javadoc comment.73
ErrorsLine has trailing spaces.81
ErrorsLine has trailing spaces.101
ErrorsMissing a Javadoc comment.101
ErrorsMissing a Javadoc comment.105

org/sat4j/maxsat/UnitWeightedClause.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsClass UnitWeightedClause should be declared as final.34
ErrorsMissing a Javadoc comment.34
ErrorsMissing a Javadoc comment.36
ErrorsMissing a Javadoc comment.38
ErrorsMissing a Javadoc comment.42
ErrorsMissing a Javadoc comment.46
ErrorsMissing a Javadoc comment.50
ErrorsMissing a Javadoc comment.54
ErrorsParameter i should be final.54
ErrorsMissing a Javadoc comment.58
ErrorsMissing a Javadoc comment.62

org/sat4j/maxsat/WeightedMaxSatDecorator.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.50
ErrorsLine has trailing spaces.53
ErrorsLine has trailing spaces.55
ErrorsMissing a Javadoc comment.59
ErrorsMissing a Javadoc comment.62
ErrorsVariable 'nbnewvar' must be private and have accessor methods.62
ErrorsMissing a Javadoc comment.64
ErrorsMissing a Javadoc comment.66
ErrorsMissing a Javadoc comment.68
ErrorsMissing a Javadoc comment.69
ErrorsMissing a Javadoc comment.71
ErrorsMissing a Javadoc comment.73
ErrorsMissing a Javadoc comment.75
ErrorsMissing a Javadoc comment.78
ErrorsMissing a Javadoc comment.80
ErrorsMissing a Javadoc comment.82
ErrorsParameter solver should be final.82
ErrorsMissing a Javadoc comment.86
ErrorsParameter solver should be final.86
ErrorsParameter equivalence should be final.86
Errors'equivalence' hides a field.86
ErrorsMethod 'newVar' is not designed for extension - needs to be abstract, final or empty.92
ErrorsParameter howmany should be final.93
ErrorsMethod 'setExpectedNumberOfClauses' is not designed for extension - needs to be abstract, final or empty.99
ErrorsParameter nb should be final.100
ErrorsMissing a Javadoc comment.106
ErrorsVariable 'top' must be private and have accessor methods.106
ErrorsMethod 'setTopWeight' is not designed for extension - needs to be abstract, final or empty.108
ErrorsMissing a Javadoc comment.108
ErrorsParameter top should be final.108
Errors'top' hides a field.108
ErrorsMethod 'checkMaxVarId' is not designed for extension - needs to be abstract, final or empty.112
ErrorsMissing a Javadoc comment.112
ErrorsLine has trailing spaces.121
ErrorsLine has trailing spaces.124
ErrorsLine has trailing spaces.128
ErrorsExpected an @return tag.134
ErrorsMethod 'addClause' is not designed for extension - needs to be abstract, final or empty.134
ErrorsParameter literals should be final.135
ErrorsExpected @throws tag for 'ContradictionException'.135
ErrorsLine has trailing spaces.141
ErrorsMethod 'addHardClause' is not designed for extension - needs to be abstract, final or empty.147
ErrorsParameter literals should be final.147
ErrorsExpected @throws tag for 'ContradictionException'.148
ErrorsLine has trailing spaces.154
ErrorsMethod 'addSoftClause' is not designed for extension - needs to be abstract, final or empty.160
ErrorsParameter literals should be final.160
ErrorsExpected @throws tag for 'ContradictionException'.161
ErrorsLine has trailing spaces.167
ErrorsLine has trailing spaces.170
ErrorsMethod 'addSoftClause' is not designed for extension - needs to be abstract, final or empty.178
ErrorsParameter weight should be final.178
ErrorsParameter literals should be final.178
ErrorsExpected @throws tag for 'ContradictionException'.179
ErrorsMethod 'addSoftClause' is not designed for extension - needs to be abstract, final or empty.183
ErrorsMissing a Javadoc comment.183
ErrorsParameter weight should be final.183
ErrorsParameter literals should be final.183
Errors'==' is not preceded with whitespace.239
Errors'==' is not followed by whitespace.239
Errors'&&' is not preceded with whitespace.239
Errors'&&' is not followed by whitespace.239
ErrorsLine is longer than 80 characters.240
Errors'+' is not preceded with whitespace.240
Errors'+' is not followed by whitespace.240
Errors'+' is not preceded with whitespace.240
Errors'+' is not followed by whitespace.240
Errors'+' is not preceded with whitespace.240
Errors'+' is not followed by whitespace.240
Errors'+' is not preceded with whitespace.240
Errors'+' is not followed by whitespace.240
Errors'+' is not preceded with whitespace.240
Errors'+' is not followed by whitespace.240
Errors'!=' is not preceded with whitespace.242
Errors'!=' is not followed by whitespace.242
ErrorsLine has trailing spaces.251
Errors'==' is not preceded with whitespace.256
Errors'==' is not followed by whitespace.256
Errors'&&' is not preceded with whitespace.256
Errors'&&' is not followed by whitespace.256
ErrorsLine is longer than 80 characters.257
Errors'+' is not preceded with whitespace.257
Errors'+' is not followed by whitespace.257
Errors'+' is not preceded with whitespace.257
Errors'+' is not followed by whitespace.257
Errors'+' is not preceded with whitespace.257
Errors'+' is not followed by whitespace.257
Errors'+' is not preceded with whitespace.257
Errors'+' is not followed by whitespace.257
Errors'+' is not preceded with whitespace.257
Errors'+' is not followed by whitespace.257
ErrorsLine has trailing spaces.264
ErrorsMethod 'addSoftAtLeast' is not designed for extension - needs to be abstract, final or empty.274
ErrorsParameter literals should be final.274
ErrorsParameter degree should be final.274
ErrorsLine has trailing spaces.281
ErrorsMethod 'addSoftAtLeast' is not designed for extension - needs to be abstract, final or empty.293
ErrorsParameter weight should be final.293
ErrorsParameter literals should be final.293
ErrorsParameter degree should be final.293
ErrorsLine has trailing spaces.300
ErrorsMethod 'addSoftAtLeast' is not designed for extension - needs to be abstract, final or empty.312
ErrorsParameter weight should be final.312
ErrorsParameter literals should be final.312
ErrorsParameter degree should be final.313
ErrorsLine has trailing spaces.333
ErrorsMethod 'addSoftAtMost' is not designed for extension - needs to be abstract, final or empty.343
ErrorsParameter literals should be final.343
ErrorsParameter degree should be final.343
ErrorsLine has trailing spaces.350
ErrorsMethod 'addSoftAtMost' is not designed for extension - needs to be abstract, final or empty.362
ErrorsParameter weight should be final.362
ErrorsParameter literals should be final.362
ErrorsParameter degree should be final.362
ErrorsLine has trailing spaces.369
ErrorsLine is longer than 80 characters.381
ErrorsMethod 'addSoftAtMost' is not designed for extension - needs to be abstract, final or empty.381
ErrorsParameter weight should be final.381
ErrorsParameter literals should be final.381
ErrorsParameter degree should be final.381
ErrorsLine has trailing spaces.402
ErrorsMethod 'addLiteralsToMinimize' is not designed for extension - needs to be abstract, final or empty.406
ErrorsParameter literals should be final.406
ErrorsLine has trailing spaces.415
ErrorsMethod 'addWeightedLiteralsToMinimize' is not designed for extension - needs to be abstract, final or empty.421
ErrorsParameter literals should be final.421
ErrorsParameter coefficients should be final.422
ErrorsLine has trailing spaces.434
ErrorsMethod 'addWeightedLiteralsToMinimize' is not designed for extension - needs to be abstract, final or empty.440
ErrorsParameter literals should be final.440
ErrorsParameter coefficients should be final.441
ErrorsMethod 'reset' is not designed for extension - needs to be abstract, final or empty.451
ErrorsLine has trailing spaces.462
ErrorsMethod 'forceObjectiveValueTo' is not designed for extension - needs to be abstract, final or empty.468
ErrorsParameter forcedValue should be final.468
ErrorsExpected an @return tag.480
ErrorsMethod 'getUnitClauses' is not designed for extension - needs to be abstract, final or empty.480
ErrorsLine has trailing spaces.487
ErrorsExpected an @return tag.490
ErrorsMethod 'isNoNewVarForUnitSoftClauses' is not designed for extension - needs to be abstract, final or empty.490
ErrorsLine has trailing spaces.498
ErrorsLine is longer than 80 characters.501
ErrorsMethod 'setNoNewVarForUnitSoftClauses' is not designed for extension - needs to be abstract, final or empty.501
ErrorsParameter noNewVarForUnitSoftClauses should be final.501
Errors'noNewVarForUnitSoftClauses' hides a field.501
ErrorsExpected @param tag for 'noNewVarForUnitSoftClauses'.501

org/sat4j/maxsat/reader/MSInstanceReader.java

ViolationMessageLine
ErrorsMissing a Javadoc comment.7
Errors'{' is not preceded with whitespace.7
ErrorsMissing a Javadoc comment.9
ErrorsMissing a Javadoc comment.11
ErrorsParameter solver should be final.11
Errors'solver' hides a field.11
ErrorsMethod 'handleFileName' is not designed for extension - needs to be abstract, final or empty.16
ErrorsParameter fname should be final.17
ErrorsParameter prefix should be final.17

org/sat4j/maxsat/reader/WDimacsReader.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.42
ErrorsLine has trailing spaces.44
ErrorsMissing a Javadoc comment.48
ErrorsVariable 'weight' must be private and have accessor methods.48
ErrorsMissing a Javadoc comment.49
ErrorsVariable 'top' must be private and have accessor methods.49
ErrorsMethod 'flushConstraint' is not designed for extension - needs to be abstract, final or empty.51
ErrorsMethod 'handleLine' is not designed for extension - needs to be abstract, final or empty.63
ErrorsLine has trailing spaces.71
ErrorsMissing a Javadoc comment.75
ErrorsMissing a Javadoc comment.77
ErrorsParameter solver should be final.77
ErrorsMissing a Javadoc comment.82
ErrorsParameter solver should be final.82
ErrorsParameter format should be final.82
ErrorsMethod 'readProblemLine' is not designed for extension - needs to be abstract, final or empty.87
Errors'4' is a magic number.96
Errors'3' is a magic number.108
Errors'5' is a magic number.114
Errors'4' is a magic number.115