Checkstyle Results

The following document contains the results of Checkstylerss feed

Summary

FilesInfos infoWarnings warningErrors error
2100010234

Rules

RulesViolationsSeverity
PackageHtml1error Error
NewlineAtEndOfFile48error Error
Translation0error Error
JavadocMethod1442error Error
JavadocType91error Error
JavadocVariable442error Error
JavadocStyle163error Error
ConstantName5error Error
LocalFinalVariableName0error Error
LocalVariableName3error Error
MemberName3error Error
MethodName1error Error
PackageName0error Error
ParameterName0error Error
StaticVariableName0error Error
TypeName0error Error
AvoidStarImport0error Error
IllegalImport0error Error
RedundantImport0error Error
UnusedImports1error Error
FileLength0error Error
LineLength404error Error
MethodLength0error Error
ParameterNumber0error Error
EmptyForIteratorPad0error Error
MethodParamPad0error Error
NoWhitespaceAfter2error Error
NoWhitespaceBefore1error Error
OperatorWrap0error Error
ParenPad2error Error
TypecastParenPad0error Error
TabCharacter614error Error
WhitespaceAfter23error Error
WhitespaceAround2135error Error
ModifierOrder20error Error
RedundantModifier77error Error
AvoidNestedBlocks0error Error
EmptyBlock2error Error
LeftCurly0error Error
NeedBraces261error Error
RightCurly0error Error
AvoidInlineConditionals29error Error
DoubleCheckedLocking0error Error
EmptyStatement2error Error
EqualsHashCode0error Error
HiddenField102error Error
IllegalInstantiation0error Error
InnerAssignment15error Error
MagicNumber73error Error
MissingSwitchDefault0error Error
RedundantThrows6error Error
SimplifyBooleanExpression0error Error
SimplifyBooleanReturn0error Error
DesignForExtension858error Error
FinalClass11error Error
HideUtilityClassConstructor0error Error
InterfaceIsType0error Error
VisibilityModifier89error Error
ArrayTypeStyle4error Error
FinalParameters1423error Error
GenericIllegalRegexp
  • message: "Line has trailing spaces."
  • format: "\s+$"
1881error Error
TodoComment0error Error
UpperEll0error Error

Files

Filesinfowarningerror
org/sat4j/tools/DimacsArrayReader.java0032
org/sat4j/minisat/core/LiteralsUtils.java0017
org/sat4j/minisat/core/IMarkableLits.java0025
org/sat4j/tools/DimacsArrayToDimacsConverter.java0035
org/sat4j/minisat/constraints/pb/PuebloMinWatchPb.java0086
org/sat4j/minisat/core/ConstrActivityListener.java0010
org/sat4j/minisat/uip/FirstUIP.java0020
org/sat4j/minisat/core/NullSearchListener.java0027
org/sat4j/opt/MinOneDecorator.java0028
org/sat4j/AbstractLauncher.java00106
org/sat4j/specs/TimeoutException.java0016
org/sat4j/opt/MinCostDecorator.java0053
org/sat4j/specs/IOptimizationProblem.java0013
org/sat4j/core/DefaultComparator.java0024
org/sat4j/minisat/core/SolverStats.java0055
org/sat4j/minisat/core/SearchListener.java0030
org/sat4j/minisat/constraints/pb/PBSolverWithImpliedClause.java0039
org/sat4j/minisat/core/DotSearchListener.java0044
org/sat4j/minisat/constraints/pb/MaxWatchPb.java00111
org/sat4j/LanceurPseudo2007.java0019
org/sat4j/reader/AIGReader.java0072
org/sat4j/specs/ISolver.java0043
org/sat4j/tools/ModelIterator.java0027
org/sat4j/reader/CSPExtSupportReader.java0016
org/sat4j/specs/IVecInt.java0065
org/sat4j/minisat/learning/MiniSATLearning.java0043
org/sat4j/minisat/constraints/cnf/BinaryClauses.java0069
org/sat4j/minisat/constraints/PuebloPBMinDataStructure.java0044
org/sat4j/ResultCode.java0019
org/sat4j/minisat/constraints/pb/WLClausePB.java0032
org/sat4j/minisat/constraints/card/MaxWatchCard.java0082
org/sat4j/minisat/core/SearchParams.java0052
org/sat4j/minisat/learning/NoLearningButHeuristics.java0020
org/sat4j/minisat/constraints/pb/PBSolverClause.java0034
org/sat4j/ExitCode.java0022
org/sat4j/minisat/constraints/pb/ConflictMapCardinality.java0014
org/sat4j/AbstractOptimizationLauncher.java0021
org/sat4j/minisat/core/ILits.java0066
org/sat4j/minisat/core/Heap.java0063
org/sat4j/minisat/constraints/CardinalityDataStructure.java0022
org/sat4j/minisat/core/Propagatable.java0010
org/sat4j/reader/csp/Supports.java0056
org/sat4j/minisat/core/ActivityListener.java007
org/sat4j/reader/csp/AllDiff.java0019
org/sat4j/minisat/constraints/PBMaxDataStructure.java0048
org/sat4j/reader/CardDimacsReader.java0020
org/sat4j/minisat/constraints/PBMinDataStructure.java0044
org/sat4j/minisat/constraints/pb/PBSolver.java0097
org/sat4j/reader/csp/Domain.java0014
org/sat4j/minisat/constraints/PBMinClauseCardConstrDataStructure.java0027
org/sat4j/reader/CSPReader.java00227
org/sat4j/specs/IProblem.java0022
org/sat4j/minisat/core/Handle.java0015
org/sat4j/minisat/core/IntQueue.java0020
org/sat4j/specs/ContradictionException.java0010
org/sat4j/minisat/constraints/PBMaxClauseAtLeastConstrDataStructure.java0017
org/sat4j/minisat/orders/VarOrderHeapObjective.java0036
org/sat4j/reader/Reader.java0022
org/sat4j/reader/XMLCSPReader.java0030
org/sat4j/minisat/constraints/PuebloPBMinClauseAtLeastConstrDataStructure.java0017
org/sat4j/minisat/constraints/pb/IConflict.java0024
org/sat4j/minisat/core/Undoable.java0011
org/sat4j/minisat/constraints/AbstractCardinalityDataStructure.java0034
org/sat4j/minisat/core/TextOutputListener.java0034
org/sat4j/minisat/orders/JWOrder.java0035
org/sat4j/minisat/constraints/pb/WatchPb.java00196
org/sat4j/reader/OPBReader2007.java0098
org/sat4j/reader/csp/Evaluable.java0012
org/sat4j/minisat/learning/FixedLengthLearning.java0042
org/sat4j/core/VecInt.java00166
org/sat4j/minisat/core/LearningStrategy.java0019
org/sat4j/minisat/constraints/cnf/CBClause.java0092
org/sat4j/minisat/constraints/pb/PBSolverMerging.java0038
org/sat4j/CSPLauncher.java0028
org/sat4j/minisat/constraints/AbstractPBDataStructureFactory.java0064
org/sat4j/minisat/core/DataStructureFactory.java0033
org/sat4j/minisat/constraints/MixedDataStructureWithBinaryAndTernary.java0031
org/sat4j/minisat/constraints/cnf/Lits23.java0022
org/sat4j/minisat/constraints/ClausalDataStructureWL.java0023
org/sat4j/minisat/learning/PercentLengthLearning.java0037
org/sat4j/minisat/constraints/MixedDataStructureDanielCBWL.java007
org/sat4j/MoreThanSAT.java0019
org/sat4j/minisat/learning/LimitedLearning.java0053
org/sat4j/GenericOptLauncher.java0025
org/sat4j/opt/AbstractSelectorVariablesDecorator.java0033
org/sat4j/reader/csp/Constant.java0024
org/sat4j/minisat/core/UnitPropagationListener.java0015
org/sat4j/reader/LecteurDimacs.java0073
org/sat4j/tools/SolutionCounter.java0015
org/sat4j/specs/IConstr.java0012
org/sat4j/MaxSatLauncher.java0023
org/sat4j/minisat/constraints/ClausalDataStructureCBWL.java0023
org/sat4j/minisat/constraints/PBMaxCBClauseCardConstrDataStructure.java0016
org/sat4j/reader/OPBReader2005.java00225
org/sat4j/opt/WeightedMaxSatDecorator.java0048
org/sat4j/reader/csp/Relation.java0012
org/sat4j/minisat/constraints/ClausalDataStructureCB.java0037
org/sat4j/minisat/constraints/cnf/Lits.java00128
org/sat4j/reader/csp/Clausifiable.java0017
org/sat4j/minisat/core/Learner.java009
org/sat4j/reader/InstanceReader.java0049
org/sat4j/minisat/constraints/AbstractDataStructureFactory.java0086
org/sat4j/tools/DimacsOutputSolver.java00104
org/sat4j/specs/IVec.java0059
org/sat4j/minisat/constraints/cnf/Lits2.java0021
org/sat4j/reader/GoodOPBReader.java0058
org/sat4j/minisat/constraints/pb/MapPb.java00111
org/sat4j/minisat/core/AssertingClauseGenerator.java0011
org/sat4j/tools/GateTranslator.java0084
org/sat4j/minisat/core/ILits2.java0012
org/sat4j/tools/SingleSolutionDetector.java0022
org/sat4j/minisat/constraints/cnf/TernaryClauses.java0068
org/sat4j/minisat/constraints/cnf/OriginalWLClause.java0022
org/sat4j/minisat/orders/VarOrderHeap.java0075
org/sat4j/minisat/learning/ActiveLearning.java0065
org/sat4j/minisat/core/VarActivityListener.java0011
org/sat4j/minisat/restarts/package.html001
org/sat4j/minisat/constraints/pb/IDataStructurePB.java0025
org/sat4j/minisat/uip/DecisionUIP.java0021
org/sat4j/tools/RemiUtils.java0014
org/sat4j/opt/MaxSatDecorator.java0026
org/sat4j/reader/csp/BinarySupportEncoding.java0079
org/sat4j/reader/CSPSupportReader.java0016
org/sat4j/opt/ObjectiveFunction.java0051
org/sat4j/reader/csp/WalshSupports.java0017
org/sat4j/minisat/orders/VarOrder.java0083
org/sat4j/minisat/constraints/cnf/DefaultWLClause.java0022
org/sat4j/minisat/constraints/pb/AtLeastPB.java0041
org/sat4j/minisat/constraints/cnf/WLClause.java0077
org/sat4j/core/Vec.java00172
org/sat4j/minisat/constraints/pb/MixableCBClausePB.java0046
org/sat4j/minisat/constraints/pb/MinWatchPb.java00135
org/sat4j/minisat/constraints/pb/MinWatchCardPB.java0068
org/sat4j/minisat/constraints/card/AtLeast.java0086
org/sat4j/minisat/core/Lbool.java0017
org/sat4j/minisat/orders/ValuedLit.java0022
org/sat4j/reader/OPBReader2006.java0021
org/sat4j/minisat/constraints/pb/ConflictMap.java00766
org/sat4j/reader/DimacsReader.java0052
org/sat4j/reader/csp/GentSupports.java0017
org/sat4j/Lanceur.java0091
org/sat4j/minisat/constraints/pb/PBConstr.java0020
org/sat4j/reader/csp/Var.java0036
org/sat4j/reader/csp/Encoding.java0031
org/sat4j/minisat/core/IOrder.java0029
org/sat4j/minisat/core/ILits23.java0011
org/sat4j/minisat/constraints/PBMaxClauseCardConstrDataStructure.java0027
org/sat4j/reader/ExtendedDimacsReader.java0048
org/sat4j/reader/csp/BessiereSupports.java0017
org/sat4j/minisat/SolverFactory.java00894
org/sat4j/tools/Minimal4CardinalityModel.java0015
org/sat4j/reader/csp/SingletonDomain.java0030
org/sat4j/minisat/learning/AbstractLearning.java0029
org/sat4j/reader/AAGReader.java0058
org/sat4j/minisat/constraints/cnf/MarkableLits.java0061
org/sat4j/minisat/restarts/LubyRestarts.java0040
org/sat4j/minisat/orders/VarOrderHeapRsat.java0019
org/sat4j/minisat/restarts/MiniSATRestarts.java0016
org/sat4j/minisat/orders/MyOrder.java0026
org/sat4j/core/ASolverFactory.java0033
org/sat4j/Messages.java0016
org/sat4j/reader/csp/RangeDomain.java0034
org/sat4j/minisat/constraints/pb/IInternalPBConstraintCreator.java0013
org/sat4j/minisat/orders/PureOrder.java0027
org/sat4j/tools/Minimal4InclusionModel.java0019
org/sat4j/reader/csp/GeneralizedSupportEncoding.java0095
org/sat4j/minisat/constraints/CardinalityDataStructureYanMax.java0022
org/sat4j/reader/csp/Predicate.java0065
org/sat4j/reader/ParseFormatException.java0016
org/sat4j/minisat/constraints/cnf/LearntWLClause.java0018
org/sat4j/minisat/constraints/cnf/MixableCBClause.java0030
org/sat4j/minisat/learning/NoLearningNoHeuristics.java0019
org/sat4j/minisat/core/Solver.java00436
org/sat4j/minisat/constraints/CardinalityDataStructureYanMin.java0023
org/sat4j/opt/PseudoOptDecorator.java0029
org/sat4j/reader/csp/Nogoods.java0032
org/sat4j/minisat/constraints/pb/ConflictMapClause.java0039
org/sat4j/reader/csp/EnumeratedDomain.java0032
org/sat4j/minisat/core/RestartStrategy.java005
org/sat4j/minisat/constraints/MixedDataStructureWithBinary.java0029
org/sat4j/minisat/constraints/AbstractPBClauseCardConstrDataStructure.java0079
org/sat4j/tools/ExtendedDimacsArrayToDimacsConverter.java0074
org/sat4j/tools/ExtendedDimacsArrayReader.java0042
org/sat4j/ResultsManager.java0059
org/sat4j/reader/csp/DirectEncoding.java0046
org/sat4j/LanceurPseudo2005.java0043
org/sat4j/tools/SolverDecorator.java00122
org/sat4j/minisat/restarts/ArminRestarts.java0021
org/sat4j/minisat/constraints/MixedDataStructureDaniel.java0029
org/sat4j/minisat/core/Constr.java0018
org/sat4j/minisat/learning/ClauseOnlyLearning.java0020
org/sat4j/minisat/constraints/card/MinWatchCard.java00110
org/sat4j/minisat/constraints/PuebloPBMinClauseCardConstrDataStructure.java0041
org/sat4j/minisat/constraints/pb/ConflictMapMerging.java0040

Details

org/sat4j/tools/DimacsArrayReader.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.39
errorLine has trailing spaces.41
errorMissing a Javadoc comment.48
errorMissing a Javadoc comment.50
errorVariable 'solver' must be private and have accessor methods.50
errorMissing a Javadoc comment.52
errorParameter solver should be final.52
error'solver' hides a field.52
errorMethod 'handleConstr' is not designed for extension - needs to be abstract, final or empty.56
errorMissing a Javadoc comment.56
errorParameter gateType should be final.56
errorParameter output should be final.56
errorParameter inputs should be final.56
errorExpected an @return tag.80
errorMethod 'parseInstance' is not designed for extension - needs to be abstract, final or empty.80
errorParameter gateType should be final.80
errorParameter outputs should be final.80
errorParameter inputs should be final.81
errorParameter maxVar should be final.81
errorMethod 'decode' is not designed for extension - needs to be abstract, final or empty.90
errorMissing a Javadoc comment.90
errorParameter model should be final.90
error'4' is a magic number.91
errorMethod 'getSolver' is not designed for extension - needs to be abstract, final or empty.100
errorMissing a Javadoc comment.100

org/sat4j/minisat/core/LiteralsUtils.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.31
errorLine has trailing spaces.35
errorLine has trailing spaces.42
errorLine has trailing spaces.44
errorLine has trailing spaces.46
errorMissing a Javadoc comment.50
errorMissing a Javadoc comment.54
errorParameter p should be final.54
errorMissing a Javadoc comment.59
errorParameter p should be final.59

org/sat4j/minisat/core/IMarkableLits.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.33
errorLine has trailing spaces.35
errorMissing a Javadoc comment.38
errorLine has trailing spaces.42
errorLine has trailing spaces.54
errorLine has trailing spaces.62
errorLine has trailing spaces.73
errorLine has trailing spaces.82
errorFirst sentence should end with a period.88
errorLine has trailing spaces.90
errorLine has trailing spaces.96
errorLine has trailing spaces.103
errorLine has trailing spaces.113
errorLine has trailing spaces.121
errorLine has trailing spaces.129
error'<' is not preceded with whitespace.132
error'<' is not followed by whitespace.132
error'>' is not preceded with whitespace.132

org/sat4j/tools/DimacsArrayToDimacsConverter.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.34
errorLine has trailing spaces.36
errorMissing a Javadoc comment.43
errorMissing a Javadoc comment.46
errorVariable 'clauses' must be private and have accessor methods.46
errorMissing a Javadoc comment.48
errorVariable 'dimacs' must be private and have accessor methods.48
errorMissing a Javadoc comment.51
errorMissing a Javadoc comment.53
errorParameter bufSize should be final.53
error'bufSize' hides a field.53
errorMethod 'handleConstr' is not designed for extension - needs to be abstract, final or empty.57
errorMissing a Javadoc comment.57
errorParameter gateType should be final.57
errorParameter output should be final.57
errorParameter inputs should be final.57
errorExpected an @return tag.85
errorMethod 'parseInstance' is not designed for extension - needs to be abstract, final or empty.85
errorParameter gateType should be final.85
errorParameter outputs should be final.85
errorParameter inputs should be final.85
errorParameter maxVar should be final.86
error'7' is a magic number.93
errorMethod 'init' is not designed for extension - needs to be abstract, final or empty.113
errorMissing a Javadoc comment.113
errorMethod 'decode' is not designed for extension - needs to be abstract, final or empty.119
errorMissing a Javadoc comment.119
errorParameter model should be final.119

org/sat4j/minisat/constraints/pb/PuebloMinWatchPb.java

ViolationMessageLine
errorFile does not end with a newline.0
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorClass PuebloMinWatchPb should be declared as final.38
errorMissing a Javadoc comment.38
errorMissing a Javadoc comment.40
errorFirst sentence should end with a period.42
errorLine has trailing spaces.44
errorUnused @param tag for 'ps'.47
errorUnused @param tag for 'coefs'.49
errorUnused @param tag for 'moreThan'.51
errorUnused @param tag for 'degree'.53
errorParameter voc should be final.56
errorParameter mpb should be final.56
errorExpected @param tag for 'mpb'.56
errorParameter s should be final.75
errorParameter voc should be final.76
errorExpected @param tag for 'voc'.76
errorParameter ps should be final.76
errorParameter coefs should be final.76
errorParameter moreThan should be final.76
errorParameter degree should be final.76
errorExpected @throws tag for 'ContradictionException'.77
errorParameter s should be final.96
errorParameter voc should be final.97
errorExpected @param tag for 'voc'.97
errorParameter ps should be final.97
errorParameter coefs should be final.97
error'<' is not preceded with whitespace.97
error'<' is not followed by whitespace.97
error'>' is not preceded with whitespace.97
errorParameter moreThan should be final.97
errorParameter degree should be final.98
errorExpected @throws tag for 'ContradictionException'.98
error'<' is not preceded with whitespace.101
error'<' is not followed by whitespace.101
error'>' is not preceded with whitespace.101
error'<' is not preceded with whitespace.101
error'<' is not followed by whitespace.101
error'>' is not preceded with whitespace.101
error'>' is not followed by whitespace.101
errorMissing a Javadoc comment.122
errorParameter s should be final.122
errorParameter voc should be final.123
errorParameter mpb should be final.123
errorLine has trailing spaces.139
errorExpected an @return tag.141
errorParameter voc should be final.141
errorExpected @param tag for 'voc'.141
errorParameter lits should be final.141
errorExpected @param tag for 'lits'.141
errorParameter coefs should be final.141
errorExpected @param tag for 'coefs'.141
errorParameter moreThan should be final.142
errorExpected @param tag for 'moreThan'.142
errorParameter degree should be final.142
errorExpected @param tag for 'degree'.142
errorLine has trailing spaces.148
errorExpected an @return tag.150
errorParameter voc should be final.150
errorExpected @param tag for 'voc'.150
errorParameter lits should be final.150
errorExpected @param tag for 'lits'.150
errorParameter coefs should be final.151
error'<' is not preceded with whitespace.151
error'<' is not followed by whitespace.151
error'>' is not preceded with whitespace.151
errorExpected @param tag for 'coefs'.151
errorParameter moreThan should be final.151
errorExpected @param tag for 'moreThan'.151
errorParameter degree should be final.151
errorExpected @param tag for 'degree'.151
errorLine is longer than 80 characters.157
errorMissing a Javadoc comment.157
errorParameter voc should be final.157
errorParameter mpb should be final.157
errorMissing a Javadoc comment.161
errorParameter pIndice should be final.162
errorMissing a Javadoc comment.166
errorParameter mc should be final.167
errorParameter pIndice should be final.167

org/sat4j/minisat/core/ConstrActivityListener.java

ViolationMessageLine
errorFile does not end with a newline.0
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorRedundant 'public' modifier.37
errorExpected @param tag for 'confl'.37

org/sat4j/minisat/uip/FirstUIP.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.39
errorMissing a Javadoc comment.44
errorMissing a Javadoc comment.46
errorMethod 'initAnalyze' is not designed for extension - needs to be abstract, final or empty.48
errorMissing a Javadoc comment.48
errorMethod 'onCurrentDecisionLevelLiteral' is not designed for extension - needs to be abstract, final or empty.52
errorMissing a Javadoc comment.52
errorParameter p should be final.52
errorMethod 'clauseNonAssertive' is not designed for extension - needs to be abstract, final or empty.56
errorMissing a Javadoc comment.56
errorParameter reason should be final.56
errorMethod 'toString' is not designed for extension - needs to be abstract, final or empty.60
errorMissing a Javadoc comment.60

org/sat4j/minisat/core/NullSearchListener.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorMissing a Javadoc comment.27
errorMissing a Javadoc comment.28
errorMissing a Javadoc comment.30
errorParameter p should be final.30
errorMissing a Javadoc comment.33
errorParameter p should be final.33
errorMissing a Javadoc comment.36
errorParameter p should be final.36
errorMissing a Javadoc comment.39
errorParameter p should be final.39
errorMissing a Javadoc comment.42
errorParameter clause should be final.42
errorMissing a Javadoc comment.45
errorParameter clause should be final.45
errorMissing a Javadoc comment.48
errorMissing a Javadoc comment.51
errorMissing a Javadoc comment.54
errorMissing a Javadoc comment.57
errorMissing a Javadoc comment.60
errorParameter result should be final.60

org/sat4j/opt/MinOneDecorator.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.39
errorLine has trailing spaces.46
errorMissing a Javadoc comment.50
errorMissing a Javadoc comment.52
errorParameter solver should be final.52
errorMethod 'admitABetterSolution' is not designed for extension - needs to be abstract, final or empty.56
errorMissing a Javadoc comment.56
errorMethod 'hasNoObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.64
errorMissing a Javadoc comment.64
errorMethod 'nonOptimalMeansSatisfiable' is not designed for extension - needs to be abstract, final or empty.68
errorMissing a Javadoc comment.68
errorMissing a Javadoc comment.72
errorMethod 'calculateObjective' is not designed for extension - needs to be abstract, final or empty.74
errorMissing a Javadoc comment.74
errorMissing a Javadoc comment.84
errorMethod 'discard' is not designed for extension - needs to be abstract, final or empty.86
errorMissing a Javadoc comment.86
errorMethod 'model' is not designed for extension - needs to be abstract, final or empty.95
errorMissing a Javadoc comment.95
errorMethod 'reset' is not designed for extension - needs to be abstract, final or empty.101
errorMissing a Javadoc comment.101

org/sat4j/AbstractLauncher.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.48
errorLine has trailing spaces.50
errorMissing a Javadoc comment.54
errorMissing a Javadoc comment.56
errorMissing a Javadoc comment.58
errorMissing a Javadoc comment.60
errorLine has trailing spaces.61
errorMissing a Javadoc comment.62
errorMissing a Javadoc comment.64
errorVariable 'reader' must be private and have accessor methods.64
errorMissing a Javadoc comment.66
errorLine is longer than 80 characters.68
errorMissing a Javadoc comment.68
errorName 'cputimesupported' must match pattern '^[A-Z][A-Z0-9]*(_[A-Z0-9]+)*$'.68
errorLine has trailing spaces.69
errorMissing a Javadoc comment.70
errorVariable 'shutdownHook' must be private and have accessor methods.70
errorMissing a Javadoc comment.77
errorVariable 'solver' must be private and have accessor methods.77
errorMissing a Javadoc comment.79
errorMissing a Javadoc comment.81
errorMissing a Javadoc comment.83
errorMethod 'displayResult' is not designed for extension - needs to be abstract, final or empty.87
errorMissing a Javadoc comment.87
errorLine is longer than 80 characters.89
error'1000.0' is a magic number.89
errorLine is longer than 80 characters.98
errorLine is longer than 80 characters.100
error';' is preceded with whitespace.100
errorMissing a Javadoc comment.105
errorLine is longer than 80 characters.111
errorLine is longer than 80 characters.112
errorLine is longer than 80 characters.113
errorLine has trailing spaces.116
errorLine contains a tab character.116
error'+' is not preceded with whitespace.124
error'+' is not followed by whitespace.124
error'!=' is not preceded with whitespace.126
error'!=' is not followed by whitespace.126
error'+' is not preceded with whitespace.130
error'+' is not followed by whitespace.130
errorLine is longer than 80 characters.137
errorLine is longer than 80 characters.145
errorLine has trailing spaces.150
errorMethod 'readProblem' is not designed for extension - needs to be abstract, final or empty.163
errorParameter problemname should be final.163
errorRedundant throws: 'FileNotFoundException' is subclass of 'IOException'.164
errorLine is longer than 80 characters.171
error'1000.0' is a magic number.171
errorLine is longer than 80 characters.173
error'+' is not preceded with whitespace.173
error'+' is not followed by whitespace.173
error'/' is not followed by whitespace.173
error'1000000000.0' is a magic number.173
error'+' is not preceded with whitespace.173
error'+' is not followed by whitespace.173
errorMissing a Javadoc comment.180
error'solver' hides a field.180
errorMethod 'run' is not designed for extension - needs to be abstract, final or empty.182
errorMissing a Javadoc comment.182
errorParameter args should be final.182
error'if' construct must use '{}'s.187
errorLine is longer than 80 characters.211
error'/' is not followed by whitespace.211
error'1000000000.0' is a magic number.211
errorMissing a Javadoc comment.215
errorMissing a Javadoc comment.217
errorFirst sentence should end with a period.219
errorLine has trailing spaces.221
errorMethod 'log' is not designed for extension - needs to be abstract, final or empty.224
errorParameter message should be final.224
errorExpected @param tag for 'message'.224
error'if' construct must use '{}'s.225
errorMethod 'solve' is not designed for extension - needs to be abstract, final or empty.229
errorMissing a Javadoc comment.229
errorParameter problem should be final.229
errorAvoid inline conditionals.230
errorFirst sentence should end with a period.234
errorLine has trailing spaces.236
errorParameter exitCode should be final.240
error'exitCode' hides a field.240
errorFirst sentence should end with a period.244
errorLine has trailing spaces.246
errorLine has trailing spaces.256
errorLine has trailing spaces.264
errorLine has trailing spaces.274
errorMethod 'setLogWriter' is not designed for extension - needs to be abstract, final or empty.277
errorParameter out should be final.277
error'out' hides a field.277
errorExpected @param tag for 'out'.277
errorMethod 'getLogWriter' is not designed for extension - needs to be abstract, final or empty.281
errorMissing a Javadoc comment.281
errorMethod 'setSilent' is not designed for extension - needs to be abstract, final or empty.285
errorMissing a Javadoc comment.285
errorParameter b should be final.285
errorLine has trailing spaces.288
errorLine is longer than 80 characters.289
errorMissing a Javadoc comment.289
errorParameter stream should be final.289

org/sat4j/specs/TimeoutException.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.33
errorMissing a Javadoc comment.38
errorLine has trailing spaces.49
errorParameter message should be final.53
errorLine has trailing spaces.59
errorParameter message should be final.65
errorParameter cause should be final.65
errorLine has trailing spaces.71
errorParameter cause should be final.75

org/sat4j/opt/MinCostDecorator.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.42
errorLine has trailing spaces.44
errorLine has trailing spaces.52
errorMissing a Javadoc comment.56
errorMissing a Javadoc comment.58
errorMissing a Javadoc comment.60
errorMissing a Javadoc comment.62
error'<' is not preceded with whitespace.62
error'<' is not followed by whitespace.62
error'>' is not preceded with whitespace.62
error'<' is not preceded with whitespace.62
error'<' is not followed by whitespace.62
error'>' is not preceded with whitespace.62
error'>' is not followed by whitespace.62
errorMissing a Javadoc comment.64
errorParameter solver should be final.64
errorLine has trailing spaces.70
errorMethod 'newVar' is not designed for extension - needs to be abstract, final or empty.73
errorMissing a Javadoc comment.73
errorLine has trailing spaces.80
errorLine has trailing spaces.83
errorExpected an @return tag.87
errorMethod 'newVar' is not designed for extension - needs to be abstract, final or empty.87
errorParameter howmany should be final.88
errorLine has trailing spaces.104
errorMethod 'costOf' is not designed for extension - needs to be abstract, final or empty.109
errorParameter var should be final.109
errorLine has trailing spaces.115
errorMethod 'setCost' is not designed for extension - needs to be abstract, final or empty.121
errorParameter var should be final.121
errorParameter cost should be final.121
errorMethod 'admitABetterSolution' is not designed for extension - needs to be abstract, final or empty.126
errorMissing a Javadoc comment.126
error'if' construct must use '{}'s.128
errorMethod 'hasNoObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.133
errorMissing a Javadoc comment.133
errorMethod 'nonOptimalMeansSatisfiable' is not designed for extension - needs to be abstract, final or empty.137
errorMissing a Javadoc comment.137
errorMethod 'calculateObjective' is not designed for extension - needs to be abstract, final or empty.141
errorMissing a Javadoc comment.141
errorMissing a Javadoc comment.145
errorParameter prevmodel2 should be final.145
errorMethod 'discard' is not designed for extension - needs to be abstract, final or empty.155
errorMissing a Javadoc comment.155
errorMethod 'model' is not designed for extension - needs to be abstract, final or empty.160
errorMissing a Javadoc comment.160

org/sat4j/specs/IOptimizationProblem.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorMissing a Javadoc comment.28
errorMissing a Javadoc comment.30
errorMissing a Javadoc comment.32
errorMissing a Javadoc comment.34
errorMissing a Javadoc comment.36
errorMissing a Javadoc comment.38

org/sat4j/core/DefaultComparator.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorMissing a Javadoc comment.30
error'<' is not preceded with whitespace.30
error'<' is not followed by whitespace.30
error'<' is not preceded with whitespace.30
error'<' is not followed by whitespace.30
error'>' is not preceded with whitespace.30
error'>' is not followed by whitespace.30
error'>' is not preceded with whitespace.30
error'<' is not preceded with whitespace.31
error'<' is not followed by whitespace.31
error'>' is not preceded with whitespace.31
error'>' is not followed by whitespace.31
errorMissing a Javadoc comment.32
errorMethod 'compare' is not designed for extension - needs to be abstract, final or empty.34
errorMissing a Javadoc comment.34
errorParameter a should be final.34
errorParameter b should be final.34

org/sat4j/minisat/core/SolverStats.java

ViolationMessageLine
errorFile does not end with a newline.0
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.36
errorLine has trailing spaces.38
errorMissing a Javadoc comment.41
errorMissing a Javadoc comment.43
errorVariable 'starts' must be private and have accessor methods.43
errorMissing a Javadoc comment.45
errorVariable 'decisions' must be private and have accessor methods.45
errorMissing a Javadoc comment.47
errorVariable 'propagations' must be private and have accessor methods.47
errorMissing a Javadoc comment.49
errorVariable 'inspects' must be private and have accessor methods.49
errorMissing a Javadoc comment.51
errorVariable 'conflicts' must be private and have accessor methods.51
errorMissing a Javadoc comment.53
errorVariable 'learnedliterals' must be private and have accessor methods.53
errorMissing a Javadoc comment.55
errorVariable 'learnedbinaryclauses' must be private and have accessor methods.55
errorMissing a Javadoc comment.57
errorVariable 'learnedternaryclauses' must be private and have accessor methods.57
errorMissing a Javadoc comment.59
errorVariable 'learnedclauses' must be private and have accessor methods.59
errorMissing a Javadoc comment.61
errorVariable 'rootSimplifications' must be private and have accessor methods.61
errorMissing a Javadoc comment.63
errorVariable 'reducedliterals' must be private and have accessor methods.63
errorMissing a Javadoc comment.65
errorVariable 'changedreason' must be private and have accessor methods.65
errorMissing a Javadoc comment.67
errorVariable 'reduceddb' must be private and have accessor methods.67
errorMethod 'reset' is not designed for extension - needs to be abstract, final or empty.69
errorMissing a Javadoc comment.69
errorMethod 'printStat' is not designed for extension - needs to be abstract, final or empty.85
errorMissing a Javadoc comment.85
errorParameter out should be final.85
errorParameter prefix should be final.85
errorMethod 'toMap' is not designed for extension - needs to be abstract, final or empty.106
errorMissing a Javadoc comment.106
error'<' is not preceded with whitespace.106
error'<' is not followed by whitespace.106
error'>' is not preceded with whitespace.106
error'<' is not preceded with whitespace.107
error'<' is not followed by whitespace.107
error'>' is not preceded with whitespace.107
error'<' is not preceded with whitespace.107
error'<' is not followed by whitespace.107
error'>' is not preceded with whitespace.107
error'>' is not followed by whitespace.107

org/sat4j/minisat/core/SearchListener.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.32
errorLine has trailing spaces.34
errorFirst sentence should end with a period.38
errorLine has trailing spaces.40
errorExpected @param tag for 'p'.43
errorFirst sentence should end with a period.45
errorLine has trailing spaces.47
errorExpected @param tag for 'p'.50
errorFirst sentence should end with a period.52
errorLine has trailing spaces.54
errorExpected @param tag for 'p'.57
errorFirst sentence should end with a period.59
errorExpected @param tag for 'p'.62
errorFirst sentence should end with a period.64
errorLine has trailing spaces.66
errorExpected @param tag for 'c'.69
errorFirst sentence should end with a period.71
errorExpected @param tag for 'clause'.74
errorLine has trailing spaces.78
errorLine has trailing spaces.84
errorFirst sentence should end with a period.88
errorLine has trailing spaces.95
errorLine has trailing spaces.101

org/sat4j/minisat/constraints/pb/PBSolverWithImpliedClause.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorMissing a Javadoc comment.39
error'<' is not preceded with whitespace.39
error'<' is not followed by whitespace.39
error'>' is not preceded with whitespace.39
errorMissing a Javadoc comment.41
errorParameter acg should be final.41
errorLine is longer than 80 characters.42
errorParameter learner should be final.42
error'<' is not preceded with whitespace.42
error'<' is not followed by whitespace.42
error'>' is not preceded with whitespace.42
errorParameter dsf should be final.42
error'<' is not preceded with whitespace.42
error'<' is not followed by whitespace.42
error'>' is not preceded with whitespace.42
errorParameter order should be final.42
error'<' is not preceded with whitespace.42
error'<' is not followed by whitespace.42
error'>' is not preceded with whitespace.42
errorLine has trailing spaces.47
errorMethod 'addPseudoBoolean' is not designed for extension - needs to be abstract, final or empty.51
errorMissing a Javadoc comment.51
errorParameter literals should be final.52
errorParameter coeffs should be final.52
error'<' is not preceded with whitespace.52
error'<' is not followed by whitespace.52
error'>' is not preceded with whitespace.52
errorParameter moreThan should be final.53
errorParameter degree should be final.53
errorMethod 'toString' is not designed for extension - needs to be abstract, final or empty.68
errorMissing a Javadoc comment.68
errorParameter prefix should be final.69

org/sat4j/minisat/core/DotSearchListener.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.39
errorLine has trailing spaces.41
errorLine has trailing spaces.44
errorLine has trailing spaces.46
errorLine has trailing spaces.51
errorMissing a Javadoc comment.55
error'<' is not preceded with whitespace.55
error'<' is not followed by whitespace.55
error'>' is not preceded with whitespace.55
errorMissing a Javadoc comment.57
errorMissing a Javadoc comment.59
errorMissing a Javadoc comment.61
errorMissing a Javadoc comment.63
error'<' is not preceded with whitespace.64
error'<' is not followed by whitespace.64
error'>' is not preceded with whitespace.64
error'>' is not followed by whitespace.64
errorMissing a Javadoc comment.72
errorMissing a Javadoc comment.91
errorAvoid inline conditionals.97
errorMissing a Javadoc comment.109
errorMissing a Javadoc comment.117
errorMissing a Javadoc comment.121
errorMissing a Javadoc comment.124
errorMissing a Javadoc comment.127
errorMissing a Javadoc comment.132
errorMissing a Javadoc comment.137
errorMissing a Javadoc comment.140
errorMissing a Javadoc comment.144
errorParameter result should be final.144
errorMissing a Javadoc comment.148
errorRedundant 'final' modifier.148
errorMissing a Javadoc comment.152
errorRedundant 'final' modifier.152
errorLine has trailing spaces.162
errorMissing a Javadoc comment.163
errorParameter stream should be final.163

org/sat4j/minisat/constraints/pb/MaxWatchPb.java

ViolationMessageLine
errorFile does not end with a newline.0
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorClass MaxWatchPb should be declared as final.38
errorMissing a Javadoc comment.38
errorMissing a Javadoc comment.40
errorFirst sentence should end with a period.42
errorLine has trailing spaces.44
errorUnused @param tag for 'ps'.47
errorUnused @param tag for 'coefs'.49
errorUnused @param tag for 'moreThan'.51
errorUnused @param tag for 'degree'.53
errorParameter voc should be final.56
errorParameter mpb should be final.56
errorExpected @param tag for 'mpb'.56
errorLine is longer than 80 characters.66
errorMissing a Javadoc comment.66
errorParameter voc should be final.66
errorParameter lits should be final.66
errorParameter coefs should be final.66
errorParameter degree should be final.66
errorFirst sentence should end with a period.76
errorLine has trailing spaces.78
errorExpected @throws tag for 'ContradictionException'.82
error'if' construct must use '{}'s.86
errorLine has trailing spaces.103
errorMissing a Javadoc comment.106
errorParameter s should be final.107
error'if' construct must use '{}'s.113
errorLine has trailing spaces.113
errorParameter s should be final.134
errorParameter voc should be final.135
errorExpected @param tag for 'voc'.135
errorParameter ps should be final.135
errorParameter coefs should be final.135
errorParameter moreThan should be final.135
errorParameter degree should be final.135
errorExpected @throws tag for 'ContradictionException'.136
errorParameter s should be final.155
errorParameter voc should be final.156
errorExpected @param tag for 'voc'.156
errorParameter ps should be final.156
errorParameter coefs should be final.156
error'<' is not preceded with whitespace.156
error'<' is not followed by whitespace.156
error'>' is not preceded with whitespace.156
errorParameter moreThan should be final.156
errorParameter degree should be final.157
errorExpected @throws tag for 'ContradictionException'.157
error'<' is not preceded with whitespace.161
error'<' is not followed by whitespace.161
error'>' is not preceded with whitespace.161
error'<' is not preceded with whitespace.161
error'<' is not followed by whitespace.161
error'>' is not preceded with whitespace.161
error'>' is not followed by whitespace.161
error'if' construct must use '{}'s.173
errorLine has trailing spaces.184
errorParameter s should be final.191
errorParameter p should be final.191
error'while' construct must use '{}'s.199
errorFirst sentence should end with a period.232
error'if' construct must use '{}'s.237
errorFirst sentence should end with a period.242
errorLine has trailing spaces.244
errorParameter p should be final.248
error'while' construct must use '{}'s.250
errorLine has trailing spaces.259
errorExpected an @return tag.261
errorParameter voc should be final.261
errorExpected @param tag for 'voc'.261
errorParameter lits should be final.261
errorExpected @param tag for 'lits'.261
errorParameter coefs should be final.261
errorExpected @param tag for 'coefs'.261
errorParameter moreThan should be final.262
errorExpected @param tag for 'moreThan'.262
errorParameter degree should be final.262
errorExpected @param tag for 'degree'.262
errorLine has trailing spaces.268
errorExpected an @return tag.270
errorParameter voc should be final.270
errorExpected @param tag for 'voc'.270
errorParameter lits should be final.270
errorExpected @param tag for 'lits'.270
errorParameter coefs should be final.271
error'<' is not preceded with whitespace.271
error'<' is not followed by whitespace.271
error'>' is not preceded with whitespace.271
errorExpected @param tag for 'coefs'.271
errorParameter moreThan should be final.271
errorExpected @param tag for 'moreThan'.271
errorParameter degree should be final.271
errorExpected @param tag for 'degree'.271
errorParameter s should be final.287
errorParameter voc should be final.288
errorParameter mpb should be final.288
errorExpected @throws tag for 'ContradictionException'.288
errorLine has trailing spaces.313
errorParameter s should be final.318
errorLine is longer than 80 characters.319
errorParameter voc should be final.319
errorParameter lits should be final.319
errorParameter coefs should be final.319
errorParameter degree should be final.319
errorExpected @throws tag for 'ContradictionException'.319

org/sat4j/LanceurPseudo2007.java

ViolationMessageLine
errorMissing a Javadoc comment.7
errorLine contains a tab character.9
errorLine has trailing spaces.10
errorLine contains a tab character.10
errorLine contains a tab character.11
errorLine contains a tab character.12
errorLine has trailing spaces.13
errorLine contains a tab character.13
errorLine contains a tab character.14
errorMissing a Javadoc comment.14
errorLine contains a tab character.15
errorLine contains a tab character.16
errorLine has trailing spaces.19
errorMethod 'createReader' is not designed for extension - needs to be abstract, final or empty.22
errorMissing a Javadoc comment.22
errorParameter solver should be final.23
errorParameter problemname should be final.23
errorFirst sentence should end with a period.26
errorLine has trailing spaces.28

org/sat4j/reader/AIGReader.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorMissing a Javadoc comment.36
errorMissing a Javadoc comment.38
error'static' modifier out of order with the JLS suggestions.38
errorMissing a Javadoc comment.40
error'static' modifier out of order with the JLS suggestions.40
errorMissing a Javadoc comment.42
errorMissing a Javadoc comment.44
errorMissing a Javadoc comment.46
errorMissing a Javadoc comment.48
errorParameter s should be final.48
errorMethod 'decode' is not designed for extension - needs to be abstract, final or empty.52
errorMissing a Javadoc comment.52
errorParameter model should be final.53
error'>' is not preceded with whitespace.56
error'>' is not followed by whitespace.56
error'?' is not preceded with whitespace.56
errorAvoid inline conditionals.56
error'?' is not followed by whitespace.56
error':' is not preceded with whitespace.56
error':' is not followed by whitespace.56
errorMethod 'decode' is not designed for extension - needs to be abstract, final or empty.61
errorMissing a Javadoc comment.61
errorParameter model should be final.62
errorParameter out should be final.62
error'>' is not preceded with whitespace.64
error'>' is not followed by whitespace.64
error'?' is not preceded with whitespace.64
errorAvoid inline conditionals.64
error'?' is not followed by whitespace.64
error':' is not preceded with whitespace.64
error':' is not followed by whitespace.64
errorMethod 'parseInt' is not designed for extension - needs to be abstract, final or empty.68
errorMissing a Javadoc comment.68
errorParameter in should be final.68
errorParameter expected should be final.68
error'if' construct must use '{}'s.73
error'while' construct must use '{}'s.77
errorInner assignments should be avoided.77
error'10' is a magic number.78
error'if' construct must use '{}'s.80
errorLine has trailing spaces.88
errorMethod 'parseInstance' is not designed for extension - needs to be abstract, final or empty.91
errorMissing a Javadoc comment.91
errorParameter in should be final.92
error'3' is a magic number.112
errorLine is longer than 80 characters.121
errorMissing a Javadoc comment.121
errorParameter in should be final.121
errorMissing a Javadoc comment.129
errorParameter in should be final.129
errorInner assignments should be avoided.133
error'0x80' is a magic number.133
error'0x7f' is a magic number.135
error'7' is a magic number.135
error'7' is a magic number.137
errorMissing a Javadoc comment.140
errorParameter nbands should be final.140
errorParameter output0 should be final.140
errorParameter in should be final.140
errorParameter startid should be final.140
errorMissing a Javadoc comment.155
errorParameter v should be final.155
errorMethod 'parseInstance' is not designed for extension - needs to be abstract, final or empty.169
errorMissing a Javadoc comment.169
errorParameter in should be final.170

org/sat4j/specs/ISolver.java

ViolationMessageLine
errorFile does not end with a newline.0
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.36
errorLine has trailing spaces.43
errorLine has trailing spaces.48
errorLine has trailing spaces.58
errorLine has trailing spaces.70
errorLine has trailing spaces.81
errorLine has trailing spaces.96
errorLine has trailing spaces.107
error'<' is not preceded with whitespace.117
error'<' is not followed by whitespace.117
error'>' is not preceded with whitespace.117
errorFirst sentence should end with a period.119
errorLine has trailing spaces.122
errorFirst sentence should end with a period.139
errorLine has trailing spaces.142
errorFirst sentence should end with a period.158
errorLine has trailing spaces.161
error'<' is not preceded with whitespace.180
error'<' is not followed by whitespace.180
error'>' is not preceded with whitespace.180
errorLine has trailing spaces.186
errorLine has trailing spaces.195
errorLine has trailing spaces.200
errorLine has trailing spaces.203
errorLine has trailing spaces.216
errorExpected @param tag for 'out'.223
errorFirst sentence should end with a period.225
errorLine has trailing spaces.227
errorExpected @param tag for 'out'.233
errorLine has trailing spaces.238
error'<' is not preceded with whitespace.241
error'<' is not followed by whitespace.241
error'>' is not preceded with whitespace.241
errorLine has trailing spaces.245
errorMissing a Javadoc comment.252

org/sat4j/tools/ModelIterator.java

ViolationMessageLine
errorFile does not end with a newline.0
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.37
errorLine has trailing spaces.50
errorMissing a Javadoc comment.55
errorMissing a Javadoc comment.57
errorParameter solver should be final.62
errorExpected @param tag for 'solver'.62
errorLine has trailing spaces.68
errorMethod 'model' is not designed for extension - needs to be abstract, final or empty.71
errorMissing a Javadoc comment.71
errorLine has trailing spaces.89
errorMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.92
errorMissing a Javadoc comment.92
errorLine has trailing spaces.103
errorMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.106
errorMissing a Javadoc comment.106
errorParameter assumps should be final.107
errorLine has trailing spaces.117
errorMethod 'reset' is not designed for extension - needs to be abstract, final or empty.120
errorMissing a Javadoc comment.120

org/sat4j/reader/CSPExtSupportReader.java

ViolationMessageLine
errorFile does not end with a newline.0
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorMissing a Javadoc comment.30
errorMissing a Javadoc comment.32
errorParameter solver should be final.32
errorMethod 'manageAllowedTuples' is not designed for extension - needs to be abstract, final or empty.36
errorMissing a Javadoc comment.36
errorParameter relnum should be final.37
errorParameter arity should be final.37
errorParameter nbtuples should be final.37

org/sat4j/specs/IVecInt.java

ViolationMessageLine
errorFile does not end with a newline.0
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.30
error'<' is not preceded with whitespace.33
error'<' is not followed by whitespace.33
error'>' is not preceded with whitespace.33
errorMissing a Javadoc comment.35
errorRedundant 'public' modifier.35
errorFirst sentence should end with a period.37
errorLine has trailing spaces.39
errorRedundant 'public' modifier.42
errorExpected @param tag for 'nofelems'.42
errorMissing a Javadoc comment.44
errorRedundant 'public' modifier.44
errorExpected an @return tag.50
errorRedundant 'public' modifier.50
errorMissing a Javadoc comment.52
errorRedundant 'public' modifier.52
errorMissing a Javadoc comment.54
errorRedundant 'public' modifier.54
errorMissing a Javadoc comment.56
errorRedundant 'public' modifier.56
errorLine has trailing spaces.61
errorExpected @param tag for 'elem'.64
errorMissing a Javadoc comment.66
errorMissing a Javadoc comment.68
errorRedundant 'public' modifier.68
errorMissing a Javadoc comment.70
errorRedundant 'public' modifier.70
errorMissing a Javadoc comment.72
errorRedundant 'public' modifier.72
errorMissing a Javadoc comment.74
errorRedundant 'public' modifier.74
errorMissing a Javadoc comment.76
errorRedundant 'public' modifier.76
errorLine has trailing spaces.81
errorRedundant 'public' modifier.84
errorExpected @param tag for 'copy'.84
errorRedundant 'public' modifier.89
errorExpected @param tag for 'is'.89
errorMissing a Javadoc comment.94
errorRedundant 'public' modifier.94
errorMissing a Javadoc comment.96
errorRedundant 'public' modifier.96
errorMissing a Javadoc comment.98
errorRedundant 'public' modifier.98
errorLine has trailing spaces.103
errorLine has trailing spaces.115
errorRedundant 'public' modifier.119
errorLine has trailing spaces.123
errorRedundant 'public' modifier.127
errorLine has trailing spaces.132
errorRedundant 'public' modifier.138
errorMissing a Javadoc comment.140
errorRedundant 'public' modifier.140
errorMissing a Javadoc comment.142
errorRedundant 'public' modifier.142
errorFirst sentence should end with a period.144
errorLine has trailing spaces.146

org/sat4j/minisat/learning/MiniSATLearning.java

ViolationMessageLine
errorFile does not end with a newline.0
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.35
errorLine has trailing spaces.36
errorLine has trailing spaces.38
errorLine has trailing spaces.40
errorType Javadoc comment is missing an @param <L> tag.43
error'<' is not preceded with whitespace.43
error'<' is not followed by whitespace.43
error'>' is not preceded with whitespace.43
error'<' is not preceded with whitespace.43
error'<' is not followed by whitespace.43
error'>' is not preceded with whitespace.43
errorMissing a Javadoc comment.44
errorMissing a Javadoc comment.46
error'<' is not preceded with whitespace.46
error'<' is not followed by whitespace.46
error'>' is not preceded with whitespace.46
errorMethod 'setDataStructureFactory' is not designed for extension - needs to be abstract, final or empty.48
errorMissing a Javadoc comment.48
errorParameter dsf should be final.48
error'<' is not preceded with whitespace.48
error'<' is not followed by whitespace.48
error'>' is not preceded with whitespace.48
error'dsf' hides a field.48
errorMethod 'setSolver' is not designed for extension - needs to be abstract, final or empty.52
errorMissing a Javadoc comment.52
errorParameter s should be final.53
error'<' is not preceded with whitespace.53
error'<' is not followed by whitespace.53
error'>' is not preceded with whitespace.53
errorMethod 'learns' is not designed for extension - needs to be abstract, final or empty.58
errorMissing a Javadoc comment.58
errorParameter constr should be final.58
errorMethod 'toString' is not designed for extension - needs to be abstract, final or empty.67
errorMissing a Javadoc comment.67
errorLine has trailing spaces.71

org/sat4j/minisat/constraints/cnf/BinaryClauses.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorMissing a Javadoc comment.42
errorMissing a Javadoc comment.44
errorMissing a Javadoc comment.46
errorMissing a Javadoc comment.48
errorMissing a Javadoc comment.50
errorLine has trailing spaces.53
errorParameter voc should be final.55
error'voc' hides a field.55
errorExpected @param tag for 'voc'.55
errorParameter p should be final.55
errorExpected @param tag for 'p'.55
errorMethod 'addBinaryClause' is not designed for extension - needs to be abstract, final or empty.60
errorMissing a Javadoc comment.60
errorParameter p should be final.60
errorLine has trailing spaces.66
errorMissing a Javadoc comment.69
errorLine has trailing spaces.75
errorLine is longer than 80 characters.76
errorMethod 'propagate' is not designed for extension - needs to be abstract, final or empty.79
errorMissing a Javadoc comment.79
errorParameter s should be final.79
errorParameter p should be final.79
errorLine has trailing spaces.94
errorMethod 'simplify' is not designed for extension - needs to be abstract, final or empty.97
errorMissing a Javadoc comment.97
errorLine has trailing spaces.114
errorMissing a Javadoc comment.117
errorParameter p should be final.117
errorLine has trailing spaces.123
errorMethod 'calcReason' is not designed for extension - needs to be abstract, final or empty.126
errorMissing a Javadoc comment.126
errorParameter p should be final.126
errorParameter outReason should be final.126
errorLine has trailing spaces.140
errorMethod 'learnt' is not designed for extension - needs to be abstract, final or empty.143
errorMissing a Javadoc comment.143
errorLine has trailing spaces.149
errorMissing a Javadoc comment.152
errorParameter claInc should be final.152
errorLine has trailing spaces.158
errorMethod 'getActivity' is not designed for extension - needs to be abstract, final or empty.161
errorMissing a Javadoc comment.161
errorLine has trailing spaces.168
errorMethod 'locked' is not designed for extension - needs to be abstract, final or empty.171
errorMissing a Javadoc comment.171
errorLine has trailing spaces.177
errorMissing a Javadoc comment.180
errorLine has trailing spaces.186
errorMissing a Javadoc comment.189
errorLine has trailing spaces.195
errorMissing a Javadoc comment.198
errorParameter d should be final.198
errorLine has trailing spaces.204
errorMethod 'size' is not designed for extension - needs to be abstract, final or empty.207
errorMissing a Javadoc comment.207
errorLine has trailing spaces.213
errorMethod 'get' is not designed for extension - needs to be abstract, final or empty.216
errorMissing a Javadoc comment.216
errorParameter i should be final.216
errorMethod 'assertConstraint' is not designed for extension - needs to be abstract, final or empty.221
errorMissing a Javadoc comment.221
errorParameter s should be final.221

org/sat4j/minisat/constraints/PuebloPBMinDataStructure.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorMissing a Javadoc comment.42
errorLine has trailing spaces.46
errorLine is longer than 80 characters.47
errorMethod 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.50
errorMissing a Javadoc comment.50
errorParameter literals should be final.51
errorParameter coefs should be final.51
errorParameter moreThan should be final.52
errorParameter degree should be final.52
errorLine has trailing spaces.59
errorLine is longer than 80 characters.60
errorMethod 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.63
errorMissing a Javadoc comment.63
errorParameter literals should be final.64
errorParameter coefs should be final.64
errorParameter degree should be final.65
errorLine has trailing spaces.72
errorLine is longer than 80 characters.73
errorMethod 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.76
errorMissing a Javadoc comment.76
errorParameter literals should be final.77
errorParameter coefs should be final.78
error'<' is not preceded with whitespace.78
error'<' is not followed by whitespace.78
error'>' is not preceded with whitespace.78
errorParameter moreThan should be final.78
errorParameter degree should be final.78
errorLine has trailing spaces.86
errorLine is longer than 80 characters.87
errorMethod 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.90
errorMissing a Javadoc comment.90
errorParameter literals should be final.91
errorParameter coefs should be final.92
error'<' is not preceded with whitespace.92
error'<' is not followed by whitespace.92
error'>' is not preceded with whitespace.92
errorParameter degree should be final.92

org/sat4j/ResultCode.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorMissing a Javadoc comment.29
errorMissing a Javadoc comment.30
errorMissing a Javadoc comment.30
errorMissing a Javadoc comment.30
errorMissing a Javadoc comment.30
errorMissing a Javadoc comment.31
errorMissing a Javadoc comment.33
errorMissing a Javadoc comment.35
errorMissing a Javadoc comment.37
error'value' hides a field.37
errorMissing a Javadoc comment.42
errorMissing a Javadoc comment.46

org/sat4j/minisat/constraints/pb/WLClausePB.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorMissing a Javadoc comment.34
errorLine has trailing spaces.37
errorMissing a Javadoc comment.41
errorParameter ps should be final.41
errorParameter voc should be final.41
errorLine has trailing spaces.48
errorMethod 'getCoef' is not designed for extension - needs to be abstract, final or empty.51
errorMissing a Javadoc comment.51
errorParameter literal should be final.51
errorLine has trailing spaces.57
errorMethod 'getDegree' is not designed for extension - needs to be abstract, final or empty.60
errorMissing a Javadoc comment.60
errorMethod 'getCoefs' is not designed for extension - needs to be abstract, final or empty.64
errorMissing a Javadoc comment.64
error'for' construct must use '{}'s.66
errorLine has trailing spaces.74
errorParameter s should be final.84
errorParameter voc should be final.85
errorParameter literals should be final.85
errorMethod 'assertConstraint' is not designed for extension - needs to be abstract, final or empty.91
errorMissing a Javadoc comment.91
errorParameter s should be final.92
error'for' construct must use '{}'s.93
errorMethod 'computeAnImpliedClause' is not designed for extension - needs to be abstract, final or empty.101
errorMissing a Javadoc comment.101

org/sat4j/minisat/constraints/card/MaxWatchCard.java

ViolationMessageLine
errorFile does not end with a newline.0
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorClass MaxWatchCard should be declared as final.39
errorMissing a Javadoc comment.39
errorMissing a Javadoc comment.41
errorFirst sentence should end with a period.48
errorFirst sentence should end with a period.58
errorFirst sentence should end with a period.63
errorFirst sentence should end with a period.68
errorLine has trailing spaces.70
errorUnused @param tag for 'size'.71
errorUnused @param tag for 'learnt'.73
errorParameter voc should be final.76
error'voc' hides a field.76
errorExpected @param tag for 'voc'.76
errorParameter ps should be final.76
errorExpected @param tag for 'ps'.76
errorParameter moreThan should be final.76
error'moreThan' hides a field.76
errorExpected @param tag for 'moreThan'.76
errorParameter degree should be final.76
error'degree' hides a field.76
errorExpected @param tag for 'degree'.76
error'for' construct must use '{}'s.85
error'if' construct must use '{}'s.102
errorFirst sentence should end with a period.129
errorLine has trailing spaces.131
errorParameter p should be final.138
errorParameter outReason should be final.138
errorLine has trailing spaces.152
errorLine has trailing spaces.163
errorParameter claInc should be final.168
errorFirst sentence should end with a period.172
errorLine has trailing spaces.174
errorFirst sentence should end with a period.183
errorLine has trailing spaces.185
errorLine has trailing spaces.196
errorParameter s should be final.210
errorParameter voc should be final.211
errorParameter ps should be final.211
errorParameter moreThan should be final.211
errorParameter degree should be final.211
errorExpected @throws tag for 'ContradictionException'.212
errorLine is longer than 80 characters.218
error'for' construct must use '{}'s.220
error'if' construct must use '{}'s.232
error'if' construct must use '{}'s.236
errorFirst sentence should end with a period.253
errorLine has trailing spaces.272
errorParameter s should be final.279
errorParameter p should be final.279
error'if' construct must use '{}'s.286
errorFirst sentence should end with a period.304
errorLine has trailing spaces.315
errorParameter d should be final.319
errorFirst sentence should end with a period.322
errorLine has trailing spaces.324
error'if' construct must use '{}'s.339
errorFirst sentence should end with a period.347
errorLine has trailing spaces.349
errorFirst sentence should end with a period.374
errorLine has trailing spaces.376
errorParameter p should be final.380
errorMissing a Javadoc comment.384
errorMissing a Javadoc comment.388
errorMissing a Javadoc comment.392
errorMissing a Javadoc comment.396
errorParameter i should be final.396
errorMissing a Javadoc comment.400
errorParameter s should be final.400
errorLine has trailing spaces.406
errorMissing a Javadoc comment.409
errorParameter literal should be final.409
errorLine has trailing spaces.415
errorMissing a Javadoc comment.418
errorMissing a Javadoc comment.422

org/sat4j/minisat/core/SearchParams.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.33
errorLine has trailing spaces.35
errorMissing a Javadoc comment.39
error'0.95' is a magic number.46
error'0.999' is a magic number.46
error'1.5' is a magic number.46
error'100' is a magic number.46
errorLine has trailing spaces.49
errorLine has trailing spaces.50
errorParameter conflictBound should be final.53
error'0.95' is a magic number.54
error'0.999' is a magic number.54
error'1.5' is a magic number.54
errorMissing a Javadoc comment.57
errorParameter confincfactor should be final.57
errorParameter conflictBound should be final.57
error'0.95' is a magic number.58
error'0.999' is a magic number.58
errorParameter d should be final.71
errorParameter e should be final.71
errorParameter f should be final.71
errorParameter i should be final.71
errorMethod 'getClaDecay' is not designed for extension - needs to be abstract, final or empty.81
errorMethod 'getVarDecay' is not designed for extension - needs to be abstract, final or empty.88
errorMissing a Javadoc comment.92
errorMissing a Javadoc comment.94
errorMissing a Javadoc comment.96
errorMissing a Javadoc comment.98
errorLine has trailing spaces.102
errorMethod 'toString' is not designed for extension - needs to be abstract, final or empty.105
errorMissing a Javadoc comment.105
errorMethod 'setConflictBoundIncFactor' is not designed for extension - needs to be abstract, final or empty.129
errorParameter conflictBoundIncFactor should be final.129
error'conflictBoundIncFactor' hides a field.129
errorMethod 'setInitConflictBound' is not designed for extension - needs to be abstract, final or empty.137
errorParameter initConflictBound should be final.137
error'initConflictBound' hides a field.137
errorMethod 'getConflictBoundIncFactor' is not designed for extension - needs to be abstract, final or empty.144
errorMethod 'getInitConflictBound' is not designed for extension - needs to be abstract, final or empty.151
errorMethod 'setClaDecay' is not designed for extension - needs to be abstract, final or empty.159
errorParameter claDecay should be final.159
error'claDecay' hides a field.159
errorMethod 'setVarDecay' is not designed for extension - needs to be abstract, final or empty.167
errorParameter varDecay should be final.167
error'varDecay' hides a field.167

org/sat4j/minisat/learning/NoLearningButHeuristics.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.35
errorLine is longer than 80 characters.38
errorType Javadoc comment is missing an @param <L> tag.38
error'<' is not preceded with whitespace.38
error'<' is not followed by whitespace.38
error'>' is not preceded with whitespace.38
error'<' is not preceded with whitespace.38
error'<' is not followed by whitespace.38
error'>' is not preceded with whitespace.38
errorMissing a Javadoc comment.40
errorMethod 'learns' is not designed for extension - needs to be abstract, final or empty.42
errorMissing a Javadoc comment.42
errorParameter reason should be final.42

org/sat4j/minisat/constraints/pb/PBSolverClause.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorMissing a Javadoc comment.34
error'<' is not preceded with whitespace.34
error'<' is not followed by whitespace.34
error'>' is not preceded with whitespace.34
errorLine has trailing spaces.37
errorMissing a Javadoc comment.41
errorParameter acg should be final.41
errorLine is longer than 80 characters.42
errorParameter learner should be final.42
error'<' is not preceded with whitespace.42
error'<' is not followed by whitespace.42
error'>' is not preceded with whitespace.42
errorParameter dsf should be final.42
error'<' is not preceded with whitespace.42
error'<' is not followed by whitespace.42
error'>' is not preceded with whitespace.42
errorParameter order should be final.42
error'<' is not preceded with whitespace.42
error'<' is not followed by whitespace.42
error'>' is not preceded with whitespace.42
errorMethod 'chooseConflict' is not designed for extension - needs to be abstract, final or empty.46
errorMissing a Javadoc comment.46
errorParameter myconfl should be final.47
errorParameter level should be final.47
errorMethod 'toString' is not designed for extension - needs to be abstract, final or empty.51
errorMissing a Javadoc comment.51
errorParameter prefix should be final.52

org/sat4j/ExitCode.java

ViolationMessageLine
errorFile does not end with a newline.0
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.30
errorLine has trailing spaces.32
errorLine is longer than 80 characters.35
errorMissing a Javadoc comment.35
errorMissing a Javadoc comment.35
errorMissing a Javadoc comment.35
errorMissing a Javadoc comment.35
error'(' is followed by whitespace.35
errorLine has trailing spaces.46
errorUnused @param tag for 'i'.47
error'value' hides a field.50
errorExpected @param tag for 'value'.50
errorLine has trailing spaces.58
error'str' hides a field.64

org/sat4j/minisat/constraints/pb/ConflictMapCardinality.java

ViolationMessageLine
errorMissing a Javadoc comment.8
errorLine contains a tab character.10
errorMissing a Javadoc comment.10
errorParameter m should be final.10
error'<' is not preceded with whitespace.10
error'<' is not followed by whitespace.10
error'>' is not preceded with whitespace.10
errorParameter d should be final.10
errorLine contains a tab character.11
errorParameter voc should be final.11
errorParameter level should be final.11
errorLine contains a tab character.12
errorLine contains a tab character.13
errorLine contains a tab character.14

org/sat4j/AbstractOptimizationLauncher.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.38
errorLine has trailing spaces.40
errorLine is longer than 80 characters.45
errorMissing a Javadoc comment.45
errorMethod 'displayResult' is not designed for extension - needs to be abstract, final or empty.47
errorMissing a Javadoc comment.47
error'if' construct must use '{}'s.49
errorLine is longer than 80 characters.62
error'1000.0' is a magic number.67
errorMethod 'solve' is not designed for extension - needs to be abstract, final or empty.70
errorMissing a Javadoc comment.70
errorParameter problem should be final.71
errorLine is longer than 80 characters.89
error'1000.0' is a magic number.91

org/sat4j/minisat/core/ILits.java

ViolationMessageLine
errorFile does not end with a newline.0
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.33
errorLine has trailing spaces.38
errorLine has trailing spaces.43
errorLine has trailing spaces.45
errorMissing a Javadoc comment.50
errorRedundant 'public' modifier.50
errorMissing a Javadoc comment.52
errorRedundant 'public' modifier.52
errorLine has trailing spaces.56
errorRedundant 'public' modifier.61
errorLine has trailing spaces.65
errorExpected @param tag for 'x'.69
errorMissing a Javadoc comment.71
errorRedundant 'public' modifier.71
errorMissing a Javadoc comment.73
errorRedundant 'public' modifier.73
errorMissing a Javadoc comment.75
errorRedundant 'public' modifier.75
errorMissing a Javadoc comment.77
errorRedundant 'public' modifier.77
errorMissing a Javadoc comment.79
errorRedundant 'public' modifier.79
errorMissing a Javadoc comment.81
errorRedundant 'public' modifier.81
errorMissing a Javadoc comment.83
errorRedundant 'public' modifier.83
errorRedundant 'public' modifier.90
errorExpected @param tag for 'lit'.90
errorFirst sentence should end with a period.92
errorLine has trailing spaces.94
errorRedundant 'public' modifier.97
errorFirst sentence should end with a period.99
errorLine has trailing spaces.101
errorMissing a Javadoc comment.106
errorRedundant 'public' modifier.106
errorMissing a Javadoc comment.108
errorRedundant 'public' modifier.108
errorMissing a Javadoc comment.110
errorRedundant 'public' modifier.110
errorMissing a Javadoc comment.112
errorRedundant 'public' modifier.112
errorMissing a Javadoc comment.114
errorRedundant 'public' modifier.114
errorMissing a Javadoc comment.116
errorRedundant 'public' modifier.116
errorMissing a Javadoc comment.118
errorRedundant 'public' modifier.118
error'<' is not preceded with whitespace.118
error'<' is not followed by whitespace.118
error'>' is not preceded with whitespace.118
errorMissing a Javadoc comment.120
errorRedundant 'public' modifier.120
errorRedundant 'public' modifier.127
error'<' is not preceded with whitespace.127
error'<' is not followed by whitespace.127
error'>' is not preceded with whitespace.127
errorMissing a Javadoc comment.129
errorRedundant 'public' modifier.129

org/sat4j/minisat/core/Heap.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.34
errorLine has trailing spaces.36
errorMissing a Javadoc comment.43
errorMissing a Javadoc comment.45
errorRedundant 'final' modifier.45
error'static' modifier out of order with the JLS suggestions.45
errorParameter i should be final.45
errorMissing a Javadoc comment.49
errorRedundant 'final' modifier.49
error'static' modifier out of order with the JLS suggestions.49
errorParameter i should be final.49
errorMissing a Javadoc comment.53
errorRedundant 'final' modifier.53
error'static' modifier out of order with the JLS suggestions.53
errorParameter i should be final.53
errorMissing a Javadoc comment.57
errorRedundant 'final' modifier.57
errorParameter a should be final.57
errorParameter b should be final.57
errorMissing a Javadoc comment.61
errorMissing a Javadoc comment.63
errorMissing a Javadoc comment.65
errorMissing a Javadoc comment.67
errorParameter i should be final.68
errorMissing a Javadoc comment.79
errorParameter i should be final.79
errorAvoid inline conditionals.83
error'if' construct must use '{}'s.85
errorMethod 'ok' is not designed for extension - needs to be abstract, final or empty.95
errorMissing a Javadoc comment.95
errorParameter n should be final.95
errorMissing a Javadoc comment.99
errorParameter activity should be final.99
error'activity' hides a field.99
errorMethod 'setBounds' is not designed for extension - needs to be abstract, final or empty.105
errorMissing a Javadoc comment.105
errorParameter size should be final.105
errorMethod 'inHeap' is not designed for extension - needs to be abstract, final or empty.110
errorMissing a Javadoc comment.110
errorParameter n should be final.110
errorMethod 'increase' is not designed for extension - needs to be abstract, final or empty.115
errorMissing a Javadoc comment.115
errorParameter n should be final.115
errorMethod 'empty' is not designed for extension - needs to be abstract, final or empty.121
errorMissing a Javadoc comment.121
errorMethod 'insert' is not designed for extension - needs to be abstract, final or empty.125
errorMissing a Javadoc comment.125
errorParameter n should be final.125
errorMethod 'getmin' is not designed for extension - needs to be abstract, final or empty.132
errorMissing a Javadoc comment.132
error'if' construct must use '{}'s.138
errorMethod 'heapProperty' is not designed for extension - needs to be abstract, final or empty.143
errorMissing a Javadoc comment.143
errorMethod 'heapProperty' is not designed for extension - needs to be abstract, final or empty.147
errorMissing a Javadoc comment.147
errorParameter i should be final.147

org/sat4j/minisat/constraints/CardinalityDataStructure.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorMissing a Javadoc comment.40
errorMethod 'createUnregisteredClause' is not designed for extension - needs to be abstract, final or empty.42
errorMissing a Javadoc comment.42
errorParameter literals should be final.42
errorLine has trailing spaces.48
errorLine is longer than 80 characters.49
errorMethod 'createClause' is not designed for extension - needs to be abstract, final or empty.51
errorMissing a Javadoc comment.51
errorParameter literals should be final.51
errorLine has trailing spaces.57
errorLine is longer than 80 characters.58
errorMethod 'createCardinalityConstraint' is not designed for extension - needs to be abstract, final or empty.61
errorMissing a Javadoc comment.61
errorParameter literals should be final.62
errorParameter degree should be final.62

org/sat4j/minisat/core/Propagatable.java

ViolationMessageLine
errorFile does not end with a newline.0
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.31
errorLine has trailing spaces.39

org/sat4j/reader/csp/Supports.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorMissing a Javadoc comment.34
errorMissing a Javadoc comment.36
errorMissing a Javadoc comment.38
errorMissing a Javadoc comment.40
errorMissing a Javadoc comment.42
errorMissing a Javadoc comment.44
error'<' is not preceded with whitespace.44
error'<' is not followed by whitespace.44
error'>' is not preceded with whitespace.44
errorMissing a Javadoc comment.46
errorParameter arity should be final.46
error'arity' hides a field.46
errorParameter nbtuples should be final.46
errorMethod 'addTuple' is not designed for extension - needs to be abstract, final or empty.51
errorMissing a Javadoc comment.51
errorParameter index should be final.51
errorParameter tuple should be final.51
errorMethod 'arity' is not designed for extension - needs to be abstract, final or empty.55
errorMissing a Javadoc comment.55
errorMethod 'toClause' is not designed for extension - needs to be abstract, final or empty.59
errorMissing a Javadoc comment.59
errorParameter solver should be final.59
errorParameter scope should be final.59
error'<' is not preceded with whitespace.59
error'<' is not followed by whitespace.59
error'>' is not preceded with whitespace.59
errorParameter vars should be final.59
error'<' is not preceded with whitespace.59
error'<' is not followed by whitespace.59
error'>' is not preceded with whitespace.59
error'<' is not preceded with whitespace.64
error'<' is not followed by whitespace.64
error'>' is not preceded with whitespace.64
error'>' is not followed by whitespace.64
errorMissing a Javadoc comment.72
error'<' is not preceded with whitespace.72
error'<' is not followed by whitespace.72
error'>' is not preceded with whitespace.72
errorMissing a Javadoc comment.74
errorParameter tuple should be final.74
errorParameter n should be final.74
errorParameter scope should be final.74
error'<' is not preceded with whitespace.74
error'<' is not followed by whitespace.74
error'>' is not preceded with whitespace.74
errorParameter solver should be final.74
errorMissing a Javadoc comment.96
errorParameter tuple should be final.96
error'if' construct must use '{}'s.112

org/sat4j/minisat/core/ActivityListener.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23

org/sat4j/reader/csp/AllDiff.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorMissing a Javadoc comment.34
errorMethod 'toClause' is not designed for extension - needs to be abstract, final or empty.36
errorMissing a Javadoc comment.36
errorParameter solver should be final.36
errorParameter scope should be final.36
error'<' is not preceded with whitespace.36
error'<' is not followed by whitespace.36
error'>' is not preceded with whitespace.36
errorParameter vars should be final.36
error'<' is not preceded with whitespace.36
error'<' is not followed by whitespace.36
error'>' is not preceded with whitespace.36

org/sat4j/minisat/constraints/PBMaxDataStructure.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorMissing a Javadoc comment.42
errorMethod 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.52
errorParameter literals should be final.53
errorExpected @param tag for 'literals'.53
errorParameter coefs should be final.53
errorExpected @param tag for 'coefs'.53
errorParameter moreThan should be final.54
errorExpected @param tag for 'moreThan'.54
errorParameter degree should be final.54
errorExpected @param tag for 'degree'.54
errorExpected @throws tag for 'ContradictionException'.54
errorMethod 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.65
errorParameter literals should be final.66
errorExpected @param tag for 'literals'.66
errorParameter coefs should be final.66
errorExpected @param tag for 'coefs'.66
errorParameter degree should be final.67
errorExpected @param tag for 'degree'.67
errorMethod 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.80
errorParameter literals should be final.81
errorExpected @param tag for 'literals'.81
errorParameter coefs should be final.82
error'<' is not preceded with whitespace.82
error'<' is not followed by whitespace.82
error'>' is not preceded with whitespace.82
errorExpected @param tag for 'coefs'.82
errorParameter moreThan should be final.82
errorExpected @param tag for 'moreThan'.82
errorParameter degree should be final.82
errorExpected @param tag for 'degree'.82
errorExpected @throws tag for 'ContradictionException'.83
errorMethod 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.94
errorParameter literals should be final.95
errorExpected @param tag for 'literals'.95
errorParameter coefs should be final.96
error'<' is not preceded with whitespace.96
error'<' is not followed by whitespace.96
error'>' is not preceded with whitespace.96
errorExpected @param tag for 'coefs'.96
errorParameter degree should be final.96
errorExpected @param tag for 'degree'.96

org/sat4j/reader/CardDimacsReader.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.38
errorLine has trailing spaces.45
errorMissing a Javadoc comment.49
errorParameter solver should be final.49
errorMethod 'readConstrs' is not designed for extension - needs to be abstract, final or empty.63
errorParameter in should be final.64
errorLine is longer than 80 characters.94
errorLine is longer than 80 characters.125
errorMissing a Javadoc comment.129
errorParameter token should be final.129
errorParameter stk should be final.129
errorParameter literals should be final.130
error'else' construct must use '{}'s.140

org/sat4j/minisat/constraints/PBMinDataStructure.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorMissing a Javadoc comment.42
errorLine has trailing spaces.46
errorLine is longer than 80 characters.47
errorMethod 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.50
errorMissing a Javadoc comment.50
errorParameter literals should be final.51
errorParameter coefs should be final.51
errorParameter moreThan should be final.52
errorParameter degree should be final.52
errorLine has trailing spaces.59
errorLine is longer than 80 characters.60
errorMethod 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.63
errorMissing a Javadoc comment.63
errorParameter literals should be final.64
errorParameter coefs should be final.64
errorParameter degree should be final.65
errorLine has trailing spaces.72
errorLine is longer than 80 characters.73
errorMethod 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.76
errorMissing a Javadoc comment.76
errorParameter literals should be final.77
errorParameter coefs should be final.78
error'<' is not preceded with whitespace.78
error'<' is not followed by whitespace.78
error'>' is not preceded with whitespace.78
errorParameter moreThan should be final.78
errorParameter degree should be final.78
errorLine has trailing spaces.86
errorLine is longer than 80 characters.87
errorMethod 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.90
errorMissing a Javadoc comment.90
errorParameter literals should be final.91
errorParameter coefs should be final.92
error'<' is not preceded with whitespace.92
error'<' is not followed by whitespace.92
error'>' is not preceded with whitespace.92
errorParameter degree should be final.92

org/sat4j/minisat/constraints/pb/PBSolver.java

ViolationMessageLine
errorFile does not end with a newline.0
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorType Javadoc comment is missing an @param <L> tag.50
error'<' is not preceded with whitespace.50
error'<' is not followed by whitespace.50
error'>' is not preceded with whitespace.50
error'<' is not preceded with whitespace.50
error'<' is not followed by whitespace.50
error'>' is not preceded with whitespace.50
errorMissing a Javadoc comment.52
errorLine has trailing spaces.53
errorParameter acg should be final.59
errorExpected @param tag for 'acg'.59
errorParameter learner should be final.59
error'<' is not preceded with whitespace.59
error'<' is not followed by whitespace.59
error'>' is not preceded with whitespace.59
errorExpected @param tag for 'learner'.59
errorParameter dsf should be final.60
error'<' is not preceded with whitespace.60
error'<' is not followed by whitespace.60
error'>' is not preceded with whitespace.60
errorExpected @param tag for 'dsf'.60
errorParameter order should be final.60
error'<' is not preceded with whitespace.60
error'<' is not followed by whitespace.60
error'>' is not preceded with whitespace.60
errorExpected @param tag for 'order'.60
errorLine is longer than 80 characters.61
error'1.5' is a magic number.61
error'100' is a magic number.61
error',' is not followed by whitespace.61
errorLine is longer than 80 characters.64
errorMissing a Javadoc comment.64
errorParameter acg should be final.64
errorParameter learner should be final.64
error'<' is not preceded with whitespace.64
error'<' is not followed by whitespace.64
error'>' is not preceded with whitespace.64
errorParameter dsf should be final.64
error'<' is not preceded with whitespace.64
error'<' is not followed by whitespace.64
error'>' is not preceded with whitespace.64
errorParameter params should be final.64
errorParameter order should be final.64
error'<' is not preceded with whitespace.64
error'<' is not followed by whitespace.64
error'>' is not preceded with whitespace.64
errorParameter restarter should be final.64
errorLine is longer than 80 characters.68
errorMissing a Javadoc comment.68
errorParameter acg should be final.68
errorParameter learner should be final.68
error'<' is not preceded with whitespace.68
error'<' is not followed by whitespace.68
error'>' is not preceded with whitespace.68
errorParameter dsf should be final.68
error'<' is not preceded with whitespace.68
error'<' is not followed by whitespace.68
error'>' is not preceded with whitespace.68
errorParameter params should be final.68
errorParameter order should be final.68
error'<' is not preceded with whitespace.68
error'<' is not followed by whitespace.68
error'>' is not preceded with whitespace.68
error',' is not followed by whitespace.69
errorMethod 'analyze' is not designed for extension - needs to be abstract, final or empty.72
errorMissing a Javadoc comment.72
errorParameter myconfl should be final.73
errorParameter outLearntRef should be final.73
error'<' is not preceded with whitespace.73
error'<' is not followed by whitespace.73
error'>' is not preceded with whitespace.73
errorLine has trailing spaces.78
error'if' construct must use '{}'s.88
error'<' is not preceded with whitespace.112
error'<' is not followed by whitespace.112
error'>' is not preceded with whitespace.112
error'<' is not preceded with whitespace.112
error'<' is not followed by whitespace.112
error'>' is not preceded with whitespace.112
error'>' is not followed by whitespace.112
errorLine has trailing spaces.128
errorLine has trailing spaces.129
errorMethod 'chooseConflict' is not designed for extension - needs to be abstract, final or empty.134
errorMissing a Javadoc comment.134
errorParameter myconfl should be final.134
errorParameter level should be final.134
errorMethod 'toString' is not designed for extension - needs to be abstract, final or empty.138
errorMissing a Javadoc comment.138
errorParameter prefix should be final.139

org/sat4j/reader/csp/Domain.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorMissing a Javadoc comment.27
error'<' is not preceded with whitespace.27
error'<' is not followed by whitespace.27
error'>' is not preceded with whitespace.27
errorMissing a Javadoc comment.29
errorMissing a Javadoc comment.31
errorMissing a Javadoc comment.33

org/sat4j/minisat/constraints/PBMinClauseCardConstrDataStructure.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorMissing a Javadoc comment.36
errorLine has trailing spaces.40
errorMethod 'constructPB' is not designed for extension - needs to be abstract, final or empty.44
errorMissing a Javadoc comment.44
errorParameter mpb should be final.45
errorMethod 'constructPB' is not designed for extension - needs to be abstract, final or empty.50
errorMissing a Javadoc comment.50
errorLine is longer than 80 characters.51
errorParameter lits should be final.51
errorParameter coefs should be final.51
errorParameter degree should be final.51
errorLine is longer than 80 characters.53
errorMethod 'constructLearntPB' is not designed for extension - needs to be abstract, final or empty.56
errorMissing a Javadoc comment.56
errorParameter literals should be final.57
errorParameter coefs should be final.58
error'<' is not preceded with whitespace.58
error'<' is not followed by whitespace.58
error'>' is not preceded with whitespace.58
errorParameter degree should be final.58

org/sat4j/reader/CSPReader.java

ViolationMessageLine
errorLine has trailing spaces.4
errorLine has trailing spaces.6
errorLine has trailing spaces.10
errorLine has trailing spaces.15
errorLine has trailing spaces.20
errorLine has trailing spaces.24
errorLine has trailing spaces.58
errorLine has trailing spaces.62
errorLine has trailing spaces.64
errorLine is longer than 80 characters.66
errorMissing a Javadoc comment.68
errorMissing a Javadoc comment.72
errorVariable 'relations' must be private and have accessor methods.72
errorMissing a Javadoc comment.74
errorMissing a Javadoc comment.78
errorMissing a Javadoc comment.80
errorMissing a Javadoc comment.82
errorMissing a Javadoc comment.84
errorMissing a Javadoc comment.86
errorLine is longer than 80 characters.88
errorMissing a Javadoc comment.88
error'<' is not preceded with whitespace.88
error'<' is not followed by whitespace.88
error'>' is not preceded with whitespace.88
error'<' is not preceded with whitespace.88
error'<' is not followed by whitespace.88
error'>' is not preceded with whitespace.88
error'>' is not followed by whitespace.88
errorLine is longer than 80 characters.90
errorMissing a Javadoc comment.90
error'<' is not preceded with whitespace.90
error'<' is not followed by whitespace.90
error'>' is not preceded with whitespace.90
error'<' is not preceded with whitespace.90
error'<' is not followed by whitespace.90
error'>' is not preceded with whitespace.90
error'>' is not followed by whitespace.90
errorLine is longer than 80 characters.92
errorMissing a Javadoc comment.92
error'<' is not preceded with whitespace.92
error'<' is not followed by whitespace.92
error'>' is not preceded with whitespace.92
error'<' is not preceded with whitespace.92
error'<' is not followed by whitespace.92
error'>' is not preceded with whitespace.92
error'>' is not followed by whitespace.92
errorLine is longer than 80 characters.94
errorMissing a Javadoc comment.94
error'<' is not preceded with whitespace.94
error'<' is not followed by whitespace.94
error'>' is not preceded with whitespace.94
error'<' is not preceded with whitespace.94
error'<' is not followed by whitespace.94
error'>' is not preceded with whitespace.94
error'>' is not followed by whitespace.94
errorMissing a Javadoc comment.96
errorMissing a Javadoc comment.98
errorMissing a Javadoc comment.100
errorMissing a Javadoc comment.102
errorMissing a Javadoc comment.104
error'<' is not preceded with whitespace.104
error'<' is not followed by whitespace.104
error'>' is not preceded with whitespace.104
error'<' is not preceded with whitespace.104
error'<' is not followed by whitespace.104
error'>' is not preceded with whitespace.104
error'>' is not followed by whitespace.104
errorMissing a Javadoc comment.106
error'<' is not preceded with whitespace.106
error'<' is not followed by whitespace.106
error'>' is not preceded with whitespace.106
error'<' is not preceded with whitespace.106
error'<' is not followed by whitespace.106
error'>' is not preceded with whitespace.106
error'>' is not followed by whitespace.106
errorMissing a Javadoc comment.108
errorMissing a Javadoc comment.110
errorMissing a Javadoc comment.112
errorMissing a Javadoc comment.114
errorParameter solver should be final.114
error'solver' hides a field.114
errorMissing a Javadoc comment.119
errorMissing a Javadoc comment.126
errorParameter in should be final.126
errorMethod 'decode' is not designed for extension - needs to be abstract, final or empty.138
errorMissing a Javadoc comment.138
errorParameter model should be final.139
errorParameter out should be final.139
errorMethod 'decode' is not designed for extension - needs to be abstract, final or empty.147
errorMissing a Javadoc comment.147
errorParameter model should be final.148
errorLine is longer than 80 characters.158
errorMissing a Javadoc comment.158
errorParameter in should be final.158
errorAvoid inline conditionals.202
error'variables' hides a field.222
errorMethod 'manageAllowedTuples' is not designed for extension - needs to be abstract, final or empty.236
errorMissing a Javadoc comment.236
errorParameter relnum should be final.236
errorParameter arity should be final.236
errorParameter nbtuples should be final.236
errorMissing a Javadoc comment.247
errorParameter input should be final.247
errorMissing a Javadoc comment.252
errorParameter input should be final.252
errorParameter size should be final.252
error'for' construct must use '{}'s.254
errorMethod 'beginInstance' is not designed for extension - needs to be abstract, final or empty.259
errorMissing a Javadoc comment.259
errorParameter arg0 should be final.259
errorMethod 'beginDomainsSection' is not designed for extension - needs to be abstract, final or empty.263
errorMissing a Javadoc comment.263
errorParameter nbdomain should be final.263
errorMethod 'beginDomain' is not designed for extension - needs to be abstract, final or empty.267
errorMissing a Javadoc comment.267
errorParameter id should be final.267
errorParameter size should be final.267
errorMethod 'addDomainValue' is not designed for extension - needs to be abstract, final or empty.275
errorMissing a Javadoc comment.275
errorParameter arg0 should be final.275
error'for' construct must use '{}'s.280
errorMethod 'addDomainValue' is not designed for extension - needs to be abstract, final or empty.287
errorMissing a Javadoc comment.287
errorParameter begin should be final.287
errorParameter end should be final.287
error'if' construct must use '{}'s.288
error'for' construct must use '{}'s.294
errorMethod 'endDomain' is not designed for extension - needs to be abstract, final or empty.299
errorMissing a Javadoc comment.299
error'if' construct must use '{}'s.301
error'else' construct must use '{}'s.304
errorMethod 'endDomainsSection' is not designed for extension - needs to be abstract, final or empty.308
errorMissing a Javadoc comment.308
errorMethod 'beginVariablesSection' is not designed for extension - needs to be abstract, final or empty.312
errorMissing a Javadoc comment.312
errorParameter nbvars should be final.312
error'nbvars' hides a field.312
errorMethod 'addVariable' is not designed for extension - needs to be abstract, final or empty.318
errorMissing a Javadoc comment.318
errorParameter idvar should be final.318
errorParameter iddomain should be final.318
error'if' construct must use '{}'s.322
errorMethod 'endVariablesSection' is not designed for extension - needs to be abstract, final or empty.328
errorMissing a Javadoc comment.328
error'if' construct must use '{}'s.329
error'else' construct must use '{}'s.331
errorMethod 'beginRelationsSection' is not designed for extension - needs to be abstract, final or empty.344
errorMissing a Javadoc comment.344
errorParameter nbrel should be final.344
errorMethod 'beginRelation' is not designed for extension - needs to be abstract, final or empty.350
errorMissing a Javadoc comment.350
errorParameter name should be final.350
errorParameter arity should be final.350
errorParameter nbTuples should be final.350
errorParameter isSupport should be final.351
error'if' construct must use '{}'s.353
errorMethod 'addRelationTuple' is not designed for extension - needs to be abstract, final or empty.364
errorMissing a Javadoc comment.364
errorParameter tuple should be final.364
errorMissing a Javadoc comment.368
errorMethod 'endRelationsSection' is not designed for extension - needs to be abstract, final or empty.371
errorMissing a Javadoc comment.371
error'if' construct must use '{}'s.372
error'else' construct must use '{}'s.375
errorMethod 'beginPredicatesSection' is not designed for extension - needs to be abstract, final or empty.379
errorMissing a Javadoc comment.379
errorParameter arg0 should be final.379
errorMethod 'beginPredicate' is not designed for extension - needs to be abstract, final or empty.383
errorMissing a Javadoc comment.383
errorParameter name should be final.383
error'if' construct must use '{}'s.386
errorMethod 'addFormalParameter' is not designed for extension - needs to be abstract, final or empty.390
errorMissing a Javadoc comment.390
errorParameter name should be final.390
errorParameter type should be final.390
errorMethod 'predicateExpression' is not designed for extension - needs to be abstract, final or empty.395
errorMissing a Javadoc comment.395
errorParameter expr should be final.395
errorMissing a Javadoc comment.399
errorMethod 'endPredicatesSection' is not designed for extension - needs to be abstract, final or empty.403
errorMissing a Javadoc comment.403
error'if' construct must use '{}'s.404
error'else' construct must use '{}'s.407
errorMethod 'beginConstraintsSection' is not designed for extension - needs to be abstract, final or empty.411
errorMissing a Javadoc comment.411
errorParameter arg0 should be final.411
errorMethod 'beginConstraint' is not designed for extension - needs to be abstract, final or empty.417
errorMissing a Javadoc comment.417
errorParameter name should be final.417
errorParameter arity should be final.417
error'if' construct must use '{}'s.422
error'100' is a magic number.424
errorMethod 'constraintReference' is not designed for extension - needs to be abstract, final or empty.427
errorMissing a Javadoc comment.427
errorParameter ref should be final.427
errorMethod 'addVariableToConstraint' is not designed for extension - needs to be abstract, final or empty.436
errorMissing a Javadoc comment.436
errorParameter arg0 should be final.436
errorMethod 'addEffectiveParameter' is not designed for extension - needs to be abstract, final or empty.440
errorMissing a Javadoc comment.440
errorParameter arg0 should be final.440
errorMethod 'addEffectiveParameter' is not designed for extension - needs to be abstract, final or empty.444
errorMissing a Javadoc comment.444
errorParameter arg0 should be final.444
errorMethod 'beginParameterList' is not designed for extension - needs to be abstract, final or empty.448
errorMissing a Javadoc comment.448
errorMissing a Javadoc comment.454
errorParameter arg0 should be final.454
errorMissing a Javadoc comment.459
errorParameter arg0 should be final.459
errorMissing a Javadoc comment.464
errorMethod 'addConstantParameter' is not designed for extension - needs to be abstract, final or empty.469
errorMissing a Javadoc comment.469
errorParameter arg0 should be final.469
errorParameter arg1 should be final.469
errorMethod 'constraintExpression' is not designed for extension - needs to be abstract, final or empty.474
errorMissing a Javadoc comment.474
errorParameter arg0 should be final.474
errorMethod 'endConstraint' is not designed for extension - needs to be abstract, final or empty.479
errorMissing a Javadoc comment.479
errorMethod 'endConstraintsSection' is not designed for extension - needs to be abstract, final or empty.487
errorMissing a Javadoc comment.487
error'if' construct must use '{}'s.488
error'else' construct must use '{}'s.490
errorMissing a Javadoc comment.494
errorMethod 'getProblem' is not designed for extension - needs to be abstract, final or empty.498
errorMissing a Javadoc comment.498

org/sat4j/specs/IProblem.java

ViolationMessageLine
errorFile does not end with a newline.0
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.30
errorLine has trailing spaces.38
errorLine has trailing spaces.49
errorLine has trailing spaces.61
errorExpected @throws tag for 'TimeoutException'.64
errorLine has trailing spaces.69
errorExpected @throws tag for 'TimeoutException'.76
errorLine has trailing spaces.85
errorLine has trailing spaces.87
errorLine has trailing spaces.103
errorLine has trailing spaces.105
errorExpected @param tag for 'assumps'.112
errorLine has trailing spaces.117
errorLine has trailing spaces.124

org/sat4j/minisat/core/Handle.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.34
errorType Javadoc comment is missing an @param <T> tag.37
error'<' is not preceded with whitespace.37
error'<' is not followed by whitespace.37
error'>' is not preceded with whitespace.37
errorMissing a Javadoc comment.38
errorMissing a Javadoc comment.40
errorVariable 'obj' must be private and have accessor methods.40

org/sat4j/minisat/core/IntQueue.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.32
errorLine has trailing spaces.35
errorMissing a Javadoc comment.40
errorMissing a Javadoc comment.42
errorLine has trailing spaces.47
errorLine has trailing spaces.60
errorFirst sentence should end with a period.68
errorLine has trailing spaces.78
errorLine has trailing spaces.87
errorMissing a Javadoc comment.99
errorMissing a Javadoc comment.114
errorMissing a Javadoc comment.116
errorMissing a Javadoc comment.118

org/sat4j/specs/ContradictionException.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.35
errorMissing a Javadoc comment.40
errorLine has trailing spaces.43

org/sat4j/minisat/constraints/PBMaxClauseAtLeastConstrDataStructure.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorMissing a Javadoc comment.32
errorLine has trailing spaces.36
errorMethod 'constructCard' is not designed for extension - needs to be abstract, final or empty.40
errorMissing a Javadoc comment.40
errorParameter lits should be final.41
errorParameter degree should be final.41
errorMethod 'constructLearntCard' is not designed for extension - needs to be abstract, final or empty.46
errorMissing a Javadoc comment.46
errorParameter literals should be final.47
errorParameter degree should be final.47

org/sat4j/minisat/orders/VarOrderHeapObjective.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorUnused import - org.sat4j.minisat.core.LiteralsUtils.var.28
errorMissing a Javadoc comment.37
error'<' is not preceded with whitespace.37
error'<' is not followed by whitespace.37
error'>' is not preceded with whitespace.37
errorLine has trailing spaces.40
errorMissing a Javadoc comment.44
errorMethod 'setObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.46
errorMissing a Javadoc comment.46
errorParameter obj should be final.46
error'obj' hides a field.46
errorMethod 'init' is not designed for extension - needs to be abstract, final or empty.50
errorMissing a Javadoc comment.50
error'<' is not preceded with whitespace.55
error'<' is not followed by whitespace.55
error'>' is not preceded with whitespace.55
error'if' construct must use '{}'s.64
errorLine has trailing spaces.70
errorMethod 'updateVar' is not designed for extension - needs to be abstract, final or empty.71
errorMissing a Javadoc comment.71
errorParameter p should be final.72
error'if' construct must use '{}'s.75
errorLine has trailing spaces.77
errorLine has trailing spaces.78
errorMethod 'assignLiteral' is not designed for extension - needs to be abstract, final or empty.79
errorMissing a Javadoc comment.79
errorParameter p should be final.80
error'>>' is not preceded with whitespace.81
error'>>' is not followed by whitespace.81

org/sat4j/reader/Reader.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.43
errorMethod 'parseInstance' is not designed for extension - needs to be abstract, final or empty.48
errorMissing a Javadoc comment.48
errorRedundant throws: 'FileNotFoundException' is subclass of 'IOException'.49
errorMethod 'parseInstance' is not designed for extension - needs to be abstract, final or empty.63
errorMissing a Javadoc comment.63
errorMissing a Javadoc comment.68
errorLine has trailing spaces.73
errorLine has trailing spaces.83
errorMethod 'isVerbose' is not designed for extension - needs to be abstract, final or empty.91
errorMissing a Javadoc comment.91
errorMethod 'setVerbosity' is not designed for extension - needs to be abstract, final or empty.95
errorMissing a Javadoc comment.95
errorParameter b should be final.95
errorMissing a Javadoc comment.99

org/sat4j/reader/XMLCSPReader.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorMissing a Javadoc comment.40
errorMissing a Javadoc comment.42
errorMissing a Javadoc comment.44
errorParameter solver should be final.44
errorMethod 'decode' is not designed for extension - needs to be abstract, final or empty.48
errorMissing a Javadoc comment.48
errorParameter model should be final.49
errorMethod 'decode' is not designed for extension - needs to be abstract, final or empty.53
errorMissing a Javadoc comment.53
errorParameter model should be final.54
errorParameter out should be final.54
errorLine has trailing spaces.60
errorMethod 'parseInstance' is not designed for extension - needs to be abstract, final or empty.63
errorMissing a Javadoc comment.63
errorParameter filename should be final.64
errorRedundant throws: 'FileNotFoundException' is subclass of 'IOException'.65
errorMethod 'parseInstance' is not designed for extension - needs to be abstract, final or empty.77
errorMissing a Javadoc comment.77
errorParameter in should be final.78
errorLine has trailing spaces.85
errorMethod 'setVerbosity' is not designed for extension - needs to be abstract, final or empty.88
errorMissing a Javadoc comment.88
errorParameter b should be final.89

org/sat4j/minisat/constraints/PuebloPBMinClauseAtLeastConstrDataStructure.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorMissing a Javadoc comment.32
errorLine has trailing spaces.36
errorMethod 'constructCard' is not designed for extension - needs to be abstract, final or empty.40
errorMissing a Javadoc comment.40
errorParameter lits should be final.41
errorParameter degree should be final.41
errorMethod 'constructLearntCard' is not designed for extension - needs to be abstract, final or empty.46
errorMissing a Javadoc comment.46
errorParameter literals should be final.47
errorParameter degree should be final.47

org/sat4j/minisat/constraints/pb/IConflict.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorMissing a Javadoc comment.31
errorLine has trailing spaces.35
errorMissing a Javadoc comment.46
errorMissing a Javadoc comment.48
errorLine has trailing spaces.53
errorRedundant 'public' modifier.56
errorExpected @param tag for 'wpb'.56
errorExpected @param tag for 'coefsBis'.57
errorExpected @param tag for 'indLitImplied'.57
errorExpected @param tag for 'degreeBis'.58
errorFirst sentence should end with a period.60
errorLine has trailing spaces.63
errorRedundant 'public' modifier.69
errorMissing a Javadoc comment.71
errorRedundant 'public' modifier.71
errorMissing a Javadoc comment.72
errorRedundant 'public' modifier.72

org/sat4j/minisat/core/Undoable.java

ViolationMessageLine
errorFile does not end with a newline.0
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.30
errorFirst sentence should end with a period.35
errorLine has trailing spaces.37

org/sat4j/minisat/constraints/AbstractCardinalityDataStructure.java

ViolationMessageLine
errorFile does not end with a newline.0
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
error'<' is not preceded with whitespace.44
error'<' is not followed by whitespace.44
error'>' is not preceded with whitespace.44
errorMethod 'createPseudoBooleanConstraint' is not designed for extension - needs to be abstract, final or empty.50
errorMissing a Javadoc comment.50
errorParameter literals should be final.51
errorParameter coefs should be final.52
error'<' is not preceded with whitespace.52
error'<' is not followed by whitespace.52
error'>' is not preceded with whitespace.52
errorParameter moreThan should be final.52
errorParameter degree should be final.52
errorMissing a Javadoc comment.69
errorParameter v should be final.69
error'<' is not preceded with whitespace.69
error'<' is not followed by whitespace.69
error'>' is not preceded with whitespace.69
error'if' construct must use '{}'s.71
errorMissing a Javadoc comment.77
errorParameter coefs should be final.77
error'<' is not preceded with whitespace.77
error'<' is not followed by whitespace.77
error'>' is not preceded with whitespace.77
errorParameter literals should be final.77
errorMethod 'createLits' is not designed for extension - needs to be abstract, final or empty.91
errorMissing a Javadoc comment.91

org/sat4j/minisat/core/TextOutputListener.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.29
errorLine has trailing spaces.31
errorMissing a Javadoc comment.35
errorMethod 'assuming' is not designed for extension - needs to be abstract, final or empty.37
errorMissing a Javadoc comment.37
errorParameter p should be final.37
errorMethod 'propagating' is not designed for extension - needs to be abstract, final or empty.41
errorMissing a Javadoc comment.41
errorParameter p should be final.41
errorMethod 'backtracking' is not designed for extension - needs to be abstract, final or empty.45
errorMissing a Javadoc comment.45
errorParameter p should be final.45
errorMethod 'adding' is not designed for extension - needs to be abstract, final or empty.49
errorMissing a Javadoc comment.49
errorParameter p should be final.49
errorMissing a Javadoc comment.53
errorParameter clause should be final.53
errorMissing a Javadoc comment.57
errorParameter clause should be final.57
errorMethod 'conflictFound' is not designed for extension - needs to be abstract, final or empty.61
errorMissing a Javadoc comment.61
errorMethod 'solutionFound' is not designed for extension - needs to be abstract, final or empty.65
errorMissing a Javadoc comment.65
errorMissing a Javadoc comment.69
errorMissing a Javadoc comment.72
errorMissing a Javadoc comment.75
errorParameter result should be final.75

org/sat4j/minisat/orders/JWOrder.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
error'<' is not preceded with whitespace.42
error'<' is not followed by whitespace.42
error'>' is not preceded with whitespace.42
errorMissing a Javadoc comment.44
errorMissing a Javadoc comment.46
errorParameter var should be final.46
error'100' is a magic number.52
error'5' is a magic number.52
error'10' is a magic number.52
errorLine has trailing spaces.65
errorMethod 'init' is not designed for extension - needs to be abstract, final or empty.68
errorMissing a Javadoc comment.68
error'<' is not preceded with whitespace.71
error'<' is not followed by whitespace.71
error'>' is not preceded with whitespace.71
error'<' is not preceded with whitespace.71
error'<' is not followed by whitespace.71
error'>' is not preceded with whitespace.71
error'>' is not followed by whitespace.71
error',' is not followed by whitespace.74
error'>>' is not preceded with whitespace.74
errorLine has trailing spaces.92
errorMethod 'updateActivity' is not designed for extension - needs to be abstract, final or empty.95
errorMissing a Javadoc comment.95
errorParameter var should be final.96
errorMethod 'toString' is not designed for extension - needs to be abstract, final or empty.100
errorMissing a Javadoc comment.100
errorLine is longer than 80 characters.102

org/sat4j/minisat/constraints/pb/WatchPb.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorMissing a Javadoc comment.42
errorFirst sentence should end with a period.44
errorFirst sentence should end with a period.49
errorFirst sentence should end with a period.54
errorName 'rand' must match pattern '^[A-Z][A-Z0-9]*(_[A-Z0-9]+)*$'.57
errorFirst sentence should end with a period.59
errorVariable 'activity' must be private and have accessor methods.62
errorFirst sentence should end with a period.64
errorVariable 'coefs' must be private and have accessor methods.67
errorFirst sentence should end with a period.69
errorVariable 'degree' must be private and have accessor methods.72
errorFirst sentence should end with a period.74
errorVariable 'lits' must be private and have accessor methods.77
errorFirst sentence should end with a period.79
errorVariable 'learnt' must be private and have accessor methods.82
errorFirst sentence should end with a period.84
errorVariable 'locked' must be private and have accessor methods.87
errorFirst sentence should end with a period.89
errorVariable 'watchCumul' must be private and have accessor methods.92
errorFirst sentence should end with a period.94
errorVariable 'voc' must be private and have accessor methods.97
errorMissing a Javadoc comment.105
errorParameter mpb should be final.105
errorMissing a Javadoc comment.117
errorParameter lits should be final.117
error'lits' hides a field.117
errorParameter coefs should be final.117
error'coefs' hides a field.117
errorParameter degree should be final.117
error'degree' hides a field.117
errorLine contains a tab character.118
errorLine contains a tab character.119
errorLine contains a tab character.120
errorFirst sentence should end with a period.125
errorLine is longer than 80 characters.126
errorLine has trailing spaces.127
errorMethod 'isAssertive' is not designed for extension - needs to be abstract, final or empty.131
errorParameter dl should be final.131
errorExpected @param tag for 'dl'.131
error'if' construct must use '{}'s.134
errorLine is longer than 80 characters.135
error'if' construct must use '{}'s.139
errorLine is longer than 80 characters.143
errorFirst sentence should end with a period.151
errorLine has trailing spaces.153
errorLine has trailing spaces.157
errorLine is longer than 80 characters.157
errorLine contains a tab character.157
errorMethod 'calcReason' is not designed for extension - needs to be abstract, final or empty.160
errorParameter p should be final.160
errorParameter outReason should be final.160
errorMissing a Javadoc comment.168
error'protected' modifier out of order with the JLS suggestions.168
errorMissing a Javadoc comment.170
error'protected' modifier out of order with the JLS suggestions.170
errorFirst sentence should end with a period.173
errorLine has trailing spaces.174
errorLine has trailing spaces.175
errorMethod 'get' is not designed for extension - needs to be abstract, final or empty.180
errorParameter i should be final.180
errorFirst sentence should end with a period.184
errorLine has trailing spaces.186
errorMethod 'getCoef' is not designed for extension - needs to be abstract, final or empty.191
errorParameter i should be final.191
errorFirst sentence should end with a period.195
errorLine has trailing spaces.197
errorMethod 'getActivity' is not designed for extension - needs to be abstract, final or empty.201
errorMissing a Javadoc comment.205
errorParameter ps should be final.205
errorParameter bigCoefs should be final.206
error'<' is not preceded with whitespace.206
error'<' is not followed by whitespace.206
error'>' is not preceded with whitespace.206
errorParameter moreThan should be final.206
errorParameter bigDeg should be final.206
errorParameter voc should be final.207
errorMissing a Javadoc comment.219
errorParameter ps should be final.219
errorParameter bigCoefs should be final.220
error'<' is not preceded with whitespace.220
error'<' is not followed by whitespace.220
error'>' is not preceded with whitespace.220
errorParameter moreThan should be final.220
errorParameter bigDeg should be final.220
errorParameter voc should be final.221
error'for' construct must use '{}'s.235
error'if' construct must use '{}'s.243
error'if' construct must use '{}'s.245
error'if' construct must use '{}'s.247
errorFirst sentence should end with a period.252
errorLine has trailing spaces.254
errorMethod 'incActivity' is not designed for extension - needs to be abstract, final or empty.257
errorParameter claInc should be final.257
errorExpected @param tag for 'claInc'.257
errorFirst sentence should end with a period.261
errorLine has trailing spaces.264
errorMethod 'slackConstraint' is not designed for extension - needs to be abstract, final or empty.267
errorFirst sentence should end with a period.271
errorLine has trailing spaces.274
errorMethod 'slackConstraint' is not designed for extension - needs to be abstract, final or empty.281
errorParameter coefs should be final.281
error'coefs' hides a field.281
errorParameter degree should be final.281
error'degree' hides a field.281
errorFirst sentence should end with a period.285
errorLine is longer than 80 characters.286
errorLine has trailing spaces.288
errorMethod 'recalcLeftSide' is not designed for extension - needs to be abstract, final or empty.293
errorParameter coefs should be final.293
error'coefs' hides a field.293
error'for' construct must use '{}'s.296
errorFirst sentence should end with a period.304
errorLine is longer than 80 characters.305
errorLine has trailing spaces.307
errorMethod 'recalcLeftSide' is not designed for extension - needs to be abstract, final or empty.310
errorFirst sentence should end with a period.314
errorLine has trailing spaces.316
errorMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.319
errorLine has trailing spaces.325
errorMethod 'learnt' is not designed for extension - needs to be abstract, final or empty.329
errorLine has trailing spaces.335
errorMethod 'locked' is not designed for extension - needs to be abstract, final or empty.338
errorFirst sentence should end with a period.342
errorLine has trailing spaces.344
errorParameter a should be final.351
errorParameter b should be final.351
errorLine has trailing spaces.357
errorMethod 'rescaleBy' is not designed for extension - needs to be abstract, final or empty.361
errorParameter d should be final.361
errorMethod 'selectionSort' is not designed for extension - needs to be abstract, final or empty.365
errorMissing a Javadoc comment.365
errorParameter from should be final.365
errorParameter to should be final.365
errorName 'best_i' must match pattern '^[a-z][a-zA-Z0-9]*$'.366
error'if' construct must use '{}'s.373
errorFirst sentence should end with a period.385
errorMethod 'setLearnt' is not designed for extension - needs to be abstract, final or empty.388
errorFirst sentence should end with a period.392
errorLine has trailing spaces.394
errorMethod 'simplify' is not designed for extension - needs to be abstract, final or empty.397
errorMethod 'size' is not designed for extension - needs to be abstract, final or empty.412
errorMissing a Javadoc comment.412
errorFirst sentence should end with a period.416
error'protected' modifier out of order with the JLS suggestions.419
errorFirst sentence should end with a period.432
errorLine has trailing spaces.434
error'protected' modifier out of order with the JLS suggestions.440
errorParameter from should be final.440
errorParameter to should be final.440
error'if' construct must use '{}'s.442
error'15' is a magic number.442
error'do' construct must use '{}'s.453
error'do' construct must use '{}'s.456
error'if' construct must use '{}'s.460
errorMethod 'toString' is not designed for extension - needs to be abstract, final or empty.477
errorMissing a Javadoc comment.477
errorMethod 'assertConstraint' is not designed for extension - needs to be abstract, final or empty.502
errorMissing a Javadoc comment.502
errorParameter s should be final.502
errorMethod 'getDegree' is not designed for extension - needs to be abstract, final or empty.517
errorMethod 'register' is not designed for extension - needs to be abstract, final or empty.521
errorMissing a Javadoc comment.521
errorMissing a Javadoc comment.531
error'<' is not preceded with whitespace.531
error'<' is not followed by whitespace.531
error'>' is not preceded with whitespace.531
errorParameter vec should be final.531
error'<' is not preceded with whitespace.532
error'<' is not followed by whitespace.532
error'>' is not preceded with whitespace.532
error'<' is not preceded with whitespace.532
error'<' is not followed by whitespace.532
error'>' is not preceded with whitespace.532
error'>' is not followed by whitespace.532
error'for' construct must use '{}'s.533
errorMissing a Javadoc comment.538
errorParameter i should be final.538
errorMethod 'getCoefs' is not designed for extension - needs to be abstract, final or empty.542
errorMissing a Javadoc comment.542
errorMethod 'getLits' is not designed for extension - needs to be abstract, final or empty.548
errorMissing a Javadoc comment.548
errorMethod 'getVocabulary' is not designed for extension - needs to be abstract, final or empty.554
errorMissing a Javadoc comment.554
errorFirst sentence should end with a period.558
errorExpected an @return tag.561
errorMethod 'computeAnImpliedClause' is not designed for extension - needs to be abstract, final or empty.561
error'for' construct must use '{}'s.571
errorMethod 'coefficientsEqualToOne' is not designed for extension - needs to be abstract, final or empty.578
errorMissing a Javadoc comment.578

org/sat4j/reader/OPBReader2007.java

ViolationMessageLine
errorLine has trailing spaces.2
errorLine has trailing spaces.20
errorLine has trailing spaces.25
errorMissing a Javadoc comment.29
errorParameter solver should be final.36
errorExpected @param tag for 'solver'.36
errorMethod 'isGoodFirstCharacter' is not designed for extension - needs to be abstract, final or empty.41
errorMissing a Javadoc comment.41
errorParameter c should be final.42
errorMethod 'checkId' is not designed for extension - needs to be abstract, final or empty.46
errorMissing a Javadoc comment.46
errorParameter s should be final.47
error'if' construct must use '{}'s.50
errorFirst sentence should end with a period.59
errorMethod 'readTerm' is not designed for extension - needs to be abstract, final or empty.64
errorMissing a Javadoc comment.64
errorParameter coeff should be final.65
errorParameter var should be final.65
error'<' is not preceded with whitespace.72
error'<' is not followed by whitespace.72
error'>' is not preceded with whitespace.72
error'<' is not preceded with whitespace.72
error'<' is not followed by whitespace.72
error'>' is not preceded with whitespace.72
error'>' is not followed by whitespace.72
error'if' construct must use '{}'s.78
errorFirst sentence should end with a period.90
errorLine has trailing spaces.92
errorMethod 'literalInAProduct' is not designed for extension - needs to be abstract, final or empty.99
errorParameter var should be final.99
errorParameter lits should be final.99
errorAvoid inline conditionals.100
errorAvoid inline conditionals.102
errorFirst sentence should end with a period.106
errorLine has trailing spaces.108
errorMethod 'negateLiteralInAProduct' is not designed for extension - needs to be abstract, final or empty.115
errorParameter var should be final.115
errorParameter lits should be final.115
errorAvoid inline conditionals.116
errorAvoid inline conditionals.118
errorFirst sentence should end with a period.122
errorLine has trailing spaces.125
errorMethod 'readMetaData' is not designed for extension - needs to be abstract, final or empty.129
errorExpected @throws tag for 'IOException'.130
errorExpected @throws tag for 'ParseFormatException'.130
error'if' construct must use '{}'s.136
error'if' construct must use '{}'s.141
error'if' construct must use '{}'s.149
error'if' construct must use '{}'s.170
errorMethod 'translateVarToId' is not designed for extension - needs to be abstract, final or empty.180
errorMissing a Javadoc comment.180
errorParameter var should be final.181
errorAvoid inline conditionals.182
errorAvoid inline conditionals.184
errorMissing a Javadoc comment.187
errorParameter tmpLit should be final.187
error'<' is not preceded with whitespace.187
error'<' is not followed by whitespace.187
error'>' is not preceded with whitespace.187
error'for' construct must use '{}'s.200
error'<' is not preceded with whitespace.208
error'<' is not followed by whitespace.208
error'>' is not preceded with whitespace.208
error'<' is not preceded with whitespace.208
error'<' is not followed by whitespace.208
error'>' is not preceded with whitespace.208
error'>' is not followed by whitespace.208
errorLine is longer than 80 characters.221
errorMissing a Javadoc comment.221
error'<' is not preceded with whitespace.221
error'<' is not followed by whitespace.221
error'<' is not preceded with whitespace.221
error'<' is not followed by whitespace.221
error'>' is not preceded with whitespace.221
error'>' is not followed by whitespace.221
error'>' is not preceded with whitespace.221
error'<' is not preceded with whitespace.221
error'<' is not followed by whitespace.221
error'<' is not preceded with whitespace.221
error'<' is not followed by whitespace.221
error'>' is not preceded with whitespace.221
error'>' is not followed by whitespace.221
error'>' is not preceded with whitespace.221
error'>' is not followed by whitespace.221
errorMissing a Javadoc comment.223
errorParameter lits should be final.223
error'<' is not preceded with whitespace.223
error'<' is not followed by whitespace.223
error'>' is not preceded with whitespace.223
error'for' construct must use '{}'s.224
error'<' is not preceded with whitespace.224
error'<' is not followed by whitespace.224
error'<' is not preceded with whitespace.224
error'<' is not followed by whitespace.224
error'>' is not preceded with whitespace.224
error'>' is not followed by whitespace.224
error'>' is not preceded with whitespace.224
error'if' construct must use '{}'s.225

org/sat4j/reader/csp/Evaluable.java

ViolationMessageLine
errorFile does not end with a newline.0
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorMissing a Javadoc comment.31
errorLine has trailing spaces.35
errorLine has trailing spaces.42
errorLine has trailing spaces.52

org/sat4j/minisat/learning/FixedLengthLearning.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.34
errorType Javadoc comment is missing an @param <L> tag.37
error'<' is not preceded with whitespace.37
error'<' is not followed by whitespace.37
error'>' is not preceded with whitespace.37
error'<' is not preceded with whitespace.37
error'<' is not followed by whitespace.37
error'>' is not preceded with whitespace.37
errorMissing a Javadoc comment.39
errorMissing a Javadoc comment.41
errorMissing a Javadoc comment.43
errorMissing a Javadoc comment.45
error'3' is a magic number.46
errorMissing a Javadoc comment.49
errorParameter maxlength should be final.49
error'maxlength' hides a field.49
errorLine has trailing spaces.55
errorLine is longer than 80 characters.56
errorMethod 'init' is not designed for extension - needs to be abstract, final or empty.58
errorMissing a Javadoc comment.58
errorMethod 'setMaxLength' is not designed for extension - needs to be abstract, final or empty.63
errorMissing a Javadoc comment.63
errorParameter v should be final.63
errorMethod 'getMaxLength' is not designed for extension - needs to be abstract, final or empty.67
errorMissing a Javadoc comment.67
errorMethod 'toString' is not designed for extension - needs to be abstract, final or empty.71
errorMissing a Javadoc comment.71
errorLine is longer than 80 characters.73
errorMethod 'setBound' is not designed for extension - needs to be abstract, final or empty.77
errorMissing a Javadoc comment.77
errorParameter newbound should be final.77
errorLine has trailing spaces.80
errorMethod 'learningCondition' is not designed for extension - needs to be abstract, final or empty.81
errorMissing a Javadoc comment.81
errorParameter constr should be final.82

org/sat4j/core/VecInt.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.43
errorMissing a Javadoc comment.48
errorMissing a Javadoc comment.50
errorMissing a Javadoc comment.52
errorLine has trailing spaces.56
errorParameter nofelems should be final.66
errorParameter newsize should be final.70
errorParameter newsize should be final.79
errorParameter pad should be final.79
errorParameter nsize should be final.83
errorParameter elem should be final.87
errorParameter elem should be final.92
errorParameter i should be final.106
errorParameter i should be final.111
errorParameter o should be final.111
errorParameter e should be final.116
errorParameter copy should be final.121
errorParameter is should be final.126
errorParameter dest should be final.130
errorParameter dest should be final.134
errorParameter dest should be final.138
errorParameter elem should be final.142
errorParameter elem should be final.147
errorParameter i should be final.152
errorMissing a Javadoc comment.165
error'5' is a magic number.166
errorMissing a Javadoc comment.169
errorParameter size should be final.169
errorLine has trailing spaces.175
errorLine has trailing spaces.179
errorParameter lits should be final.183
errorLine has trailing spaces.190
errorParameter size should be final.196
errorParameter pad should be final.196
errorMethod 'size' is not designed for extension - needs to be abstract, final or empty.204
errorMissing a Javadoc comment.204
errorFirst sentence should end with a period.208
errorLine has trailing spaces.210
errorMethod 'shrink' is not designed for extension - needs to be abstract, final or empty.213
errorParameter nofelems should be final.213
errorExpected @param tag for 'nofelems'.213
errorMethod 'shrinkTo' is not designed for extension - needs to be abstract, final or empty.219
errorMissing a Javadoc comment.219
errorParameter newsize should be final.219
errorExpected an @return tag.229
errorMethod 'pop' is not designed for extension - needs to be abstract, final or empty.229
errorMethod 'growTo' is not designed for extension - needs to be abstract, final or empty.235
errorMissing a Javadoc comment.235
errorParameter newsize should be final.235
errorMethod 'ensure' is not designed for extension - needs to be abstract, final or empty.243
errorMissing a Javadoc comment.243
errorParameter nsize should be final.243
errorMethod 'push' is not designed for extension - needs to be abstract, final or empty.251
errorMissing a Javadoc comment.251
errorParameter elem should be final.251
errorMethod 'unsafePush' is not designed for extension - needs to be abstract, final or empty.257
errorMissing a Javadoc comment.257
errorParameter elem should be final.257
errorMethod 'clear' is not designed for extension - needs to be abstract, final or empty.261
errorMissing a Javadoc comment.261
errorMethod 'last' is not designed for extension - needs to be abstract, final or empty.265
errorMissing a Javadoc comment.265
errorMethod 'get' is not designed for extension - needs to be abstract, final or empty.270
errorMissing a Javadoc comment.270
errorParameter i should be final.270
errorMethod 'unsafeGet' is not designed for extension - needs to be abstract, final or empty.275
errorMissing a Javadoc comment.275
errorParameter i should be final.275
errorMethod 'set' is not designed for extension - needs to be abstract, final or empty.279
errorMissing a Javadoc comment.279
errorParameter i should be final.279
errorParameter o should be final.279
errorMethod 'contains' is not designed for extension - needs to be abstract, final or empty.284
errorMissing a Javadoc comment.284
errorParameter e should be final.284
error'if' construct must use '{}'s.287
errorLine has trailing spaces.296
errorMethod 'copyTo' is not designed for extension - needs to be abstract, final or empty.299
errorParameter copy should be final.299
errorExpected @param tag for 'copy'.299
errorMethod 'copyTo' is not designed for extension - needs to be abstract, final or empty.315
errorParameter is should be final.315
errorExpected @param tag for 'is'.315
errorMethod 'moveTo' is not designed for extension - needs to be abstract, final or empty.323
errorMissing a Javadoc comment.323
errorParameter dest should be final.323
errorMethod 'moveTo2' is not designed for extension - needs to be abstract, final or empty.328
errorMissing a Javadoc comment.328
errorParameter dest should be final.328
errorArray brackets at illegal position.331
errorMethod 'moveTo' is not designed for extension - needs to be abstract, final or empty.339
errorMissing a Javadoc comment.339
errorParameter dest should be final.339
errorParameter source should be final.339
errorMethod 'moveTo' is not designed for extension - needs to be abstract, final or empty.343
errorMissing a Javadoc comment.343
errorParameter dest should be final.343
errorLine has trailing spaces.352
errorMethod 'insertFirst' is not designed for extension - needs to be abstract, final or empty.356
errorLine has trailing spaces.367
errorMethod 'remove' is not designed for extension - needs to be abstract, final or empty.371
errorParameter elem should be final.371
errorLine has trailing spaces.384
errorMethod 'delete' is not designed for extension - needs to be abstract, final or empty.390
errorParameter i should be final.390
errorMissing a Javadoc comment.397
errorMissing a Javadoc comment.399
errorLine has trailing spaces.403
errorMethod 'toString' is not designed for extension - needs to be abstract, final or empty.406
errorMissing a Javadoc comment.406
errorMissing a Javadoc comment.419
errorMethod 'selectionSort' is not designed for extension - needs to be abstract, final or empty.421
errorMissing a Javadoc comment.421
errorParameter from should be final.421
errorParameter to should be final.421
errorName 'best_i' must match pattern '^[a-z][a-zA-Z0-9]*$'.422
error'if' construct must use '{}'s.428
errorMethod 'sort' is not designed for extension - needs to be abstract, final or empty.437
errorMissing a Javadoc comment.437
errorParameter from should be final.437
errorParameter to should be final.437
error'if' construct must use '{}'s.439
error'15' is a magic number.439
error'do' construct must use '{}'s.450
error'do' construct must use '{}'s.453
error'if' construct must use '{}'s.457
errorMethod 'sort' is not designed for extension - needs to be abstract, final or empty.473
errorMethod 'sortUnique' is not designed for extension - needs to be abstract, final or empty.477
errorMissing a Javadoc comment.477
error'if' construct must use '{}'s.480
errorInner assignments should be avoided.489
errorLine has trailing spaces.499
errorLine has trailing spaces.504
errorMethod 'equals' is not designed for extension - needs to be abstract, final or empty.507
errorParameter obj should be final.508
error'if' construct must use '{}'s.511
errorLine has trailing spaces.525
errorMethod 'hashCode' is not designed for extension - needs to be abstract, final or empty.528
errorMissing a Javadoc comment.528
errorLine has trailing spaces.539
errorMethod 'pushAll' is not designed for extension - needs to be abstract, final or empty.542
errorMissing a Javadoc comment.542
errorParameter vec should be final.542
errorLine has trailing spaces.553
errorMethod 'isSubsetOf' is not designed for extension - needs to be abstract, final or empty.558
errorParameter vec should be final.558
error'if' construct must use '{}'s.565
errorMethod 'iterator' is not designed for extension - needs to be abstract, final or empty.572
errorMissing a Javadoc comment.572
error'<' is not preceded with whitespace.572
error'<' is not followed by whitespace.572
error'>' is not preceded with whitespace.572
error'<' is not preceded with whitespace.573
error'<' is not followed by whitespace.573
error'>' is not preceded with whitespace.573
error'>' is not followed by whitespace.573
error'if' construct must use '{}'s.581
errorMethod 'isEmpty' is not designed for extension - needs to be abstract, final or empty.592
errorMissing a Javadoc comment.592

org/sat4j/minisat/core/LearningStrategy.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.33
errorType Javadoc comment is missing an @param <L> tag.36
error'<' is not preceded with whitespace.36
error'<' is not followed by whitespace.36
error'>' is not preceded with whitespace.36
errorLine has trailing spaces.41
errorMissing a Javadoc comment.45
errorMissing a Javadoc comment.47
errorMissing a Javadoc comment.49
error'<' is not preceded with whitespace.49
error'<' is not followed by whitespace.49
error'>' is not preceded with whitespace.49

org/sat4j/minisat/constraints/cnf/CBClause.java

ViolationMessageLine
errorFile does not end with a newline.0
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorMissing a Javadoc comment.41
errorMissing a Javadoc comment.43
errorVariable 'falsified' must be private and have accessor methods.43
errorMissing a Javadoc comment.45
errorMissing a Javadoc comment.47
errorVariable 'lits' must be private and have accessor methods.47
errorMissing a Javadoc comment.49
errorVariable 'voc' must be private and have accessor methods.49
errorMissing a Javadoc comment.51
errorMissing a Javadoc comment.53
errorParameter s should be final.53
errorParameter voc should be final.53
errorParameter literals should be final.54
errorLine has trailing spaces.61
errorParameter ps should be final.63
errorExpected @param tag for 'ps'.63
errorParameter voc should be final.63
error'voc' hides a field.63
errorExpected @param tag for 'voc'.63
errorParameter learnt should be final.63
error'learnt' hides a field.63
errorExpected @param tag for 'learnt'.63
errorMissing a Javadoc comment.70
errorParameter ps should be final.70
errorParameter voc should be final.70
error'voc' hides a field.70
errorLine has trailing spaces.76
errorMethod 'remove' is not designed for extension - needs to be abstract, final or empty.79
errorMissing a Javadoc comment.79
errorLine has trailing spaces.87
errorLine is longer than 80 characters.88
errorMethod 'propagate' is not designed for extension - needs to be abstract, final or empty.91
errorMissing a Javadoc comment.91
errorParameter s should be final.91
errorParameter p should be final.91
errorLine has trailing spaces.112
errorMethod 'simplify' is not designed for extension - needs to be abstract, final or empty.115
errorMissing a Javadoc comment.115
errorLine has trailing spaces.126
errorMethod 'undo' is not designed for extension - needs to be abstract, final or empty.129
errorMissing a Javadoc comment.129
errorParameter p should be final.129
errorLine has trailing spaces.135
errorMethod 'calcReason' is not designed for extension - needs to be abstract, final or empty.139
errorMissing a Javadoc comment.139
errorParameter p should be final.139
errorParameter outReason should be final.139
errorLine has trailing spaces.152
errorMethod 'learnt' is not designed for extension - needs to be abstract, final or empty.155
errorMissing a Javadoc comment.155
errorLine has trailing spaces.161
errorMethod 'incActivity' is not designed for extension - needs to be abstract, final or empty.164
errorMissing a Javadoc comment.164
errorParameter claInc should be final.164
errorLine has trailing spaces.170
errorMethod 'getActivity' is not designed for extension - needs to be abstract, final or empty.173
errorMissing a Javadoc comment.173
errorLine has trailing spaces.179
errorMethod 'locked' is not designed for extension - needs to be abstract, final or empty.182
errorMissing a Javadoc comment.182
errorLine has trailing spaces.188
errorMethod 'setLearnt' is not designed for extension - needs to be abstract, final or empty.191
errorMissing a Javadoc comment.191
errorLine has trailing spaces.197
errorMethod 'register' is not designed for extension - needs to be abstract, final or empty.200
errorMissing a Javadoc comment.200
errorLine has trailing spaces.217
errorMethod 'rescaleBy' is not designed for extension - needs to be abstract, final or empty.220
errorMissing a Javadoc comment.220
errorParameter d should be final.220
errorLine has trailing spaces.226
errorMethod 'size' is not designed for extension - needs to be abstract, final or empty.229
errorMissing a Javadoc comment.229
errorLine has trailing spaces.235
errorMethod 'get' is not designed for extension - needs to be abstract, final or empty.238
errorMissing a Javadoc comment.238
errorParameter i should be final.238
errorLine has trailing spaces.244
errorLine is longer than 80 characters.245
errorMethod 'assertConstraint' is not designed for extension - needs to be abstract, final or empty.247
errorMissing a Javadoc comment.247
errorParameter s should be final.247
errorMethod 'toString' is not designed for extension - needs to be abstract, final or empty.253
errorMissing a Javadoc comment.253

org/sat4j/minisat/constraints/pb/PBSolverMerging.java

ViolationMessageLine
errorMissing a Javadoc comment.10
error'<' is not preceded with whitespace.10
error'<' is not followed by whitespace.10
error'>' is not preceded with whitespace.10
errorLine contains a tab character.12
errorLine has trailing spaces.13
errorLine contains a tab character.13
errorLine contains a tab character.14
errorLine contains a tab character.15
errorLine contains a tab character.17
errorMissing a Javadoc comment.17
errorParameter acg should be final.17
errorLine is longer than 80 characters.18
errorLine contains a tab character.18
errorParameter learner should be final.18
error'<' is not preceded with whitespace.18
error'<' is not followed by whitespace.18
error'>' is not preceded with whitespace.18
errorParameter dsf should be final.18
error'<' is not preceded with whitespace.18
error'<' is not followed by whitespace.18
error'>' is not preceded with whitespace.18
errorParameter order should be final.18
error'<' is not preceded with whitespace.18
error'<' is not followed by whitespace.18
error'>' is not preceded with whitespace.18
errorLine contains a tab character.19
errorLine contains a tab character.20
errorLine contains a tab character.21
errorLine has trailing spaces.23
errorLine contains a tab character.23
errorMethod 'chooseConflict' is not designed for extension - needs to be abstract, final or empty.25
errorMissing a Javadoc comment.25
errorParameter myconfl should be final.26
errorParameter level should be final.26
errorMethod 'toString' is not designed for extension - needs to be abstract, final or empty.30
errorMissing a Javadoc comment.30
errorParameter prefix should be final.31

org/sat4j/CSPLauncher.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorMissing a Javadoc comment.33
errorLine has trailing spaces.36
errorLine has trailing spaces.42
errorLine contains a tab character.45
errorMethod 'configureSolver' is not designed for extension - needs to be abstract, final or empty.45
errorMissing a Javadoc comment.45
errorLine contains a tab character.46
errorParameter args should be final.46
errorLine contains a tab character.49
errorLine contains a tab character.50
errorLine has trailing spaces.54
errorMethod 'createReader' is not designed for extension - needs to be abstract, final or empty.57
errorMissing a Javadoc comment.57
errorLine is longer than 80 characters.58
errorMissing a Javadoc comment.73
errorParameter args should be final.73
errorMethod 'usage' is not designed for extension - needs to be abstract, final or empty.78
errorMissing a Javadoc comment.78
errorMethod 'getInstanceName' is not designed for extension - needs to be abstract, final or empty.83
errorMissing a Javadoc comment.83
errorParameter args should be final.84

org/sat4j/minisat/constraints/AbstractPBDataStructureFactory.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine is longer than 80 characters.48
error'<' is not preceded with whitespace.48
error'<' is not followed by whitespace.48
error'>' is not preceded with whitespace.48
errorMethod 'createClause' is not designed for extension - needs to be abstract, final or empty.50
errorMissing a Javadoc comment.50
errorParameter literals should be final.50
error'if' construct must use '{}'s.52
errorMethod 'createUnregisteredClause' is not designed for extension - needs to be abstract, final or empty.58
errorMissing a Javadoc comment.58
errorParameter literals should be final.58
errorMethod 'createCardinalityConstraint' is not designed for extension - needs to be abstract, final or empty.62
errorMissing a Javadoc comment.62
errorParameter literals should be final.63
errorParameter degree should be final.63
errorMethod 'createPseudoBooleanConstraint' is not designed for extension - needs to be abstract, final or empty.69
errorMissing a Javadoc comment.69
errorParameter literals should be final.70
errorParameter coefs should be final.71
error'<' is not preceded with whitespace.71
error'<' is not followed by whitespace.71
error'>' is not preceded with whitespace.71
errorParameter moreThan should be final.71
errorParameter degree should be final.71
errorLine has trailing spaces.79
errorExpected @param tag for 'moreThan'.84
errorExpected @throws tag for 'ContradictionException'.85
errorMissing a Javadoc comment.87
error'<' is not preceded with whitespace.88
error'<' is not followed by whitespace.88
error'>' is not preceded with whitespace.88
errorMethod 'createUnregisteredPseudoBooleanConstraint' is not designed for extension - needs to be abstract, final or empty.91
errorMissing a Javadoc comment.91
errorParameter literals should be final.92
errorParameter coefs should be final.93
error'<' is not preceded with whitespace.93
error'<' is not followed by whitespace.93
error'>' is not preceded with whitespace.93
errorParameter degree should be final.93
errorMethod 'createUnregisteredPseudoBooleanConstraint' is not designed for extension - needs to be abstract, final or empty.97
errorMissing a Javadoc comment.97
errorParameter literals should be final.97
errorParameter coefs should be final.98
error'<' is not preceded with whitespace.98
error'<' is not followed by whitespace.98
error'>' is not preceded with whitespace.98
errorParameter moreThan should be final.98
errorParameter degree should be final.98
errorExpected @param tag for 'literals'.109
errorExpected @param tag for 'coefs'.110
errorExpected @param tag for 'degree'.110
errorMissing a Javadoc comment.112
error'<' is not preceded with whitespace.113
error'<' is not followed by whitespace.113
error'>' is not preceded with whitespace.113
errorMethod 'createLits' is not designed for extension - needs to be abstract, final or empty.115
errorMissing a Javadoc comment.115

org/sat4j/minisat/core/DataStructureFactory.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.37
errorType Javadoc comment is missing an @param <L> tag.40
error'<' is not preceded with whitespace.40
error'<' is not followed by whitespace.40
error'>' is not preceded with whitespace.40
errorUnused @throws tag for 'UnsupportedOperationException'.49
errorMissing a Javadoc comment.54
errorMissing a Javadoc comment.56
errorMissing a Javadoc comment.58
errorMissing a Javadoc comment.61
error'<' is not preceded with whitespace.62
error'<' is not followed by whitespace.62
error'>' is not preceded with whitespace.62
errorMissing a Javadoc comment.65
error'<' is not preceded with whitespace.66
error'<' is not followed by whitespace.66
error'>' is not preceded with whitespace.66
errorMissing a Javadoc comment.68
errorMissing a Javadoc comment.70
errorMissing a Javadoc comment.72
errorMissing a Javadoc comment.74
error'<' is not preceded with whitespace.81
error'<' is not followed by whitespace.81
error'>' is not preceded with whitespace.81
errorExpected @param tag for 'p'.81
errorExpected @param tag for 'p'.88

org/sat4j/minisat/constraints/MixedDataStructureWithBinaryAndTernary.java

ViolationMessageLine
errorFile does not end with a newline.0
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
error'<' is not preceded with whitespace.41
error'<' is not followed by whitespace.41
error'>' is not preceded with whitespace.41
errorMissing a Javadoc comment.43
errorLine has trailing spaces.48
errorLine is longer than 80 characters.49
errorLine is longer than 80 characters.51
errorMethod 'createClause' is not designed for extension - needs to be abstract, final or empty.51
errorMissing a Javadoc comment.51
errorParameter literals should be final.51
error'if' construct must use '{}'s.53
error'3' is a magic number.59
errorLine has trailing spaces.68
errorLine is longer than 80 characters.69
errorMethod 'learnConstraint' is not designed for extension - needs to be abstract, final or empty.71
errorMissing a Javadoc comment.71
errorParameter constr should be final.72
error'3' is a magic number.76
errorMethod 'createLits' is not designed for extension - needs to be abstract, final or empty.84
errorMissing a Javadoc comment.84
errorMethod 'createUnregisteredClause' is not designed for extension - needs to be abstract, final or empty.89
errorMissing a Javadoc comment.89
errorParameter literals should be final.89

org/sat4j/minisat/constraints/cnf/Lits23.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorMissing a Javadoc comment.36
errorMissing a Javadoc comment.38
errorLine has trailing spaces.41
errorMissing a Javadoc comment.47
errorParameter p should be final.47
errorParameter q should be final.47
errorParameter r should be final.47
errorMethod 'ternaryClauses' is not designed for extension - needs to be abstract, final or empty.62
errorMissing a Javadoc comment.62
errorParameter lit1 should be final.62
errorParameter lit2 should be final.62
errorParameter lit3 should be final.62
errorMethod 'nTernaryClauses' is not designed for extension - needs to be abstract, final or empty.68
errorMissing a Javadoc comment.68
errorParameter p should be final.68

org/sat4j/minisat/constraints/ClausalDataStructureWL.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine is longer than 80 characters.41
error'<' is not preceded with whitespace.41
error'<' is not followed by whitespace.41
error'>' is not preceded with whitespace.41
errorMissing a Javadoc comment.43
errorLine has trailing spaces.47
errorLine is longer than 80 characters.48
errorMethod 'createClause' is not designed for extension - needs to be abstract, final or empty.50
errorMissing a Javadoc comment.50
errorParameter literals should be final.50
error'if' construct must use '{}'s.52
errorMethod 'createUnregisteredClause' is not designed for extension - needs to be abstract, final or empty.57
errorMissing a Javadoc comment.57
errorParameter literals should be final.57
errorMethod 'createLits' is not designed for extension - needs to be abstract, final or empty.61
errorMissing a Javadoc comment.61

org/sat4j/minisat/learning/PercentLengthLearning.java

ViolationMessageLine
errorMissing a Javadoc comment.12
error'<' is not preceded with whitespace.12
error'<' is not followed by whitespace.12
error'>' is not preceded with whitespace.12
error'<' is not preceded with whitespace.12
error'<' is not followed by whitespace.12
error'>' is not preceded with whitespace.12
error'>' is not followed by whitespace.12
error'{' is not preceded with whitespace.12
errorLine has trailing spaces.15
errorMissing a Javadoc comment.18
errorMissing a Javadoc comment.19
errorLine has trailing spaces.20
errorMissing a Javadoc comment.21
error'10' is a magic number.22
errorLine has trailing spaces.24
errorMissing a Javadoc comment.25
errorParameter percent should be final.25
errorLine has trailing spaces.28
errorMethod 'setLimit' is not designed for extension - needs to be abstract, final or empty.29
errorMissing a Javadoc comment.29
errorParameter percent should be final.29
errorLine has trailing spaces.32
errorMethod 'getLimit' is not designed for extension - needs to be abstract, final or empty.33
errorMissing a Javadoc comment.33
errorMethod 'init' is not designed for extension - needs to be abstract, final or empty.37
errorMissing a Javadoc comment.37
error'100' is a magic number.40
errorMethod 'toString' is not designed for extension - needs to be abstract, final or empty.43
errorMissing a Javadoc comment.43
errorLine is longer than 80 characters.45
errorMethod 'setBound' is not designed for extension - needs to be abstract, final or empty.49
errorMissing a Javadoc comment.49
errorParameter newbound should be final.49
errorMethod 'learningCondition' is not designed for extension - needs to be abstract, final or empty.53
errorMissing a Javadoc comment.53
errorParameter constr should be final.54

org/sat4j/minisat/constraints/MixedDataStructureDanielCBWL.java

ViolationMessageLine
errorMissing a Javadoc comment.9
errorMissing a Javadoc comment.11
errorMethod 'createClause' is not designed for extension - needs to be abstract, final or empty.13
errorMissing a Javadoc comment.13
errorLine is longer than 80 characters.14
errorParameter literals should be final.14
error'if' construct must use '{}'s.16

org/sat4j/MoreThanSAT.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.48
errorClass MoreThanSAT should be declared as final.51
errorLine has trailing spaces.56
errorMissing a Javadoc comment.62
error'3600' is a magic number.65
errorLine is longer than 80 characters.72
errorLine is longer than 80 characters.76
errorLine is longer than 80 characters.77
errorLine is longer than 80 characters.78
errorLine is longer than 80 characters.81
errorLine is longer than 80 characters.90
errorLine is longer than 80 characters.92

org/sat4j/minisat/learning/LimitedLearning.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.37
errorLine is longer than 80 characters.40
errorType Javadoc comment is missing an @param <L> tag.40
error'<' is not preceded with whitespace.40
error'<' is not followed by whitespace.40
error'>' is not preceded with whitespace.40
error'<' is not preceded with whitespace.40
error'<' is not followed by whitespace.40
error'>' is not preceded with whitespace.40
errorMissing a Javadoc comment.42
errorMissing a Javadoc comment.44
error'<' is not preceded with whitespace.44
error'<' is not followed by whitespace.44
error'>' is not preceded with whitespace.44
errorMissing a Javadoc comment.46
error'<' is not preceded with whitespace.46
error'<' is not followed by whitespace.46
error'>' is not preceded with whitespace.46
errorMissing a Javadoc comment.48
errorVariable 'lits' must be private and have accessor methods.48
errorMissing a Javadoc comment.50
error'<' is not preceded with whitespace.51
error'<' is not followed by whitespace.51
error'>' is not preceded with whitespace.51
error'>' is not followed by whitespace.51
error'<' is not preceded with whitespace.52
error'<' is not followed by whitespace.52
error'>' is not preceded with whitespace.52
error'>' is not followed by whitespace.52
errorMethod 'setSolver' is not designed for extension - needs to be abstract, final or empty.55
errorMissing a Javadoc comment.55
errorParameter s should be final.55
error'<' is not preceded with whitespace.55
error'<' is not followed by whitespace.55
error'>' is not preceded with whitespace.55
errorMethod 'learns' is not designed for extension - needs to be abstract, final or empty.61
errorMissing a Javadoc comment.61
errorParameter constr should be final.61
errorMissing a Javadoc comment.69
error'protected' modifier out of order with the JLS suggestions.69
errorLine has trailing spaces.70
errorMethod 'init' is not designed for extension - needs to be abstract, final or empty.71
errorMissing a Javadoc comment.71
errorMethod 'setVarActivityListener' is not designed for extension - needs to be abstract, final or empty.76
errorMissing a Javadoc comment.76
errorParameter s should be final.76

org/sat4j/GenericOptLauncher.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorMissing a Javadoc comment.43
errorLine has trailing spaces.46
errorMissing a Javadoc comment.50
errorMethod 'usage' is not designed for extension - needs to be abstract, final or empty.65
errorMissing a Javadoc comment.65
errorMethod 'createReader' is not designed for extension - needs to be abstract, final or empty.70
errorMissing a Javadoc comment.70
errorParameter solver should be final.71
errorParameter problemname should be final.71
errorMethod 'getInstanceName' is not designed for extension - needs to be abstract, final or empty.78
errorMissing a Javadoc comment.78
errorParameter args should be final.79
errorMethod 'configureSolver' is not designed for extension - needs to be abstract, final or empty.83
errorMissing a Javadoc comment.83
errorParameter args should be final.84
errorLine is longer than 80 characters.108
errorMissing a Javadoc comment.123
errorParameter args should be final.123

org/sat4j/opt/AbstractSelectorVariablesDecorator.java

ViolationMessageLine
errorFile does not end with a newline.0
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorMissing a Javadoc comment.31
errorMissing a Javadoc comment.34
errorVariable 'nborigvars' must be private and have accessor methods.34
errorMissing a Javadoc comment.36
errorMissing a Javadoc comment.38
errorVariable 'nbnewvar' must be private and have accessor methods.38
errorMissing a Javadoc comment.40
errorVariable 'prevfullmodel' must be private and have accessor methods.40
errorMissing a Javadoc comment.42
errorParameter solver should be final.42
errorLine has trailing spaces.45
errorMethod 'model' is not designed for extension - needs to be abstract, final or empty.46
errorMissing a Javadoc comment.46
error'while' construct must use '{}'s.49
errorMethod 'newVar' is not designed for extension - needs to be abstract, final or empty.58
errorMissing a Javadoc comment.58
errorParameter howmany should be final.59
errorMethod 'setExpectedNumberOfClauses' is not designed for extension - needs to be abstract, final or empty.64
errorMissing a Javadoc comment.64
errorParameter nb should be final.65
errorMethod 'reset' is not designed for extension - needs to be abstract, final or empty.71
errorMissing a Javadoc comment.71
errorMethod 'admitABetterSolution' is not designed for extension - needs to be abstract, final or empty.77
errorMissing a Javadoc comment.77
error'if' construct must use '{}'s.79

org/sat4j/reader/csp/Constant.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorMissing a Javadoc comment.31
errorMissing a Javadoc comment.33
errorMissing a Javadoc comment.35
errorMissing a Javadoc comment.37
errorParameter value should be final.37
error'value' hides a field.37
errorMethod 'domain' is not designed for extension - needs to be abstract, final or empty.42
errorMissing a Javadoc comment.42
errorMethod 'translate' is not designed for extension - needs to be abstract, final or empty.46
errorMissing a Javadoc comment.46
errorParameter key should be final.46
errorMethod 'toClause' is not designed for extension - needs to be abstract, final or empty.50
errorMissing a Javadoc comment.50
errorParameter solver should be final.50
errorLine has trailing spaces.56
errorMethod 'toString' is not designed for extension - needs to be abstract, final or empty.59
errorMissing a Javadoc comment.59

org/sat4j/minisat/core/UnitPropagationListener.java

ViolationMessageLine
errorFile does not end with a newline.0
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.30
errorFirst sentence should end with a period.35
errorLine has trailing spaces.37
errorRedundant 'public' modifier.43
errorFirst sentence should end with a period.45
errorLine has trailing spaces.47
errorRedundant 'public' modifier.55

org/sat4j/reader/LecteurDimacs.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.45
errorLine has trailing spaces.47
errorMissing a Javadoc comment.53
errorMissing a Javadoc comment.56
error'static' modifier out of order with the JLS suggestions.56
errorMissing a Javadoc comment.58
errorMissing a Javadoc comment.60
errorMissing a Javadoc comment.63
errorMissing a Javadoc comment.65
errorMissing a Javadoc comment.67
errorMissing a Javadoc comment.72
errorParameter s should be final.72
error's' hides a field.72
errorMissing a Javadoc comment.76
error'in' hides a field.77
error'if' construct must use '{}'s.83
error'if' construct must use '{}'s.89
errorMethod 'parseInstance' is not designed for extension - needs to be abstract, final or empty.96
errorMissing a Javadoc comment.96
errorParameter in should be final.97
error'in' hides a field.97
errorFirst sentence should end with a period.102
errorExpected an @return tag.103
errorExpected @throws tag for 'IOException'.103
error'if' construct must use '{}'s.110
error'if' construct must use '{}'s.113
errorFirst sentence should end with a period.119
errorExpected an @return tag.120
errorExpected @throws tag for 'IOException'.120
errorLine is longer than 80 characters.124
error'if' construct must use '{}'s.126
error'10' is a magic number.128
errorLine is longer than 80 characters.132
error'if' construct must use '{}'s.134
error'10' is a magic number.136
error'if' construct must use '{}'s.138
errorLine has trailing spaces.144
errorParameter car should be final.146
errorExpected @param tag for 'car'.146
errorExpected @throws tag for 'IOException'.146
errorExpected @throws tag for 'ContradictionException'.147
error'if' construct must use '{}'s.156
error'else' construct must use '{}'s.162
error'+' is not preceded with whitespace.163
error'+' is not followed by whitespace.163
error'10' is a magic number.166
errorAvoid inline conditionals.175
error'if' construct must use '{}'s.179
error'if' construct must use '{}'s.181
errorFirst sentence should end with a period.186
errorExpected an @return tag.187
errorExpected @throws tag for 'IOException'.187
error'while' construct must use '{}'s.190
errorInner assignments should be avoided.190
errorEmpty statement.191
errorExpected an @return tag.196
errorExpected @throws tag for 'IOException'.196
errorExpected an @return tag.205
errorExpected @throws tag for 'IOException'.205
errorMethod 'decode' is not designed for extension - needs to be abstract, final or empty.213
errorMissing a Javadoc comment.213
errorParameter model should be final.214
errorMethod 'decode' is not designed for extension - needs to be abstract, final or empty.224
errorMissing a Javadoc comment.224
errorParameter model should be final.225
errorParameter out should be final.225

org/sat4j/tools/SolutionCounter.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.35
errorLine has trailing spaces.38
errorLine has trailing spaces.40
errorLine has trailing spaces.45
errorMissing a Javadoc comment.49
errorParameter solver should be final.49
errorMethod 'countSolutions' is not designed for extension - needs to be abstract, final or empty.53
errorMissing a Javadoc comment.53

org/sat4j/specs/IConstr.java

ViolationMessageLine
errorFile does not end with a newline.0
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.29
errorLine has trailing spaces.31
errorFirst sentence should end with a period.45
errorLine has trailing spaces.47

org/sat4j/MaxSatLauncher.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorMissing a Javadoc comment.37
errorLine has trailing spaces.40
errorMethod 'usage' is not designed for extension - needs to be abstract, final or empty.44
errorMissing a Javadoc comment.44
errorMethod 'createReader' is not designed for extension - needs to be abstract, final or empty.49
errorMissing a Javadoc comment.49
errorParameter solver should be final.50
errorParameter problemname should be final.50
errorMethod 'getInstanceName' is not designed for extension - needs to be abstract, final or empty.57
errorMissing a Javadoc comment.57
errorParameter args should be final.58
errorMethod 'configureSolver' is not designed for extension - needs to be abstract, final or empty.62
errorMissing a Javadoc comment.62
errorParameter args should be final.63
errorMissing a Javadoc comment.72
errorParameter args should be final.72

org/sat4j/minisat/constraints/ClausalDataStructureCBWL.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine is longer than 80 characters.42
error'<' is not preceded with whitespace.42
error'<' is not followed by whitespace.42
error'>' is not preceded with whitespace.42
errorMissing a Javadoc comment.44
errorLine has trailing spaces.48
errorLine is longer than 80 characters.49
errorMethod 'createClause' is not designed for extension - needs to be abstract, final or empty.51
errorMissing a Javadoc comment.51
errorParameter literals should be final.51
error'if' construct must use '{}'s.53
errorMethod 'createUnregisteredClause' is not designed for extension - needs to be abstract, final or empty.58
errorMissing a Javadoc comment.58
errorParameter literals should be final.58
errorMethod 'createLits' is not designed for extension - needs to be abstract, final or empty.62
errorMissing a Javadoc comment.62

org/sat4j/minisat/constraints/PBMaxCBClauseCardConstrDataStructure.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorMissing a Javadoc comment.31
errorMissing a Javadoc comment.34
errorLine has trailing spaces.39
errorMethod 'constructClause' is not designed for extension - needs to be abstract, final or empty.43
errorMissing a Javadoc comment.43
errorParameter v should be final.44
errorMethod 'constructLearntClause' is not designed for extension - needs to be abstract, final or empty.48
errorMissing a Javadoc comment.48
errorParameter literals should be final.49

org/sat4j/reader/OPBReader2005.java

ViolationMessageLine
errorFile does not end with a newline.0
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.45
errorFirst sentence should end with a period.52
errorMissing a Javadoc comment.57
errorVariable 'solver' must be private and have accessor methods.57
errorMissing a Javadoc comment.59
errorMissing a Javadoc comment.61
error'<' is not preceded with whitespace.61
error'<' is not followed by whitespace.61
error'>' is not preceded with whitespace.61
errorMissing a Javadoc comment.63
errorMissing a Javadoc comment.65
errorMissing a Javadoc comment.67
errorMissing a Javadoc comment.69
error'<' is not preceded with whitespace.69
error'<' is not followed by whitespace.69
error'>' is not preceded with whitespace.69
error'<' is not preceded with whitespace.69
error'<' is not followed by whitespace.69
error'>' is not preceded with whitespace.69
error'>' is not followed by whitespace.69
errorMissing a Javadoc comment.72
errorMissing a Javadoc comment.74
errorVariable 'nbVars' must be private and have accessor methods.74
errorVariable 'nbConstr' must be private and have accessor methods.74
errorMissing a Javadoc comment.76
errorVariable 'nbConstraintsRead' must be private and have accessor methods.76
errorFirst sentence should end with a period.77
errorLine has trailing spaces.80
errorMethod 'metaData' is not designed for extension - needs to be abstract, final or empty.86
errorParameter nbvar should be final.86
errorParameter nbconstr should be final.86
errorFirst sentence should end with a period.90
errorFirst sentence should end with a period.96
errorMethod 'endObjective' is not designed for extension - needs to be abstract, final or empty.99
errorFirst sentence should end with a period.108
errorMethod 'beginConstraint' is not designed for extension - needs to be abstract, final or empty.111
errorMethod 'endConstraint' is not designed for extension - needs to be abstract, final or empty.124
errorExpected @throws tag for 'ContradictionException'.124
error'{' is not preceded with whitespace.130
error'{' is not preceded with whitespace.133
errorFirst sentence should end with a period.139
errorLine has trailing spaces.141
errorParameter coeff should be final.147
errorParameter var should be final.147
errorLine has trailing spaces.152
errorMethod 'translateVarToId' is not designed for extension - needs to be abstract, final or empty.152
errorMissing a Javadoc comment.152
errorParameter var should be final.152
errorLine contains a tab character.152
errorAvoid inline conditionals.154
errorLine has trailing spaces.156
errorFirst sentence should end with a period.157
errorLine has trailing spaces.159
errorMethod 'constraintRelOp' is not designed for extension - needs to be abstract, final or empty.163
errorParameter relop should be final.163
errorFirst sentence should end with a period.167
errorLine has trailing spaces.170
errorMethod 'constraintRightTerm' is not designed for extension - needs to be abstract, final or empty.174
errorParameter val should be final.174
errorMissing a Javadoc comment.178
errorVariable 'in' must be private and have accessor methods.178
errorMissing a Javadoc comment.180
errorVariable 'savedChar' must be private and have accessor methods.180
errorMissing a Javadoc comment.182
errorVariable 'charAvailable' must be private and have accessor methods.182
errorMissing a Javadoc comment.184
errorVariable 'eofReached' must be private and have accessor methods.184
errorFirst sentence should end with a period.186
errorLine has trailing spaces.188
errorExpected an @return tag.191
errorMethod 'get' is not designed for extension - needs to be abstract, final or empty.191
errorExpected @throws tag for 'IOException'.191
error'if' construct must use '{}'s.200
errorMethod 'getVars' is not designed for extension - needs to be abstract, final or empty.206
errorMissing a Javadoc comment.206
errorMethod 'getCoeffs' is not designed for extension - needs to be abstract, final or empty.210
errorMissing a Javadoc comment.210
error'<' is not preceded with whitespace.210
error'<' is not followed by whitespace.210
error'>' is not preceded with whitespace.210
errorFirst sentence should end with a period.214
errorParameter c should be final.217
errorExpected @param tag for 'c'.217
errorFirst sentence should end with a period.222
errorExpected an @return tag.225
errorMethod 'eof' is not designed for extension - needs to be abstract, final or empty.225
errorFirst sentence should end with a period.229
errorLine has trailing spaces.231
errorMethod 'skipSpaces' is not designed for extension - needs to be abstract, final or empty.234
errorExpected @throws tag for 'IOException'.234
error'while' construct must use '{}'s.237
errorInner assignments should be avoided.237
errorEmpty statement.238
errorFirst sentence should end with a period.243
errorLine has trailing spaces.245
errorMethod 'readWord' is not designed for extension - needs to be abstract, final or empty.249
errorExpected @throws tag for 'IOException'.249
error'while' construct must use '{}'s.255
errorInner assignments should be avoided.255
errorFirst sentence should end with a period.261
errorLine has trailing spaces.263
errorMethod 'readInteger' is not designed for extension - needs to be abstract, final or empty.268
errorParameter s should be final.268
errorExpected @throws tag for 'IOException'.268
error'if' construct must use '{}'s.275
error'while' construct must use '{}'s.279
errorInner assignments should be avoided.279
errorFirst sentence should end with a period.285
errorLine has trailing spaces.287
errorMethod 'readIdentifier' is not designed for extension - needs to be abstract, final or empty.292
errorParameter s should be final.292
errorExpected @param tag for 's'.292
errorExpected @throws tag for 'IOException'.292
errorExpected @throws tag for 'ParseFormatException'.293
error'if' construct must use '{}'s.302
error'if' construct must use '{}'s.315
error'if' construct must use '{}'s.318
errorMethod 'isGoodFirstCharacter' is not designed for extension - needs to be abstract, final or empty.329
errorMissing a Javadoc comment.329
errorParameter c should be final.329
error'{' is not preceded with whitespace.329
errorLine contains a tab character.330
errorLine has trailing spaces.332
errorMethod 'isGoodFollowingCharacter' is not designed for extension - needs to be abstract, final or empty.333
errorMissing a Javadoc comment.333
errorParameter c should be final.333
error'{' is not preceded with whitespace.333
errorLine contains a tab character.334
errorLine has trailing spaces.336
errorMethod 'checkId' is not designed for extension - needs to be abstract, final or empty.337
errorMissing a Javadoc comment.337
errorParameter s should be final.337
error'{' is not preceded with whitespace.337
errorLine has trailing spaces.343
errorLine contains a tab character.343
errorFirst sentence should end with a period.345
errorLine has trailing spaces.347
errorExpected @throws tag for 'IOException'.351
error'if' construct must use '{}'s.357
error'if' construct must use '{}'s.360
error'if' construct must use '{}'s.363
errorFirst sentence should end with a period.369
errorLine has trailing spaces.372
errorMethod 'readMetaData' is not designed for extension - needs to be abstract, final or empty.376
errorExpected @throws tag for 'IOException'.376
errorExpected @throws tag for 'ParseFormatException'.376
error'if' construct must use '{}'s.382
error'if' construct must use '{}'s.387
error'if' construct must use '{}'s.394
errorFirst sentence should end with a period.407
errorLine has trailing spaces.409
errorExpected @throws tag for 'IOException'.412
errorInner assignments should be avoided.417
errorFirst sentence should end with a period.424
errorLine has trailing spaces.426
errorMethod 'readTerm' is not designed for extension - needs to be abstract, final or empty.434
errorParameter coeff should be final.434
errorParameter var should be final.434
errorExpected @throws tag for 'IOException'.435
errorExpected @throws tag for 'ParseFormatException'.435
errorExpected @throws tag for 'ContradictionException'.435
error'if' construct must use '{}'s.442
error'if' construct must use '{}'s.446
errorFirst sentence should end with a period.450
errorLine has trailing spaces.453
errorExpected @throws tag for 'IOException'.457
errorExpected @throws tag for 'ParseFormatException'.457
errorLine contains a tab character.478
errorLine contains a tab character.479
errorLine contains a tab character.480
errorLine contains a tab character.481
errorLine contains a tab character.482
errorLine is longer than 80 characters.483
error'if' construct must use '{}'s.487
error'if' construct must use '{}'s.490
error'else' construct must use '{}'s.492
error'else' construct must use '{}'s.498
errorFirst sentence should end with a period.503
errorLine has trailing spaces.505
errorExpected @throws tag for 'IOException'.510
errorExpected @throws tag for 'ParseFormatException'.510
errorExpected @throws tag for 'ContradictionException'.511
error'if' construct must use '{}'s.528
error'if' construct must use '{}'s.536
errorInner assignments should be avoided.541
error'if' construct must use '{}'s.552
errorMissing a Javadoc comment.559
errorParameter solver should be final.559
error'solver' hides a field.559
error'<' is not preceded with whitespace.562
error'<' is not followed by whitespace.562
error'>' is not preceded with whitespace.562
error'>' is not followed by whitespace.562
errorFirst sentence should end with a period.565
errorLine has trailing spaces.568
errorMethod 'parse' is not designed for extension - needs to be abstract, final or empty.573
errorExpected @throws tag for 'IOException'.573
errorExpected @throws tag for 'ParseFormatException'.573
errorExpected @throws tag for 'ContradictionException'.574
error'if' construct must use '{}'s.586
error'if' construct must use '{}'s.591
error'if' construct must use '{}'s.594
errorMissing a Javadoc comment.607
error'in' hides a field.608
errorMissing a Javadoc comment.613
errorParameter in should be final.613
error'in' hides a field.613
errorMethod 'decode' is not designed for extension - needs to be abstract, final or empty.625
errorMissing a Javadoc comment.625
errorParameter model should be final.626
errorMethod 'decode' is not designed for extension - needs to be abstract, final or empty.642
errorMissing a Javadoc comment.642
errorParameter model should be final.643
errorParameter out should be final.643
errorMethod 'getObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.656
errorMissing a Javadoc comment.656
error'{' is not preceded with whitespace.657

org/sat4j/opt/WeightedMaxSatDecorator.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorMissing a Javadoc comment.39
errorLine has trailing spaces.43
errorMissing a Javadoc comment.47
error'<' is not preceded with whitespace.47
error'<' is not followed by whitespace.47
error'>' is not preceded with whitespace.47
error'<' is not preceded with whitespace.47
error'<' is not followed by whitespace.47
error'>' is not preceded with whitespace.47
error'>' is not followed by whitespace.47
errorMissing a Javadoc comment.49
errorParameter solver should be final.49
errorLine has trailing spaces.52
errorLine has trailing spaces.53
errorMissing a Javadoc comment.54
errorVariable 'top' must be private and have accessor methods.54
errorMethod 'setTopWeight' is not designed for extension - needs to be abstract, final or empty.56
errorMissing a Javadoc comment.56
errorParameter top should be final.56
error'top' hides a field.56
errorLine has trailing spaces.59
errorMethod 'addClause' is not designed for extension - needs to be abstract, final or empty.60
errorMissing a Javadoc comment.60
errorParameter literals should be final.61
error'<' is not preceded with whitespace.63
error'<' is not followed by whitespace.63
errorLine has trailing spaces.65
errorMethod 'reset' is not designed for extension - needs to be abstract, final or empty.72
errorMissing a Javadoc comment.72
errorMethod 'hasNoObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.79
errorMissing a Javadoc comment.79
errorMethod 'nonOptimalMeansSatisfiable' is not designed for extension - needs to be abstract, final or empty.83
errorMissing a Javadoc comment.83
errorMissing a Javadoc comment.87
errorMethod 'calculateObjective' is not designed for extension - needs to be abstract, final or empty.89
errorMissing a Javadoc comment.89
errorMissing a Javadoc comment.99
errorMethod 'discard' is not designed for extension - needs to be abstract, final or empty.103
errorMissing a Javadoc comment.103
error'+' is not preceded with whitespace.106
error'+' is not followed by whitespace.106

org/sat4j/reader/csp/Relation.java

ViolationMessageLine
errorFile does not end with a newline.0
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.29
errorLine has trailing spaces.31
errorMissing a Javadoc comment.34
errorMissing a Javadoc comment.36

org/sat4j/minisat/constraints/ClausalDataStructureCB.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine is longer than 80 characters.42
error'<' is not preceded with whitespace.42
error'<' is not followed by whitespace.42
error'>' is not preceded with whitespace.42
errorMissing a Javadoc comment.44
errorLine has trailing spaces.48
errorLine is longer than 80 characters.49
errorMissing a Javadoc comment.52
errorParameter p should be final.53
errorParameter i should be final.53
errorLine has trailing spaces.59
errorMethod 'getWatchesFor' is not designed for extension - needs to be abstract, final or empty.62
errorMissing a Javadoc comment.62
error'<' is not preceded with whitespace.63
error'<' is not followed by whitespace.63
error'>' is not preceded with whitespace.63
errorParameter p should be final.63
errorLine has trailing spaces.69
errorLine is longer than 80 characters.70
errorMethod 'createClause' is not designed for extension - needs to be abstract, final or empty.72
errorMissing a Javadoc comment.72
errorParameter literals should be final.72
error'if' construct must use '{}'s.74
errorLine has trailing spaces.81
errorLine is longer than 80 characters.82
errorMethod 'createUnregisteredClause' is not designed for extension - needs to be abstract, final or empty.84
errorMissing a Javadoc comment.84
errorParameter literals should be final.84
errorMethod 'createLits' is not designed for extension - needs to be abstract, final or empty.88
errorMissing a Javadoc comment.88

org/sat4j/minisat/constraints/cnf/Lits.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorMissing a Javadoc comment.44
errorMissing a Javadoc comment.46
errorArray brackets at illegal position.46
errorMissing a Javadoc comment.48
errorMissing a Javadoc comment.50
error'<' is not preceded with whitespace.51
error'<' is not followed by whitespace.51
error'>' is not preceded with whitespace.51
error'>' is not followed by whitespace.51
errorVariable 'watches' must be private and have accessor methods.51
errorMissing a Javadoc comment.53
errorMissing a Javadoc comment.55
errorMissing a Javadoc comment.57
error'<' is not preceded with whitespace.58
error'<' is not followed by whitespace.58
error'>' is not preceded with whitespace.58
error'>' is not followed by whitespace.58
errorMissing a Javadoc comment.60
errorMissing a Javadoc comment.62
errorMethod 'init' is not designed for extension - needs to be abstract, final or empty.65
errorMissing a Javadoc comment.65
error'(' is followed by whitespace.65
errorParameter nvar should be final.66
error'<' is not preceded with whitespace.79
error'<' is not followed by whitespace.79
error'>' is not preceded with whitespace.79
error'>' is not followed by whitespace.79
error'<' is not preceded with whitespace.83
error'<' is not followed by whitespace.83
error'>' is not preceded with whitespace.83
error'>' is not followed by whitespace.83
errorMethod 'getFromPool' is not designed for extension - needs to be abstract, final or empty.96
errorMissing a Javadoc comment.96
errorParameter x should be final.96
errorAvoid inline conditionals.100
error'<' is not preceded with whitespace.105
error'<' is not followed by whitespace.105
error'>' is not preceded with whitespace.105
error'>' is not followed by whitespace.105
error'<' is not preceded with whitespace.106
error'<' is not followed by whitespace.106
error'>' is not preceded with whitespace.106
error'>' is not followed by whitespace.106
error'<' is not preceded with whitespace.107
error'<' is not followed by whitespace.107
error'>' is not preceded with whitespace.107
error'>' is not followed by whitespace.107
errorMethod 'belongsToPool' is not designed for extension - needs to be abstract, final or empty.117
errorMissing a Javadoc comment.117
errorParameter x should be final.117
errorMethod 'resetPool' is not designed for extension - needs to be abstract, final or empty.122
errorMissing a Javadoc comment.122
errorMethod 'ensurePool' is not designed for extension - needs to be abstract, final or empty.130
errorMissing a Javadoc comment.130
errorParameter howmany should be final.130
errorMethod 'unassign' is not designed for extension - needs to be abstract, final or empty.134
errorMissing a Javadoc comment.134
errorParameter lit should be final.134
errorMethod 'satisfies' is not designed for extension - needs to be abstract, final or empty.140
errorMissing a Javadoc comment.140
errorParameter lit should be final.140
errorMethod 'isSatisfied' is not designed for extension - needs to be abstract, final or empty.146
errorMissing a Javadoc comment.146
errorParameter lit should be final.146
errorMissing a Javadoc comment.150
errorParameter lit should be final.150
errorMethod 'isUnassigned' is not designed for extension - needs to be abstract, final or empty.154
errorMissing a Javadoc comment.154
errorParameter lit should be final.154
errorMethod 'valueToString' is not designed for extension - needs to be abstract, final or empty.158
errorMissing a Javadoc comment.158
errorParameter lit should be final.158
error'if' construct must use '{}'s.159
error'if' construct must use '{}'s.161
errorMethod 'nVars' is not designed for extension - needs to be abstract, final or empty.166
errorMissing a Javadoc comment.166
errorMethod 'not' is not designed for extension - needs to be abstract, final or empty.170
errorMissing a Javadoc comment.170
errorParameter lit should be final.170
errorMissing a Javadoc comment.174
errorParameter lit should be final.174
errorLine is longer than 80 characters.175
errorAvoid inline conditionals.175
errorMethod 'reset' is not designed for extension - needs to be abstract, final or empty.178
errorMissing a Javadoc comment.178
errorParameter lit should be final.178
errorMethod 'getLevel' is not designed for extension - needs to be abstract, final or empty.188
errorMissing a Javadoc comment.188
errorParameter lit should be final.188
errorMethod 'setLevel' is not designed for extension - needs to be abstract, final or empty.192
errorMissing a Javadoc comment.192
errorParameter lit should be final.192
errorParameter l should be final.192
errorMethod 'getReason' is not designed for extension - needs to be abstract, final or empty.196
errorMissing a Javadoc comment.196
errorParameter lit should be final.196
errorMethod 'setReason' is not designed for extension - needs to be abstract, final or empty.200
errorMissing a Javadoc comment.200
errorParameter lit should be final.200
errorParameter r should be final.200
errorMethod 'undos' is not designed for extension - needs to be abstract, final or empty.204
errorMissing a Javadoc comment.204
error'<' is not preceded with whitespace.204
error'<' is not followed by whitespace.204
error'>' is not preceded with whitespace.204
errorParameter lit should be final.204
errorMethod 'watch' is not designed for extension - needs to be abstract, final or empty.208
errorMissing a Javadoc comment.208
errorParameter lit should be final.208
errorParameter c should be final.208
errorMethod 'watches' is not designed for extension - needs to be abstract, final or empty.212
errorMissing a Javadoc comment.212
error'<' is not preceded with whitespace.212
error'<' is not followed by whitespace.212
error'>' is not preceded with whitespace.212
errorParameter lit should be final.212
errorMethod 'isImplied' is not designed for extension - needs to be abstract, final or empty.216
errorMissing a Javadoc comment.216
errorParameter lit should be final.216
errorMethod 'realnVars' is not designed for extension - needs to be abstract, final or empty.224
errorMissing a Javadoc comment.224

org/sat4j/reader/csp/Clausifiable.java

ViolationMessageLine
errorFile does not end with a newline.0
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorMissing a Javadoc comment.32
errorMissing a Javadoc comment.34
errorRedundant 'public' modifier.34
error'<' is not preceded with whitespace.34
error'<' is not followed by whitespace.34
error'>' is not preceded with whitespace.34
error'<' is not preceded with whitespace.35
error'<' is not followed by whitespace.35
error'>' is not preceded with whitespace.35

org/sat4j/minisat/core/Learner.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.30
errorMissing a Javadoc comment.35

org/sat4j/reader/InstanceReader.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.41
errorMissing a Javadoc comment.46
errorMissing a Javadoc comment.48
errorMissing a Javadoc comment.50
errorMissing a Javadoc comment.52
errorMissing a Javadoc comment.54
errorMissing a Javadoc comment.56
errorMissing a Javadoc comment.58
errorMissing a Javadoc comment.60
errorMissing a Javadoc comment.62
errorMissing a Javadoc comment.64
errorMissing a Javadoc comment.66
errorMissing a Javadoc comment.68
errorMissing a Javadoc comment.70
errorParameter solver should be final.70
error'solver' hides a field.70
errorMissing a Javadoc comment.75
error';' is not followed by whitespace.77
errorMissing a Javadoc comment.82
error';' is not followed by whitespace.84
errorMissing a Javadoc comment.89
errorMissing a Javadoc comment.96
errorMissing a Javadoc comment.103
errorMissing a Javadoc comment.110
errorMissing a Javadoc comment.117
errorMissing a Javadoc comment.124
errorMissing a Javadoc comment.131
errorMissing a Javadoc comment.138
errorMethod 'parseInstance' is not designed for extension - needs to be abstract, final or empty.145
errorMissing a Javadoc comment.145
errorParameter filename should be final.146
errorRedundant throws: 'FileNotFoundException' is subclass of 'IOException'.147
errorMethod 'decode' is not designed for extension - needs to be abstract, final or empty.204
errorMissing a Javadoc comment.204
errorParameter model should be final.205
errorMethod 'decode' is not designed for extension - needs to be abstract, final or empty.209
errorMissing a Javadoc comment.209
errorParameter model should be final.210
errorParameter out should be final.210
errorMethod 'parseInstance' is not designed for extension - needs to be abstract, final or empty.214
errorMissing a Javadoc comment.214
errorParameter in should be final.215

org/sat4j/minisat/constraints/AbstractDataStructureFactory.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorType Javadoc comment is missing an @param <L> tag.46
error'<' is not preceded with whitespace.46
error'<' is not followed by whitespace.46
error'>' is not preceded with whitespace.46
error'<' is not preceded with whitespace.47
error'<' is not followed by whitespace.47
error'>' is not preceded with whitespace.47
error'>' is not followed by whitespace.47
errorLine has trailing spaces.51
errorLine is longer than 80 characters.52
errorMethod 'conflictDetectedInWatchesFor' is not designed for extension - needs to be abstract, final or empty.54
errorMissing a Javadoc comment.54
errorParameter p should be final.54
errorParameter i should be final.54
errorLine has trailing spaces.62
errorMethod 'getWatchesFor' is not designed for extension - needs to be abstract, final or empty.65
errorMissing a Javadoc comment.65
error'<' is not preceded with whitespace.65
error'<' is not followed by whitespace.65
error'>' is not preceded with whitespace.65
errorParameter p should be final.65
errorMissing a Javadoc comment.71
errorVariable 'lits' must be private and have accessor methods.71
errorLine has trailing spaces.72
errorMissing a Javadoc comment.73
errorLine has trailing spaces.77
errorMissing a Javadoc comment.77
errorLine has trailing spaces.78
errorMissing a Javadoc comment.79
error'<' is not preceded with whitespace.79
error'<' is not followed by whitespace.79
error'>' is not preceded with whitespace.79
error'<' is not preceded with whitespace.79
error'<' is not followed by whitespace.79
error'>' is not preceded with whitespace.79
error'>' is not followed by whitespace.79
errorLine has trailing spaces.83
errorMethod 'getVocabulary' is not designed for extension - needs to be abstract, final or empty.86
errorMissing a Javadoc comment.86
errorMissing a Javadoc comment.90
errorVariable 'solver' must be private and have accessor methods.90
errorMissing a Javadoc comment.92
errorVariable 'learner' must be private and have accessor methods.92
errorMethod 'setUnitPropagationListener' is not designed for extension - needs to be abstract, final or empty.94
errorMissing a Javadoc comment.94
errorParameter s should be final.94
errorMethod 'setLearner' is not designed for extension - needs to be abstract, final or empty.98
errorMissing a Javadoc comment.98
errorParameter learner should be final.98
error'learner' hides a field.98
errorMissing a Javadoc comment.102
errorMethod 'learnConstraint' is not designed for extension - needs to be abstract, final or empty.105
errorMissing a Javadoc comment.105
errorParameter constr should be final.105
errorLine has trailing spaces.111
errorLine is longer than 80 characters.112
errorMethod 'createCardinalityConstraint' is not designed for extension - needs to be abstract, final or empty.115
errorMissing a Javadoc comment.115
errorParameter literals should be final.115
errorParameter degree should be final.115
errorLine has trailing spaces.122
errorLine is longer than 80 characters.123
errorMethod 'createPseudoBooleanConstraint' is not designed for extension - needs to be abstract, final or empty.126
errorMissing a Javadoc comment.126
errorParameter literals should be final.126
errorParameter coefs should be final.127
error'<' is not preceded with whitespace.127
error'<' is not followed by whitespace.127
error'>' is not preceded with whitespace.127
errorParameter moreThan should be final.127
errorParameter degree should be final.127
errorMethod 'createUnregisteredPseudoBooleanConstraint' is not designed for extension - needs to be abstract, final or empty.132
errorMissing a Javadoc comment.132
errorParameter literals should be final.132
errorParameter coefs should be final.133
error'<' is not preceded with whitespace.133
error'<' is not followed by whitespace.133
error'>' is not preceded with whitespace.133
errorParameter degree should be final.133

org/sat4j/tools/DimacsOutputSolver.java

ViolationMessageLine
errorLine has trailing spaces.4
errorLine has trailing spaces.6
errorLine has trailing spaces.10
errorLine has trailing spaces.15
errorLine has trailing spaces.20
errorLine has trailing spaces.24
errorLine has trailing spaces.44
errorLine has trailing spaces.46
errorLine has trailing spaces.48
errorLine has trailing spaces.53
errorMissing a Javadoc comment.57
errorMissing a Javadoc comment.59
errorMissing a Javadoc comment.61
errorMissing a Javadoc comment.63
errorMissing a Javadoc comment.65
errorLine has trailing spaces.66
errorMissing a Javadoc comment.67
errorMissing a Javadoc comment.71
errorParameter pw should be final.71
errorMissing a Javadoc comment.75
errorParameter stream should be final.75
errorMethod 'newVar' is not designed for extension - needs to be abstract, final or empty.79
errorMissing a Javadoc comment.79
errorMethod 'newVar' is not designed for extension - needs to be abstract, final or empty.83
errorMissing a Javadoc comment.83
errorParameter howmany should be final.83
errorMethod 'setExpectedNumberOfClauses' is not designed for extension - needs to be abstract, final or empty.89
errorMissing a Javadoc comment.89
errorParameter nb should be final.89
errorMethod 'addClause' is not designed for extension - needs to be abstract, final or empty.95
errorMissing a Javadoc comment.95
errorParameter literals should be final.95
error'for' construct must use '{}'s.102
errorLine has trailing spaces.105
errorMethod 'removeConstr' is not designed for extension - needs to be abstract, final or empty.108
errorMissing a Javadoc comment.108
errorParameter c should be final.108
errorMethod 'addAllClauses' is not designed for extension - needs to be abstract, final or empty.112
errorMissing a Javadoc comment.112
errorParameter clauses should be final.112
error'<' is not preceded with whitespace.112
error'<' is not followed by whitespace.112
error'>' is not preceded with whitespace.112
errorMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.117
errorMissing a Javadoc comment.117
errorParameter literals should be final.117
errorParameter degree should be final.117
errorMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.139
errorMissing a Javadoc comment.139
errorParameter literals should be final.139
errorParameter degree should be final.139
errorMethod 'addPseudoBoolean' is not designed for extension - needs to be abstract, final or empty.149
errorMissing a Javadoc comment.149
errorParameter lits should be final.149
errorParameter coeffs should be final.149
error'<' is not preceded with whitespace.149
error'<' is not followed by whitespace.149
error'>' is not preceded with whitespace.149
errorParameter moreThan should be final.150
errorParameter d should be final.150
errorMissing a Javadoc comment.154
errorParameter t should be final.154
errorMissing a Javadoc comment.159
errorParameter t should be final.159
errorMethod 'getTimeout' is not designed for extension - needs to be abstract, final or empty.163
errorMissing a Javadoc comment.163
errorMethod 'reset' is not designed for extension - needs to be abstract, final or empty.168
errorMissing a Javadoc comment.168
errorMissing a Javadoc comment.174
errorParameter out should be final.174
error'out' hides a field.174
errorParameter prefix should be final.174
errorMissing a Javadoc comment.179
errorParameter out should be final.179
error'out' hides a field.179
errorParameter prefix should be final.179
errorMethod 'getStat' is not designed for extension - needs to be abstract, final or empty.184
errorMissing a Javadoc comment.184
error'<' is not preceded with whitespace.184
error'<' is not followed by whitespace.184
error'>' is not preceded with whitespace.184
errorMethod 'toString' is not designed for extension - needs to be abstract, final or empty.189
errorMissing a Javadoc comment.189
errorParameter prefix should be final.189
errorMissing a Javadoc comment.193
errorMethod 'model' is not designed for extension - needs to be abstract, final or empty.198
errorMissing a Javadoc comment.198
errorMethod 'model' is not designed for extension - needs to be abstract, final or empty.202
errorMissing a Javadoc comment.202
errorParameter var should be final.202
errorMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.206
errorMissing a Javadoc comment.206
errorMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.210
errorMissing a Javadoc comment.210
errorParameter assumps should be final.210
errorMethod 'findModel' is not designed for extension - needs to be abstract, final or empty.214
errorMissing a Javadoc comment.214
errorMethod 'findModel' is not designed for extension - needs to be abstract, final or empty.218
errorMissing a Javadoc comment.218
errorParameter assumps should be final.218
errorMethod 'nConstraints' is not designed for extension - needs to be abstract, final or empty.222
errorMissing a Javadoc comment.222
errorMethod 'nVars' is not designed for extension - needs to be abstract, final or empty.226
errorMissing a Javadoc comment.226

org/sat4j/specs/IVec.java

ViolationMessageLine
errorFile does not end with a newline.0
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.32
errorType Javadoc comment is missing an @param <T> tag.35
error'<' is not preceded with whitespace.35
error'<' is not followed by whitespace.35
error'>' is not preceded with whitespace.35
error'<' is not preceded with whitespace.35
error'<' is not followed by whitespace.35
error'>' is not preceded with whitespace.35
errorLine has trailing spaces.45
errorFirst sentence should end with a period.51
errorLine has trailing spaces.53
errorMissing a Javadoc comment.65
errorMissing a Javadoc comment.67
errorMissing a Javadoc comment.69
error'<' is not preceded with whitespace.69
error'<' is not followed by whitespace.69
error'>' is not preceded with whitespace.69
errorLine has trailing spaces.73
errorExpected @param tag for 'elem'.76
errorLine has trailing spaces.82
errorMissing a Javadoc comment.88
errorMissing a Javadoc comment.90
errorLine has trailing spaces.95
errorMissing a Javadoc comment.100
errorMissing a Javadoc comment.102
errorLine has trailing spaces.106
errorLine has trailing spaces.115
errorLine has trailing spaces.126
error'<' is not preceded with whitespace.129
error'<' is not followed by whitespace.129
error'>' is not preceded with whitespace.129
errorExpected @param tag for 'copy'.129
errorMissing a Javadoc comment.131
error'<' is not followed by whitespace.131
error'>' is not preceded with whitespace.131
errorLine has trailing spaces.137
errorLine has trailing spaces.145
error'<' is not preceded with whitespace.149
error'<' is not followed by whitespace.149
error'>' is not preceded with whitespace.149
errorLine has trailing spaces.154
errorMissing a Javadoc comment.165
error'<' is not preceded with whitespace.165
error'<' is not followed by whitespace.165
error'>' is not preceded with whitespace.165
errorMissing a Javadoc comment.167
error'<' is not preceded with whitespace.167
error'<' is not followed by whitespace.167
error'>' is not preceded with whitespace.167
errorFirst sentence should end with a period.169
errorLine has trailing spaces.171

org/sat4j/minisat/constraints/cnf/Lits2.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorMissing a Javadoc comment.36
errorMissing a Javadoc comment.38
errorLine has trailing spaces.41
errorLine has trailing spaces.52
errorMethod 'nBinaryClauses' is not designed for extension - needs to be abstract, final or empty.56
errorParameter p should be final.56
errorExpected @param tag for 'p'.56
errorMethod 'binaryClauses' is not designed for extension - needs to be abstract, final or empty.66
errorMissing a Javadoc comment.66
errorParameter lit1 should be final.66
errorParameter lit2 should be final.66
errorMissing a Javadoc comment.71
errorParameter p should be final.71
errorParameter q should be final.71

org/sat4j/reader/GoodOPBReader.java

ViolationMessageLine
errorFile does not end with a newline.0
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.50
errorFirst sentence should end with a period.55
errorMissing a Javadoc comment.60
errorMissing a Javadoc comment.62
errorMissing a Javadoc comment.64
error'<' is not preceded with whitespace.64
error'<' is not followed by whitespace.64
error'>' is not preceded with whitespace.64
error'<' is not preceded with whitespace.64
error'<' is not followed by whitespace.64
error'>' is not preceded with whitespace.64
error'>' is not followed by whitespace.64
errorMissing a Javadoc comment.66
error'<' is not preceded with whitespace.66
error'<' is not followed by whitespace.66
error'>' is not preceded with whitespace.66
error'<' is not preceded with whitespace.66
error'<' is not followed by whitespace.66
error'>' is not preceded with whitespace.66
error'>' is not followed by whitespace.66
errorLine has trailing spaces.69
errorParameter solver should be final.71
error'solver' hides a field.71
errorExpected @param tag for 'solver'.71
errorMissing a Javadoc comment.75
errorMissing a Javadoc comment.81
errorParameter in should be final.81
errorMethod 'parseLine' is not designed for extension - needs to be abstract, final or empty.96
errorMissing a Javadoc comment.96
errorParameter line should be final.96
error'if' construct must use '{}'s.98
error'if' construct must use '{}'s.100
error'if' construct must use '{}'s.102
error'if' construct must use '{}'s.104
error'<' is not preceded with whitespace.114
error'<' is not followed by whitespace.114
error'>' is not preceded with whitespace.114
error'<' is not preceded with whitespace.114
error'<' is not followed by whitespace.114
error'>' is not preceded with whitespace.114
error'>' is not followed by whitespace.114
errorInner assignments should be avoided.182
errorAvoid inline conditionals.187
errorMethod 'decode' is not designed for extension - needs to be abstract, final or empty.194
errorMissing a Javadoc comment.194
errorParameter model should be final.195
errorMethod 'decode' is not designed for extension - needs to be abstract, final or empty.209
errorMissing a Javadoc comment.209
errorParameter model should be final.210
errorParameter out should be final.210

org/sat4j/minisat/constraints/pb/MapPb.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.38
errorLine has trailing spaces.39
errorMissing a Javadoc comment.48
error'<' is not preceded with whitespace.48
error'<' is not followed by whitespace.48
error'>' is not preceded with whitespace.48
errorVariable 'coefs' must be private and have accessor methods.48
errorMissing a Javadoc comment.50
errorVariable 'degree' must be private and have accessor methods.50
errorMissing a Javadoc comment.52
errorParameter m should be final.52
error'<' is not preceded with whitespace.52
error'<' is not followed by whitespace.52
error'>' is not preceded with whitespace.52
errorParameter d should be final.52
errorMissing a Javadoc comment.57
error'<' is not preceded with whitespace.58
error'<' is not followed by whitespace.58
error'>' is not preceded with whitespace.58
error'>' is not followed by whitespace.58
errorMethod 'saturation' is not designed for extension - needs to be abstract, final or empty.61
errorMissing a Javadoc comment.61
error'<' is not preceded with whitespace.64
error'<' is not followed by whitespace.64
error'>' is not preceded with whitespace.64
error'if' construct must use '{}'s.67
error'for' construct must use '{}'s.75
errorMethod 'cuttingPlane' is not designed for extension - needs to be abstract, final or empty.83
errorMissing a Javadoc comment.83
errorParameter cpb should be final.83
errorParameter deg should be final.83
errorParameter reducedCoefs should be final.84
errorParameter val should be final.84
errorMethod 'cuttingPlane' is not designed for extension - needs to be abstract, final or empty.88
errorMissing a Javadoc comment.88
errorParameter cpb should be final.88
errorParameter degreeCons should be final.88
errorParameter reducedCoefs should be final.89
errorParameter coefMult should be final.89
errorParameter val should be final.90
error'if' construct must use '{}'s.94
error'else' construct must use '{}'s.100
errorMethod 'cuttingPlane' is not designed for extension - needs to be abstract, final or empty.110
errorMissing a Javadoc comment.110
errorParameter lits should be final.110
errorParameter reducedCoefs should be final.110
errorParameter deg should be final.111
errorMethod 'cuttingPlane' is not designed for extension - needs to be abstract, final or empty.115
errorMissing a Javadoc comment.115
errorParameter lits should be final.115
errorArray brackets at illegal position.115
errorParameter reducedCoefs should be final.115
errorParameter degreeCons should be final.116
errorParameter coefMult should be final.116
error'for' construct must use '{}'s.120
errorMissing a Javadoc comment.126
error'if' construct must use '{}'s.156
error'else' construct must use '{}'s.158
errorMethod 'buildConstraintFromConflict' is not designed for extension - needs to be abstract, final or empty.168
errorMissing a Javadoc comment.168
errorParameter resLits should be final.168
errorParameter resCoefs should be final.169
error'<' is not preceded with whitespace.169
error'<' is not followed by whitespace.169
error'>' is not preceded with whitespace.169
error'<' is not preceded with whitespace.173
error'<' is not followed by whitespace.173
error'>' is not preceded with whitespace.173
errorMethod 'buildConstraintFromMapPb' is not designed for extension - needs to be abstract, final or empty.180
errorMissing a Javadoc comment.180
errorParameter resLits should be final.180
errorParameter resCoefs should be final.180
error'<' is not preceded with whitespace.185
error'<' is not followed by whitespace.185
error'>' is not preceded with whitespace.185
errorMethod 'getDegree' is not designed for extension - needs to be abstract, final or empty.193
errorMissing a Javadoc comment.193
errorMethod 'size' is not designed for extension - needs to be abstract, final or empty.197
errorMissing a Javadoc comment.197
errorLine has trailing spaces.203
errorMethod 'toString' is not designed for extension - needs to be abstract, final or empty.206
errorMissing a Javadoc comment.206
error'<' is not preceded with whitespace.209
error'<' is not followed by whitespace.209
error'>' is not preceded with whitespace.209
errorMissing a Javadoc comment.218
errorParameter coef should be final.218
errorParameter mult should be final.218
error'if' construct must use '{}'s.219
errorMethod 'increaseCoef' is not designed for extension - needs to be abstract, final or empty.224
errorMissing a Javadoc comment.224
errorParameter lit should be final.224
errorParameter incCoef should be final.224
errorMethod 'decreaseCoef' is not designed for extension - needs to be abstract, final or empty.228
errorMissing a Javadoc comment.228
errorParameter lit should be final.228
errorParameter decCoef should be final.228
errorMethod 'setCoef' is not designed for extension - needs to be abstract, final or empty.232
errorMissing a Javadoc comment.232
errorParameter lit should be final.232
errorParameter newValue should be final.232
errorMethod 'removeCoef' is not designed for extension - needs to be abstract, final or empty.236
errorMissing a Javadoc comment.236
errorParameter lit should be final.236

org/sat4j/minisat/core/AssertingClauseGenerator.java

ViolationMessageLine
errorFile does not end with a newline.0
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.35
errorLine has trailing spaces.48
errorLine has trailing spaces.57

org/sat4j/tools/GateTranslator.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.34
errorLine has trailing spaces.41
errorMissing a Javadoc comment.45
errorParameter solver should be final.45
errorMethod 'gateFalse' is not designed for extension - needs to be abstract, final or empty.54
errorParameter y should be final.54
errorMethod 'gateTrue' is not designed for extension - needs to be abstract, final or empty.66
errorParameter y should be final.66
errorExpected @throws tag for 'ContradictionException'.67
errorLine has trailing spaces.74
errorLine has trailing spaces.75
errorLine has trailing spaces.77
errorLine is longer than 80 characters.81
errorMethod 'ite' is not designed for extension - needs to be abstract, final or empty.81
errorParameter y should be final.81
errorExpected @param tag for 'y'.81
errorParameter x1 should be final.81
errorParameter x2 should be final.81
errorExpected @param tag for 'x2'.81
errorParameter x3 should be final.81
errorExpected @param tag for 'x3'.81
errorExpected @throws tag for 'ContradictionException'.81
errorLine has trailing spaces.116
errorMethod 'and' is not designed for extension - needs to be abstract, final or empty.121
errorParameter y should be final.121
errorExpected @param tag for 'y'.121
errorParameter literals should be final.121
errorExpected @throws tag for 'ContradictionException'.121
errorFirst sentence should end with a period.141
errorLine has trailing spaces.146
errorMethod 'and' is not designed for extension - needs to be abstract, final or empty.148
errorParameter y should be final.148
errorExpected @param tag for 'y'.148
errorParameter x1 should be final.148
errorExpected @param tag for 'x1'.148
errorParameter x2 should be final.148
errorExpected @param tag for 'x2'.148
errorExpected @throws tag for 'ContradictionException'.148
errorLine has trailing spaces.163
errorLine has trailing spaces.166
errorMethod 'or' is not designed for extension - needs to be abstract, final or empty.171
errorParameter y should be final.171
errorExpected @param tag for 'y'.171
errorParameter literals should be final.171
errorExpected @param tag for 'literals'.171
errorExpected @throws tag for 'ContradictionException'.171
errorMissing a Javadoc comment.188
errorParameter clause should be final.188
errorLine has trailing spaces.194
errorMethod 'not' is not designed for extension - needs to be abstract, final or empty.199
errorParameter y should be final.199
errorExpected @param tag for 'y'.199
errorParameter x should be final.199
errorExpected @param tag for 'x'.199
errorExpected @throws tag for 'ContradictionException'.199
errorMethod 'xor' is not designed for extension - needs to be abstract, final or empty.217
errorParameter y should be final.217
errorExpected @param tag for 'y'.217
errorParameter literals should be final.217
errorExpected @param tag for 'literals'.217
errorExpected @throws tag for 'ContradictionException'.217
errorMethod 'iff' is not designed for extension - needs to be abstract, final or empty.230
errorParameter y should be final.230
errorExpected @param tag for 'y'.230
errorParameter literals should be final.230
errorExpected @param tag for 'literals'.230
errorExpected @throws tag for 'ContradictionException'.230
errorMissing a Javadoc comment.237
errorParameter f should be final.237
errorParameter prefix should be final.237
errorParameter negation should be final.237
errorAvoid inline conditionals.244
errorMissing a Javadoc comment.264
errorParameter f should be final.264
errorParameter prefix should be final.264
errorParameter negation should be final.264
errorAvoid inline conditionals.271

org/sat4j/minisat/core/ILits2.java

ViolationMessageLine
errorFile does not end with a newline.0
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14
errorLine has trailing spaces.19
errorLine has trailing spaces.23
errorLine has trailing spaces.30
errorLine has trailing spaces.39
errorExpected @param tag for 'p'.43
errorLine has trailing spaces.47

org/sat4j/tools/SingleSolutionDetector.java

ViolationMessageLine
errorLine is longer than 80 characters.2
errorLine has trailing spaces.3
errorLine has trailing spaces.5
errorLine has trailing spaces.9
errorLine has trailing spaces.14