Checkstyle Results

The following document contains the results of Checkstylerss feed

Summary

FilesInfos InfosWarnings WarningsErrors Errors
35002162

Rules

RulesViolationsSeverity
JavadocPackage
  • allowLegacy: "true"
0Errors Error
NewlineAtEndOfFile2Errors Error
Translation0Errors Error
FileLength0Errors Error
FileTabCharacter
  • eachLine: "true"
13Errors Error
RegexpSingleline
  • message: "Line has trailing spaces."
  • format: "\s+$"
71Errors Error
JavadocMethod470Errors Error
JavadocType25Errors Error
JavadocVariable404Errors Error
JavadocStyle9Errors Error
ConstantName0Errors Error
LocalFinalVariableName0Errors Error
LocalVariableName0Errors Error
MemberName0Errors Error
MethodName0Errors Error
PackageName0Errors Error
ParameterName0Errors Error
StaticVariableName0Errors Error
TypeName0Errors Error
AvoidStarImport0Errors Error
IllegalImport0Errors Error
RedundantImport0Errors Error
UnusedImports0Errors Error
LineLength211Errors Error
MethodLength7Errors Error
ParameterNumber0Errors Error
EmptyForIteratorPad0Errors Error
MethodParamPad0Errors Error
NoWhitespaceAfter21Errors Error
NoWhitespaceBefore0Errors Error
OperatorWrap0Errors Error
ParenPad0Errors Error
TypecastParenPad0Errors Error
WhitespaceAfter22Errors Error
WhitespaceAround11Errors Error
ModifierOrder0Errors Error
RedundantModifier0Errors Error
AvoidNestedBlocks0Errors Error
EmptyBlock2Errors Error
LeftCurly0Errors Error
NeedBraces0Errors Error
RightCurly1Errors Error
AvoidInlineConditionals3Errors Error
DoubleCheckedLocking0Errors Error
EmptyStatement0Errors Error
EqualsHashCode0Errors Error
HiddenField95Errors Error
IllegalInstantiation0Errors Error
InnerAssignment0Errors Error
MagicNumber68Errors Error
MissingSwitchDefault3Errors Error
RedundantThrows0Errors Error
SimplifyBooleanExpression0Errors Error
SimplifyBooleanReturn0Errors Error
DesignForExtension345Errors Error
FinalClass1Errors Error
HideUtilityClassConstructor1Errors Error
InterfaceIsType0Errors Error
VisibilityModifier0Errors Error
ArrayTypeStyle0Errors Error
FinalParameters398Errors Error
TodoComment0Errors Error
UpperEll0Errors Error

Details

org/sat4j/sat/CleanCommandComponent.java

ViolationMessageLine
ErrorsMissing a Javadoc comment.23
ErrorsLine has trailing spaces.26
ErrorsMissing a Javadoc comment.30
ErrorsMissing a Javadoc comment.32
ErrorsMissing a Javadoc comment.33
ErrorsMissing a Javadoc comment.34
ErrorsMissing a Javadoc comment.35
ErrorsMissing a Javadoc comment.36
ErrorsMissing a Javadoc comment.37
ErrorsMissing a Javadoc comment.38
ErrorsMissing a Javadoc comment.39
ErrorsMissing a Javadoc comment.41
ErrorsMissing a Javadoc comment.43
ErrorsMissing a Javadoc comment.44
ErrorsMissing a Javadoc comment.45
ErrorsMissing a Javadoc comment.46
ErrorsMissing a Javadoc comment.48
ErrorsMissing a Javadoc comment.49
ErrorsMissing a Javadoc comment.50
ErrorsMissing a Javadoc comment.51
ErrorsMissing a Javadoc comment.52
ErrorsMissing a Javadoc comment.54
ErrorsMissing a Javadoc comment.55
ErrorsMissing a Javadoc comment.57
ErrorsMissing a Javadoc comment.58
ErrorsMissing a Javadoc comment.59
ErrorsMissing a Javadoc comment.60
ErrorsMissing a Javadoc comment.61
ErrorsMissing a Javadoc comment.62
ErrorsMissing a Javadoc comment.63
Errors'{' is followed by whitespace.63
ErrorsMissing a Javadoc comment.65
ErrorsMissing a Javadoc comment.66
ErrorsMissing a Javadoc comment.67
ErrorsMissing a Javadoc comment.68
ErrorsMissing a Javadoc comment.70
ErrorsMissing a Javadoc comment.71
ErrorsMissing a Javadoc comment.72
ErrorsMissing a Javadoc comment.73
ErrorsMissing a Javadoc comment.74
ErrorsMissing a Javadoc comment.75
ErrorsMissing a Javadoc comment.77
ErrorsMissing a Javadoc comment.79
ErrorsLine is longer than 80 characters.80
ErrorsMissing a Javadoc comment.80
ErrorsMissing a Javadoc comment.82
ErrorsParameter name should be final.82
ErrorsParameter controller should be final.82
Errors'controller' hides a field.82
ErrorsMethod 'createPanel' is not designed for extension - needs to be abstract, final or empty.89
ErrorsLine is longer than 80 characters.105
Errors'3' is a magic number.109
Errors'4' is a magic number.110
Errors'5' is a magic number.111
Errors'400' is a magic number.117
Errors'50' is a magic number.117
ErrorsParameter e should be final.143
ErrorsParameter e should be final.169
ErrorsParameter e should be final.182
ErrorsMethod 'hasChangedCleaningValue' is not designed for extension - needs to be abstract, final or empty.210
ErrorsMissing a Javadoc comment.210
ErrorsLine is longer than 80 characters.215
ErrorsLine is longer than 80 characters.218
ErrorsLine is longer than 80 characters.221
ErrorsMethod 'hasClickedOnUseOriginalStrategy' is not designed for extension - needs to be abstract, final or empty.225
ErrorsMissing a Javadoc comment.225
ErrorsLine is longer than 80 characters.233
ErrorsMethod 'getCleanSliderValue' is not designed for extension - needs to be abstract, final or empty.239
ErrorsMissing a Javadoc comment.239
ErrorsMethod 'hasClickedOnClean' is not designed for extension - needs to be abstract, final or empty.243
ErrorsMissing a Javadoc comment.243
ErrorsMethod 'setCleanPanelEnabled' is not designed for extension - needs to be abstract, final or empty.247
ErrorsMissing a Javadoc comment.247
ErrorsParameter enabled should be final.247
ErrorsMethod 'setCleanPanelOriginalStrategyEnabled' is not designed for extension - needs to be abstract, final or empty.264
ErrorsMissing a Javadoc comment.264
ErrorsParameter enabled should be final.264
ErrorsMethod 'setSpeedLabeltext' is not designed for extension - needs to be abstract, final or empty.278
ErrorsMissing a Javadoc comment.278
ErrorsParameter speed should be final.278

org/sat4j/sat/CommandComponent.java

ViolationMessageLine
ErrorsMissing a Javadoc comment.5
ErrorsLine has trailing spaces.8
ErrorsLine contains a tab character.8
ErrorsLine contains a tab character.9
ErrorsMissing a Javadoc comment.12
ErrorsMissing a Javadoc comment.16

org/sat4j/sat/DetailedCommandPanel.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.123
ErrorsLine has trailing spaces.126
ErrorsLine has trailing spaces.128
ErrorsMissing a Javadoc comment.133
ErrorsMissing a Javadoc comment.134
ErrorsMissing a Javadoc comment.135
ErrorsMissing a Javadoc comment.136
ErrorsMissing a Javadoc comment.138
ErrorsMissing a Javadoc comment.140
ErrorsMissing a Javadoc comment.142
ErrorsMissing a Javadoc comment.144
ErrorsMissing a Javadoc comment.146
ErrorsMissing a Javadoc comment.147
ErrorsMissing a Javadoc comment.148
ErrorsMissing a Javadoc comment.149
ErrorsMissing a Javadoc comment.150
ErrorsMissing a Javadoc comment.151
ErrorsMissing a Javadoc comment.152
ErrorsMissing a Javadoc comment.153
ErrorsMissing a Javadoc comment.154
ErrorsMissing a Javadoc comment.156
ErrorsMissing a Javadoc comment.158
ErrorsMissing a Javadoc comment.160
ErrorsMissing a Javadoc comment.162
ErrorsMissing a Javadoc comment.164
ErrorsMissing a Javadoc comment.165
ErrorsMissing a Javadoc comment.167
ErrorsMissing a Javadoc comment.168
ErrorsMissing a Javadoc comment.169
ErrorsMissing a Javadoc comment.170
ErrorsMissing a Javadoc comment.171
ErrorsMissing a Javadoc comment.172
ErrorsMissing a Javadoc comment.173
ErrorsMissing a Javadoc comment.174
ErrorsMissing a Javadoc comment.176
ErrorsMissing a Javadoc comment.178
ErrorsMissing a Javadoc comment.179
ErrorsMissing a Javadoc comment.180
ErrorsMissing a Javadoc comment.181
ErrorsMissing a Javadoc comment.182
ErrorsMissing a Javadoc comment.183
ErrorsMissing a Javadoc comment.184
ErrorsMissing a Javadoc comment.185
ErrorsMissing a Javadoc comment.187
ErrorsMissing a Javadoc comment.188
ErrorsLine is longer than 80 characters.190
ErrorsMissing a Javadoc comment.190
ErrorsMissing a Javadoc comment.191
ErrorsLine is longer than 80 characters.193
ErrorsMissing a Javadoc comment.193
ErrorsMissing a Javadoc comment.194
ErrorsMissing a Javadoc comment.196
ErrorsMissing a Javadoc comment.197
ErrorsMissing a Javadoc comment.198
ErrorsMissing a Javadoc comment.199
ErrorsMissing a Javadoc comment.201
ErrorsMissing a Javadoc comment.202
ErrorsMissing a Javadoc comment.203
ErrorsMissing a Javadoc comment.204
ErrorsLine is longer than 80 characters.206
ErrorsMissing a Javadoc comment.206
ErrorsLine is longer than 80 characters.207
ErrorsMissing a Javadoc comment.207
ErrorsLine is longer than 80 characters.208
ErrorsMissing a Javadoc comment.208
ErrorsLine is longer than 80 characters.209
ErrorsMissing a Javadoc comment.209
ErrorsLine is longer than 80 characters.211
ErrorsMissing a Javadoc comment.211
ErrorsMissing a Javadoc comment.213
ErrorsMissing a Javadoc comment.214
ErrorsMissing a Javadoc comment.215
ErrorsMissing a Javadoc comment.217
ErrorsMissing a Javadoc comment.218
ErrorsMissing a Javadoc comment.219
ErrorsMissing a Javadoc comment.221
ErrorsMissing a Javadoc comment.222
ErrorsMissing a Javadoc comment.224
ErrorsMissing a Javadoc comment.225
ErrorsLine is longer than 80 characters.227
ErrorsMissing a Javadoc comment.227
ErrorsMissing a Javadoc comment.228
ErrorsMissing a Javadoc comment.230
ErrorsMissing a Javadoc comment.231
ErrorsMissing a Javadoc comment.233
ErrorsMissing a Javadoc comment.234
ErrorsMissing a Javadoc comment.236
ErrorsMissing a Javadoc comment.237
ErrorsMissing a Javadoc comment.239
ErrorsMissing a Javadoc comment.241
ErrorsMissing a Javadoc comment.243
ErrorsMissing a Javadoc comment.244
ErrorsMissing a Javadoc comment.246
ErrorsMissing a Javadoc comment.247
ErrorsMissing a Javadoc comment.249
ErrorsMissing a Javadoc comment.251
ErrorsParameter filename should be final.251
ErrorsParameter frame should be final.251
Errors'frame' hides a field.251
ErrorsMissing a Javadoc comment.255
ErrorsParameter filename should be final.255
ErrorsParameter ramdisk should be final.255
Errors'ramdisk' hides a field.255
ErrorsParameter frame should be final.256
Errors'frame' hides a field.256
ErrorsMethod length is 163 lines (max allowed is 150).261
ErrorsMissing a Javadoc comment.261
ErrorsParameter filename should be final.261
ErrorsParameter ramdisk should be final.261
Errors'ramdisk' hides a field.261
ErrorsParameter args should be final.261
ErrorsParameter frame should be final.262
Errors'frame' hides a field.262
Errors'800' is a magic number.296
Errors'800' is a magic number.296
Errors'400' is a magic number.317
Errors'200' is a magic number.317
Errors'.2' is a magic number.360
Errors'.2' is a magic number.365
Errors'.2' is a magic number.390
Errors'50' is a magic number.404
ErrorsMissing a Javadoc comment.426
Errors'20' is a magic number.437
ErrorsParameter e should be final.445
ErrorsParameter e should be final.472
ErrorsParameter e should be final.481
ErrorsParameter e should be final.487
ErrorsMethod length is 242 lines (max allowed is 150).498
ErrorsMissing a Javadoc comment.498
ErrorsParameter e should be final.522
ErrorsParameter e should be final.531
Errors'0.2' is a magic number.572
Errors'0.8' is a magic number.593
Errors'3' is a magic number.598
Errors'3' is a magic number.606
Errors'3' is a magic number.647
ErrorsParameter e should be final.661
ErrorsParameter e should be final.668
ErrorsParameter e should be final.676
ErrorsParameter e should be final.684
ErrorsParameter e should be final.692
ErrorsLine is longer than 80 characters.695
ErrorsParameter e should be final.701
ErrorsLine is longer than 80 characters.704
ErrorsParameter e should be final.710
ErrorsLine is longer than 80 characters.713
ErrorsParameter e should be final.719
ErrorsLine is longer than 80 characters.722
ErrorsMethod 'manageStartStopButton' is not designed for extension - needs to be abstract, final or empty.741
ErrorsMissing a Javadoc comment.741
ErrorsMethod 'getStartStopText' is not designed for extension - needs to be abstract, final or empty.778
ErrorsMissing a Javadoc comment.778
ErrorsMethod 'setOptimisationMode' is not designed for extension - needs to be abstract, final or empty.782
ErrorsMissing a Javadoc comment.782
ErrorsParameter optimizationMode should be final.782
Errors'optimizationMode' hides a field.782
ErrorsMethod 'launchSolverWithConfigs' is not designed for extension - needs to be abstract, final or empty.787
ErrorsMethod length is 301 lines (max allowed is 150).787
ErrorsMissing a Javadoc comment.787
ErrorsLine is longer than 80 characters.1056
ErrorsLine is longer than 80 characters.1057
ErrorsLine is longer than 80 characters.1060
ErrorsLine is longer than 80 characters.1062
ErrorsLine is longer than 80 characters.1064
ErrorsLine is longer than 80 characters.1070
ErrorsMethod 'initSearchListeners' is not designed for extension - needs to be abstract, final or empty.1089
ErrorsMethod length is 194 lines (max allowed is 150).1089
ErrorsMissing a Javadoc comment.1089
ErrorsLine is longer than 80 characters.1090
ErrorsLine is longer than 80 characters.1122
ErrorsLine is longer than 80 characters.1125
ErrorsLine is longer than 80 characters.1135
ErrorsLine is longer than 80 characters.1138
Errors'}' should be on the same line.1174
ErrorsLine is longer than 80 characters.1191
ErrorsLine is longer than 80 characters.1192
ErrorsLine is longer than 80 characters.1198
ErrorsLine is longer than 80 characters.1199
ErrorsLine is longer than 80 characters.1201
ErrorsLine is longer than 80 characters.1202
ErrorsLine is longer than 80 characters.1204
ErrorsLine is longer than 80 characters.1205
ErrorsLine is longer than 80 characters.1211
ErrorsLine is longer than 80 characters.1214
ErrorsLine is longer than 80 characters.1215
ErrorsLine is longer than 80 characters.1217
ErrorsLine is longer than 80 characters.1218
ErrorsLine is longer than 80 characters.1224
ErrorsLine is longer than 80 characters.1227
ErrorsLine is longer than 80 characters.1228
ErrorsLine is longer than 80 characters.1230
ErrorsLine is longer than 80 characters.1231
ErrorsLine is longer than 80 characters.1237
ErrorsLine is longer than 80 characters.1238
ErrorsLine is longer than 80 characters.1240
ErrorsLine is longer than 80 characters.1241
ErrorsLine is longer than 80 characters.1244
ErrorsLine is longer than 80 characters.1245
ErrorsLine is longer than 80 characters.1246
ErrorsLine is longer than 80 characters.1247
ErrorsLine is longer than 80 characters.1250
ErrorsLine is longer than 80 characters.1251
ErrorsLine is longer than 80 characters.1252
ErrorsLine is longer than 80 characters.1253
ErrorsLine is longer than 80 characters.1259
ErrorsLine is longer than 80 characters.1262
ErrorsLine is longer than 80 characters.1265
ErrorsLine is longer than 80 characters.1272
ErrorsLine is longer than 80 characters.1280
ErrorsMethod 'getNVar' is not designed for extension - needs to be abstract, final or empty.1284
ErrorsMissing a Javadoc comment.1284
ErrorsMethod 'setPhaseSelectionStrategy' is not designed for extension - needs to be abstract, final or empty.1291
ErrorsMissing a Javadoc comment.1291
ErrorsParameter phase should be final.1291
ErrorsMethod 'shouldRestartNow' is not designed for extension - needs to be abstract, final or empty.1297
ErrorsMissing a Javadoc comment.1297
ErrorsMethod 'setRestartStrategy' is not designed for extension - needs to be abstract, final or empty.1301
ErrorsMissing a Javadoc comment.1301
ErrorsParameter strategy should be final.1301
ErrorsMethod 'getRestartStrategy' is not designed for extension - needs to be abstract, final or empty.1306
ErrorsMissing a Javadoc comment.1306
ErrorsMethod 'getSearchParams' is not designed for extension - needs to be abstract, final or empty.1310
ErrorsMissing a Javadoc comment.1310
ErrorsMethod 'getSolverStats' is not designed for extension - needs to be abstract, final or empty.1314
ErrorsMissing a Javadoc comment.1314
ErrorsMethod 'init' is not designed for extension - needs to be abstract, final or empty.1318
ErrorsMissing a Javadoc comment.1318
ErrorsParameter params should be final.1318
ErrorsParameter stats should be final.1318
ErrorsMethod 'setNbClausesAtWhichWeShouldClean' is not designed for extension - needs to be abstract, final or empty.1323
ErrorsMissing a Javadoc comment.1323
ErrorsParameter nbConflicts should be final.1323
ErrorsMethod 'setUseTelecomStrategyAsLearnedConstraintsDeletionStrategy' is not designed for extension - needs to be abstract, final or empty.1328
ErrorsMissing a Javadoc comment.1328
ErrorsLine is longer than 80 characters.1330
ErrorsMethod 'setLearnedDeletionStrategyTypeToSolver' is not designed for extension - needs to be abstract, final or empty.1336
ErrorsMissing a Javadoc comment.1336
ErrorsParameter type should be final.1337
ErrorsLine is longer than 80 characters.1344
ErrorsMethod 'getLearnedConstraintsEvaluationType' is not designed for extension - needs to be abstract, final or empty.1344
ErrorsMissing a Javadoc comment.1344
ErrorsMethod 'shouldCleanNow' is not designed for extension - needs to be abstract, final or empty.1348
ErrorsMissing a Javadoc comment.1348
ErrorsMethod 'setKeepSolverHot' is not designed for extension - needs to be abstract, final or empty.1353
ErrorsMissing a Javadoc comment.1353
ErrorsParameter keepHot should be final.1353
ErrorsMethod 'isGnuplotBased' is not designed for extension - needs to be abstract, final or empty.1362
ErrorsMissing a Javadoc comment.1362
ErrorsMethod 'setGnuplotBased' is not designed for extension - needs to be abstract, final or empty.1366
ErrorsMissing a Javadoc comment.1366
ErrorsParameter gnuplotBased should be final.1366
Errors'gnuplotBased' hides a field.1366
ErrorsMethod 'isChartBased' is not designed for extension - needs to be abstract, final or empty.1370
ErrorsMissing a Javadoc comment.1370
ErrorsMethod 'setChartBased' is not designed for extension - needs to be abstract, final or empty.1374
ErrorsMissing a Javadoc comment.1374
ErrorsParameter chartBased should be final.1374
Errors'chartBased' hides a field.1374
ErrorsMethod 'isPlotActivated' is not designed for extension - needs to be abstract, final or empty.1378
ErrorsMissing a Javadoc comment.1378
ErrorsMethod 'setPlotActivated' is not designed for extension - needs to be abstract, final or empty.1382
ErrorsMissing a Javadoc comment.1382
ErrorsParameter isPlotActivated should be final.1382
Errors'isPlotActivated' hides a field.1382
ErrorsMethod 'setRandomWalkProba' is not designed for extension - needs to be abstract, final or empty.1386
ErrorsMissing a Javadoc comment.1386
ErrorsParameter proba should be final.1386
ErrorsMethod 'setSimplifier' is not designed for extension - needs to be abstract, final or empty.1391
ErrorsMissing a Javadoc comment.1391
ErrorsParameter type should be final.1391
ErrorsMethod 'getListOfSolvers' is not designed for extension - needs to be abstract, final or empty.1396
ErrorsMissing a Javadoc comment.1396
ErrorsMethod 'getListOfSatSolvers' is not designed for extension - needs to be abstract, final or empty.1423
ErrorsMissing a Javadoc comment.1423
ErrorsMethod 'getListOfPBSolvers' is not designed for extension - needs to be abstract, final or empty.1437
ErrorsMissing a Javadoc comment.1437
ErrorsMethod 'getListOfMaxsatSolvers' is not designed for extension - needs to be abstract, final or empty.1451
ErrorsMissing a Javadoc comment.1451
ErrorsMethod 'getListOfEncodings' is not designed for extension - needs to be abstract, final or empty.1465
ErrorsMissing a Javadoc comment.1465
ErrorsParameter typeOfConstraint should be final.1465
ErrorsMethod 'log' is not designed for extension - needs to be abstract, final or empty.1490
ErrorsMissing a Javadoc comment.1490
ErrorsParameter message should be final.1490
ErrorsMethod 'logsameline' is not designed for extension - needs to be abstract, final or empty.1494
ErrorsMissing a Javadoc comment.1494
ErrorsParameter message should be final.1494
ErrorsMethod 'openFileChooser' is not designed for extension - needs to be abstract, final or empty.1504
ErrorsMissing a Javadoc comment.1504
ErrorsMethod 'createReader' is not designed for extension - needs to be abstract, final or empty.1515
ErrorsMissing a Javadoc comment.1515
ErrorsParameter theSolver should be final.1515
ErrorsParameter problemname should be final.1515
Errorsswitch without "default" clause.1517
ErrorsLine is longer than 80 characters.1520
ErrorsMethod 'updateListOfSolvers' is not designed for extension - needs to be abstract, final or empty.1534
ErrorsMissing a Javadoc comment.1534
ErrorsMethod 'setInstancePanelEnabled' is not designed for extension - needs to be abstract, final or empty.1593
ErrorsMissing a Javadoc comment.1593
ErrorsParameter enabled should be final.1593
ErrorsMethod 'setChoixSolverPanelEnabled' is not designed for extension - needs to be abstract, final or empty.1600
ErrorsMissing a Javadoc comment.1600
ErrorsParameter enabled should be final.1600
ErrorsMethod 'setSolverVisualisation' is not designed for extension - needs to be abstract, final or empty.1610
ErrorsMissing a Javadoc comment.1610
ErrorsParameter visu should be final.1610
ErrorsMethod 'activateGnuplotTracing' is not designed for extension - needs to be abstract, final or empty.1614
ErrorsMissing a Javadoc comment.1614
ErrorsParameter b should be final.1614
ErrorsMethod 'startVisu' is not designed for extension - needs to be abstract, final or empty.1621
ErrorsMissing a Javadoc comment.1621
ErrorsMethod 'stopVisu' is not designed for extension - needs to be abstract, final or empty.1625
ErrorsMissing a Javadoc comment.1625
ErrorsMethod 'getGnuplotPreferences' is not designed for extension - needs to be abstract, final or empty.1629
ErrorsMissing a Javadoc comment.1629
ErrorsMethod 'setGnuplotPreferences' is not designed for extension - needs to be abstract, final or empty.1633
ErrorsMissing a Javadoc comment.1633
ErrorsParameter gnuplotPreferences should be final.1633
ErrorsMethod 'getThis' is not designed for extension - needs to be abstract, final or empty.1637
ErrorsMissing a Javadoc comment.1637
ErrorsMethod 'getSolver' is not designed for extension - needs to be abstract, final or empty.1641
ErrorsMissing a Javadoc comment.1641
ErrorsMissing a Javadoc comment.1645
ErrorsMissing a Javadoc comment.1646
ErrorsMissing a Javadoc comment.1648
ErrorsMissing a Javadoc comment.1650
ErrorsMissing a Javadoc comment.1652
ErrorsMethod 'init' is not designed for extension - needs to be abstract, final or empty.1662
ErrorsMissing a Javadoc comment.1662
ErrorsParameter solverService should be final.1662
ErrorsMissing a Javadoc comment.1666
ErrorsParameter p should be final.1666
ErrorsMethod 'propagating' is not designed for extension - needs to be abstract, final or empty.1669
ErrorsMissing a Javadoc comment.1669
ErrorsParameter p should be final.1669
ErrorsParameter reason should be final.1669
Errors'2000' is a magic number.1671
Errors'1000' is a magic number.1675
ErrorsMissing a Javadoc comment.1683
ErrorsParameter p should be final.1683
ErrorsMissing a Javadoc comment.1686
ErrorsParameter p should be final.1686
ErrorsMissing a Javadoc comment.1689
ErrorsParameter c should be final.1689
ErrorsLine has trailing spaces.1692
ErrorsMissing a Javadoc comment.1692
ErrorsParameter p should be final.1692
ErrorsLine has trailing spaces.1694
ErrorsMissing a Javadoc comment.1695
ErrorsParameter clause should be final.1695
ErrorsMethod 'conflictFound' is not designed for extension - needs to be abstract, final or empty.1698
ErrorsMissing a Javadoc comment.1698
ErrorsParameter confl should be final.1698
ErrorsParameter dlevel should be final.1698
ErrorsParameter trailLevel should be final.1698
ErrorsMissing a Javadoc comment.1702
ErrorsParameter p should be final.1702
ErrorsMethod 'solutionFound' is not designed for extension - needs to be abstract, final or empty.1705
ErrorsMissing a Javadoc comment.1705
ErrorsParameter model should be final.1705
Errors',' is not followed by whitespace.1705
ErrorsParameter lazyModel should be final.1705
ErrorsMissing a Javadoc comment.1713
ErrorsMissing a Javadoc comment.1716
ErrorsMissing a Javadoc comment.1719
ErrorsParameter result should be final.1719
ErrorsMethod 'restarting' is not designed for extension - needs to be abstract, final or empty.1722
ErrorsMissing a Javadoc comment.1722
Errors'1000' is a magic number.1726
ErrorsMissing a Javadoc comment.1730
ErrorsParameter backjumpLevel should be final.1730
ErrorsMethod 'cleaning' is not designed for extension - needs to be abstract, final or empty.1733
ErrorsMissing a Javadoc comment.1733
Errors'1000' is a magic number.1736
ErrorsMissing a Javadoc comment.1739
ErrorsMissing a Javadoc comment.1740
ErrorsMethod 'setSelectedIndex' is not designed for extension - needs to be abstract, final or empty.1742
ErrorsParameter index should be final.1743
Errors'5' is a magic number.1744
Errors'4' is a magic number.1744
Errors'80' is a magic number.1757

org/sat4j/sat/HotSolverCommandComponent.java

ViolationMessageLine
ErrorsMissing a Javadoc comment.13
ErrorsLine has trailing spaces.16
ErrorsMissing a Javadoc comment.20
ErrorsMissing a Javadoc comment.22
ErrorsMissing a Javadoc comment.23
ErrorsMissing a Javadoc comment.24
ErrorsMissing a Javadoc comment.25
ErrorsMissing a Javadoc comment.27
ErrorsParameter name should be final.27
ErrorsParameter controller should be final.27
Errors'controller' hides a field.27
ErrorsMethod 'createPanel' is not designed for extension - needs to be abstract, final or empty.33
ErrorsMethod 'createHotSolverPanel' is not designed for extension - needs to be abstract, final or empty.38
ErrorsMissing a Javadoc comment.38
ErrorsParameter e should be final.55
ErrorsLine is longer than 80 characters.57
ErrorsMethod 'setKeepSolverHotPanelEnabled' is not designed for extension - needs to be abstract, final or empty.63
ErrorsMissing a Javadoc comment.63
ErrorsParameter enabled should be final.63

org/sat4j/sat/Lanceur.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.36
ErrorsLine has trailing spaces.40
ErrorsLine has trailing spaces.43
ErrorsLine is longer than 80 characters.44
ErrorsLine has trailing spaces.45
ErrorsLine has trailing spaces.47
ErrorsLine has trailing spaces.49
ErrorsMissing a Javadoc comment.91
ErrorsMissing a Javadoc comment.94
ErrorsLine has trailing spaces.97
ErrorsLine is longer than 80 characters.101
ErrorsMissing a Javadoc comment.101
ErrorsMissing a Javadoc comment.103
ErrorsMissing a Javadoc comment.105
ErrorsMissing a Javadoc comment.107
ErrorsMissing a Javadoc comment.109
ErrorsMissing a Javadoc comment.111
ErrorsMissing a Javadoc comment.113
ErrorsMissing a Javadoc comment.115
ErrorsMissing a Javadoc comment.121
ErrorsMissing a Javadoc comment.123
ErrorsLine has trailing spaces.127
ErrorsMethod 'configureSolver' is not designed for extension - needs to be abstract, final or empty.132
ErrorsParameter args should be final.134
ErrorsLine is longer than 80 characters.153
ErrorsLine is longer than 80 characters.210
ErrorsLine is longer than 80 characters.223
ErrorsLine is longer than 80 characters.226
ErrorsLine is longer than 80 characters.233
ErrorsLine is longer than 80 characters.236
ErrorsLine is longer than 80 characters.242
ErrorsLine is longer than 80 characters.245
ErrorsLine is longer than 80 characters.253
ErrorsLine is longer than 80 characters.263
ErrorsMethod 'createReader' is not designed for extension - needs to be abstract, final or empty.273
ErrorsParameter theSolver should be final.274
ErrorsParameter problemname should be final.274
ErrorsMethod 'displayLicense' is not designed for extension - needs to be abstract, final or empty.281
ErrorsLine is longer than 80 characters.284
ErrorsMethod 'getInstanceName' is not designed for extension - needs to be abstract, final or empty.287
ErrorsParameter args should be final.288
ErrorsMethod 'readProblem' is not designed for extension - needs to be abstract, final or empty.292
ErrorsParameter problemname should be final.293
ErrorsMethod 'solve' is not designed for extension - needs to be abstract, final or empty.308
ErrorsParameter problem should be final.309
Errors'problem' hides a field.309
ErrorsLine is longer than 80 characters.330
Errors'1000.0' is a magic number.332
ErrorsAvoid inline conditionals.348
ErrorsMethod 'displayResult' is not designed for extension - needs to be abstract, final or empty.353
Errors'1000.0' is a magic number.359
ErrorsMethod 'displayAnswer' is not designed for extension - needs to be abstract, final or empty.365
ErrorsMissing a Javadoc comment.365
ErrorsLine is longer than 80 characters.383
ErrorsLine is longer than 80 characters.385
ErrorsMethod 'run' is not designed for extension - needs to be abstract, final or empty.391
ErrorsParameter args should be final.392
ErrorsMethod 'usage' is not designed for extension - needs to be abstract, final or empty.439
ErrorsMissing a Javadoc comment.444
ErrorsLine is longer than 80 characters.459
ErrorsLine is longer than 80 characters.461
ErrorsLine is longer than 80 characters.464
ErrorsLine is longer than 80 characters.474

org/sat4j/sat/LaunchRemoteControl.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.35
ErrorsLine has trailing spaces.36
ErrorsLine has trailing spaces.38
ErrorsUtility classes should not have a public or default constructor.40
ErrorsParameter args should be final.45
ErrorsExpected @param tag for 'args'.45
Errorsswitch without "default" clause.50
Errors'3' is a magic number.59

org/sat4j/sat/Launcher.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.66
ErrorsLine has trailing spaces.70
ErrorsLine has trailing spaces.74
ErrorsLine has trailing spaces.77
ErrorsLine has trailing spaces.79
ErrorsLine has trailing spaces.86
ErrorsMissing a Javadoc comment.90
ErrorsMissing a Javadoc comment.92
ErrorsMissing a Javadoc comment.94
ErrorsMissing a Javadoc comment.96
ErrorsMissing a Javadoc comment.98
ErrorsMissing a Javadoc comment.104
ErrorsMissing a Javadoc comment.106
ErrorsMethod 'usage' is not designed for extension - needs to be abstract, final or empty.108
ErrorsMethod 'createReader' is not designed for extension - needs to be abstract, final or empty.113
ErrorsParameter theSolver should be final.114
ErrorsParameter problemname should be final.114
Errorsswitch without "default" clause.116
ErrorsLine is longer than 80 characters.119
ErrorsMethod 'getInstanceName' is not designed for extension - needs to be abstract, final or empty.133
ErrorsParameter args should be final.134
ErrorsLine has trailing spaces.140
ErrorsMethod 'configureSolver' is not designed for extension - needs to be abstract, final or empty.145
ErrorsMethod length is 158 lines (max allowed is 150).145
ErrorsParameter args should be final.147
ErrorsLine is longer than 80 characters.207
ErrorsLine is longer than 80 characters.220
ErrorsLine is longer than 80 characters.223
ErrorsLine is longer than 80 characters.230
ErrorsLine is longer than 80 characters.233
ErrorsLine is longer than 80 characters.239
ErrorsLine is longer than 80 characters.242
ErrorsLine is longer than 80 characters.283
ErrorsLine is longer than 80 characters.294
ErrorsMethod 'run' is not designed for extension - needs to be abstract, final or empty.306
ErrorsParameter args should be final.307

org/sat4j/sat/PhaseCommandComponent.java

ViolationMessageLine
ErrorsMissing a Javadoc comment.19
ErrorsLine has trailing spaces.22
ErrorsMissing a Javadoc comment.26
ErrorsMissing a Javadoc comment.28
ErrorsMissing a Javadoc comment.29
ErrorsMissing a Javadoc comment.30
ErrorsMissing a Javadoc comment.32
ErrorsMissing a Javadoc comment.33
ErrorsLine is longer than 80 characters.35
ErrorsMissing a Javadoc comment.35
ErrorsMissing a Javadoc comment.36
ErrorsMissing a Javadoc comment.38
ErrorsMissing a Javadoc comment.40
ErrorsParameter name should be final.40
ErrorsParameter commandPanel should be final.40
ErrorsParameter initialPhaseStrategyName should be final.41
ErrorsMethod 'createPanel' is not designed for extension - needs to be abstract, final or empty.48
ErrorsMethod 'createPhasePanel' is not designed for extension - needs to be abstract, final or empty.53
ErrorsMissing a Javadoc comment.53
ErrorsParameter e should be final.75
ErrorsMethod 'hasClickedOnApplyPhase' is not designed for extension - needs to be abstract, final or empty.87
ErrorsMissing a Javadoc comment.87
ErrorsMethod 'setPhasePanelEnabled' is not designed for extension - needs to be abstract, final or empty.107
ErrorsMissing a Javadoc comment.107
ErrorsParameter enabled should be final.107
ErrorsMethod 'getListOfPhaseStrategies' is not designed for extension - needs to be abstract, final or empty.114
ErrorsMissing a Javadoc comment.114
ErrorsMethod 'setPhaseListSelectedItem' is not designed for extension - needs to be abstract, final or empty.127
ErrorsMissing a Javadoc comment.127
ErrorsParameter name should be final.127

org/sat4j/sat/ProblemType.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.35
ErrorsMissing a Javadoc comment.40
ErrorsMissing a Javadoc comment.40
ErrorsMissing a Javadoc comment.40
ErrorsMissing a Javadoc comment.40
ErrorsMissing a Javadoc comment.40

org/sat4j/sat/RTSI.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.27
ErrorsLine has trailing spaces.29
ErrorsLine is longer than 80 characters.32
ErrorsLine has trailing spaces.51
ErrorsLine has trailing spaces.53
ErrorsLine has trailing spaces.56
ErrorsLine has trailing spaces.60
ErrorsLine has trailing spaces.62
ErrorsClass RTSI should be declared as final.64
ErrorsMissing a Javadoc comment.66
ErrorsMissing a Javadoc comment.68
ErrorsMissing a Javadoc comment.72
ErrorsParameter tosubclassname should be final.72
ErrorsParameter fullname should be final.72
ErrorsMissing a Javadoc comment.91
ErrorsParameter pckname should be final.91
ErrorsParameter tosubclassname should be final.91
ErrorsParameter fullname should be final.92
ErrorsMissing a Javadoc comment.103
ErrorsParameter pckgname should be final.103
ErrorsParameter tosubclass should be final.103
ErrorsParameter fullname should be final.104
ErrorsMissing a Javadoc comment.113
ErrorsParameter tosubclassname should be final.113
ErrorsMissing a Javadoc comment.117
ErrorsParameter pckname should be final.117
ErrorsParameter tosubclassname should be final.117
ErrorsMissing a Javadoc comment.121
ErrorsParameter pckgname should be final.121
ErrorsParameter tosubclass should be final.121
ErrorsMissing a Javadoc comment.125
ErrorsParameter pckgname should be final.125
ErrorsParameter tosubclass should be final.125
ErrorsMissing a Javadoc comment.129
ErrorsParameter pckgname should be final.129
ErrorsParameter tosubclass should be final.129
ErrorsParameter fullname should be final.130
Errors'6' is a magic number.161
ErrorsMust have at least one statement.174
ErrorsParameter dir should be final.183
ErrorsParameter name should be final.183
Errors'6' is a magic number.212
ErrorsMust have at least one statement.231
ErrorsMissing a Javadoc comment.245
ErrorsParameter tosubclassname should be final.245
ErrorsLine is longer than 80 characters.249
ErrorsMissing a Javadoc comment.249
ErrorsParameter pckname should be final.249
ErrorsParameter tosubclassname should be final.249
ErrorsLine is longer than 80 characters.253
ErrorsMissing a Javadoc comment.253
ErrorsParameter pckgname should be final.253
ErrorsParameter tosubclass should be final.253
ErrorsMissing a Javadoc comment.258
ErrorsParameter args should be final.258
Errors'}' is not followed by whitespace.269

org/sat4j/sat/RandomWalkCommandComponent.java

ViolationMessageLine
ErrorsMissing a Javadoc comment.15
ErrorsLine has trailing spaces.18
ErrorsMissing a Javadoc comment.22
ErrorsMissing a Javadoc comment.24
ErrorsMissing a Javadoc comment.25
ErrorsMissing a Javadoc comment.27
ErrorsMissing a Javadoc comment.29
ErrorsMissing a Javadoc comment.30
ErrorsLine is longer than 80 characters.32
ErrorsMissing a Javadoc comment.32
ErrorsParameter name should be final.32
ErrorsParameter controller should be final.32
Errors'controller' hides a field.32
ErrorsMethod 'createPanel' is not designed for extension - needs to be abstract, final or empty.38
ErrorsMethod 'createRWPanel' is not designed for extension - needs to be abstract, final or empty.43
ErrorsMissing a Javadoc comment.43
Errors'10' is a magic number.52
ErrorsParameter e should be final.66
ErrorsMethod 'hasClickedOnApplyRW' is not designed for extension - needs to be abstract, final or empty.78
ErrorsMissing a Javadoc comment.78
ErrorsMethod 'setRWPanelEnabled' is not designed for extension - needs to be abstract, final or empty.87
ErrorsMissing a Javadoc comment.87
ErrorsParameter enabled should be final.87
ErrorsMethod 'setProba' is not designed for extension - needs to be abstract, final or empty.94
ErrorsMissing a Javadoc comment.94
ErrorsParameter proba should be final.94

org/sat4j/sat/RemoteControlFrame.java

ViolationMessageLine
ErrorsFile does not end with a newline.0
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.58
ErrorsLine has trailing spaces.60
ErrorsLine has trailing spaces.62
ErrorsLine has trailing spaces.67
ErrorsLine contains a tab character.67
ErrorsLine contains a tab character.68
ErrorsMissing a Javadoc comment.71
ErrorsMissing a Javadoc comment.73
ErrorsMissing a Javadoc comment.74
ErrorsMissing a Javadoc comment.76
ErrorsMissing a Javadoc comment.77
ErrorsMissing a Javadoc comment.79
ErrorsMissing a Javadoc comment.81
ErrorsMissing a Javadoc comment.82
ErrorsMissing a Javadoc comment.84
ErrorsMissing a Javadoc comment.85
ErrorsMissing a Javadoc comment.87
ErrorsParameter filename should be final.87
Errors'filename' hides a field.87
ErrorsParameter ramdisk should be final.87
Errors'ramdisk' hides a field.87
ErrorsParameter args should be final.87
Errors'args' hides a field.87
ErrorsMissing a Javadoc comment.99
ErrorsParameter filename should be final.99
Errors'filename' hides a field.99
ErrorsParameter ramdisk should be final.99
Errors'ramdisk' hides a field.99
ErrorsMissing a Javadoc comment.103
ErrorsParameter filename should be final.103
Errors'filename' hides a field.103
ErrorsMissing a Javadoc comment.107
ErrorsParameter filename should be final.107
Errors'filename' hides a field.107
ErrorsParameter args should be final.107
Errors'args' hides a field.107
ErrorsMissing a Javadoc comment.111
ErrorsMethod 'setActivateGnuplot' is not designed for extension - needs to be abstract, final or empty.114
ErrorsMissing a Javadoc comment.114
ErrorsParameter b should be final.114
ErrorsMissing a Javadoc comment.119
ErrorsParameter e should be final.141
ErrorsMethod 'clickOnAboutSolver' is not designed for extension - needs to be abstract, final or empty.153
ErrorsMissing a Javadoc comment.153
ErrorsMethod 'setActivateTracingEditableUnderCondition' is not designed for extension - needs to be abstract, final or empty.163
ErrorsMissing a Javadoc comment.163
ErrorsParameter b should be final.163
ErrorsMethod 'setActivateTracingEditable' is not designed for extension - needs to be abstract, final or empty.169
ErrorsMissing a Javadoc comment.169
ErrorsParameter b should be final.169
ErrorsMethod 'setActivateRadioTracing' is not designed for extension - needs to be abstract, final or empty.173
ErrorsMissing a Javadoc comment.173
ErrorsParameter activate should be final.173
ErrorsMethod 'createMenuBar' is not designed for extension - needs to be abstract, final or empty.178
ErrorsMissing a Javadoc comment.178
ErrorsParameter e should be final.187
ErrorsParameter e should be final.205
ErrorsLine is longer than 80 characters.209
ErrorsParameter e should be final.219
ErrorsLine is longer than 80 characters.223
ErrorsParameter e should be final.235
ErrorsParameter e should be final.246
ErrorsMethod 'log' is not designed for extension - needs to be abstract, final or empty.265
ErrorsMissing a Javadoc comment.265
ErrorsParameter message should be final.265
ErrorsMissing a Javadoc comment.269
ErrorsLine is longer than 80 characters.270
ErrorsLine has trailing spaces.273
ErrorsLine contains a tab character.273
ErrorsLine is longer than 80 characters.277
ErrorsMethod 'activateTracing' is not designed for extension - needs to be abstract, final or empty.294
ErrorsMissing a Javadoc comment.294
ErrorsParameter b should be final.294
ErrorsMethod 'setOptimisationMode' is not designed for extension - needs to be abstract, final or empty.313
ErrorsMissing a Javadoc comment.313
ErrorsParameter optimizationMode should be final.313

org/sat4j/sat/RemoteControlStrategy.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.43
ErrorsLine has trailing spaces.45
ErrorsLine has trailing spaces.47
ErrorsMissing a Javadoc comment.52
ErrorsMissing a Javadoc comment.54
ErrorsMissing a Javadoc comment.56
ErrorsMissing a Javadoc comment.57
ErrorsMissing a Javadoc comment.59
ErrorsMissing a Javadoc comment.61
ErrorsMissing a Javadoc comment.63
ErrorsMissing a Javadoc comment.64
ErrorsMissing a Javadoc comment.66
ErrorsMissing a Javadoc comment.67
ErrorsMissing a Javadoc comment.69
ErrorsMissing a Javadoc comment.71
ErrorsMissing a Javadoc comment.73
ErrorsParameter log should be final.73
ErrorsMissing a Javadoc comment.83
ErrorsMethod 'isHasClickedOnRestart' is not designed for extension - needs to be abstract, final or empty.87
ErrorsMissing a Javadoc comment.87
ErrorsMethod 'setHasClickedOnRestart' is not designed for extension - needs to be abstract, final or empty.91
ErrorsMissing a Javadoc comment.91
ErrorsParameter hasClickedOnRestart should be final.91
Errors'hasClickedOnRestart' hides a field.91
ErrorsMethod 'isHasClickedOnClean' is not designed for extension - needs to be abstract, final or empty.95
ErrorsMissing a Javadoc comment.95
ErrorsMethod 'setHasClickedOnClean' is not designed for extension - needs to be abstract, final or empty.99
ErrorsMissing a Javadoc comment.99
ErrorsParameter hasClickedOnClean should be final.99
Errors'hasClickedOnClean' hides a field.99
ErrorsMethod 'isUseTelecomStrategyAsLearnedConstraintsDeletionStrategy' is not designed for extension - needs to be abstract, final or empty.104
ErrorsMissing a Javadoc comment.104
ErrorsMethod 'setUseTelecomStrategyAsLearnedConstraintsDeletionStrategy' is not designed for extension - needs to be abstract, final or empty.108
ErrorsMissing a Javadoc comment.108
ErrorsParameter useTelecomStrategyAsLearnedConstraintsDeletionStrategy should be final.109
Errors'useTelecomStrategyAsLearnedConstraintsDeletionStrategy' hides a field.109
ErrorsLine is longer than 80 characters.110
ErrorsMethod 'clickedOnClean' is not designed for extension - needs to be abstract, final or empty.113
ErrorsMissing a Javadoc comment.113
ErrorsMethod 'getRestartStrategy' is not designed for extension - needs to be abstract, final or empty.120
ErrorsMissing a Javadoc comment.120
ErrorsMethod 'getPhaseSelectionStrategy' is not designed for extension - needs to be abstract, final or empty.124
ErrorsMissing a Javadoc comment.124
ErrorsMethod 'setPhaseSelectionStrategy' is not designed for extension - needs to be abstract, final or empty.128
ErrorsMissing a Javadoc comment.128
ErrorsParameter phaseSelectionStrategy should be final.129
Errors'phaseSelectionStrategy' hides a field.129
ErrorsMethod 'setRestartStrategy' is not designed for extension - needs to be abstract, final or empty.133
ErrorsMissing a Javadoc comment.133
ErrorsParameter restart should be final.133
Errors'restart' hides a field.133
ErrorsMethod 'getNbClausesAtWhichWeShouldClean' is not designed for extension - needs to be abstract, final or empty.137
ErrorsMissing a Javadoc comment.137
ErrorsMethod 'setNbClausesAtWhichWeShouldClean' is not designed for extension - needs to be abstract, final or empty.141
ErrorsMissing a Javadoc comment.141
ErrorsParameter nbClausesAtWhichWeShouldClean should be final.142
Errors'nbClausesAtWhichWeShouldClean' hides a field.142
ErrorsMethod 'getLogger' is not designed for extension - needs to be abstract, final or empty.146
ErrorsMissing a Javadoc comment.146
ErrorsMethod 'setLogger' is not designed for extension - needs to be abstract, final or empty.150
ErrorsMissing a Javadoc comment.150
ErrorsParameter logger should be final.150
Errors'logger' hides a field.150
ErrorsMethod 'init' is not designed for extension - needs to be abstract, final or empty.154
ErrorsMissing a Javadoc comment.154
ErrorsParameter params should be final.154
ErrorsParameter stats should be final.154
ErrorsMethod 'nextRestartNumberOfConflict' is not designed for extension - needs to be abstract, final or empty.158
ErrorsMissing a Javadoc comment.158
ErrorsMethod 'shouldRestart' is not designed for extension - needs to be abstract, final or empty.163
ErrorsMissing a Javadoc comment.163
ErrorsMethod 'onRestart' is not designed for extension - needs to be abstract, final or empty.172
ErrorsMissing a Javadoc comment.172
ErrorsMethod 'onBackjumpToRootLevel' is not designed for extension - needs to be abstract, final or empty.176
ErrorsMissing a Javadoc comment.176
ErrorsMethod 'getSearchParams' is not designed for extension - needs to be abstract, final or empty.180
ErrorsMissing a Javadoc comment.180
ErrorsMethod 'getSolverStats' is not designed for extension - needs to be abstract, final or empty.184
ErrorsMissing a Javadoc comment.184
ErrorsMethod 'getSolver' is not designed for extension - needs to be abstract, final or empty.188
ErrorsMissing a Javadoc comment.188
ErrorsMethod 'setSolver' is not designed for extension - needs to be abstract, final or empty.192
ErrorsMissing a Javadoc comment.192
ErrorsParameter solver should be final.192
Errors'solver' hides a field.192
ErrorsMethod 'reset' is not designed for extension - needs to be abstract, final or empty.196
ErrorsMissing a Javadoc comment.196
ErrorsMethod 'newConflict' is not designed for extension - needs to be abstract, final or empty.200
ErrorsMissing a Javadoc comment.200
ErrorsMethod 'updateVar' is not designed for extension - needs to be abstract, final or empty.210
ErrorsMissing a Javadoc comment.210
ErrorsParameter p should be final.210
ErrorsMethod 'init' is not designed for extension - needs to be abstract, final or empty.214
ErrorsMissing a Javadoc comment.214
ErrorsParameter nlength should be final.214
ErrorsMethod 'init' is not designed for extension - needs to be abstract, final or empty.218
ErrorsMissing a Javadoc comment.218
ErrorsParameter var should be final.218
ErrorsParameter p should be final.218
ErrorsMethod 'assignLiteral' is not designed for extension - needs to be abstract, final or empty.222
ErrorsMissing a Javadoc comment.222
ErrorsParameter p should be final.222
ErrorsMethod 'select' is not designed for extension - needs to be abstract, final or empty.233
ErrorsMissing a Javadoc comment.233
ErrorsParameter var should be final.233
ErrorsMethod 'updateVarAtDecisionLevel' is not designed for extension - needs to be abstract, final or empty.237
ErrorsMissing a Javadoc comment.237
ErrorsParameter q should be final.237
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.241
ErrorsMethod 'setInterrupted' is not designed for extension - needs to be abstract, final or empty.250
ErrorsMissing a Javadoc comment.250
ErrorsParameter b should be final.250
ErrorsMethod 'newLearnedClause' is not designed for extension - needs to be abstract, final or empty.259
ErrorsMissing a Javadoc comment.259
ErrorsParameter learned should be final.259
ErrorsParameter trailLevel should be final.259

org/sat4j/sat/RestartCommandComponent.java

ViolationMessageLine
ErrorsMissing a Javadoc comment.28
ErrorsMissing a Javadoc comment.30
ErrorsMissing a Javadoc comment.32
ErrorsMissing a Javadoc comment.34
ErrorsMissing a Javadoc comment.35
ErrorsMissing a Javadoc comment.36
ErrorsMissing a Javadoc comment.37
ErrorsMissing a Javadoc comment.39
ErrorsMissing a Javadoc comment.41
ErrorsMissing a Javadoc comment.42
ErrorsMissing a Javadoc comment.43
ErrorsMissing a Javadoc comment.45
ErrorsMissing a Javadoc comment.47
ErrorsLine is longer than 80 characters.48
ErrorsMissing a Javadoc comment.48
ErrorsMissing a Javadoc comment.49
ErrorsMissing a Javadoc comment.50
ErrorsLine is longer than 80 characters.51
ErrorsMissing a Javadoc comment.51
ErrorsLine is longer than 80 characters.52
ErrorsMissing a Javadoc comment.52
ErrorsMissing a Javadoc comment.53
ErrorsMissing a Javadoc comment.55
ErrorsMissing a Javadoc comment.57
ErrorsMissing a Javadoc comment.59
ErrorsParameter name should be final.59
ErrorsParameter controller should be final.59
Errors'controller' hides a field.59
ErrorsParameter initialRestartStrategy should be final.60
ErrorsParameter logger should be final.60
Errors'logger' hides a field.60
ErrorsMethod 'createPanel' is not designed for extension - needs to be abstract, final or empty.69
ErrorsParameter e should be final.104
ErrorsParameter e should be final.115
ErrorsParameter e should be final.135
ErrorsMethod 'initFactorParam' is not designed for extension - needs to be abstract, final or empty.161
ErrorsMissing a Javadoc comment.161
Errors'5' is a magic number.165
ErrorsMethod 'modifyRestartParamPanel' is not designed for extension - needs to be abstract, final or empty.169
ErrorsMissing a Javadoc comment.169
ErrorsMethod 'setRestartPanelEnabled' is not designed for extension - needs to be abstract, final or empty.184
ErrorsMissing a Javadoc comment.184
ErrorsParameter enabled should be final.184
ErrorsMethod 'setRestartPropertiesPanelEnabled' is not designed for extension - needs to be abstract, final or empty.192
ErrorsMissing a Javadoc comment.192
ErrorsParameter enabled should be final.192
ErrorsMethod 'updateRestartStrategyPanel' is not designed for extension - needs to be abstract, final or empty.199
ErrorsMissing a Javadoc comment.199
ErrorsMethod 'hasClickedOnChange' is not designed for extension - needs to be abstract, final or empty.203
ErrorsMissing a Javadoc comment.203
ErrorsMethod 'hasClickedOnRestart' is not designed for extension - needs to be abstract, final or empty.260
ErrorsMissing a Javadoc comment.260
ErrorsMethod 'getListOfRestartStrategies' is not designed for extension - needs to be abstract, final or empty.264
ErrorsMissing a Javadoc comment.264
ErrorsMethod 'getCurrentRestart' is not designed for extension - needs to be abstract, final or empty.277
ErrorsMissing a Javadoc comment.277
ErrorsMethod 'setCurrentRestart' is not designed for extension - needs to be abstract, final or empty.281
ErrorsMissing a Javadoc comment.281
ErrorsParameter currentRestart should be final.281
Errors'currentRestart' hides a field.281

org/sat4j/sat/SimplifierCommandComponent.java

ViolationMessageLine
ErrorsMissing a Javadoc comment.17
ErrorsLine has trailing spaces.20
ErrorsMissing a Javadoc comment.24
ErrorsMissing a Javadoc comment.26
ErrorsMissing a Javadoc comment.27
ErrorsLine is longer than 80 characters.28
ErrorsMissing a Javadoc comment.28
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.29
ErrorsMissing a Javadoc comment.31
ErrorsMissing a Javadoc comment.32
ErrorsMissing a Javadoc comment.33
ErrorsMissing a Javadoc comment.34
ErrorsMissing a Javadoc comment.35
ErrorsLine is longer than 80 characters.37
ErrorsMissing a Javadoc comment.37
ErrorsParameter name should be final.37
ErrorsParameter controller should be final.37
Errors'controller' hides a field.37
ErrorsMethod 'createPanel' is not designed for extension - needs to be abstract, final or empty.43
ErrorsMethod 'createSimplifierPanel' is not designed for extension - needs to be abstract, final or empty.48
ErrorsMissing a Javadoc comment.48
ErrorsLine is longer than 80 characters.61
ErrorsParameter e should be final.77
ErrorsMethod 'setSelectedSimplification' is not designed for extension - needs to be abstract, final or empty.90
ErrorsMissing a Javadoc comment.90
ErrorsParameter simplification should be final.90
ErrorsMethod 'hasClickedOnApplySimplification' is not designed for extension - needs to be abstract, final or empty.100
ErrorsMissing a Javadoc comment.100
ErrorsMethod 'setSimplifierPanelEnabled' is not designed for extension - needs to be abstract, final or empty.113
ErrorsMissing a Javadoc comment.113
ErrorsParameter enabled should be final.113

org/sat4j/sat/SolverController.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.39
ErrorsMissing a Javadoc comment.41
ErrorsMissing a Javadoc comment.43
ErrorsMissing a Javadoc comment.45
ErrorsMissing a Javadoc comment.48
ErrorsMissing a Javadoc comment.50
ErrorsMissing a Javadoc comment.52
ErrorsMissing a Javadoc comment.54
ErrorsMissing a Javadoc comment.56
ErrorsMissing a Javadoc comment.58
ErrorsMissing a Javadoc comment.60
ErrorsMissing a Javadoc comment.62
ErrorsMissing a Javadoc comment.64
ErrorsMissing a Javadoc comment.66
ErrorsMissing a Javadoc comment.68
ErrorsMissing a Javadoc comment.70

org/sat4j/sat/Solvers.java

ViolationMessageLine
ErrorsMissing a Javadoc comment.40
ErrorsMissing a Javadoc comment.42
ErrorsMissing a Javadoc comment.43
ErrorsMissing a Javadoc comment.44
ErrorsMissing a Javadoc comment.45
ErrorsMissing a Javadoc comment.46
ErrorsMissing a Javadoc comment.47
ErrorsMissing a Javadoc comment.48
ErrorsMissing a Javadoc comment.49
ErrorsLine is longer than 80 characters.50
ErrorsMissing a Javadoc comment.50
ErrorsMissing a Javadoc comment.51
ErrorsMissing a Javadoc comment.52
ErrorsMissing a Javadoc comment.53
ErrorsMissing a Javadoc comment.54
ErrorsMissing a Javadoc comment.55
ErrorsMissing a Javadoc comment.56
ErrorsMissing a Javadoc comment.57
ErrorsMissing a Javadoc comment.58
ErrorsMissing a Javadoc comment.59
ErrorsMissing a Javadoc comment.61
ErrorsMissing a Javadoc comment.62
ErrorsMissing a Javadoc comment.63
ErrorsMissing a Javadoc comment.64
ErrorsMissing a Javadoc comment.65
ErrorsLine is longer than 80 characters.67
ErrorsMissing a Javadoc comment.67
ErrorsMissing a Javadoc comment.68
ErrorsLine is longer than 80 characters.69
ErrorsMissing a Javadoc comment.69
ErrorsLine is longer than 80 characters.70
ErrorsMissing a Javadoc comment.70
ErrorsLine is longer than 80 characters.71
ErrorsMissing a Javadoc comment.71
ErrorsLine is longer than 80 characters.73
ErrorsMissing a Javadoc comment.73
ErrorsMissing a Javadoc comment.82
ErrorsMissing a Javadoc comment.85
ErrorsParameter solverconfig should be final.85
ErrorsParameter theSolver should be final.86
ErrorsParameter logger should be final.86
Errors'+' is not preceded with whitespace.135
Errors'+' is not followed by whitespace.135
ErrorsLine is longer than 80 characters.136
ErrorsMissing a Javadoc comment.147
ErrorsParameter component should be final.147
ErrorsParameter pf should be final.147
ErrorsParameter logger should be final.148
ErrorsMissing a Javadoc comment.190
ErrorsLine is longer than 80 characters.196
ErrorsLine is longer than 80 characters.208
ErrorsLine is longer than 80 characters.210
ErrorsLine is longer than 80 characters.213
ErrorsLine is longer than 80 characters.225
ErrorsLine is longer than 80 characters.229
ErrorsLine is longer than 80 characters.231
ErrorsLine is longer than 80 characters.235
ErrorsMissing a Javadoc comment.259
ErrorsParameter logger should be final.259
ErrorsLine is longer than 80 characters.260
ErrorsLine is longer than 80 characters.261
ErrorsMissing a Javadoc comment.264
ErrorsParameter args should be final.264
ErrorsMissing a Javadoc comment.274
ErrorsParameter args should be final.274
ErrorsParameter logger should be final.274
ErrorsLine is longer than 80 characters.317
ErrorsLine is longer than 80 characters.331
ErrorsLine is longer than 80 characters.360
ErrorsMissing a Javadoc comment.408
ErrorsParameter filename should be final.408
ErrorsMissing a Javadoc comment.416
ErrorsParameter logger should be final.416
ErrorsMissing a Javadoc comment.452
ErrorsParameter logger should be final.452
ErrorsMissing a Javadoc comment.486
ErrorsParameter logger should be final.486
ErrorsMissing a Javadoc comment.519
ErrorsParameter logger should be final.519
ErrorsMissing a Javadoc comment.562
ErrorsParameter logger should be final.562
ErrorsMissing a Javadoc comment.584
ErrorsParameter logger should be final.584
ErrorsLine is longer than 80 characters.585
Errors'+' is not preceded with whitespace.585
Errors'+' is not followed by whitespace.585
Errors'+' is not preceded with whitespace.585
Errors'+' is not followed by whitespace.585
ErrorsMissing a Javadoc comment.588
ErrorsParameter logger should be final.589
ErrorsLine is longer than 80 characters.590
Errors'+' is not preceded with whitespace.590
Errors'+' is not followed by whitespace.590
Errors'+' is not preceded with whitespace.590
Errors'+' is not followed by whitespace.590
ErrorsMissing a Javadoc comment.594
ErrorsParameter afactory should be final.595
ErrorsParameter logger should be final.595
ErrorsMissing a Javadoc comment.599
ErrorsParameter afactory should be final.600
ErrorsParameter framework should be final.600
ErrorsParameter logger should be final.600
ErrorsLine is longer than 80 characters.603
ErrorsMissing a Javadoc comment.614
ErrorsParameter logger should be final.614

org/sat4j/sat/StartSolverEnum.java

ViolationMessageLine
ErrorsMissing a Javadoc comment.3
ErrorsLine is longer than 80 characters.5
ErrorsMissing a Javadoc comment.5
ErrorsMissing a Javadoc comment.5
ErrorsMissing a Javadoc comment.5
ErrorsMissing a Javadoc comment.5

org/sat4j/sat/VerySimpleCommandPanel.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.43
ErrorsLine has trailing spaces.46
ErrorsLine has trailing spaces.48
ErrorsMissing a Javadoc comment.52
ErrorsMissing a Javadoc comment.54
ErrorsMissing a Javadoc comment.56
ErrorsMissing a Javadoc comment.57
ErrorsMissing a Javadoc comment.59
ErrorsMissing a Javadoc comment.60
ErrorsMissing a Javadoc comment.62
ErrorsMissing a Javadoc comment.64
ErrorsParameter telecomStrategy should be final.64
Errors'telecomStrategy' hides a field.64
Errors'200' is a magic number.67
Errors'200' is a magic number.67
ErrorsParameter e should be final.74
ErrorsParameter e should be final.82
Errors'100' is a magic number.91
Errors'100' is a magic number.91
ErrorsMethod 'hasClickedOnRestart' is not designed for extension - needs to be abstract, final or empty.100
ErrorsMissing a Javadoc comment.100
ErrorsMethod 'hasClickedOnClean' is not designed for extension - needs to be abstract, final or empty.107
ErrorsMissing a Javadoc comment.107

org/sat4j/sat/package-info.java

ViolationMessageLine
ErrorsLine has trailing spaces.2
ErrorsLine has trailing spaces.3

org/sat4j/sat/visu/ChartBasedVisualizationTool.java

ViolationMessageLine
ErrorsMissing a Javadoc comment.7
ErrorsMissing a Javadoc comment.9
ErrorsMissing a Javadoc comment.11
ErrorsMissing a Javadoc comment.13
ErrorsParameter trace should be final.13
Errors'trace' hides a field.13
ErrorsMethod 'addPoint' is not designed for extension - needs to be abstract, final or empty.17
ErrorsMissing a Javadoc comment.17
ErrorsParameter x should be final.17
ErrorsParameter y should be final.17
ErrorsMissing a Javadoc comment.21
ErrorsParameter x should be final.21
ErrorsParameter y should be final.21
ErrorsMethod 'init' is not designed for extension - needs to be abstract, final or empty.24
ErrorsMissing a Javadoc comment.24
ErrorsMissing a Javadoc comment.28

org/sat4j/sat/visu/GnuplotBasedSolverVisualisation.java

ViolationMessageLine
ErrorsMissing a Javadoc comment.12
ErrorsMissing a Javadoc comment.14
ErrorsMissing a Javadoc comment.16
ErrorsMissing a Javadoc comment.18
ErrorsMissing a Javadoc comment.20
ErrorsMissing a Javadoc comment.22
ErrorsMissing a Javadoc comment.24
ErrorsMissing a Javadoc comment.26
ErrorsMissing a Javadoc comment.28
ErrorsMissing a Javadoc comment.30
ErrorsMissing a Javadoc comment.32
ErrorsMissing a Javadoc comment.34
ErrorsMissing a Javadoc comment.36
ErrorsMissing a Javadoc comment.38
ErrorsMissing a Javadoc comment.40
ErrorsMissing a Javadoc comment.42
ErrorsMissing a Javadoc comment.44
ErrorsLine is longer than 80 characters.46
ErrorsMissing a Javadoc comment.46
ErrorsLine is longer than 80 characters.48
ErrorsMissing a Javadoc comment.48
ErrorsLine is longer than 80 characters.50
ErrorsMissing a Javadoc comment.50
ErrorsMissing a Javadoc comment.52
ErrorsMissing a Javadoc comment.54
ErrorsMissing a Javadoc comment.56
ErrorsMissing a Javadoc comment.58
ErrorsMissing a Javadoc comment.60
ErrorsMissing a Javadoc comment.62
ErrorsMissing a Javadoc comment.64
ErrorsMissing a Javadoc comment.66
ErrorsMissing a Javadoc comment.68
ErrorsMissing a Javadoc comment.70
ErrorsLine has trailing spaces.73
ErrorsMissing a Javadoc comment.77
ErrorsMissing a Javadoc comment.78
ErrorsMissing a Javadoc comment.79
ErrorsMissing a Javadoc comment.80
ErrorsMissing a Javadoc comment.81
ErrorsMissing a Javadoc comment.83
ErrorsParameter visuPref should be final.83
ErrorsParameter nbVar should be final.83
ErrorsParameter path should be final.84
ErrorsParameter logger should be final.84
Errors'logger' hides a field.84
ErrorsMethod 'start' is not designed for extension - needs to be abstract, final or empty.91
ErrorsMissing a Javadoc comment.91
ErrorsMethod 'end' is not designed for extension - needs to be abstract, final or empty.95
ErrorsMissing a Javadoc comment.95
ErrorsMethod 'traceGnuplot' is not designed for extension - needs to be abstract, final or empty.99
ErrorsMethod length is 282 lines (max allowed is 150).99
ErrorsMissing a Javadoc comment.99
ErrorsLine is longer than 80 characters.130
ErrorsLine is longer than 80 characters.136
Errors'{' is followed by whitespace.144
ErrorsLine is longer than 80 characters.158
ErrorsLine is longer than 80 characters.162
Errors'{' is followed by whitespace.170
ErrorsLine is longer than 80 characters.182
ErrorsLine is longer than 80 characters.203
ErrorsLine is longer than 80 characters.206
Errors'{' is followed by whitespace.222
Errors'{' is followed by whitespace.223
Errors'4' is a magic number.225
ErrorsLine is longer than 80 characters.231
Errors'{' is followed by whitespace.241
Errors'{' is followed by whitespace.242
Errors'4' is a magic number.244
ErrorsLine is longer than 80 characters.255
Errors'{' is followed by whitespace.270
Errors'{' is followed by whitespace.274
ErrorsLine is longer than 80 characters.309
Errors'{' is followed by whitespace.315
ErrorsLine is longer than 80 characters.316
Errors'{' is followed by whitespace.316
Errors'50' is a magic number.317
Errors'1000' is a magic number.320
ErrorsLine is longer than 80 characters.333
ErrorsLine is longer than 80 characters.342
ErrorsLine is longer than 80 characters.344
ErrorsLine is longer than 80 characters.346
ErrorsLine is longer than 80 characters.347
ErrorsLine is longer than 80 characters.355
ErrorsMissing a Javadoc comment.382
ErrorsMissing a Javadoc comment.386
ErrorsMissing a Javadoc comment.390
ErrorsParameter bottom should be final.390
ErrorsParameter right should be final.390
ErrorsMissing a Javadoc comment.394
ErrorsParameter width should be final.394
ErrorsParameter height should be final.394
ErrorsMissing a Javadoc comment.398
ErrorsParameter title should be final.398
ErrorsMethod 'stopGnuplot' is not designed for extension - needs to be abstract, final or empty.403
ErrorsMissing a Javadoc comment.403
ErrorsMethod 'setnVar' is not designed for extension - needs to be abstract, final or empty.411
ErrorsMissing a Javadoc comment.411
ErrorsParameter n should be final.411

org/sat4j/sat/visu/GnuplotDataFile.java

ViolationMessageLine
ErrorsMissing a Javadoc comment.5
ErrorsMissing a Javadoc comment.6
ErrorsMissing a Javadoc comment.7
ErrorsMissing a Javadoc comment.8
ErrorsMissing a Javadoc comment.9
ErrorsMissing a Javadoc comment.11
ErrorsParameter filename should be final.11
Errors'filename' hides a field.11
ErrorsMissing a Javadoc comment.15
ErrorsParameter filename should be final.15
Errors'filename' hides a field.15
ErrorsParameter color should be final.15
Errors'color' hides a field.15
ErrorsParameter title should be final.15
Errors'title' hides a field.15
ErrorsMissing a Javadoc comment.19
ErrorsParameter filename should be final.19
Errors'filename' hides a field.19
ErrorsParameter color should be final.19
Errors'color' hides a field.19
ErrorsParameter title should be final.19
Errors'title' hides a field.19
ErrorsParameter style should be final.20
Errors'style' hides a field.20
ErrorsMethod 'getFilename' is not designed for extension - needs to be abstract, final or empty.27
ErrorsMissing a Javadoc comment.27
ErrorsMethod 'setFilename' is not designed for extension - needs to be abstract, final or empty.31
ErrorsMissing a Javadoc comment.31
ErrorsParameter filename should be final.31
Errors'filename' hides a field.31
ErrorsMethod 'getColor' is not designed for extension - needs to be abstract, final or empty.35
ErrorsMissing a Javadoc comment.35
ErrorsMethod 'setColor' is not designed for extension - needs to be abstract, final or empty.39
ErrorsMissing a Javadoc comment.39
ErrorsParameter color should be final.39
Errors'color' hides a field.39
ErrorsMethod 'getTitle' is not designed for extension - needs to be abstract, final or empty.43
ErrorsMissing a Javadoc comment.43
ErrorsMethod 'setTitle' is not designed for extension - needs to be abstract, final or empty.47
ErrorsMissing a Javadoc comment.47
ErrorsParameter title should be final.47
Errors'title' hides a field.47
ErrorsMethod 'getStyle' is not designed for extension - needs to be abstract, final or empty.51
ErrorsMissing a Javadoc comment.51
ErrorsMethod 'setStyle' is not designed for extension - needs to be abstract, final or empty.55
ErrorsMissing a Javadoc comment.55
ErrorsParameter style should be final.55
Errors'style' hides a field.55

org/sat4j/sat/visu/GnuplotFunction.java

ViolationMessageLine
ErrorsMissing a Javadoc comment.5
ErrorsMissing a Javadoc comment.7
ErrorsMissing a Javadoc comment.8
ErrorsMissing a Javadoc comment.9
ErrorsMissing a Javadoc comment.11
ErrorsParameter expression should be final.11
ErrorsMissing a Javadoc comment.15
ErrorsParameter functionExpression should be final.15
Errors'functionExpression' hides a field.15
ErrorsParameter functionColor should be final.15
ErrorsParameter functionLegend should be final.16
Errors'functionLegend' hides a field.16
ErrorsMethod 'getFunctionExpression' is not designed for extension - needs to be abstract, final or empty.22
ErrorsMissing a Javadoc comment.22
ErrorsMethod 'setFunctionExpression' is not designed for extension - needs to be abstract, final or empty.26
ErrorsMissing a Javadoc comment.26
ErrorsParameter functionExpression should be final.26
Errors'functionExpression' hides a field.26
ErrorsMethod 'getColor' is not designed for extension - needs to be abstract, final or empty.30
ErrorsMissing a Javadoc comment.30
ErrorsMethod 'setColor' is not designed for extension - needs to be abstract, final or empty.34
ErrorsMissing a Javadoc comment.34
ErrorsParameter functionColor should be final.34
ErrorsMethod 'getFunctionLegend' is not designed for extension - needs to be abstract, final or empty.38
ErrorsMissing a Javadoc comment.38
ErrorsMethod 'setFunctionLegend' is not designed for extension - needs to be abstract, final or empty.42
ErrorsMissing a Javadoc comment.42
ErrorsParameter functionLegend should be final.42
Errors'functionLegend' hides a field.42

org/sat4j/sat/visu/JChartBasedSolverVisualisation.java

ViolationMessageLine
ErrorsMissing a Javadoc comment.19
ErrorsMissing a Javadoc comment.21
ErrorsMissing a Javadoc comment.23
ErrorsLine has trailing spaces.26
ErrorsMissing a Javadoc comment.30
ErrorsMissing a Javadoc comment.32
ErrorsMissing a Javadoc comment.34
ErrorsMissing a Javadoc comment.35
ErrorsMissing a Javadoc comment.36
ErrorsMissing a Javadoc comment.37
ErrorsMissing a Javadoc comment.38
ErrorsMissing a Javadoc comment.39
ErrorsMissing a Javadoc comment.40
ErrorsMissing a Javadoc comment.41
ErrorsMissing a Javadoc comment.43
ErrorsMissing a Javadoc comment.44
ErrorsMissing a Javadoc comment.45
ErrorsMissing a Javadoc comment.46
ErrorsMissing a Javadoc comment.47
ErrorsMissing a Javadoc comment.48
ErrorsMissing a Javadoc comment.50
ErrorsMissing a Javadoc comment.51
ErrorsMissing a Javadoc comment.52
ErrorsMissing a Javadoc comment.54
ErrorsMissing a Javadoc comment.55
ErrorsMissing a Javadoc comment.56
ErrorsMissing a Javadoc comment.58
ErrorsMissing a Javadoc comment.60
ErrorsMissing a Javadoc comment.61
ErrorsMissing a Javadoc comment.62
ErrorsMissing a Javadoc comment.64
ErrorsMissing a Javadoc comment.66
ErrorsMissing a Javadoc comment.67
ErrorsMissing a Javadoc comment.68
ErrorsMissing a Javadoc comment.70
ErrorsMissing a Javadoc comment.72
ErrorsParameter pref should be final.72
Errors'pref' hides a field.72
ErrorsMethod 'init' is not designed for extension - needs to be abstract, final or empty.77
ErrorsMissing a Javadoc comment.77
Errors'{' is followed by whitespace.83
Errors'3' is a magic number.83
Errors'3' is a magic number.85
Errors'5' is a magic number.86
Errors'3' is a magic number.90
Errors'5' is a magic number.92
Errors'5' is a magic number.92
Errors'800' is a magic number.103
Errors'400' is a magic number.103
ErrorsParameter e should be final.108
ErrorsMethod 'initCharts' is not designed for extension - needs to be abstract, final or empty.115
ErrorsMissing a Javadoc comment.115
ErrorsMethod 'addChartsToFrame' is not designed for extension - needs to be abstract, final or empty.144
ErrorsMissing a Javadoc comment.144
ErrorsMethod 'initTraces' is not designed for extension - needs to be abstract, final or empty.198
ErrorsMethod length is 157 lines (max allowed is 150).198
ErrorsMissing a Javadoc comment.198
Errors'0.78f' is a magic number.201
Errors'0.09f' is a magic number.201
Errors'8000' is a magic number.236
Errors'15000' is a magic number.246
Errors'2000' is a magic number.269
Errors'2000' is a magic number.296
Errors'2000' is a magic number.305
Errors'0.02f' is a magic number.336
Errors'.78f' is a magic number.336
Errors'.76f' is a magic number.336
Errors'30' is a magic number.350
ErrorsMethod 'setVisible' is not designed for extension - needs to be abstract, final or empty.356
ErrorsMissing a Javadoc comment.356
ErrorsParameter b should be final.356
ErrorsMethod 'getPositiveDecisionTrace' is not designed for extension - needs to be abstract, final or empty.360
ErrorsMissing a Javadoc comment.360
ErrorsMethod 'setPositiveDecisionTrace' is not designed for extension - needs to be abstract, final or empty.364
ErrorsMissing a Javadoc comment.364
ErrorsParameter positiveDecisionTrace should be final.364
Errors'positiveDecisionTrace' hides a field.364
ErrorsMethod 'getNegativeDecisionTrace' is not designed for extension - needs to be abstract, final or empty.368
ErrorsMissing a Javadoc comment.368
ErrorsMethod 'setNegativeDecisionTrace' is not designed for extension - needs to be abstract, final or empty.372
ErrorsMissing a Javadoc comment.372
ErrorsParameter negativeDecisionTrace should be final.372
Errors'negativeDecisionTrace' hides a field.372
ErrorsMethod 'getRestartNegDecisionTrace' is not designed for extension - needs to be abstract, final or empty.376
ErrorsMissing a Javadoc comment.376
ErrorsMethod 'setRestartNegDecisionTrace' is not designed for extension - needs to be abstract, final or empty.380
ErrorsMissing a Javadoc comment.380
ErrorsParameter restartNegDecisionTrace should be final.380
Errors'restartNegDecisionTrace' hides a field.380
ErrorsMethod 'getRestartPosDecisionTrace' is not designed for extension - needs to be abstract, final or empty.384
ErrorsMissing a Javadoc comment.384
ErrorsMethod 'setRestartPosDecisionTrace' is not designed for extension - needs to be abstract, final or empty.388
ErrorsMissing a Javadoc comment.388
ErrorsParameter restartPosDecisionTrace should be final.388
Errors'restartPosDecisionTrace' hides a field.388
ErrorsMethod 'getConflictDepthTrace' is not designed for extension - needs to be abstract, final or empty.392
ErrorsMissing a Javadoc comment.392
ErrorsMethod 'setConflictDepthTrace' is not designed for extension - needs to be abstract, final or empty.396
ErrorsMissing a Javadoc comment.396
ErrorsParameter conflictDepthTrace should be final.396
Errors'conflictDepthTrace' hides a field.396
ErrorsMethod 'getLearnedClausesSizeTrace' is not designed for extension - needs to be abstract, final or empty.400
ErrorsMissing a Javadoc comment.400
ErrorsMethod 'setLearnedClausesSizeTrace' is not designed for extension - needs to be abstract, final or empty.404
ErrorsMissing a Javadoc comment.404
ErrorsParameter learnedClausesSizeTrace should be final.404
Errors'learnedClausesSizeTrace' hides a field.404
ErrorsMethod 'getClausesEvaluationTrace' is not designed for extension - needs to be abstract, final or empty.408
ErrorsMissing a Javadoc comment.408
ErrorsMethod 'setClausesEvaluationTrace' is not designed for extension - needs to be abstract, final or empty.412
ErrorsMissing a Javadoc comment.412
ErrorsParameter clausesEvaluationTrace should be final.412
Errors'clausesEvaluationTrace' hides a field.412
ErrorsMethod 'getConflictLevelTrace' is not designed for extension - needs to be abstract, final or empty.416
ErrorsMissing a Javadoc comment.416
ErrorsMethod 'setConflictLevelTrace' is not designed for extension - needs to be abstract, final or empty.420
ErrorsMissing a Javadoc comment.420
ErrorsParameter conflictLevelTrace should be final.420
Errors'conflictLevelTrace' hides a field.420
ErrorsMethod 'getConflictLevelRestartTrace' is not designed for extension - needs to be abstract, final or empty.424
ErrorsMissing a Javadoc comment.424
ErrorsLine is longer than 80 characters.428
ErrorsMethod 'setConflictLevelRestartTrace' is not designed for extension - needs to be abstract, final or empty.428
ErrorsMissing a Javadoc comment.428
ErrorsParameter conflictLevelRestartTrace should be final.428
Errors'conflictLevelRestartTrace' hides a field.428
ErrorsMethod 'getHeuristicsTrace' is not designed for extension - needs to be abstract, final or empty.432
ErrorsMissing a Javadoc comment.432
ErrorsMethod 'setHeuristicsTrace' is not designed for extension - needs to be abstract, final or empty.436
ErrorsMissing a Javadoc comment.436
ErrorsParameter heuristicsTrace should be final.436
Errors'heuristicsTrace' hides a field.436
ErrorsMethod 'getSpeedTrace' is not designed for extension - needs to be abstract, final or empty.440
ErrorsMissing a Javadoc comment.440
ErrorsMethod 'setSpeedTrace' is not designed for extension - needs to be abstract, final or empty.444
ErrorsMissing a Javadoc comment.444
ErrorsParameter speedTrace should be final.444
Errors'speedTrace' hides a field.444
ErrorsMethod 'getSpeedCleanTrace' is not designed for extension - needs to be abstract, final or empty.448
ErrorsMissing a Javadoc comment.448
ErrorsMethod 'setSpeedCleanTrace' is not designed for extension - needs to be abstract, final or empty.452
ErrorsMissing a Javadoc comment.452
ErrorsParameter speedCleanTrace should be final.452
Errors'speedCleanTrace' hides a field.452
ErrorsMethod 'getSpeedRestartTrace' is not designed for extension - needs to be abstract, final or empty.456
ErrorsMissing a Javadoc comment.456
ErrorsMethod 'setSpeedRestartTrace' is not designed for extension - needs to be abstract, final or empty.460
ErrorsMissing a Javadoc comment.460
ErrorsParameter speedRestartTrace should be final.460
Errors'speedRestartTrace' hides a field.460
ErrorsMethod 'getConflictDepthRestartTrace' is not designed for extension - needs to be abstract, final or empty.464
ErrorsMissing a Javadoc comment.464
ErrorsLine is longer than 80 characters.468
ErrorsMethod 'setConflictDepthRestartTrace' is not designed for extension - needs to be abstract, final or empty.468
ErrorsMissing a Javadoc comment.468
ErrorsParameter conflictDepthRestartTrace should be final.468
Errors'conflictDepthRestartTrace' hides a field.468
ErrorsMethod 'getLearnedClausesSizeRestartTrace' is not designed for extension - needs to be abstract, final or empty.472
ErrorsMissing a Javadoc comment.472
ErrorsMethod 'setLearnedClausesSizeRestartTrace' is not designed for extension - needs to be abstract, final or empty.476
ErrorsMissing a Javadoc comment.476
ErrorsParameter learnedClausesSizeRestartTrace should be final.477
Errors'learnedClausesSizeRestartTrace' hides a field.477
ErrorsMethod 'getLearnedClausesSizeCleanTrace' is not designed for extension - needs to be abstract, final or empty.481
ErrorsMissing a Javadoc comment.481
ErrorsMethod 'setLearnedClausesSizeCleanTrace' is not designed for extension - needs to be abstract, final or empty.485
ErrorsMissing a Javadoc comment.485
ErrorsParameter learnedClausesSizeCleanTrace should be final.486
Errors'learnedClausesSizeCleanTrace' hides a field.486
ErrorsMethod 'getConflictLevelCleanTrace' is not designed for extension - needs to be abstract, final or empty.490
ErrorsMissing a Javadoc comment.490
ErrorsMethod 'setConflictLevelCleanTrace' is not designed for extension - needs to be abstract, final or empty.494
ErrorsMissing a Javadoc comment.494
ErrorsParameter conflictLevelCleanTrace should be final.494
Errors'conflictLevelCleanTrace' hides a field.494
ErrorsMethod 'getConflictDepthCleanTrace' is not designed for extension - needs to be abstract, final or empty.498
ErrorsMissing a Javadoc comment.498
ErrorsMethod 'setConflictDepthCleanTrace' is not designed for extension - needs to be abstract, final or empty.502
ErrorsMissing a Javadoc comment.502
ErrorsParameter conflictDepthCleanTrace should be final.502
Errors'conflictDepthCleanTrace' hides a field.502
ErrorsMethod 'getCleanPosDecisionTrace' is not designed for extension - needs to be abstract, final or empty.506
ErrorsMissing a Javadoc comment.506
ErrorsMethod 'setCleanPosDecisionTrace' is not designed for extension - needs to be abstract, final or empty.510
ErrorsMissing a Javadoc comment.510
ErrorsParameter cleanPosDecisionTrace should be final.510
Errors'cleanPosDecisionTrace' hides a field.510
ErrorsMethod 'getCleanNegDecisionTrace' is not designed for extension - needs to be abstract, final or empty.514
ErrorsMissing a Javadoc comment.514
ErrorsMethod 'setCleanNegDecisionTrace' is not designed for extension - needs to be abstract, final or empty.518
ErrorsMissing a Javadoc comment.518
ErrorsParameter cleanNegDecisionTrace should be final.518
Errors'cleanNegDecisionTrace' hides a field.518
ErrorsMethod 'getnVar' is not designed for extension - needs to be abstract, final or empty.522
ErrorsMissing a Javadoc comment.522
ErrorsMethod 'setnVar' is not designed for extension - needs to be abstract, final or empty.526
ErrorsMissing a Javadoc comment.526
ErrorsParameter nVar should be final.526
Errors'nVar' hides a field.526
ErrorsMethod 'start' is not designed for extension - needs to be abstract, final or empty.530
ErrorsMissing a Javadoc comment.530
ErrorsMethod 'end' is not designed for extension - needs to be abstract, final or empty.534
ErrorsMissing a Javadoc comment.534

org/sat4j/sat/visu/MyChartPanel.java

ViolationMessageLine
ErrorsMissing a Javadoc comment.13
ErrorsLine has trailing spaces.16
ErrorsMissing a Javadoc comment.19
ErrorsMissing a Javadoc comment.21
ErrorsParameter chart should be final.21
ErrorsParameter title should be final.21
ErrorsMissing a Javadoc comment.25
ErrorsParameter chart should be final.25
ErrorsParameter title should be final.25
ErrorsParameter bg should be final.25
ErrorsParameter fg should be final.25
Errors'4' is a magic number.40
Errors'4' is a magic number.40
Errors'4' is a magic number.40
Errors'4' is a magic number.40

org/sat4j/sat/visu/PointPainterCross.java

ViolationMessageLine
ErrorsMissing a Javadoc comment.8
ErrorsLine has trailing spaces.11
ErrorsLine contains a tab character.11
ErrorsLine contains a tab character.12
ErrorsFirst sentence should end with a period.15
ErrorsMissing a Javadoc comment.20
ErrorsParameter crossSize should be final.26
Errors'crossSize' hides a field.26
ErrorsExpected @param tag for 'crossSize'.26
ErrorsLine has trailing spaces.32
ErrorsUnused @param tag for 'crossSize'.33
ErrorsLine is longer than 80 characters.41
ErrorsExpected an @return tag.43
ErrorsMethod 'equals' is not designed for extension - needs to be abstract, final or empty.43
ErrorsExpected @param tag for 'obj'.44
ErrorsExpected an @return tag.64
ErrorsMethod 'hashCode' is not designed for extension - needs to be abstract, final or empty.64
ErrorsMethod 'paintPoint' is not designed for extension - needs to be abstract, final or empty.76
ErrorsExpected @param tag for 'absoluteX'.76
ErrorsExpected @param tag for 'absoluteY'.76
ErrorsExpected @param tag for 'nextX'.77
ErrorsExpected @param tag for 'nextY'.77
ErrorsExpected @param tag for 'g'.77
ErrorsExpected @param tag for 'original'.78
ErrorsFirst sentence should end with a period.87
ErrorsLine has trailing spaces.90
ErrorsMethod 'getCrossSize' is not designed for extension - needs to be abstract, final or empty.93
ErrorsFirst sentence should end with a period.97
ErrorsLine has trailing spaces.99
ErrorsMethod 'setCrossSize' is not designed for extension - needs to be abstract, final or empty.103
ErrorsParameter crossSize should be final.103
Errors'crossSize' hides a field.103

org/sat4j/sat/visu/PointPainterPlus.java

ViolationMessageLine
ErrorsMissing a Javadoc comment.8
ErrorsLine has trailing spaces.11
ErrorsLine contains a tab character.11
ErrorsLine contains a tab character.12
ErrorsFirst sentence should end with a period.15
ErrorsMissing a Javadoc comment.20
ErrorsParameter plusSize should be final.26
Errors'plusSize' hides a field.26
ErrorsExpected @param tag for 'plusSize'.26
ErrorsLine has trailing spaces.32
ErrorsUnused @param tag for 'plusSize'.33
ErrorsLine is longer than 80 characters.41
ErrorsExpected an @return tag.43
ErrorsMethod 'equals' is not designed for extension - needs to be abstract, final or empty.43
ErrorsExpected @param tag for 'obj'.44
ErrorsExpected an @return tag.64
ErrorsMethod 'hashCode' is not designed for extension - needs to be abstract, final or empty.64
ErrorsMethod 'paintPoint' is not designed for extension - needs to be abstract, final or empty.76
ErrorsExpected @param tag for 'absoluteX'.76
ErrorsExpected @param tag for 'absoluteY'.76
ErrorsExpected @param tag for 'nextX'.77
ErrorsExpected @param tag for 'nextY'.77
ErrorsExpected @param tag for 'g'.77
ErrorsExpected @param tag for 'original'.78
ErrorsFirst sentence should end with a period.85
ErrorsLine has trailing spaces.88
ErrorsMethod 'getPlusSize' is not designed for extension - needs to be abstract, final or empty.91
ErrorsFirst sentence should end with a period.95
ErrorsLine has trailing spaces.97
ErrorsMethod 'setPlusSize' is not designed for extension - needs to be abstract, final or empty.101
ErrorsParameter plusSize should be final.101
Errors'plusSize' hides a field.101

org/sat4j/sat/visu/SolverVisualisation.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.34
ErrorsMissing a Javadoc comment.36
ErrorsMissing a Javadoc comment.38
ErrorsMissing a Javadoc comment.40

org/sat4j/sat/visu/TraceComposite.java

ViolationMessageLine
ErrorsFirst sentence should end with a period.20
ErrorsLine has trailing spaces.22
ErrorsLine has trailing spaces.24
ErrorsLine has trailing spaces.29
ErrorsMissing a Javadoc comment.33
ErrorsMissing a Javadoc comment.35
ErrorsMissing a Javadoc comment.37
ErrorsParameter traces should be final.37
Errors'traces' hides a field.37
ErrorsMethod 'getTraces' is not designed for extension - needs to be abstract, final or empty.41
ErrorsMissing a Javadoc comment.41
ErrorsMissing a Javadoc comment.45
ErrorsParameter traces should be final.45
Errors'traces' hides a field.45
ErrorsMethod 'addPoint' is not designed for extension - needs to be abstract, final or empty.50
ErrorsMissing a Javadoc comment.50
ErrorsParameter arg0 should be final.50
ErrorsMethod 'addPoint' is not designed for extension - needs to be abstract, final or empty.58
ErrorsMissing a Javadoc comment.58
ErrorsParameter x should be final.58
ErrorsParameter y should be final.58
ErrorsMissing a Javadoc comment.67
ErrorsParameter evt should be final.67
ErrorsMethod 'compareTo' is not designed for extension - needs to be abstract, final or empty.72
ErrorsMissing a Javadoc comment.72
ErrorsParameter o should be final.72
ErrorsMethod 'hashCode' is not designed for extension - needs to be abstract, final or empty.80
ErrorsMissing a Javadoc comment.80
ErrorsMethod 'equals' is not designed for extension - needs to be abstract, final or empty.86
ErrorsParameter o should be final.87
ErrorsMissing a Javadoc comment.94
ErrorsParameter arg0 should be final.94
ErrorsMethod 'addErrorBarPolicy' is not designed for extension - needs to be abstract, final or empty.99
ErrorsMissing a Javadoc comment.99
ErrorsParameter arg0 should be final.99
ErrorsMethod 'addPointHighlighter' is not designed for extension - needs to be abstract, final or empty.104
ErrorsMissing a Javadoc comment.104
ErrorsParameter arg0 should be final.104
ErrorsMissing a Javadoc comment.109
ErrorsParameter arg0 should be final.109
ErrorsParameter arg1 should be final.110
ErrorsMethod 'addTracePainter' is not designed for extension - needs to be abstract, final or empty.115
ErrorsMissing a Javadoc comment.115
ErrorsParameter arg0 should be final.115
ErrorsMethod 'containsTracePainter' is not designed for extension - needs to be abstract, final or empty.120
ErrorsMissing a Javadoc comment.120
ErrorsParameter arg0 should be final.120
ErrorsMissing a Javadoc comment.125
ErrorsParameter arg0 should be final.125
ErrorsParameter arg1 should be final.125
ErrorsMethod 'getColor' is not designed for extension - needs to be abstract, final or empty.130
ErrorsMissing a Javadoc comment.130
ErrorsMethod 'getErrorBarPolicies' is not designed for extension - needs to be abstract, final or empty.135
ErrorsMissing a Javadoc comment.135
ErrorsMethod 'getHasErrorBars' is not designed for extension - needs to be abstract, final or empty.140
ErrorsMissing a Javadoc comment.140
ErrorsMethod 'getLabel' is not designed for extension - needs to be abstract, final or empty.145
ErrorsMissing a Javadoc comment.145
ErrorsMethod 'getMaxSize' is not designed for extension - needs to be abstract, final or empty.150
ErrorsMissing a Javadoc comment.150
ErrorsMethod 'getMaxX' is not designed for extension - needs to be abstract, final or empty.155
ErrorsMissing a Javadoc comment.155
ErrorsMethod 'getMaxY' is not designed for extension - needs to be abstract, final or empty.160
ErrorsMissing a Javadoc comment.160
ErrorsMethod 'getMinX' is not designed for extension - needs to be abstract, final or empty.165
ErrorsMissing a Javadoc comment.165
ErrorsMethod 'getMinY' is not designed for extension - needs to be abstract, final or empty.170
ErrorsMissing a Javadoc comment.170
ErrorsMethod 'getName' is not designed for extension - needs to be abstract, final or empty.175
ErrorsMissing a Javadoc comment.175
ErrorsMethod 'getNearestPointEuclid' is not designed for extension - needs to be abstract, final or empty.180
ErrorsMissing a Javadoc comment.180
ErrorsParameter arg0 should be final.180
ErrorsParameter arg1 should be final.180
ErrorsMethod 'getNearestPointManhattan' is not designed for extension - needs to be abstract, final or empty.185
ErrorsMissing a Javadoc comment.185
ErrorsParameter arg0 should be final.185
ErrorsParameter arg1 should be final.185
ErrorsMethod 'getPhysicalUnits' is not designed for extension - needs to be abstract, final or empty.190
ErrorsMissing a Javadoc comment.190
ErrorsMethod 'getPhysicalUnitsX' is not designed for extension - needs to be abstract, final or empty.195
ErrorsMissing a Javadoc comment.195
ErrorsMethod 'getPhysicalUnitsY' is not designed for extension - needs to be abstract, final or empty.200
ErrorsMissing a Javadoc comment.200
ErrorsMethod 'getPointHighlighters' is not designed for extension - needs to be abstract, final or empty.205
ErrorsMissing a Javadoc comment.205
ErrorsMethod 'getPropertyChangeListeners' is not designed for extension - needs to be abstract, final or empty.210
ErrorsMissing a Javadoc comment.210
ErrorsParameter arg0 should be final.210
ErrorsMethod 'getRenderer' is not designed for extension - needs to be abstract, final or empty.215
ErrorsMissing a Javadoc comment.215
ErrorsMethod 'getSize' is not designed for extension - needs to be abstract, final or empty.220
ErrorsMissing a Javadoc comment.220
ErrorsMethod 'getStroke' is not designed for extension - needs to be abstract, final or empty.225
ErrorsMissing a Javadoc comment.225
ErrorsMethod 'getTracePainters' is not designed for extension - needs to be abstract, final or empty.230
ErrorsMissing a Javadoc comment.230
ErrorsMethod 'getZIndex' is not designed for extension - needs to be abstract, final or empty.235
ErrorsMissing a Javadoc comment.235
ErrorsMethod 'isEmpty' is not designed for extension - needs to be abstract, final or empty.240
ErrorsMissing a Javadoc comment.240
ErrorsMethod 'isVisible' is not designed for extension - needs to be abstract, final or empty.245
ErrorsMissing a Javadoc comment.245
ErrorsMethod 'iterator' is not designed for extension - needs to be abstract, final or empty.250
ErrorsMissing a Javadoc comment.250
ErrorsMethod 'removeAllPointHighlighters' is not designed for extension - needs to be abstract, final or empty.255
ErrorsMissing a Javadoc comment.255
ErrorsMissing a Javadoc comment.260
ErrorsMethod 'removeComputingTrace' is not designed for extension - needs to be abstract, final or empty.265
ErrorsMissing a Javadoc comment.265
ErrorsParameter arg0 should be final.265
ErrorsMethod 'removeErrorBarPolicy' is not designed for extension - needs to be abstract, final or empty.270
ErrorsMissing a Javadoc comment.270
ErrorsParameter arg0 should be final.270
ErrorsMethod 'removePoint' is not designed for extension - needs to be abstract, final or empty.275
ErrorsMissing a Javadoc comment.275
ErrorsParameter arg0 should be final.275
ErrorsMethod 'removePointHighlighter' is not designed for extension - needs to be abstract, final or empty.280
ErrorsMissing a Javadoc comment.280
ErrorsParameter arg0 should be final.280
ErrorsMissing a Javadoc comment.285
ErrorsParameter arg0 should be final.285
ErrorsMissing a Javadoc comment.290
ErrorsParameter arg0 should be final.290
ErrorsParameter arg1 should be final.291
ErrorsMethod 'removeTracePainter' is not designed for extension - needs to be abstract, final or empty.296
ErrorsMissing a Javadoc comment.296
ErrorsParameter arg0 should be final.296
ErrorsMissing a Javadoc comment.301
ErrorsParameter arg0 should be final.301
ErrorsMethod 'setErrorBarPolicy' is not designed for extension - needs to be abstract, final or empty.306
ErrorsMissing a Javadoc comment.306
ErrorsParameter arg0 should be final.306
ErrorsMissing a Javadoc comment.311
ErrorsParameter arg0 should be final.311
ErrorsMissing a Javadoc comment.316
ErrorsParameter arg0 should be final.316
ErrorsParameter arg1 should be final.316
ErrorsMethod 'setPointHighlighter' is not designed for extension - needs to be abstract, final or empty.321
ErrorsMissing a Javadoc comment.321
ErrorsParameter arg0 should be final.321
ErrorsMissing a Javadoc comment.326
ErrorsParameter arg0 should be final.326
ErrorsMissing a Javadoc comment.331
ErrorsParameter arg0 should be final.331
ErrorsMethod 'setTracePainter' is not designed for extension - needs to be abstract, final or empty.336
ErrorsMissing a Javadoc comment.336
ErrorsParameter arg0 should be final.336
ErrorsMissing a Javadoc comment.341
ErrorsParameter arg0 should be final.341
ErrorsMissing a Javadoc comment.346
ErrorsParameter arg0 should be final.346
ErrorsMethod 'showsErrorBars' is not designed for extension - needs to be abstract, final or empty.351
ErrorsMissing a Javadoc comment.351
ErrorsMethod 'showsNegativeXErrorBars' is not designed for extension - needs to be abstract, final or empty.356
ErrorsMissing a Javadoc comment.356
ErrorsMethod 'showsNegativeYErrorBars' is not designed for extension - needs to be abstract, final or empty.361
ErrorsMissing a Javadoc comment.361
ErrorsMethod 'showsPositiveXErrorBars' is not designed for extension - needs to be abstract, final or empty.366
ErrorsMissing a Javadoc comment.366
ErrorsMethod 'showsPositiveYErrorBars' is not designed for extension - needs to be abstract, final or empty.371
ErrorsMissing a Javadoc comment.371

org/sat4j/sat/visu/TracePainterCross.java

ViolationMessageLine
ErrorsMissing a Javadoc comment.8
ErrorsLine has trailing spaces.11
ErrorsLine contains a tab character.11
ErrorsLine contains a tab character.12
ErrorsMissing a Javadoc comment.15
ErrorsLine has trailing spaces.30
ErrorsLine is longer than 80 characters.39
ErrorsMethod 'endPaintIteration' is not designed for extension - needs to be abstract, final or empty.41
ErrorsExpected @param tag for 'g2d'.42
ErrorsExpected an @return tag.58
ErrorsMethod 'equals' is not designed for extension - needs to be abstract, final or empty.58
ErrorsExpected @param tag for 'obj'.59
ErrorsLine has trailing spaces.83
ErrorsMethod 'getCrossSize' is not designed for extension - needs to be abstract, final or empty.86
ErrorsExpected an @return tag.93
ErrorsMethod 'hashCode' is not designed for extension - needs to be abstract, final or empty.93
ErrorsAvoid inline conditionals.99
ErrorsLine is longer than 80 characters.105
ErrorsMethod 'paintPoint' is not designed for extension - needs to be abstract, final or empty.109
ErrorsExpected @param tag for 'absoluteX'.110
ErrorsExpected @param tag for 'absoluteY'.110
ErrorsExpected @param tag for 'nextX'.111
ErrorsExpected @param tag for 'nextY'.111
ErrorsExpected @param tag for 'g'.111
ErrorsExpected @param tag for 'original'.112
ErrorsLine has trailing spaces.121
ErrorsUnused @param tag for 'crossSize'.122
ErrorsMethod 'setPlusSize' is not designed for extension - needs to be abstract, final or empty.125
ErrorsExpected @param tag for 'plusSize'.125
ErrorsLine is longer than 80 characters.130
ErrorsMethod 'startPaintIteration' is not designed for extension - needs to be abstract, final or empty.132
ErrorsExpected @param tag for 'g2d'.133

org/sat4j/sat/visu/TracePainterPlus.java

ViolationMessageLine
ErrorsMissing a Javadoc comment.8
ErrorsLine has trailing spaces.11
ErrorsLine contains a tab character.11
ErrorsLine contains a tab character.12
ErrorsMissing a Javadoc comment.18
ErrorsLine has trailing spaces.30
ErrorsLine is longer than 80 characters.39
ErrorsMethod 'endPaintIteration' is not designed for extension - needs to be abstract, final or empty.41
ErrorsExpected @param tag for 'g2d'.42
ErrorsExpected an @return tag.58
ErrorsMethod 'equals' is not designed for extension - needs to be abstract, final or empty.58
ErrorsExpected @param tag for 'obj'.59
ErrorsLine has trailing spaces.83
ErrorsMethod 'getPlusSize' is not designed for extension - needs to be abstract, final or empty.86
ErrorsExpected an @return tag.93
ErrorsMethod 'hashCode' is not designed for extension - needs to be abstract, final or empty.93
ErrorsAvoid inline conditionals.99
ErrorsLine is longer than 80 characters.105
ErrorsMethod 'paintPoint' is not designed for extension - needs to be abstract, final or empty.109
ErrorsExpected @param tag for 'absoluteX'.110
ErrorsExpected @param tag for 'absoluteY'.110
ErrorsExpected @param tag for 'nextX'.111
ErrorsExpected @param tag for 'nextY'.111
ErrorsExpected @param tag for 'g'.111
ErrorsExpected @param tag for 'original'.112
ErrorsLine has trailing spaces.121
ErrorsMethod 'setPlusSize' is not designed for extension - needs to be abstract, final or empty.125
ErrorsLine is longer than 80 characters.130
ErrorsMethod 'startPaintIteration' is not designed for extension - needs to be abstract, final or empty.132
ErrorsExpected @param tag for 'g2d'.133

org/sat4j/sat/visu/VisuPreferences.java

ViolationMessageLine
ErrorsMissing a Javadoc comment.5
ErrorsMissing a Javadoc comment.7
ErrorsMissing a Javadoc comment.8
ErrorsMissing a Javadoc comment.9
ErrorsMissing a Javadoc comment.10
ErrorsMissing a Javadoc comment.11
ErrorsMissing a Javadoc comment.12
ErrorsMissing a Javadoc comment.13
ErrorsMissing a Javadoc comment.14
ErrorsFirst sentence should end with a period.15
ErrorsFirst sentence should end with a period.20
ErrorsMissing a Javadoc comment.24
ErrorsMissing a Javadoc comment.25
ErrorsMissing a Javadoc comment.26
ErrorsMissing a Javadoc comment.27
ErrorsMissing a Javadoc comment.29
ErrorsMissing a Javadoc comment.30
ErrorsMissing a Javadoc comment.31
ErrorsMissing a Javadoc comment.32
ErrorsMissing a Javadoc comment.33
ErrorsMissing a Javadoc comment.34
ErrorsMissing a Javadoc comment.35
ErrorsMethod 'isDisplayClausesSize' is not designed for extension - needs to be abstract, final or empty.37
ErrorsMissing a Javadoc comment.37
ErrorsMethod 'setDisplayClausesSize' is not designed for extension - needs to be abstract, final or empty.41
ErrorsMissing a Javadoc comment.41
ErrorsParameter displayClausesSize should be final.41
Errors'displayClausesSize' hides a field.41
ErrorsMissing a Javadoc comment.45
ErrorsMethod 'getNumberOfDisplayedGraphs' is not designed for extension - needs to be abstract, final or empty.64
ErrorsMissing a Javadoc comment.64
ErrorsMethod 'getBackgroundColor' is not designed for extension - needs to be abstract, final or empty.92
ErrorsMissing a Javadoc comment.92
ErrorsMethod 'setBackgroundColor' is not designed for extension - needs to be abstract, final or empty.96
ErrorsMissing a Javadoc comment.96
ErrorsParameter backgroundColor should be final.96
Errors'backgroundColor' hides a field.96
ErrorsMethod 'getBorderColor' is not designed for extension - needs to be abstract, final or empty.100
ErrorsMissing a Javadoc comment.100
ErrorsMethod 'setBorderColor' is not designed for extension - needs to be abstract, final or empty.104
ErrorsMissing a Javadoc comment.104
ErrorsParameter borderColor should be final.104
Errors'borderColor' hides a field.104
ErrorsMethod 'getTimeBeforeLaunching' is not designed for extension - needs to be abstract, final or empty.108
ErrorsMissing a Javadoc comment.108
ErrorsMethod 'setTimeBeforeLaunching' is not designed for extension - needs to be abstract, final or empty.112
ErrorsMissing a Javadoc comment.112
ErrorsParameter timeBeforeLaunching should be final.112
Errors'timeBeforeLaunching' hides a field.112
ErrorsMethod 'getRefreshTime' is not designed for extension - needs to be abstract, final or empty.116
ErrorsMissing a Javadoc comment.116
ErrorsMethod 'setRefreshTime' is not designed for extension - needs to be abstract, final or empty.120
ErrorsMissing a Javadoc comment.120
ErrorsParameter refreshTime should be final.120
Errors'refreshTime' hides a field.120
ErrorsMethod 'getNbLinesRead' is not designed for extension - needs to be abstract, final or empty.124
ErrorsMissing a Javadoc comment.124
ErrorsMethod 'setNbLinesRead' is not designed for extension - needs to be abstract, final or empty.128
ErrorsMissing a Javadoc comment.128
ErrorsParameter nbLinesRead should be final.128
Errors'nbLinesRead' hides a field.128
ErrorsMethod 'isDisplayRestarts' is not designed for extension - needs to be abstract, final or empty.132
ErrorsMissing a Javadoc comment.132
ErrorsMethod 'setDisplayRestarts' is not designed for extension - needs to be abstract, final or empty.136
ErrorsMissing a Javadoc comment.136
ErrorsParameter displayRestarts should be final.136
Errors'displayRestarts' hides a field.136
ErrorsMethod 'getRestartColor' is not designed for extension - needs to be abstract, final or empty.140
ErrorsMissing a Javadoc comment.140
ErrorsMethod 'setRestartColor' is not designed for extension - needs to be abstract, final or empty.144
ErrorsMissing a Javadoc comment.144
ErrorsParameter restartColor should be final.144
Errors'restartColor' hides a field.144
ErrorsMethod 'isSlidingWindows' is not designed for extension - needs to be abstract, final or empty.148
ErrorsMissing a Javadoc comment.148
ErrorsMethod 'setSlidingWindows' is not designed for extension - needs to be abstract, final or empty.152
ErrorsMissing a Javadoc comment.152
ErrorsParameter slidingWindows should be final.152
Errors'slidingWindows' hides a field.152
ErrorsMethod 'isDisplayDecisionIndexes' is not designed for extension - needs to be abstract, final or empty.156
ErrorsMissing a Javadoc comment.156
ErrorsMethod 'setDisplayDecisionIndexes' is not designed for extension - needs to be abstract, final or empty.160
ErrorsMissing a Javadoc comment.160
ErrorsParameter displayDecisionIndexes should be final.160
Errors'displayDecisionIndexes' hides a field.160
ErrorsMethod 'isDisplaySpeed' is not designed for extension - needs to be abstract, final or empty.164
ErrorsMissing a Javadoc comment.164
ErrorsMethod 'setDisplaySpeed' is not designed for extension - needs to be abstract, final or empty.168
ErrorsMissing a Javadoc comment.168
ErrorsParameter displaySpeed should be final.168
Errors'displaySpeed' hides a field.168
ErrorsMethod 'isDisplayConflictsTrail' is not designed for extension - needs to be abstract, final or empty.172
ErrorsMissing a Javadoc comment.172
ErrorsMethod 'setDisplayConflictsTrail' is not designed for extension - needs to be abstract, final or empty.176
ErrorsMissing a Javadoc comment.176
ErrorsParameter displayConflictsTrail should be final.176
Errors'displayConflictsTrail' hides a field.176
ErrorsMethod 'isDisplayConflictsDecision' is not designed for extension - needs to be abstract, final or empty.180
ErrorsMissing a Javadoc comment.180
ErrorsMethod 'setDisplayConflictsDecision' is not designed for extension - needs to be abstract, final or empty.184
ErrorsMissing a Javadoc comment.184
ErrorsParameter displayConflictsDecision should be final.184
Errors'displayConflictsDecision' hides a field.184
ErrorsMethod 'isDisplayVariablesEvaluation' is not designed for extension - needs to be abstract, final or empty.188
ErrorsMissing a Javadoc comment.188
ErrorsLine is longer than 80 characters.192
ErrorsMethod 'setDisplayVariablesEvaluation' is not designed for extension - needs to be abstract, final or empty.192
ErrorsMissing a Javadoc comment.192
ErrorsParameter displayVariablesEvaluation should be final.192
Errors'displayVariablesEvaluation' hides a field.192
ErrorsMethod 'isDisplayClausesEvaluation' is not designed for extension - needs to be abstract, final or empty.196
ErrorsMissing a Javadoc comment.196
ErrorsMethod 'setDisplayClausesEvaluation' is not designed for extension - needs to be abstract, final or empty.200
ErrorsMissing a Javadoc comment.200
ErrorsParameter displayClausesEvaluation should be final.200
Errors'displayClausesEvaluation' hides a field.200
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.204
ErrorsMethod 'createCommandLine' is not designed for extension - needs to be abstract, final or empty.214
ErrorsMissing a Javadoc comment.214
ErrorsParameter gnuplotFilename should be final.214
Errors'6' is a magic number.220
Errors'3' is a magic number.224
Errors'4' is a magic number.225
Errors'5' is a magic number.226
ErrorsMethod 'generatePlotLine' is not designed for extension - needs to be abstract, final or empty.231
ErrorsMissing a Javadoc comment.231
ErrorsParameter file should be final.231
ErrorsParameter slidingThisWindow should be final.232
Errors'{' is followed by whitespace.233
ErrorsMethod 'generatePlotLine' is not designed for extension - needs to be abstract, final or empty.237
ErrorsMissing a Javadoc comment.237
ErrorsParameter file should be final.237
Errors'{' is followed by whitespace.238
ErrorsMethod 'generatePlotLine' is not designed for extension - needs to be abstract, final or empty.242
ErrorsMissing a Javadoc comment.242
ErrorsParameter file should be final.242
ErrorsParameter restartFile should be final.242
Errors'{' is followed by whitespace.243
ErrorsMethod 'generatePlotLine' is not designed for extension - needs to be abstract, final or empty.247
ErrorsMissing a Javadoc comment.247
ErrorsParameter file should be final.247
ErrorsParameter restartFile should be final.247
ErrorsParameter slidingThisWindows should be final.248
Errors'{' is followed by whitespace.249
ErrorsMethod 'generatePlotLine' is not designed for extension - needs to be abstract, final or empty.253
ErrorsMissing a Javadoc comment.253
ErrorsParameter file should be final.253
ErrorsParameter restartFile should be final.253
ErrorsParameter slidingThisWindows should be final.254
ErrorsParameter nbLinesToShow should be final.254
Errors'{' is followed by whitespace.255
ErrorsMethod 'generatePlotLine' is not designed for extension - needs to be abstract, final or empty.260
ErrorsMissing a Javadoc comment.260
ErrorsParameter dataFilesArray should be final.260
ErrorsParameter restartFileName should be final.261
ErrorsParameter slidingThisWindows should be final.261
ErrorsMethod 'generatePlotLine' is not designed for extension - needs to be abstract, final or empty.266
ErrorsMissing a Javadoc comment.266
ErrorsParameter file should be final.266
ErrorsParameter function should be final.267
ErrorsParameter restartFile should be final.267
ErrorsParameter slidingThisWindows should be final.268
ErrorsParameter nbLinesToShow should be final.268
Errors'{' is followed by whitespace.269
Errors'{' is followed by whitespace.270
ErrorsMethod 'generatePlotLine' is not designed for extension - needs to be abstract, final or empty.274
ErrorsMissing a Javadoc comment.274
ErrorsParameter dataFile should be final.274
ErrorsParameter function should be final.275
ErrorsParameter restartFileName should be final.275
ErrorsParameter slidingThisWindows should be final.276
Errors'{' is followed by whitespace.277
Errors'{' is followed by whitespace.278
ErrorsMethod 'generatePlotLine' is not designed for extension - needs to be abstract, final or empty.282
ErrorsMissing a Javadoc comment.282
ErrorsParameter dataFilesArray should be final.282
ErrorsParameter functions should be final.283
ErrorsParameter restartFileName should be final.283
ErrorsParameter slidingThisWindows should be final.284
ErrorsMethod 'generatePlotLine' is not designed for extension - needs to be abstract, final or empty.289
ErrorsMissing a Javadoc comment.289
ErrorsParameter dataFilesArray should be final.289
ErrorsParameter functions should be final.290
ErrorsParameter restartFileName should be final.290
ErrorsParameter slidingThisWindows should be final.291
ErrorsParameter nbLinesTosShow should be final.291
ErrorsMethod 'generatePlotLineOnDifferenteAxes' is not designed for extension - needs to be abstract, final or empty.354
ErrorsMissing a Javadoc comment.354
ErrorsParameter dfArray1 should be final.354
ErrorsParameter dfArray2 should be final.355
ErrorsParameter slidingThisWindow should be final.355
ErrorsMethod 'generatePlotLineOnDifferenteAxes' is not designed for extension - needs to be abstract, final or empty.360
ErrorsMissing a Javadoc comment.360
ErrorsParameter dfArray1 should be final.360
ErrorsLine is longer than 80 characters.361
ErrorsParameter dfArray2 should be final.361
ErrorsParameter slidingThisWindow should be final.361
ErrorsParameter nbLines should be final.361
ErrorsMethod 'generatePlotLineOnDifferenteAxes' is not designed for extension - needs to be abstract, final or empty.366
ErrorsMissing a Javadoc comment.366
ErrorsParameter dfArray1 should be final.366
ErrorsParameter dfArray2 should be final.367
ErrorsParameter functions should be final.367
ErrorsParameter slidingThisWindow should be final.368
ErrorsMethod 'generatePlotLineOnDifferenteAxes' is not designed for extension - needs to be abstract, final or empty.373
ErrorsMissing a Javadoc comment.373
ErrorsParameter dfArray1 should be final.373
ErrorsParameter dfArray2 should be final.374
ErrorsParameter functions should be final.374
ErrorsParameter slidingThisWindows should be final.375
ErrorsParameter nbLines should be final.375

org/sat4j/sat/visu/VisuPreferencesFrame.java

ViolationMessageLine
ErrorsFile does not end with a newline.0
ErrorsMissing a Javadoc comment.28
ErrorsMissing a Javadoc comment.30
ErrorsMissing a Javadoc comment.32
ErrorsMissing a Javadoc comment.34
ErrorsMissing a Javadoc comment.36
ErrorsMissing a Javadoc comment.37
ErrorsMissing a Javadoc comment.39
ErrorsMissing a Javadoc comment.40
ErrorsMissing a Javadoc comment.42
ErrorsMissing a Javadoc comment.43
ErrorsMissing a Javadoc comment.45
ErrorsLine is longer than 80 characters.46
ErrorsMissing a Javadoc comment.46
ErrorsMissing a Javadoc comment.47
ErrorsMissing a Javadoc comment.49
ErrorsLine is longer than 80 characters.51
ErrorsMissing a Javadoc comment.51
ErrorsMissing a Javadoc comment.53
ErrorsMissing a Javadoc comment.54
ErrorsMissing a Javadoc comment.56
ErrorsMissing a Javadoc comment.57
ErrorsMissing a Javadoc comment.58
ErrorsMissing a Javadoc comment.60
ErrorsMissing a Javadoc comment.61
ErrorsMissing a Javadoc comment.63
ErrorsLine is longer than 80 characters.64
ErrorsMissing a Javadoc comment.64
ErrorsMissing a Javadoc comment.65
ErrorsLine is longer than 80 characters.66
ErrorsMissing a Javadoc comment.66
ErrorsMissing a Javadoc comment.67
ErrorsLine is longer than 80 characters.68
ErrorsMissing a Javadoc comment.68
ErrorsMissing a Javadoc comment.69
ErrorsLine is longer than 80 characters.70
ErrorsMissing a Javadoc comment.70
ErrorsMissing a Javadoc comment.71
ErrorsLine is longer than 80 characters.72
ErrorsMissing a Javadoc comment.72
ErrorsMissing a Javadoc comment.73
ErrorsMissing a Javadoc comment.74
ErrorsMissing a Javadoc comment.75
ErrorsMissing a Javadoc comment.76
ErrorsMissing a Javadoc comment.78
ErrorsMissing a Javadoc comment.80
ErrorsMissing a Javadoc comment.82
ErrorsMissing a Javadoc comment.84
ErrorsMissing a Javadoc comment.88
ErrorsParameter pref should be final.88
ErrorsMissing a Javadoc comment.94
ErrorsMissing a Javadoc comment.107
ErrorsParameter e should be final.126
ErrorsParameter e should be final.146
ErrorsParameter e should be final.165
ErrorsMissing a Javadoc comment.179
ErrorsParameter e should be final.193
ErrorsLine is longer than 80 characters.201
ErrorsParameter e should be final.238
ErrorsLine is longer than 80 characters.240
ErrorsLine is longer than 80 characters.243
ErrorsLine is longer than 80 characters.246
ErrorsMethod 'createMainPanel' is not designed for extension - needs to be abstract, final or empty.256
ErrorsMissing a Javadoc comment.256
ErrorsParameter e should be final.270
ErrorsParameter e should be final.288
ErrorsLine is longer than 80 characters.290
ErrorsParameter e should be final.300
ErrorsLine is longer than 80 characters.302
ErrorsParameter e should be final.312
ErrorsLine is longer than 80 characters.314
ErrorsParameter e should be final.324
ErrorsLine is longer than 80 characters.326
ErrorsParameter e should be final.336
ErrorsLine is longer than 80 characters.338
ErrorsParameter e should be final.347
ErrorsLine is longer than 80 characters.349
ErrorsParameter e should be final.360
ErrorsLine is longer than 80 characters.362
ErrorsMethod 'getFrame' is not designed for extension - needs to be abstract, final or empty.378
ErrorsMissing a Javadoc comment.378