Checkstyle Results

The following document contains the results of Checkstyle.

Summary

Files	Infos	Warnings	Errors
35	0	0	2162

Files

Files	I	W	E
org/sat4j/sat/CleanCommandComponent.java	0	0	80
org/sat4j/sat/CommandComponent.java	0	0	6
org/sat4j/sat/DetailedCommandPanel.java	0	0	383
org/sat4j/sat/HotSolverCommandComponent.java	0	0	19
org/sat4j/sat/Lanceur.java	0	0	65
org/sat4j/sat/LaunchRemoteControl.java	0	0	10
org/sat4j/sat/Launcher.java	0	0	38
org/sat4j/sat/PhaseCommandComponent.java	0	0	30
org/sat4j/sat/ProblemType.java	0	0	8
org/sat4j/sat/RTSI.java	0	0	57
org/sat4j/sat/RandomWalkCommandComponent.java	0	0	26
org/sat4j/sat/RemoteControlFrame.java	0	0	79
org/sat4j/sat/RemoteControlStrategy.java	0	0	118
org/sat4j/sat/RestartCommandComponent.java	0	0	60
org/sat4j/sat/SimplifierCommandComponent.java	0	0	32
org/sat4j/sat/SolverController.java	0	0	18
org/sat4j/sat/Solvers.java	0	0	105
org/sat4j/sat/StartSolverEnum.java	0	0	6
org/sat4j/sat/VerySimpleCommandPanel.java	0	0	25
org/sat4j/sat/package-info.java	0	0	2
org/sat4j/sat/visu/ChartBasedVisualizationTool.java	0	0	16
org/sat4j/sat/visu/GnuplotBasedSolverVisualisation.java	0	0	98
org/sat4j/sat/visu/GnuplotDataFile.java	0	0	48
org/sat4j/sat/visu/GnuplotFunction.java	0	0	29
org/sat4j/sat/visu/JChartBasedSolverVisualisation.java	0	0	203
org/sat4j/sat/visu/MyChartPanel.java	0	0	15
org/sat4j/sat/visu/PointPainterCross.java	0	0	32
org/sat4j/sat/visu/PointPainterPlus.java	0	0	32
org/sat4j/sat/visu/SolverVisualisation.java	0	0	6
org/sat4j/sat/visu/TraceComposite.java	0	0	162
org/sat4j/sat/visu/TracePainterCross.java	0	0	32
org/sat4j/sat/visu/TracePainterPlus.java	0	0	30
org/sat4j/sat/visu/VisuPreferences.java	0	0	211
org/sat4j/sat/visu/VisuPreferencesFrame.java	0	0	81

Rules

Rules	Violations	Severity
JavadocPackage allowLegacy: `"true"`	0	Error
NewlineAtEndOfFile	2	Error
Translation	0	Error
FileLength	0	Error
FileTabCharacter eachLine: `"true"`	13	Error
RegexpSingleline message: `"Line has trailing spaces."` format: `"\s+$"`	71	Error
JavadocMethod	470	Error
JavadocType	25	Error
JavadocVariable	404	Error
JavadocStyle	9	Error
ConstantName	0	Error
LocalFinalVariableName	0	Error
LocalVariableName	0	Error
MemberName	0	Error
MethodName	0	Error
PackageName	0	Error
ParameterName	0	Error
StaticVariableName	0	Error
TypeName	0	Error
AvoidStarImport	0	Error
IllegalImport	0	Error
RedundantImport	0	Error
UnusedImports	0	Error
LineLength	211	Error
MethodLength	7	Error
ParameterNumber	0	Error
EmptyForIteratorPad	0	Error
MethodParamPad	0	Error
NoWhitespaceAfter	21	Error
NoWhitespaceBefore	0	Error
OperatorWrap	0	Error
ParenPad	0	Error
TypecastParenPad	0	Error
WhitespaceAfter	22	Error
WhitespaceAround	11	Error
ModifierOrder	0	Error
RedundantModifier	0	Error
AvoidNestedBlocks	0	Error
EmptyBlock	2	Error
LeftCurly	0	Error
NeedBraces	0	Error
RightCurly	1	Error
AvoidInlineConditionals	3	Error
DoubleCheckedLocking	0	Error
EmptyStatement	0	Error
EqualsHashCode	0	Error
HiddenField	95	Error
IllegalInstantiation	0	Error
InnerAssignment	0	Error
MagicNumber	68	Error
MissingSwitchDefault	3	Error
RedundantThrows	0	Error
SimplifyBooleanExpression	0	Error
SimplifyBooleanReturn	0	Error
DesignForExtension	345	Error
FinalClass	1	Error
HideUtilityClassConstructor	1	Error
InterfaceIsType	0	Error
VisibilityModifier	0	Error
ArrayTypeStyle	0	Error
FinalParameters	398	Error
TodoComment	0	Error
UpperEll	0	Error

Details

org/sat4j/sat/CleanCommandComponent.java

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

org/sat4j/sat/CommandComponent.java

Violation	Message	Line
	Missing a Javadoc comment.	5
	Line has trailing spaces.	8
	Line contains a tab character.	8
	Line contains a tab character.	9
	Missing a Javadoc comment.	12
	Missing a Javadoc comment.	16

org/sat4j/sat/DetailedCommandPanel.java

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

org/sat4j/sat/HotSolverCommandComponent.java

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

org/sat4j/sat/Lanceur.java

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

org/sat4j/sat/LaunchRemoteControl.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Line has trailing spaces.	35
	Line has trailing spaces.	36
	Line has trailing spaces.	38
	Utility classes should not have a public or default constructor.	40
	Parameter args should be final.	45
	Expected @param tag for 'args'.	45
	switch without "default" clause.	50
	'3' is a magic number.	59

org/sat4j/sat/Launcher.java

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

org/sat4j/sat/PhaseCommandComponent.java

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

org/sat4j/sat/ProblemType.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Line has trailing spaces.	35
	Missing a Javadoc comment.	40
	Missing a Javadoc comment.	40
	Missing a Javadoc comment.	40
	Missing a Javadoc comment.	40
	Missing a Javadoc comment.	40

org/sat4j/sat/RTSI.java

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

org/sat4j/sat/RandomWalkCommandComponent.java

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

org/sat4j/sat/RemoteControlFrame.java

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

org/sat4j/sat/RemoteControlStrategy.java

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

org/sat4j/sat/RestartCommandComponent.java

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

org/sat4j/sat/SimplifierCommandComponent.java

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

org/sat4j/sat/SolverController.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	39
	Missing a Javadoc comment.	41
	Missing a Javadoc comment.	43
	Missing a Javadoc comment.	45
	Missing a Javadoc comment.	48
	Missing a Javadoc comment.	50
	Missing a Javadoc comment.	52
	Missing a Javadoc comment.	54
	Missing a Javadoc comment.	56
	Missing a Javadoc comment.	58
	Missing a Javadoc comment.	60
	Missing a Javadoc comment.	62
	Missing a Javadoc comment.	64
	Missing a Javadoc comment.	66
	Missing a Javadoc comment.	68
	Missing a Javadoc comment.	70

org/sat4j/sat/Solvers.java

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

org/sat4j/sat/StartSolverEnum.java

Violation	Message	Line
	Missing a Javadoc comment.	3
	Line is longer than 80 characters.	5
	Missing a Javadoc comment.	5
	Missing a Javadoc comment.	5
	Missing a Javadoc comment.	5
	Missing a Javadoc comment.	5

org/sat4j/sat/VerySimpleCommandPanel.java

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

org/sat4j/sat/package-info.java

Violation	Message	Line
	Line has trailing spaces.	2
	Line has trailing spaces.	3

org/sat4j/sat/visu/ChartBasedVisualizationTool.java

Violation	Message	Line
	Missing a Javadoc comment.	7
	Missing a Javadoc comment.	9
	Missing a Javadoc comment.	11
	Missing a Javadoc comment.	13
	Parameter trace should be final.	13
	'trace' hides a field.	13
	Method 'addPoint' is not designed for extension - needs to be abstract, final or empty.	17
	Missing a Javadoc comment.	17
	Parameter x should be final.	17
	Parameter y should be final.	17
	Missing a Javadoc comment.	21
	Parameter x should be final.	21
	Parameter y should be final.	21
	Method 'init' is not designed for extension - needs to be abstract, final or empty.	24
	Missing a Javadoc comment.	24
	Missing a Javadoc comment.	28

org/sat4j/sat/visu/GnuplotBasedSolverVisualisation.java

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

org/sat4j/sat/visu/GnuplotDataFile.java

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

org/sat4j/sat/visu/GnuplotFunction.java

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

org/sat4j/sat/visu/JChartBasedSolverVisualisation.java

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

org/sat4j/sat/visu/MyChartPanel.java

Violation	Message	Line
	Missing a Javadoc comment.	13
	Line has trailing spaces.	16
	Missing a Javadoc comment.	19
	Missing a Javadoc comment.	21
	Parameter chart should be final.	21
	Parameter title should be final.	21
	Missing a Javadoc comment.	25
	Parameter chart should be final.	25
	Parameter title should be final.	25
	Parameter bg should be final.	25
	Parameter fg should be final.	25
	'4' is a magic number.	40
	'4' is a magic number.	40
	'4' is a magic number.	40
	'4' is a magic number.	40

org/sat4j/sat/visu/PointPainterCross.java

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

org/sat4j/sat/visu/PointPainterPlus.java

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

org/sat4j/sat/visu/SolverVisualisation.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	34
	Missing a Javadoc comment.	36
	Missing a Javadoc comment.	38
	Missing a Javadoc comment.	40

org/sat4j/sat/visu/TraceComposite.java

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

org/sat4j/sat/visu/TracePainterCross.java

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

org/sat4j/sat/visu/TracePainterPlus.java

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

org/sat4j/sat/visu/VisuPreferences.java

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

org/sat4j/sat/visu/VisuPreferencesFrame.java

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

Parent Project

Project Documentation

Checkstyle Results

Summary

Files

Rules

Details

org/sat4j/sat/CleanCommandComponent.java

org/sat4j/sat/CommandComponent.java

org/sat4j/sat/DetailedCommandPanel.java

org/sat4j/sat/HotSolverCommandComponent.java

org/sat4j/sat/Lanceur.java

org/sat4j/sat/LaunchRemoteControl.java

org/sat4j/sat/Launcher.java

org/sat4j/sat/PhaseCommandComponent.java

org/sat4j/sat/ProblemType.java

org/sat4j/sat/RTSI.java

org/sat4j/sat/RandomWalkCommandComponent.java

org/sat4j/sat/RemoteControlFrame.java

org/sat4j/sat/RemoteControlStrategy.java

org/sat4j/sat/RestartCommandComponent.java

org/sat4j/sat/SimplifierCommandComponent.java

org/sat4j/sat/SolverController.java

org/sat4j/sat/Solvers.java

org/sat4j/sat/StartSolverEnum.java

org/sat4j/sat/VerySimpleCommandPanel.java

org/sat4j/sat/package-info.java

org/sat4j/sat/visu/ChartBasedVisualizationTool.java

org/sat4j/sat/visu/GnuplotBasedSolverVisualisation.java

org/sat4j/sat/visu/GnuplotDataFile.java

org/sat4j/sat/visu/GnuplotFunction.java

org/sat4j/sat/visu/JChartBasedSolverVisualisation.java

org/sat4j/sat/visu/MyChartPanel.java

org/sat4j/sat/visu/PointPainterCross.java

org/sat4j/sat/visu/PointPainterPlus.java

org/sat4j/sat/visu/SolverVisualisation.java

org/sat4j/sat/visu/TraceComposite.java

org/sat4j/sat/visu/TracePainterCross.java

org/sat4j/sat/visu/TracePainterPlus.java

org/sat4j/sat/visu/VisuPreferences.java

org/sat4j/sat/visu/VisuPreferencesFrame.java