Checkstyle Results

The following document contains the results of Checkstyle.

Summary

Files	Infos	Warnings	Errors
34	0	0	2161

Files

Files	I	W	E
org/sat4j/sat/CleanCommandComponent.java	0	0	103
org/sat4j/sat/CommandComponent.java	0	0	6
org/sat4j/sat/DetailedCommandPanel.java	0	0	361
org/sat4j/sat/HotSolverCommandComponent.java	0	0	21
org/sat4j/sat/ILog.java	0	0	5
org/sat4j/sat/Lanceur.java	0	0	67
org/sat4j/sat/LaunchRemoteControl.java	0	0	10
org/sat4j/sat/PhaseCommandComponent.java	0	0	34
org/sat4j/sat/RTSI.java	0	0	44
org/sat4j/sat/RandomWalkCommandComponent.java	0	0	28
org/sat4j/sat/RemoteControlFrame.java	0	0	88
org/sat4j/sat/RemoteControlStrategy.java	0	0	119
org/sat4j/sat/RestartCommandComponent.java	0	0	69
org/sat4j/sat/SimplifierCommandComponent.java	0	0	36
org/sat4j/sat/SolverController.java	0	0	29
org/sat4j/sat/Solvers.java	0	0	98
org/sat4j/sat/StartSolverEnum.java	0	0	6
org/sat4j/sat/VerySimpleCommandPanel.java	0	0	27
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	72
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	212
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	7
org/sat4j/sat/visu/TraceComposite.java	0	0	154
org/sat4j/sat/visu/TracePainterCross.java	0	0	33
org/sat4j/sat/visu/TracePainterPlus.java	0	0	31
org/sat4j/sat/visu/VisuPreferences.java	0	0	208
org/sat4j/sat/visu/VisuPreferencesFrame.java	0	0	119

Rules

Rules	Violations	Severity
JavadocPackage allowLegacy: `"true"`	0	Error
NewlineAtEndOfFile	2	Error
Translation	0	Error
FileLength	0	Error
FileTabCharacter eachLine: `"true"`	18	Error
RegexpSingleline message: `"Line has trailing spaces."` format: `"\s+$"`	53	Error
JavadocMethod	447	Error
JavadocType	26	Error
JavadocVariable	350	Error
JavadocStyle	9	Error
ConstantName	4	Error
LocalFinalVariableName	0	Error
LocalVariableName	0	Error
MemberName	2	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	200	Error
MethodLength	6	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	21	Error
WhitespaceAround	1	Error
ModifierOrder	99	Error
RedundantModifier	19	Error
AvoidNestedBlocks	0	Error
EmptyBlock	4	Error
LeftCurly	0	Error
NeedBraces	0	Error
RightCurly	4	Error
AvoidInlineConditionals	3	Error
DoubleCheckedLocking	0	Error
EmptyStatement	0	Error
EqualsHashCode	0	Error
HiddenField	95	Error
IllegalInstantiation	0	Error
InnerAssignment	0	Error
MagicNumber	91	Error
MissingSwitchDefault	1	Error
RedundantThrows	1	Error
SimplifyBooleanExpression	0	Error
SimplifyBooleanReturn	0	Error
DesignForExtension	335	Error
FinalClass	1	Error
HideUtilityClassConstructor	2	Error
InterfaceIsType	0	Error
VisibilityModifier	4	Error
ArrayTypeStyle	0	Error
FinalParameters	363	Error
TodoComment	0	Error
UpperEll	0	Error

Details

org/sat4j/sat/CleanCommandComponent.java

Violation	Message	Line
	Missing a Javadoc comment.	22
	Line has trailing spaces.	27
	Missing a Javadoc comment.	31
	Missing a Javadoc comment.	33
	'static' modifier out of order with the JLS suggestions.	33
	Missing a Javadoc comment.	34
	'static' modifier out of order with the JLS suggestions.	34
	Missing a Javadoc comment.	35
	'static' modifier out of order with the JLS suggestions.	35
	Missing a Javadoc comment.	36
	'static' modifier out of order with the JLS suggestions.	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.	45
	Missing a Javadoc comment.	46
	'static' modifier out of order with the JLS suggestions.	46
	Missing a Javadoc comment.	47
	'static' modifier out of order with the JLS suggestions.	47
	Missing a Javadoc comment.	48
	Missing a Javadoc comment.	50
	Missing a Javadoc comment.	51
	Missing a Javadoc comment.	52
	'static' modifier out of order with the JLS suggestions.	52
	Missing a Javadoc comment.	53
	Missing a Javadoc comment.	54
	'static' modifier out of order with the JLS suggestions.	54
	Missing a Javadoc comment.	56
	Missing a Javadoc comment.	57
	'static' modifier out of order with the JLS suggestions.	57
	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
	Missing a Javadoc comment.	64
	Missing a Javadoc comment.	65
	Missing a Javadoc comment.	66
	'static' modifier out of order with the JLS suggestions.	66
	Name 'cleanValues' must match pattern '^[A-Z][A-Z0-9](_[A-Z0-9]+)$'.	66
	'{' is followed by whitespace.	66
	Missing a Javadoc comment.	68
	'static' modifier out of order with the JLS suggestions.	68
	Missing a Javadoc comment.	69
	'static' modifier out of order with the JLS suggestions.	69
	Missing a Javadoc comment.	70
	'static' modifier out of order with the JLS suggestions.	70
	Missing a Javadoc comment.	71
	'static' modifier out of order with the JLS suggestions.	71
	Missing a Javadoc comment.	73
	'static' modifier out of order with the JLS suggestions.	73
	Missing a Javadoc comment.	74
	'static' modifier out of order with the JLS suggestions.	74
	Missing a Javadoc comment.	75
	'static' modifier out of order with the JLS suggestions.	75
	Missing a Javadoc comment.	76
	'static' modifier out of order with the JLS suggestions.	76
	Missing a Javadoc comment.	77
	'static' modifier out of order with the JLS suggestions.	77
	Missing a Javadoc comment.	78
	'static' modifier out of order with the JLS suggestions.	78
	Missing a Javadoc comment.	80
	Missing a Javadoc comment.	82
	Line is longer than 80 characters.	83
	Missing a Javadoc comment.	83
	'static' modifier out of order with the JLS suggestions.	83
	Missing a Javadoc comment.	85
	Parameter name should be final.	85
	Parameter controller should be final.	85
	'controller' hides a field.	85
	Method 'createPanel' is not designed for extension - needs to be abstract, final or empty.	92
	'3' is a magic number.	112
	'4' is a magic number.	113
	'5' is a magic number.	114
	'400' is a magic number.	120
	'50' is a magic number.	120
	Parameter e should be final.	146
	Parameter e should be final.	172
	Parameter e should be final.	185
	Method 'hasChangedCleaningValue' is not designed for extension - needs to be abstract, final or empty.	213
	Missing a Javadoc comment.	213
	Line is longer than 80 characters.	218
	Line is longer than 80 characters.	221
	Line is longer than 80 characters.	224
	Method 'hasClickedOnUseOriginalStrategy' is not designed for extension - needs to be abstract, final or empty.	228
	Missing a Javadoc comment.	228
	Line is longer than 80 characters.	236
	Method 'getCleanSliderValue' is not designed for extension - needs to be abstract, final or empty.	242
	Missing a Javadoc comment.	242
	Method 'hasClickedOnClean' is not designed for extension - needs to be abstract, final or empty.	246
	Missing a Javadoc comment.	246
	Method 'setCleanPanelEnabled' is not designed for extension - needs to be abstract, final or empty.	250
	Missing a Javadoc comment.	250
	Parameter enabled should be final.	250
	Method 'setCleanPanelOriginalStrategyEnabled' is not designed for extension - needs to be abstract, final or empty.	267
	Missing a Javadoc comment.	267
	Parameter enabled should be final.	267
	Method 'setSpeedLabeltext' is not designed for extension - needs to be abstract, final or empty.	281
	Missing a Javadoc comment.	281
	Parameter speed should be final.	281

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.	111
	Line has trailing spaces.	114
	Line has trailing spaces.	116
	Missing a Javadoc comment.	121
	Missing a Javadoc comment.	123
	Name 'border5' must match pattern '^[A-Z][A-Z0-9](_[A-Z0-9]+)$'.	123
	Missing a Javadoc comment.	125
	Missing a Javadoc comment.	127
	Missing a Javadoc comment.	128
	Missing a Javadoc comment.	129
	Missing a Javadoc comment.	130
	Missing a Javadoc comment.	131
	Missing a Javadoc comment.	132
	Missing a Javadoc comment.	134
	Missing a Javadoc comment.	136
	Missing a Javadoc comment.	141
	Missing a Javadoc comment.	143
	Missing a Javadoc comment.	145
	Missing a Javadoc comment.	147
	Missing a Javadoc comment.	149
	Missing a Javadoc comment.	150
	Missing a Javadoc comment.	152
	Missing a Javadoc comment.	153
	'static' modifier out of order with the JLS suggestions.	153
	Missing a Javadoc comment.	154
	Missing a Javadoc comment.	155
	'static' modifier out of order with the JLS suggestions.	155
	Missing a Javadoc comment.	156
	Missing a Javadoc comment.	157
	Missing a Javadoc comment.	158
	Missing a Javadoc comment.	159
	'static' modifier out of order with the JLS suggestions.	159
	Missing a Javadoc comment.	161
	Missing a Javadoc comment.	163
	'static' modifier out of order with the JLS suggestions.	163
	Missing a Javadoc comment.	164
	'static' modifier out of order with the JLS suggestions.	164
	Missing a Javadoc comment.	165
	Missing a Javadoc comment.	166
	'static' modifier out of order with the JLS suggestions.	166
	Missing a Javadoc comment.	167
	Missing a Javadoc comment.	168
	'static' modifier out of order with the JLS suggestions.	168
	Missing a Javadoc comment.	169
	Missing a Javadoc comment.	170
	Missing a Javadoc comment.	172
	'static' modifier out of order with the JLS suggestions.	172
	Missing a Javadoc comment.	173
	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
	Line is longer than 80 characters.	185
	Missing a Javadoc comment.	185
	'static' modifier out of order with the JLS suggestions.	185
	Line is longer than 80 characters.	186
	Missing a Javadoc comment.	186
	'static' modifier out of order with the JLS suggestions.	186
	Line is longer than 80 characters.	187
	Missing a Javadoc comment.	187
	'static' modifier out of order with the JLS suggestions.	187
	Line is longer than 80 characters.	188
	Missing a Javadoc comment.	188
	'static' modifier out of order with the JLS suggestions.	188
	Missing a Javadoc comment.	190
	Line is longer than 80 characters.	191
	Missing a Javadoc comment.	191
	'static' modifier out of order with the JLS suggestions.	191
	Missing a Javadoc comment.	193
	Missing a Javadoc comment.	194
	Missing a Javadoc comment.	195
	Missing a Javadoc comment.	197
	Missing a Javadoc comment.	198
	Missing a Javadoc comment.	199
	Missing a Javadoc comment.	202
	'static' modifier out of order with the JLS suggestions.	202
	Missing a Javadoc comment.	203
	Missing a Javadoc comment.	205
	'static' modifier out of order with the JLS suggestions.	205
	Missing a Javadoc comment.	206
	Line is longer than 80 characters.	208
	Missing a Javadoc comment.	208
	'static' modifier out of order with the JLS suggestions.	208
	Missing a Javadoc comment.	209
	Missing a Javadoc comment.	211
	Missing a Javadoc comment.	212
	'static' modifier out of order with the JLS suggestions.	212
	Missing a Javadoc comment.	214
	Missing a Javadoc comment.	215
	'static' modifier out of order with the JLS suggestions.	215
	Missing a Javadoc comment.	217
	Missing a Javadoc comment.	218
	'static' modifier out of order with the JLS suggestions.	218
	Missing a Javadoc comment.	220
	Missing a Javadoc comment.	221
	Missing a Javadoc comment.	223
	Missing a Javadoc comment.	225
	Missing a Javadoc comment.	226
	Missing a Javadoc comment.	228
	Missing a Javadoc comment.	229
	Missing a Javadoc comment.	231
	Missing a Javadoc comment.	233
	Parameter filename should be final.	233
	Parameter frame should be final.	233
	'frame' hides a field.	233
	Missing a Javadoc comment.	237
	Parameter filename should be final.	237
	Parameter ramdisk should be final.	237
	'ramdisk' hides a field.	237
	Parameter frame should be final.	238
	'frame' hides a field.	238
	Missing a Javadoc comment.	242
	Parameter filename should be final.	242
	Parameter ramdisk should be final.	242
	'ramdisk' hides a field.	242
	Parameter args should be final.	242
	Parameter frame should be final.	243
	'frame' hides a field.	243
	'750' is a magic number.	271
	'800' is a magic number.	271
	'400' is a magic number.	293
	'200' is a magic number.	293
	'50' is a magic number.	339
	Method 'createInstancePanel' is not designed for extension - needs to be abstract, final or empty.	361
	Missing a Javadoc comment.	361
	'20' is a magic number.	372
	Parameter e should be final.	384
	Method 'createChoixSolverPanel' is not designed for extension - needs to be abstract, final or empty.	395
	Method length is 184 lines (max allowed is 150).	395
	Missing a Javadoc comment.	395
	Parameter e should be final.	417
	Line is longer than 80 characters.	418
	Parameter e should be final.	428
	Parameter e should be final.	481
	Parameter e should be final.	528
	Line is longer than 80 characters.	531
	Parameter e should be final.	537
	Line is longer than 80 characters.	540
	Parameter e should be final.	546
	Line is longer than 80 characters.	549
	Parameter e should be final.	555
	Line is longer than 80 characters.	558
	Method 'getStartStopText' is not designed for extension - needs to be abstract, final or empty.	580
	Missing a Javadoc comment.	580
	Method 'setOptimisationMode' is not designed for extension - needs to be abstract, final or empty.	584
	Missing a Javadoc comment.	584
	Parameter optimizationMode should be final.	584
	'optimizationMode' hides a field.	584
	Method 'launchSolverWithConfigs' is not designed for extension - needs to be abstract, final or empty.	589
	Method length is 248 lines (max allowed is 150).	589
	Missing a Javadoc comment.	589
	Line is longer than 80 characters.	590
	'}' should be on the same line.	649
	'}' should be on the same line.	681
	'}' should be on the same line.	729
	Line is longer than 80 characters.	803
	Line is longer than 80 characters.	804
	Line is longer than 80 characters.	807
	Line is longer than 80 characters.	809
	Line is longer than 80 characters.	811
	Line is longer than 80 characters.	817
	Method 'initSearchListeners' is not designed for extension - needs to be abstract, final or empty.	838
	Method length is 194 lines (max allowed is 150).	838
	Missing a Javadoc comment.	838
	Line is longer than 80 characters.	871
	Line is longer than 80 characters.	874
	Line is longer than 80 characters.	884
	Line is longer than 80 characters.	887
	'}' should be on the same line.	923
	Line is longer than 80 characters.	940
	Line is longer than 80 characters.	941
	Line is longer than 80 characters.	947
	Line is longer than 80 characters.	948
	Line is longer than 80 characters.	950
	Line is longer than 80 characters.	951
	Line is longer than 80 characters.	953
	Line is longer than 80 characters.	954
	Line is longer than 80 characters.	960
	Line is longer than 80 characters.	963
	Line is longer than 80 characters.	964
	Line is longer than 80 characters.	966
	Line is longer than 80 characters.	967
	Line is longer than 80 characters.	973
	Line is longer than 80 characters.	976
	Line is longer than 80 characters.	977
	Line is longer than 80 characters.	979
	Line is longer than 80 characters.	980
	Line is longer than 80 characters.	986
	Line is longer than 80 characters.	987
	Line is longer than 80 characters.	989
	Line is longer than 80 characters.	990
	Line is longer than 80 characters.	993
	Line is longer than 80 characters.	994
	Line is longer than 80 characters.	995
	Line is longer than 80 characters.	996
	Line is longer than 80 characters.	999
	Line is longer than 80 characters.	1000
	Line is longer than 80 characters.	1001
	Line is longer than 80 characters.	1002
	Line is longer than 80 characters.	1008
	Line is longer than 80 characters.	1011
	Line is longer than 80 characters.	1014
	Line is longer than 80 characters.	1021
	Method 'getNVar' is not designed for extension - needs to be abstract, final or empty.	1033
	Missing a Javadoc comment.	1033
	Method 'setPhaseSelectionStrategy' is not designed for extension - needs to be abstract, final or empty.	1040
	Missing a Javadoc comment.	1040
	Parameter phase should be final.	1040
	Method 'shouldRestartNow' is not designed for extension - needs to be abstract, final or empty.	1046
	Missing a Javadoc comment.	1046
	Method 'setRestartStrategy' is not designed for extension - needs to be abstract, final or empty.	1050
	Missing a Javadoc comment.	1050
	Parameter strategy should be final.	1050
	Method 'getRestartStrategy' is not designed for extension - needs to be abstract, final or empty.	1055
	Missing a Javadoc comment.	1055
	Method 'getSearchParams' is not designed for extension - needs to be abstract, final or empty.	1059
	Missing a Javadoc comment.	1059
	Method 'init' is not designed for extension - needs to be abstract, final or empty.	1063
	Missing a Javadoc comment.	1063
	Parameter params should be final.	1063
	Method 'setNbClausesAtWhichWeShouldClean' is not designed for extension - needs to be abstract, final or empty.	1068
	Missing a Javadoc comment.	1068
	Parameter nbConflicts should be final.	1068
	Method 'setUseTelecomStrategyAsLearnedConstraintsDeletionStrategy' is not designed for extension - needs to be abstract, final or empty.	1073
	Missing a Javadoc comment.	1073
	Line is longer than 80 characters.	1075
	Method 'setLearnedDeletionStrategyTypeToSolver' is not designed for extension - needs to be abstract, final or empty.	1081
	Missing a Javadoc comment.	1081
	Parameter type should be final.	1082
	Line is longer than 80 characters.	1088
	Method 'getLearnedConstraintsEvaluationType' is not designed for extension - needs to be abstract, final or empty.	1088
	Missing a Javadoc comment.	1088
	Method 'shouldCleanNow' is not designed for extension - needs to be abstract, final or empty.	1093
	Missing a Javadoc comment.	1093
	Method 'setKeepSolverHot' is not designed for extension - needs to be abstract, final or empty.	1098
	Missing a Javadoc comment.	1098
	Parameter keepHot should be final.	1098
	Method 'isGnuplotBased' is not designed for extension - needs to be abstract, final or empty.	1107
	Missing a Javadoc comment.	1107
	Method 'setGnuplotBased' is not designed for extension - needs to be abstract, final or empty.	1111
	Missing a Javadoc comment.	1111
	Parameter gnuplotBased should be final.	1111
	'gnuplotBased' hides a field.	1111
	Method 'isChartBased' is not designed for extension - needs to be abstract, final or empty.	1115
	Missing a Javadoc comment.	1115
	Method 'setChartBased' is not designed for extension - needs to be abstract, final or empty.	1119
	Missing a Javadoc comment.	1119
	Parameter chartBased should be final.	1119
	'chartBased' hides a field.	1119
	Method 'isPlotActivated' is not designed for extension - needs to be abstract, final or empty.	1123
	Missing a Javadoc comment.	1123
	Method 'setPlotActivated' is not designed for extension - needs to be abstract, final or empty.	1127
	Missing a Javadoc comment.	1127
	Parameter isPlotActivated should be final.	1127
	'isPlotActivated' hides a field.	1127
	Method 'setRandomWalkProba' is not designed for extension - needs to be abstract, final or empty.	1131
	Missing a Javadoc comment.	1131
	Parameter proba should be final.	1131
	Method 'setSimplifier' is not designed for extension - needs to be abstract, final or empty.	1136
	Missing a Javadoc comment.	1136
	Parameter type should be final.	1136
	Method 'getListOfSolvers' is not designed for extension - needs to be abstract, final or empty.	1141
	Missing a Javadoc comment.	1141
	Method 'getListOfPBSolvers' is not designed for extension - needs to be abstract, final or empty.	1161
	Missing a Javadoc comment.	1161
	Method 'log' is not designed for extension - needs to be abstract, final or empty.	1175
	Missing a Javadoc comment.	1175
	Parameter message should be final.	1175
	Method 'logsameline' is not designed for extension - needs to be abstract, final or empty.	1179
	Missing a Javadoc comment.	1179
	Parameter message should be final.	1179
	Method 'openFileChooser' is not designed for extension - needs to be abstract, final or empty.	1189
	Missing a Javadoc comment.	1189
	Method 'createReader' is not designed for extension - needs to be abstract, final or empty.	1200
	Missing a Javadoc comment.	1200
	Parameter theSolver should be final.	1200
	Parameter problemname should be final.	1200
	Method 'updateListOfSolvers' is not designed for extension - needs to be abstract, final or empty.	1207
	Missing a Javadoc comment.	1207
	Method 'setInstancePanelEnabled' is not designed for extension - needs to be abstract, final or empty.	1219
	Missing a Javadoc comment.	1219
	Parameter enabled should be final.	1219
	Method 'setChoixSolverPanelEnabled' is not designed for extension - needs to be abstract, final or empty.	1226
	Missing a Javadoc comment.	1226
	Parameter enabled should be final.	1226
	Method 'setSolverVisualisation' is not designed for extension - needs to be abstract, final or empty.	1239
	Missing a Javadoc comment.	1239
	Parameter visu should be final.	1239
	Method 'activateGnuplotTracing' is not designed for extension - needs to be abstract, final or empty.	1243
	Missing a Javadoc comment.	1243
	Parameter b should be final.	1243
	Method 'startVisu' is not designed for extension - needs to be abstract, final or empty.	1250
	Missing a Javadoc comment.	1250
	Method 'stopVisu' is not designed for extension - needs to be abstract, final or empty.	1254
	Missing a Javadoc comment.	1254
	Method 'getGnuplotPreferences' is not designed for extension - needs to be abstract, final or empty.	1258
	Missing a Javadoc comment.	1258
	Method 'setGnuplotPreferences' is not designed for extension - needs to be abstract, final or empty.	1262
	Missing a Javadoc comment.	1262
	Parameter gnuplotPreferences should be final.	1262
	Method 'getThis' is not designed for extension - needs to be abstract, final or empty.	1266
	Missing a Javadoc comment.	1266
	Method 'getSolver' is not designed for extension - needs to be abstract, final or empty.	1270
	Missing a Javadoc comment.	1270
	Missing a Javadoc comment.	1274
	Missing a Javadoc comment.	1275
	Missing a Javadoc comment.	1277
	Missing a Javadoc comment.	1279
	Missing a Javadoc comment.	1281
	Method 'init' is not designed for extension - needs to be abstract, final or empty.	1291
	Missing a Javadoc comment.	1291
	Parameter solverService should be final.	1291
	Missing a Javadoc comment.	1296
	Parameter p should be final.	1296
	Method 'propagating' is not designed for extension - needs to be abstract, final or empty.	1299
	Missing a Javadoc comment.	1299
	Parameter p should be final.	1299
	Parameter reason should be final.	1299
	'2000' is a magic number.	1301
	'1000' is a magic number.	1306
	Missing a Javadoc comment.	1314
	Parameter p should be final.	1314
	Missing a Javadoc comment.	1317
	Parameter p should be final.	1317
	Missing a Javadoc comment.	1320
	Parameter c should be final.	1320
	Missing a Javadoc comment.	1323
	Parameter clause should be final.	1323
	Method 'conflictFound' is not designed for extension - needs to be abstract, final or empty.	1326
	Missing a Javadoc comment.	1326
	Parameter confl should be final.	1326
	Parameter dlevel should be final.	1326
	Parameter trailLevel should be final.	1326
	Missing a Javadoc comment.	1330
	Parameter p should be final.	1330
	Method 'solutionFound' is not designed for extension - needs to be abstract, final or empty.	1333
	Missing a Javadoc comment.	1333
	Parameter model should be final.	1333
	Missing a Javadoc comment.	1342
	Missing a Javadoc comment.	1345
	Missing a Javadoc comment.	1348
	Parameter result should be final.	1348
	Method 'restarting' is not designed for extension - needs to be abstract, final or empty.	1351
	Missing a Javadoc comment.	1351
	'1000' is a magic number.	1354
	Missing a Javadoc comment.	1357
	Parameter backjumpLevel should be final.	1357
	Method 'cleaning' is not designed for extension - needs to be abstract, final or empty.	1360
	Missing a Javadoc comment.	1360
	'1000' is a magic number.	1363
	Missing a Javadoc comment.	1366
	Missing a Javadoc comment.	1367
	Method 'setSelectedIndex' is not designed for extension - needs to be abstract, final or empty.	1369
	Parameter index should be final.	1370
	'5' is a magic number.	1371
	'80' is a magic number.	1387
	Line is longer than 80 characters.	1397
	Line is longer than 80 characters.	1406

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
	'static' modifier out of order with the JLS suggestions.	23
	Missing a Javadoc comment.	24
	Missing a Javadoc comment.	25
	'static' modifier out of order with the JLS suggestions.	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/ILog.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	32
	Missing a Javadoc comment.	34
	Redundant 'public' modifier.	34

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
	Missing a Javadoc comment.	86
	Line has trailing spaces.	89
	Line contains a tab character.	89
	Line contains a tab character.	90
	Line is longer than 80 characters.	93
	Missing a Javadoc comment.	93
	Missing a Javadoc comment.	95
	Missing a Javadoc comment.	97
	Missing a Javadoc comment.	99
	Missing a Javadoc comment.	100
	Missing a Javadoc comment.	102
	Missing a Javadoc comment.	104
	Missing a Javadoc comment.	106
	Variable 'lanceur' must be private and have accessor methods.	106
	Missing a Javadoc comment.	108
	Missing a Javadoc comment.	114
	Variable 'factory' must be private and have accessor methods.	114
	Missing a Javadoc comment.	116
	Missing a Javadoc comment.	118
	Line has trailing spaces.	122
	Method 'configureSolver' is not designed for extension - needs to be abstract, final or empty.	127
	Parameter args should be final.	129
	Line is longer than 80 characters.	148
	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.	250
	Line is longer than 80 characters.	260
	Method 'createReader' is not designed for extension - needs to be abstract, final or empty.	270
	Parameter theSolver should be final.	271
	Parameter problemname should be final.	271
	Method 'displayLicense' is not designed for extension - needs to be abstract, final or empty.	278
	Line is longer than 80 characters.	281
	Method 'getInstanceName' is not designed for extension - needs to be abstract, final or empty.	284
	Parameter args should be final.	285
	Method 'readProblem' is not designed for extension - needs to be abstract, final or empty.	289
	Parameter problemname should be final.	290
	Redundant throws: 'FileNotFoundException' is subclass of 'IOException'.	291
	Method 'solve' is not designed for extension - needs to be abstract, final or empty.	306
	Parameter problem should be final.	307
	'problem' hides a field.	307
	Line is longer than 80 characters.	328
	'1000.0' is a magic number.	330
	Avoid inline conditionals.	346
	Method 'displayResult' is not designed for extension - needs to be abstract, final or empty.	351
	'1000.0' is a magic number.	357
	Method 'displayAnswer' is not designed for extension - needs to be abstract, final or empty.	363
	Missing a Javadoc comment.	363
	Line is longer than 80 characters.	381
	Line is longer than 80 characters.	383
	Method 'run' is not designed for extension - needs to be abstract, final or empty.	389
	Parameter args should be final.	390
	Method 'usage' is not designed for extension - needs to be abstract, final or empty.	441
	Missing a Javadoc comment.	446
	Line is longer than 80 characters.	461
	Line is longer than 80 characters.	463
	Line is longer than 80 characters.	466
	Line is longer than 80 characters.	476

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.	60
	'3' is a magic number.	69

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
	'static' modifier out of order with the JLS suggestions.	30
	Missing a Javadoc comment.	32
	Missing a Javadoc comment.	33
	'static' modifier out of order with the JLS suggestions.	33
	Line is longer than 80 characters.	35
	Missing a Javadoc comment.	35
	'static' modifier out of order with the JLS suggestions.	35
	Missing a Javadoc comment.	36
	'static' modifier out of order with the JLS suggestions.	36
	Missing a Javadoc comment.	40
	Missing a Javadoc comment.	42
	Parameter name should be final.	42
	Parameter commandPanel should be final.	42
	Parameter initialPhaseStrategyName should be final.	43
	Method 'createPanel' is not designed for extension - needs to be abstract, final or empty.	50
	Method 'createPhasePanel' is not designed for extension - needs to be abstract, final or empty.	55
	Missing a Javadoc comment.	55
	Parameter e should be final.	83
	Method 'hasClickedOnApplyPhase' is not designed for extension - needs to be abstract, final or empty.	95
	Missing a Javadoc comment.	95
	Method 'setPhasePanelEnabled' is not designed for extension - needs to be abstract, final or empty.	115
	Missing a Javadoc comment.	115
	Parameter enabled should be final.	115
	Method 'getListOfPhaseStrategies' is not designed for extension - needs to be abstract, final or empty.	122
	Missing a Javadoc comment.	122
	Method 'setPhaseListSelectedItem' is not designed for extension - needs to be abstract, final or empty.	137
	Missing a Javadoc comment.	137
	Parameter name should be final.	137

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.	50
	Line has trailing spaces.	52
	Line has trailing spaces.	54
	Utility classes should not have a public or default constructor.	56
	Missing a Javadoc comment.	58
	Variable 'alreadySeenPckges' must be private and have accessor methods.	58
	Missing a Javadoc comment.	60
	Parameter tosubclassname should be final.	60
	Line is longer than 80 characters.	65
	Missing a Javadoc comment.	81
	Parameter pckname should be final.	81
	Parameter tosubclassname should be final.	81
	Missing a Javadoc comment.	92
	Parameter pckgname should be final.	92
	Parameter tosubclass should be final.	92
	Missing a Javadoc comment.	101
	Parameter pckgname should be final.	101
	Parameter tosubclass should be final.	101
	'6' is a magic number.	148
	Must have at least one statement.	158
	Line is longer than 80 characters.	159
	Parameter dir should be final.	174
	Parameter name should be final.	174
	'6' is a magic number.	204
	Line is longer than 80 characters.	221
	Must have at least one statement.	225
	Line is longer than 80 characters.	226
	Missing a Javadoc comment.	248
	Parameter tosubclassname should be final.	248
	Line is longer than 80 characters.	252
	Missing a Javadoc comment.	252
	Parameter pckname should be final.	252
	Parameter tosubclassname should be final.	252
	Line is longer than 80 characters.	256
	Missing a Javadoc comment.	256
	Parameter pckgname should be final.	256
	Parameter tosubclass should be final.	256
	Missing a Javadoc comment.	261
	Parameter args should be final.	261
	'}' is not followed by whitespace.	272

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
	'static' modifier out of order with the JLS suggestions.	29
	Missing a Javadoc comment.	30
	'static' modifier out of order with the JLS suggestions.	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.	61
	Line has trailing spaces.	63
	Line has trailing spaces.	65
	Line has trailing spaces.	70
	Line contains a tab character.	70
	Line contains a tab character.	71
	Missing a Javadoc comment.	74
	Missing a Javadoc comment.	76
	Name 'dim' must match pattern '^[A-Z][A-Z0-9](_[A-Z0-9]+)$'.	76
	Missing a Javadoc comment.	79
	Missing a Javadoc comment.	80
	Missing a Javadoc comment.	81
	Missing a Javadoc comment.	83
	Missing a Javadoc comment.	84
	Missing a Javadoc comment.	86
	Missing a Javadoc comment.	88
	Missing a Javadoc comment.	89
	Missing a Javadoc comment.	91
	Missing a Javadoc comment.	92
	Missing a Javadoc comment.	94
	'static' modifier out of order with the JLS suggestions.	94
	Missing a Javadoc comment.	95
	'static' modifier out of order with the JLS suggestions.	95
	Missing a Javadoc comment.	97
	Missing a Javadoc comment.	98
	Missing a Javadoc comment.	100
	Parameter filename should be final.	100
	'filename' hides a field.	100
	Parameter ramdisk should be final.	100
	'ramdisk' hides a field.	100
	Parameter args should be final.	100
	'args' hides a field.	100
	Missing a Javadoc comment.	123
	Parameter filename should be final.	123
	'filename' hides a field.	123
	Parameter ramdisk should be final.	123
	'ramdisk' hides a field.	123
	Missing a Javadoc comment.	127
	Parameter filename should be final.	127
	'filename' hides a field.	127
	Missing a Javadoc comment.	135
	Parameter filename should be final.	135
	'filename' hides a field.	135
	Parameter args should be final.	135
	'args' hides a field.	135
	Missing a Javadoc comment.	139
	Method 'setActivateGnuplot' is not designed for extension - needs to be abstract, final or empty.	142
	Missing a Javadoc comment.	142
	Parameter b should be final.	142
	Method 'initLookAndFeel' is not designed for extension - needs to be abstract, final or empty.	147
	Missing a Javadoc comment.	147
	Method 'createAndShowGUI' is not designed for extension - needs to be abstract, final or empty.	151
	Missing a Javadoc comment.	151
	Parameter e should be final.	174
	Method 'clickOnAboutSolver' is not designed for extension - needs to be abstract, final or empty.	185
	Missing a Javadoc comment.	185
	Method 'setActivateTracingEditableUnderCondition' is not designed for extension - needs to be abstract, final or empty.	195
	Missing a Javadoc comment.	195
	Parameter b should be final.	195
	Method 'setActivateTracingEditable' is not designed for extension - needs to be abstract, final or empty.	201
	Missing a Javadoc comment.	201
	Parameter b should be final.	201
	Method 'createMenuBar' is not designed for extension - needs to be abstract, final or empty.	205
	Missing a Javadoc comment.	205
	Parameter e should be final.	223
	Parameter e should be final.	241
	Line is longer than 80 characters.	245
	Parameter e should be final.	256
	Line is longer than 80 characters.	260
	Parameter e should be final.	281
	Parameter e should be final.	300
	Method 'log' is not designed for extension - needs to be abstract, final or empty.	319
	Missing a Javadoc comment.	319
	Parameter message should be final.	319
	Missing a Javadoc comment.	323
	Line is longer than 80 characters.	324
	Line has trailing spaces.	327
	Line contains a tab character.	327
	Line is longer than 80 characters.	331
	Method 'activateTracing' is not designed for extension - needs to be abstract, final or empty.	348
	Missing a Javadoc comment.	348
	Parameter b should be final.	348
	Method 'setOptimisationMode' is not designed for extension - needs to be abstract, final or empty.	369
	Missing a Javadoc comment.	369
	Parameter optimizationMode should be final.	369

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.	42
	Line has trailing spaces.	44
	Line has trailing spaces.	46
	Missing a Javadoc comment.	51
	Missing a Javadoc comment.	53
	Missing a Javadoc comment.	54
	Missing a Javadoc comment.	56
	Missing a Javadoc comment.	58
	Missing a Javadoc comment.	60
	Missing a Javadoc comment.	61
	Missing a Javadoc comment.	63
	Missing a Javadoc comment.	64
	Missing a Javadoc comment.	66
	Missing a Javadoc comment.	68
	Missing a Javadoc comment.	70
	Parameter log should be final.	70
	Missing a Javadoc comment.	80
	Method 'isHasClickedOnRestart' is not designed for extension - needs to be abstract, final or empty.	84
	Missing a Javadoc comment.	84
	Method 'setHasClickedOnRestart' is not designed for extension - needs to be abstract, final or empty.	88
	Missing a Javadoc comment.	88
	Parameter hasClickedOnRestart should be final.	88
	'hasClickedOnRestart' hides a field.	88
	Method 'isHasClickedOnClean' is not designed for extension - needs to be abstract, final or empty.	92
	Missing a Javadoc comment.	92
	Method 'setHasClickedOnClean' is not designed for extension - needs to be abstract, final or empty.	96
	Missing a Javadoc comment.	96
	Parameter hasClickedOnClean should be final.	96
	'hasClickedOnClean' hides a field.	96
	Method 'isUseTelecomStrategyAsLearnedConstraintsDeletionStrategy' is not designed for extension - needs to be abstract, final or empty.	101
	Missing a Javadoc comment.	101
	Method 'setUseTelecomStrategyAsLearnedConstraintsDeletionStrategy' is not designed for extension - needs to be abstract, final or empty.	105
	Missing a Javadoc comment.	105
	Parameter useTelecomStrategyAsLearnedConstraintsDeletionStrategy should be final.	106
	'useTelecomStrategyAsLearnedConstraintsDeletionStrategy' hides a field.	106
	Line is longer than 80 characters.	107
	Method 'clickedOnClean' is not designed for extension - needs to be abstract, final or empty.	110
	Missing a Javadoc comment.	110
	Method 'getRestartStrategy' is not designed for extension - needs to be abstract, final or empty.	117
	Missing a Javadoc comment.	117
	Method 'getPhaseSelectionStrategy' is not designed for extension - needs to be abstract, final or empty.	121
	Missing a Javadoc comment.	121
	Method 'setPhaseSelectionStrategy' is not designed for extension - needs to be abstract, final or empty.	125
	Missing a Javadoc comment.	125
	Parameter phaseSelectionStrategy should be final.	126
	'phaseSelectionStrategy' hides a field.	126
	Method 'setRestartStrategy' is not designed for extension - needs to be abstract, final or empty.	130
	Missing a Javadoc comment.	130
	Parameter restart should be final.	130
	'restart' hides a field.	130
	Method 'getNbClausesAtWhichWeShouldClean' is not designed for extension - needs to be abstract, final or empty.	134
	Missing a Javadoc comment.	134
	Method 'setNbClausesAtWhichWeShouldClean' is not designed for extension - needs to be abstract, final or empty.	138
	Missing a Javadoc comment.	138
	Parameter nbClausesAtWhichWeShouldClean should be final.	139
	'nbClausesAtWhichWeShouldClean' hides a field.	139
	Method 'getLogger' is not designed for extension - needs to be abstract, final or empty.	143
	Missing a Javadoc comment.	143
	Method 'setLogger' is not designed for extension - needs to be abstract, final or empty.	147
	Missing a Javadoc comment.	147
	Parameter logger should be final.	147
	'logger' hides a field.	147
	Method 'init' is not designed for extension - needs to be abstract, final or empty.	151
	Missing a Javadoc comment.	151
	Parameter params should be final.	151
	Method 'nextRestartNumberOfConflict' is not designed for extension - needs to be abstract, final or empty.	155
	Missing a Javadoc comment.	155
	Method 'shouldRestart' is not designed for extension - needs to be abstract, final or empty.	159
	Missing a Javadoc comment.	159
	Method 'onRestart' is not designed for extension - needs to be abstract, final or empty.	168
	Missing a Javadoc comment.	168
	Method 'onBackjumpToRootLevel' is not designed for extension - needs to be abstract, final or empty.	173
	Missing a Javadoc comment.	173
	Method 'getSearchParams' is not designed for extension - needs to be abstract, final or empty.	177
	Missing a Javadoc comment.	177
	Method 'getSolver' is not designed for extension - needs to be abstract, final or empty.	181
	Missing a Javadoc comment.	181
	Method 'setSolver' is not designed for extension - needs to be abstract, final or empty.	185
	Missing a Javadoc comment.	185
	Parameter solver should be final.	185
	'solver' hides a field.	185
	Method 'reset' is not designed for extension - needs to be abstract, final or empty.	189
	Missing a Javadoc comment.	189
	Method 'newConflict' is not designed for extension - needs to be abstract, final or empty.	193
	Missing a Javadoc comment.	193
	Line is longer than 80 characters.	232
	Line contains a tab character.	232
	Line is longer than 80 characters.	233
	Line contains a tab character.	233
	Method 'updateVar' is not designed for extension - needs to be abstract, final or empty.	254
	Missing a Javadoc comment.	254
	Parameter p should be final.	254
	Method 'init' is not designed for extension - needs to be abstract, final or empty.	258
	Missing a Javadoc comment.	258
	Parameter nlength should be final.	258
	Method 'init' is not designed for extension - needs to be abstract, final or empty.	262
	Missing a Javadoc comment.	262
	Parameter var should be final.	262
	Parameter p should be final.	262
	Method 'assignLiteral' is not designed for extension - needs to be abstract, final or empty.	266
	Missing a Javadoc comment.	266
	Parameter p should be final.	266
	'1000' is a magic number.	269
	Method 'select' is not designed for extension - needs to be abstract, final or empty.	277
	Missing a Javadoc comment.	277
	Parameter var should be final.	277
	Method 'updateVarAtDecisionLevel' is not designed for extension - needs to be abstract, final or empty.	281
	Missing a Javadoc comment.	281
	Parameter q should be final.	281
	Method 'toString' is not designed for extension - needs to be abstract, final or empty.	285
	Method 'setInterrupted' 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 'newLearnedClause' is not designed for extension - needs to be abstract, final or empty.	303
	Missing a Javadoc comment.	303
	Parameter learned should be final.	303
	Parameter trailLevel should be final.	303

org/sat4j/sat/RestartCommandComponent.java

Violation	Message	Line
	Missing a Javadoc comment.	26
	Missing a Javadoc comment.	28
	Missing a Javadoc comment.	30
	Missing a Javadoc comment.	31
	Missing a Javadoc comment.	33
	Missing a Javadoc comment.	34
	Missing a Javadoc comment.	35
	Missing a Javadoc comment.	36
	Missing a Javadoc comment.	38
	Missing a Javadoc comment.	40
	Missing a Javadoc comment.	41
	'static' modifier out of order with the JLS suggestions.	41
	Missing a Javadoc comment.	42
	Missing a Javadoc comment.	44
	Variable 'currentRestart' must be private and have accessor methods.	44
	Missing a Javadoc comment.	46
	'static' modifier out of order with the JLS suggestions.	46
	Line is longer than 80 characters.	47
	Missing a Javadoc comment.	47
	'static' modifier out of order with the JLS suggestions.	47
	Missing a Javadoc comment.	48
	'static' modifier out of order with the JLS suggestions.	48
	Missing a Javadoc comment.	49
	'static' modifier out of order with the JLS suggestions.	49
	Line is longer than 80 characters.	50
	Missing a Javadoc comment.	50
	'static' modifier out of order with the JLS suggestions.	50
	Line is longer than 80 characters.	51
	Missing a Javadoc comment.	51
	'static' modifier out of order with the JLS suggestions.	51
	Missing a Javadoc comment.	52
	'static' modifier out of order with the JLS suggestions.	52
	Missing a Javadoc comment.	54
	Missing a Javadoc comment.	56
	Parameter name should be final.	56
	Parameter controller should be final.	56
	'controller' hides a field.	56
	Parameter initialRestartStrategy should be final.	57
	Method 'createPanel' is not designed for extension - needs to be abstract, final or empty.	65
	Parameter e should be final.	85
	Parameter e should be final.	96
	Parameter e should be final.	116
	'100' is a magic number.	129
	'50' is a magic number.	129
	Method 'initFactorParam' is not designed for extension - needs to be abstract, final or empty.	136
	Missing a Javadoc comment.	136
	'5' is a magic number.	142
	Method 'modifyRestartParamPanel' is not designed for extension - needs to be abstract, final or empty.	151
	Missing a Javadoc comment.	151
	Method 'setRestartPanelEnabled' is not designed for extension - needs to be abstract, final or empty.	166
	Missing a Javadoc comment.	166
	Parameter enabled should be final.	166
	Method 'setRestartPropertiesPanelEnabled' is not designed for extension - needs to be abstract, final or empty.	174
	Missing a Javadoc comment.	174
	Parameter enabled should be final.	174
	Method 'updateRestartStrategyPanel' is not designed for extension - needs to be abstract, final or empty.	181
	Missing a Javadoc comment.	181
	Method 'hasClickedOnChange' is not designed for extension - needs to be abstract, final or empty.	185
	Missing a Javadoc comment.	185
	Method 'hasClickedOnRestart' is not designed for extension - needs to be abstract, final or empty.	245
	Missing a Javadoc comment.	245
	Method 'getListOfRestartStrategies' is not designed for extension - needs to be abstract, final or empty.	249
	Missing a Javadoc comment.	249
	Method 'getCurrentRestart' is not designed for extension - needs to be abstract, final or empty.	264
	Missing a Javadoc comment.	264
	Method 'setCurrentRestart' is not designed for extension - needs to be abstract, final or empty.	268
	Missing a Javadoc comment.	268
	Parameter currentRestart should be final.	268
	'currentRestart' hides a field.	268

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
	'static' modifier out of order with the JLS suggestions.	26
	Missing a Javadoc comment.	27
	'static' modifier out of order with the JLS suggestions.	27
	Line is longer than 80 characters.	28
	Missing a Javadoc comment.	28
	'static' modifier out of order with the JLS suggestions.	28
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	29
	'static' modifier out of order with the JLS suggestions.	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
	Missing a Javadoc comment.	9
	Missing a Javadoc comment.	11
	Redundant 'public' modifier.	11
	Missing a Javadoc comment.	13
	Redundant 'public' modifier.	13
	Missing a Javadoc comment.	15
	Redundant 'public' modifier.	15
	Missing a Javadoc comment.	18
	Redundant 'public' modifier.	18
	Missing a Javadoc comment.	20
	Redundant 'public' modifier.	20
	Missing a Javadoc comment.	22
	Redundant 'public' modifier.	22
	Missing a Javadoc comment.	24
	Redundant 'public' modifier.	24
	Missing a Javadoc comment.	26
	Redundant 'public' modifier.	26
	Missing a Javadoc comment.	28
	Redundant 'public' modifier.	28
	Missing a Javadoc comment.	30
	Redundant 'public' modifier.	30
	Missing a Javadoc comment.	32
	Redundant 'public' modifier.	32
	Missing a Javadoc comment.	34
	Redundant 'public' modifier.	34
	Missing a Javadoc comment.	36
	Redundant 'public' modifier.	36
	Missing a Javadoc comment.	38
	Redundant 'public' modifier.	38

org/sat4j/sat/Solvers.java

Violation	Message	Line
	Class Solvers should be declared as final.	38
	Missing a Javadoc comment.	38
	Missing a Javadoc comment.	40
	'static' modifier out of order with the JLS suggestions.	40
	Missing a Javadoc comment.	41
	'static' modifier out of order with the JLS suggestions.	41
	Missing a Javadoc comment.	42
	'static' modifier out of order with the JLS suggestions.	42
	Missing a Javadoc comment.	43
	'static' modifier out of order with the JLS suggestions.	43
	Missing a Javadoc comment.	44
	'static' modifier out of order with the JLS suggestions.	44
	Missing a Javadoc comment.	45
	'static' modifier out of order with the JLS suggestions.	45
	Missing a Javadoc comment.	47
	'static' modifier out of order with the JLS suggestions.	47
	Missing a Javadoc comment.	48
	'static' modifier out of order with the JLS suggestions.	48
	Missing a Javadoc comment.	49
	'static' modifier out of order with the JLS suggestions.	49
	Missing a Javadoc comment.	50
	'static' modifier out of order with the JLS suggestions.	50
	Missing a Javadoc comment.	51
	'static' modifier out of order with the JLS suggestions.	51
	Line is longer than 80 characters.	53
	Missing a Javadoc comment.	53
	'static' modifier out of order with the JLS suggestions.	53
	Missing a Javadoc comment.	54
	'static' modifier out of order with the JLS suggestions.	54
	Line is longer than 80 characters.	55
	Missing a Javadoc comment.	55
	'static' modifier out of order with the JLS suggestions.	55
	Line is longer than 80 characters.	56
	Missing a Javadoc comment.	56
	'static' modifier out of order with the JLS suggestions.	56
	Line is longer than 80 characters.	57
	Missing a Javadoc comment.	57
	'static' modifier out of order with the JLS suggestions.	57
	Line is longer than 80 characters.	59
	Missing a Javadoc comment.	59
	'static' modifier out of order with the JLS suggestions.	59
	Name 'qualif' must match pattern '^[A-Z][A-Z0-9](_[A-Z0-9]+)$'.	59
	Missing a Javadoc comment.	68
	Missing a Javadoc comment.	71
	'static' modifier out of order with the JLS suggestions.	71
	Parameter solverconfig should be final.	71
	Parameter theSolver should be final.	72
	Parameter logger should be final.	72
	Line is longer than 80 characters.	121
	Missing a Javadoc comment.	132
	Redundant 'final' modifier.	132
	'static' modifier out of order with the JLS suggestions.	132
	Parameter component should be final.	132
	Parameter pf should be final.	132
	Parameter logger should be final.	133
	Missing a Javadoc comment.	176
	Line is longer than 80 characters.	191
	Line is longer than 80 characters.	193
	Line is longer than 80 characters.	196
	Line is longer than 80 characters.	206
	Missing a Javadoc comment.	278
	Parameter logger should be final.	278
	Line is longer than 80 characters.	279
	Line is longer than 80 characters.	280
	Missing a Javadoc comment.	283
	Parameter args should be final.	283
	Parameter logger should be final.	283
	Line is longer than 80 characters.	316
	Line is longer than 80 characters.	330
	Line is longer than 80 characters.	359
	Missing a Javadoc comment.	395
	Parameter logger should be final.	395
	Missing a Javadoc comment.	431
	Parameter logger should be final.	431
	Missing a Javadoc comment.	465
	Parameter logger should be final.	465
	Must have at least one statement.	490
	Missing a Javadoc comment.	499
	Parameter logger should be final.	499
	Must have at least one statement.	532
	Missing a Javadoc comment.	542
	Parameter logger should be final.	542
	Missing a Javadoc comment.	564
	Parameter logger should be final.	564
	Line is longer than 80 characters.	565
	Missing a Javadoc comment.	568
	Parameter logger should be final.	569
	Missing a Javadoc comment.	574
	Parameter afactory should be final.	575
	Parameter logger should be final.	575
	Line contains a tab character.	577
	Missing a Javadoc comment.	586
	Parameter afactory should be final.	587
	Parameter framework should be final.	587
	Parameter logger should be final.	587
	Line is longer than 80 characters.	590
	Missing a Javadoc comment.	601
	Parameter logger should be final.	601

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
	'static' modifier out of order with the JLS suggestions.	56
	Missing a Javadoc comment.	57
	'static' modifier out of order with the JLS suggestions.	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.	92
	'100' is a magic number.	92
	Method 'hasClickedOnRestart' is not designed for extension - needs to be abstract, final or empty.	101
	Missing a Javadoc comment.	101
	Method 'hasClickedOnClean' is not designed for extension - needs to be abstract, final or empty.	108
	Missing a Javadoc comment.	108

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.	10
	Missing a Javadoc comment.	12
	Parameter trace should be final.	12
	'trace' hides a field.	12
	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.	25
	Parameter x should be final.	25
	Parameter y should be final.	25
	Method 'init' is not designed for extension - needs to be abstract, final or empty.	29
	Missing a Javadoc comment.	29
	Missing a Javadoc comment.	35

org/sat4j/sat/visu/GnuplotBasedSolverVisualisation.java

Violation	Message	Line
	Missing a Javadoc comment.	12
	Missing a Javadoc comment.	14
	Missing a Javadoc comment.	15
	Missing a Javadoc comment.	16
	Missing a Javadoc comment.	17
	Missing a Javadoc comment.	18
	Missing a Javadoc comment.	20
	Parameter visuPref should be final.	20
	Parameter nbVar should be final.	20
	Parameter path should be final.	21
	Parameter logger should be final.	21
	'logger' hides a field.	21
	Method 'start' is not designed for extension - needs to be abstract, final or empty.	28
	Missing a Javadoc comment.	28
	Method 'end' is not designed for extension - needs to be abstract, final or empty.	32
	Missing a Javadoc comment.	32
	Method 'traceGnuplot' is not designed for extension - needs to be abstract, final or empty.	36
	Method length is 310 lines (max allowed is 150).	36
	Missing a Javadoc comment.	36
	'0.33' is a magic number.	42
	'0.66' is a magic number.	43
	'0.33' is a magic number.	45
	'0.66' is a magic number.	46
	'0.33' is a magic number.	48
	'0.33' is a magic number.	49
	Line is longer than 80 characters.	67
	Line is longer than 80 characters.	73
	Line is longer than 80 characters.	79
	'{' is followed by whitespace.	83
	Line is longer than 80 characters.	87
	Line is longer than 80 characters.	103
	Line is longer than 80 characters.	107
	Line is longer than 80 characters.	113
	'{' is followed by whitespace.	117
	Line is longer than 80 characters.	129
	Line is longer than 80 characters.	150
	Line is longer than 80 characters.	153
	Line is longer than 80 characters.	159
	Line is longer than 80 characters.	169
	'{' is followed by whitespace.	173
	'{' is followed by whitespace.	174
	'4' is a magic number.	176
	Line is longer than 80 characters.	177
	Line is longer than 80 characters.	185
	Line is longer than 80 characters.	190
	Line is longer than 80 characters.	195
	Line is longer than 80 characters.	199
	Line is longer than 80 characters.	201
	'{' is followed by whitespace.	206
	'{' is followed by whitespace.	207
	'4' is a magic number.	209
	Line is longer than 80 characters.	220
	Line is longer than 80 characters.	233
	'{' is followed by whitespace.	236
	'{' is followed by whitespace.	240
	Line is longer than 80 characters.	272
	'{' is followed by whitespace.	284
	Line is longer than 80 characters.	285
	'{' is followed by whitespace.	285
	'50' is a magic number.	286
	'1000' is a magic number.	289
	Line is longer than 80 characters.	302
	Line is longer than 80 characters.	310
	Line is longer than 80 characters.	312
	Line is longer than 80 characters.	314
	Line is longer than 80 characters.	315
	Line is longer than 80 characters.	323
	Method 'stopGnuplot' is not designed for extension - needs to be abstract, final or empty.	347
	Missing a Javadoc comment.	347
	Method 'setnVar' is not designed for extension - needs to be abstract, final or empty.	355
	Missing a Javadoc comment.	355
	Parameter n should be final.	355

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
	Missing a Javadoc comment.	25
	Missing a Javadoc comment.	26
	Missing a Javadoc comment.	27
	Missing a Javadoc comment.	28
	Missing a Javadoc comment.	29
	Missing a Javadoc comment.	30
	Missing a Javadoc comment.	31
	Missing a Javadoc comment.	32
	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.	42
	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
	Missing a Javadoc comment.	51
	Missing a Javadoc comment.	52
	Missing a Javadoc comment.	53
	Missing a Javadoc comment.	55
	Missing a Javadoc comment.	56
	Missing a Javadoc comment.	57
	Missing a Javadoc comment.	59
	Missing a Javadoc comment.	61
	Missing a Javadoc comment.	62
	Missing a Javadoc comment.	63
	Missing a Javadoc comment.	65
	Missing a Javadoc comment.	67
	Missing a Javadoc comment.	68
	Missing a Javadoc comment.	69
	Missing a Javadoc comment.	71
	Missing a Javadoc comment.	73
	Parameter pref should be final.	73
	'pref' hides a field.	73
	Missing a Javadoc comment.	77
	Parameter pref should be final.	77
	'pref' hides a field.	77
	Parameter isVisible should be final.	78
	Method 'init' is not designed for extension - needs to be abstract, final or empty.	86
	Missing a Javadoc comment.	86
	'{' is followed by whitespace.	92
	'3' is a magic number.	92
	'3' is a magic number.	94
	'5' is a magic number.	95
	'3' is a magic number.	99
	'5' is a magic number.	101
	'5' is a magic number.	101
	'800' is a magic number.	112
	'400' is a magic number.	112
	Parameter e should be final.	117
	Method 'initCharts' is not designed for extension - needs to be abstract, final or empty.	125
	Missing a Javadoc comment.	125
	Method 'addChartsToFrame' is not designed for extension - needs to be abstract, final or empty.	157
	Missing a Javadoc comment.	157
	Method 'initTraces' is not designed for extension - needs to be abstract, final or empty.	212
	Method length is 169 lines (max allowed is 150).	212
	Missing a Javadoc comment.	212
	'0.78f' is a magic number.	216
	'0.09f' is a magic number.	216
	'8000' is a magic number.	256
	'15000' is a magic number.	272
	'2000' is a magic number.	295
	'2000' is a magic number.	322
	'2000' is a magic number.	331
	'0.02f' is a magic number.	362
	'.78f' is a magic number.	362
	'.76f' is a magic number.	362
	'30' is a magic number.	376
	Method 'setVisible' is not designed for extension - needs to be abstract, final or empty.	382
	Missing a Javadoc comment.	382
	Parameter b should be final.	382
	Method 'getPositiveDecisionTrace' is not designed for extension - needs to be abstract, final or empty.	386
	Missing a Javadoc comment.	386
	Method 'setPositiveDecisionTrace' is not designed for extension - needs to be abstract, final or empty.	390
	Missing a Javadoc comment.	390
	Parameter positiveDecisionTrace should be final.	390
	'positiveDecisionTrace' hides a field.	390
	Method 'getNegativeDecisionTrace' is not designed for extension - needs to be abstract, final or empty.	394
	Missing a Javadoc comment.	394
	Method 'setNegativeDecisionTrace' is not designed for extension - needs to be abstract, final or empty.	398
	Missing a Javadoc comment.	398
	Parameter negativeDecisionTrace should be final.	398
	'negativeDecisionTrace' hides a field.	398
	Method 'getRestartNegDecisionTrace' is not designed for extension - needs to be abstract, final or empty.	402
	Missing a Javadoc comment.	402
	Method 'setRestartNegDecisionTrace' is not designed for extension - needs to be abstract, final or empty.	406
	Missing a Javadoc comment.	406
	Parameter restartNegDecisionTrace should be final.	406
	'restartNegDecisionTrace' hides a field.	406
	Method 'getRestartPosDecisionTrace' is not designed for extension - needs to be abstract, final or empty.	410
	Missing a Javadoc comment.	410
	Method 'setRestartPosDecisionTrace' is not designed for extension - needs to be abstract, final or empty.	414
	Missing a Javadoc comment.	414
	Parameter restartPosDecisionTrace should be final.	414
	'restartPosDecisionTrace' hides a field.	414
	Method 'getConflictDepthTrace' is not designed for extension - needs to be abstract, final or empty.	418
	Missing a Javadoc comment.	418
	Method 'setConflictDepthTrace' is not designed for extension - needs to be abstract, final or empty.	422
	Missing a Javadoc comment.	422
	Parameter conflictDepthTrace should be final.	422
	'conflictDepthTrace' hides a field.	422
	Method 'getLearnedClausesSizeTrace' is not designed for extension - needs to be abstract, final or empty.	426
	Missing a Javadoc comment.	426
	Method 'setLearnedClausesSizeTrace' is not designed for extension - needs to be abstract, final or empty.	430
	Missing a Javadoc comment.	430
	Parameter learnedClausesSizeTrace should be final.	430
	'learnedClausesSizeTrace' hides a field.	430
	Method 'getClausesEvaluationTrace' is not designed for extension - needs to be abstract, final or empty.	434
	Missing a Javadoc comment.	434
	Method 'setClausesEvaluationTrace' is not designed for extension - needs to be abstract, final or empty.	438
	Missing a Javadoc comment.	438
	Parameter clausesEvaluationTrace should be final.	438
	'clausesEvaluationTrace' hides a field.	438
	Method 'getConflictLevelTrace' is not designed for extension - needs to be abstract, final or empty.	442
	Missing a Javadoc comment.	442
	Method 'setConflictLevelTrace' is not designed for extension - needs to be abstract, final or empty.	446
	Missing a Javadoc comment.	446
	Parameter conflictLevelTrace should be final.	446
	'conflictLevelTrace' hides a field.	446
	Method 'getConflictLevelRestartTrace' is not designed for extension - needs to be abstract, final or empty.	450
	Missing a Javadoc comment.	450
	Line is longer than 80 characters.	454
	Method 'setConflictLevelRestartTrace' is not designed for extension - needs to be abstract, final or empty.	454
	Missing a Javadoc comment.	454
	Parameter conflictLevelRestartTrace should be final.	454
	'conflictLevelRestartTrace' hides a field.	454
	Method 'getHeuristicsTrace' is not designed for extension - needs to be abstract, final or empty.	458
	Missing a Javadoc comment.	458
	Method 'setHeuristicsTrace' is not designed for extension - needs to be abstract, final or empty.	462
	Missing a Javadoc comment.	462
	Parameter heuristicsTrace should be final.	462
	'heuristicsTrace' hides a field.	462
	Method 'getSpeedTrace' is not designed for extension - needs to be abstract, final or empty.	466
	Missing a Javadoc comment.	466
	Method 'setSpeedTrace' is not designed for extension - needs to be abstract, final or empty.	470
	Missing a Javadoc comment.	470
	Parameter speedTrace should be final.	470
	'speedTrace' hides a field.	470
	Method 'getSpeedCleanTrace' is not designed for extension - needs to be abstract, final or empty.	474
	Missing a Javadoc comment.	474
	Method 'setSpeedCleanTrace' is not designed for extension - needs to be abstract, final or empty.	478
	Missing a Javadoc comment.	478
	Parameter speedCleanTrace should be final.	478
	'speedCleanTrace' hides a field.	478
	Method 'getSpeedRestartTrace' is not designed for extension - needs to be abstract, final or empty.	482
	Missing a Javadoc comment.	482
	Method 'setSpeedRestartTrace' is not designed for extension - needs to be abstract, final or empty.	486
	Missing a Javadoc comment.	486
	Parameter speedRestartTrace should be final.	486
	'speedRestartTrace' hides a field.	486
	Method 'getConflictDepthRestartTrace' is not designed for extension - needs to be abstract, final or empty.	490
	Missing a Javadoc comment.	490
	Line is longer than 80 characters.	494
	Method 'setConflictDepthRestartTrace' is not designed for extension - needs to be abstract, final or empty.	494
	Missing a Javadoc comment.	494
	Parameter conflictDepthRestartTrace should be final.	494
	'conflictDepthRestartTrace' hides a field.	494
	Method 'getLearnedClausesSizeRestartTrace' is not designed for extension - needs to be abstract, final or empty.	498
	Missing a Javadoc comment.	498
	Method 'setLearnedClausesSizeRestartTrace' is not designed for extension - needs to be abstract, final or empty.	502
	Missing a Javadoc comment.	502
	Parameter learnedClausesSizeRestartTrace should be final.	503
	'learnedClausesSizeRestartTrace' hides a field.	503
	Method 'getLearnedClausesSizeCleanTrace' is not designed for extension - needs to be abstract, final or empty.	507
	Missing a Javadoc comment.	507
	Method 'setLearnedClausesSizeCleanTrace' is not designed for extension - needs to be abstract, final or empty.	511
	Missing a Javadoc comment.	511
	Parameter learnedClausesSizeCleanTrace should be final.	512
	'learnedClausesSizeCleanTrace' hides a field.	512
	Method 'getConflictLevelCleanTrace' is not designed for extension - needs to be abstract, final or empty.	516
	Missing a Javadoc comment.	516
	Method 'setConflictLevelCleanTrace' is not designed for extension - needs to be abstract, final or empty.	520
	Missing a Javadoc comment.	520
	Parameter conflictLevelCleanTrace should be final.	520
	'conflictLevelCleanTrace' hides a field.	520
	Method 'getConflictDepthCleanTrace' is not designed for extension - needs to be abstract, final or empty.	524
	Missing a Javadoc comment.	524
	Method 'setConflictDepthCleanTrace' is not designed for extension - needs to be abstract, final or empty.	528
	Missing a Javadoc comment.	528
	Parameter conflictDepthCleanTrace should be final.	528
	'conflictDepthCleanTrace' hides a field.	528
	Method 'getCleanPosDecisionTrace' is not designed for extension - needs to be abstract, final or empty.	532
	Missing a Javadoc comment.	532
	Method 'setCleanPosDecisionTrace' is not designed for extension - needs to be abstract, final or empty.	536
	Missing a Javadoc comment.	536
	Parameter cleanPosDecisionTrace should be final.	536
	'cleanPosDecisionTrace' hides a field.	536
	Method 'getCleanNegDecisionTrace' is not designed for extension - needs to be abstract, final or empty.	540
	Missing a Javadoc comment.	540
	Method 'setCleanNegDecisionTrace' is not designed for extension - needs to be abstract, final or empty.	544
	Missing a Javadoc comment.	544
	Parameter cleanNegDecisionTrace should be final.	544
	'cleanNegDecisionTrace' hides a field.	544
	Method 'getnVar' is not designed for extension - needs to be abstract, final or empty.	548
	Missing a Javadoc comment.	548
	Method 'setnVar' is not designed for extension - needs to be abstract, final or empty.	552
	Missing a Javadoc comment.	552
	Parameter nVar should be final.	552
	'nVar' hides a field.	552
	Method 'start' is not designed for extension - needs to be abstract, final or empty.	556
	Missing a Javadoc comment.	556
	Method 'end' is not designed for extension - needs to be abstract, final or empty.	562
	Missing a Javadoc comment.	562

org/sat4j/sat/visu/MyChartPanel.java

Violation	Message	Line
	Missing a Javadoc comment.	13
	Line has trailing spaces.	16
	Missing a Javadoc comment.	20
	Missing a Javadoc comment.	24
	Parameter chart should be final.	24
	Parameter title should be final.	24
	Missing a Javadoc comment.	28
	Parameter chart should be final.	28
	Parameter title should be final.	28
	Parameter bg should be final.	28
	Parameter fg should be final.	28
	'4' is a magic number.	47
	'4' is a magic number.	47
	'4' is a magic number.	47
	'4' is a magic number.	47

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
	Parameter crossSize should be final.	24
	'crossSize' hides a field.	24
	Expected @param tag for 'crossSize'.	24
	Line has trailing spaces.	30
	Unused @param tag for 'crossSize'.	31
	'6' is a magic number.	35
	Line is longer than 80 characters.	39
	Expected an @return tag.	41
	Method 'equals' is not designed for extension - needs to be abstract, final or empty.	41
	Expected @param tag for 'obj'.	42
	Expected an @return tag.	62
	Method 'hashCode' is not designed for extension - needs to be abstract, final or empty.	62
	Method 'paintPoint' is not designed for extension - needs to be abstract, final or empty.	74
	Expected @param tag for 'absoluteX'.	74
	Expected @param tag for 'absoluteY'.	74
	Expected @param tag for 'nextX'.	75
	Expected @param tag for 'nextY'.	75
	Expected @param tag for 'g'.	75
	Expected @param tag for 'original'.	76
	First sentence should end with a period.	85
	Line has trailing spaces.	88
	Method 'getCrossSize' 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 'setCrossSize' is not designed for extension - needs to be abstract, final or empty.	101
	Parameter crossSize should be final.	101
	'crossSize' hides a field.	101

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
	Parameter plusSize should be final.	24
	'plusSize' hides a field.	24
	Expected @param tag for 'plusSize'.	24
	Line has trailing spaces.	30
	Unused @param tag for 'plusSize'.	31
	'6' is a magic number.	35
	Line is longer than 80 characters.	39
	Expected an @return tag.	41
	Method 'equals' is not designed for extension - needs to be abstract, final or empty.	41
	Expected @param tag for 'obj'.	42
	Expected an @return tag.	62
	Method 'hashCode' is not designed for extension - needs to be abstract, final or empty.	62
	Method 'paintPoint' is not designed for extension - needs to be abstract, final or empty.	74
	Expected @param tag for 'absoluteX'.	74
	Expected @param tag for 'absoluteY'.	74
	Expected @param tag for 'nextX'.	75
	Expected @param tag for 'nextY'.	75
	Expected @param tag for 'g'.	75
	Expected @param tag for 'original'.	76
	First sentence should end with a period.	83
	Line has trailing spaces.	86
	Method 'getPlusSize' is not designed for extension - needs to be abstract, final or empty.	89
	First sentence should end with a period.	93
	Line has trailing spaces.	95
	Method 'setPlusSize' is not designed for extension - needs to be abstract, final or empty.	99
	Parameter plusSize should be final.	99
	'plusSize' hides a field.	99

org/sat4j/sat/visu/SolverVisualisation.java

Violation	Message	Line
	Missing a Javadoc comment.	3
	Missing a Javadoc comment.	5
	Redundant 'public' modifier.	5
	Missing a Javadoc comment.	7
	Redundant 'public' modifier.	7
	Missing a Javadoc comment.	9
	Redundant 'public' modifier.	9

org/sat4j/sat/visu/TraceComposite.java

Violation	Message	Line
	First sentence should end with a period.	21
	Line has trailing spaces.	23
	Line has trailing spaces.	25
	Missing a Javadoc comment.	29
	Missing a Javadoc comment.	31
	Parameter traces should be final.	31
	'traces' hides a field.	31
	Missing a Javadoc comment.	35
	Parameter traces should be final.	35
	'traces' hides a field.	35
	Method 'addPoint' is not designed for extension - needs to be abstract, final or empty.	40
	Missing a Javadoc comment.	40
	Parameter arg0 should be final.	40
	Method 'addPoint' is not designed for extension - needs to be abstract, final or empty.	48
	Missing a Javadoc comment.	48
	Parameter x should be final.	48
	Parameter y should be final.	48
	Missing a Javadoc comment.	57
	Parameter evt should be final.	57
	Method 'compareTo' is not designed for extension - needs to be abstract, final or empty.	62
	Missing a Javadoc comment.	62
	Parameter o should be final.	62
	Missing a Javadoc comment.	67
	Parameter arg0 should be final.	67
	Method 'addErrorBarPolicy' is not designed for extension - needs to be abstract, final or empty.	72
	Missing a Javadoc comment.	72
	Parameter arg0 should be final.	72
	Method 'addPointHighlighter' is not designed for extension - needs to be abstract, final or empty.	77
	Missing a Javadoc comment.	77
	Parameter arg0 should be final.	77
	Missing a Javadoc comment.	82
	Parameter arg0 should be final.	82
	Parameter arg1 should be final.	83
	Method 'addTracePainter' is not designed for extension - needs to be abstract, final or empty.	88
	Missing a Javadoc comment.	88
	Parameter arg0 should be final.	88
	Method 'containsTracePainter' is not designed for extension - needs to be abstract, final or empty.	93
	Missing a Javadoc comment.	93
	Parameter arg0 should be final.	93
	Missing a Javadoc comment.	98
	Parameter arg0 should be final.	98
	Parameter arg1 should be final.	98
	Method 'getColor' is not designed for extension - needs to be abstract, final or empty.	103
	Missing a Javadoc comment.	103
	Method 'getErrorBarPolicies' is not designed for extension - needs to be abstract, final or empty.	108
	Missing a Javadoc comment.	108
	Method 'getHasErrorBars' is not designed for extension - needs to be abstract, final or empty.	113
	Missing a Javadoc comment.	113
	Method 'getLabel' is not designed for extension - needs to be abstract, final or empty.	118
	Missing a Javadoc comment.	118
	Method 'getMaxSize' is not designed for extension - needs to be abstract, final or empty.	123
	Missing a Javadoc comment.	123
	Method 'getMaxX' is not designed for extension - needs to be abstract, final or empty.	128
	Missing a Javadoc comment.	128
	Method 'getMaxY' is not designed for extension - needs to be abstract, final or empty.	133
	Missing a Javadoc comment.	133
	Method 'getMinX' is not designed for extension - needs to be abstract, final or empty.	138
	Missing a Javadoc comment.	138
	Method 'getMinY' is not designed for extension - needs to be abstract, final or empty.	143
	Missing a Javadoc comment.	143
	Method 'getName' is not designed for extension - needs to be abstract, final or empty.	148
	Missing a Javadoc comment.	148
	Method 'getNearestPointEuclid' is not designed for extension - needs to be abstract, final or empty.	153
	Missing a Javadoc comment.	153
	Parameter arg0 should be final.	153
	Parameter arg1 should be final.	153
	Method 'getNearestPointManhattan' is not designed for extension - needs to be abstract, final or empty.	158
	Missing a Javadoc comment.	158
	Parameter arg0 should be final.	158
	Parameter arg1 should be final.	158
	Method 'getPhysicalUnits' is not designed for extension - needs to be abstract, final or empty.	163
	Missing a Javadoc comment.	163
	Method 'getPhysicalUnitsX' is not designed for extension - needs to be abstract, final or empty.	168
	Missing a Javadoc comment.	168
	Method 'getPhysicalUnitsY' is not designed for extension - needs to be abstract, final or empty.	173
	Missing a Javadoc comment.	173
	Method 'getPointHighlighters' is not designed for extension - needs to be abstract, final or empty.	178
	Missing a Javadoc comment.	178
	Method 'getPropertyChangeListeners' is not designed for extension - needs to be abstract, final or empty.	183
	Missing a Javadoc comment.	183
	Parameter arg0 should be final.	183
	Method 'getRenderer' is not designed for extension - needs to be abstract, final or empty.	188
	Missing a Javadoc comment.	188
	Method 'getSize' is not designed for extension - needs to be abstract, final or empty.	193
	Missing a Javadoc comment.	193
	Method 'getStroke' is not designed for extension - needs to be abstract, final or empty.	198
	Missing a Javadoc comment.	198
	Method 'getTracePainters' is not designed for extension - needs to be abstract, final or empty.	203
	Missing a Javadoc comment.	203
	Method 'getZIndex' is not designed for extension - needs to be abstract, final or empty.	208
	Missing a Javadoc comment.	208
	Method 'isEmpty' is not designed for extension - needs to be abstract, final or empty.	213
	Missing a Javadoc comment.	213
	Method 'isVisible' is not designed for extension - needs to be abstract, final or empty.	218
	Missing a Javadoc comment.	218
	Method 'iterator' is not designed for extension - needs to be abstract, final or empty.	223
	Missing a Javadoc comment.	223
	Method 'removeAllPointHighlighters' is not designed for extension - needs to be abstract, final or empty.	228
	Missing a Javadoc comment.	228
	Missing a Javadoc comment.	233
	Method 'removeComputingTrace' is not designed for extension - needs to be abstract, final or empty.	238
	Missing a Javadoc comment.	238
	Parameter arg0 should be final.	238
	Method 'removeErrorBarPolicy' is not designed for extension - needs to be abstract, final or empty.	243
	Missing a Javadoc comment.	243
	Parameter arg0 should be final.	243
	Method 'removePoint' is not designed for extension - needs to be abstract, final or empty.	248
	Missing a Javadoc comment.	248
	Parameter arg0 should be final.	248
	Method 'removePointHighlighter' is not designed for extension - needs to be abstract, final or empty.	253
	Missing a Javadoc comment.	253
	Parameter arg0 should be final.	253
	Missing a Javadoc comment.	258
	Parameter arg0 should be final.	258
	Missing a Javadoc comment.	263
	Parameter arg0 should be final.	263
	Parameter arg1 should be final.	264
	Method 'removeTracePainter' is not designed for extension - needs to be abstract, final or empty.	269
	Missing a Javadoc comment.	269
	Parameter arg0 should be final.	269
	Missing a Javadoc comment.	274
	Parameter arg0 should be final.	274
	Method 'setErrorBarPolicy' is not designed for extension - needs to be abstract, final or empty.	279
	Missing a Javadoc comment.	279
	Parameter arg0 should be final.	279
	Missing a Javadoc comment.	284
	Parameter arg0 should be final.	284
	Missing a Javadoc comment.	289
	Parameter arg0 should be final.	289
	Parameter arg1 should be final.	289
	Method 'setPointHighlighter' is not designed for extension - needs to be abstract, final or empty.	294
	Missing a Javadoc comment.	294
	Parameter arg0 should be final.	294
	Missing a Javadoc comment.	299
	Parameter arg0 should be final.	299
	Missing a Javadoc comment.	304
	Parameter arg0 should be final.	304
	Method 'setTracePainter' is not designed for extension - needs to be abstract, final or empty.	309
	Missing a Javadoc comment.	309
	Parameter arg0 should be final.	309
	Missing a Javadoc comment.	314
	Parameter arg0 should be final.	314
	Missing a Javadoc comment.	319
	Parameter arg0 should be final.	319
	Method 'showsErrorBars' is not designed for extension - needs to be abstract, final or empty.	324
	Missing a Javadoc comment.	324
	Method 'showsNegativeXErrorBars' is not designed for extension - needs to be abstract, final or empty.	329
	Missing a Javadoc comment.	329
	Method 'showsNegativeYErrorBars' is not designed for extension - needs to be abstract, final or empty.	334
	Missing a Javadoc comment.	334
	Method 'showsPositiveXErrorBars' is not designed for extension - needs to be abstract, final or empty.	339
	Missing a Javadoc comment.	339
	Method 'showsPositiveYErrorBars' is not designed for extension - needs to be abstract, final or empty.	344
	Missing a Javadoc comment.	344

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
	Name 'm_pointPainter' must match pattern '^[a-z][a-zA-Z0-9]*$'.	16
	'6' is a magic number.	23
	Line has trailing spaces.	28
	Line is longer than 80 characters.	37
	Method 'endPaintIteration' is not designed for extension - needs to be abstract, final or empty.	39
	Expected @param tag for 'g2d'.	40
	Expected an @return tag.	56
	Method 'equals' is not designed for extension - needs to be abstract, final or empty.	56
	Expected @param tag for 'obj'.	57
	Line has trailing spaces.	81
	Method 'getCrossSize' is not designed for extension - needs to be abstract, final or empty.	84
	Expected an @return tag.	91
	Method 'hashCode' is not designed for extension - needs to be abstract, final or empty.	91
	Avoid inline conditionals.	97
	Line is longer than 80 characters.	103
	Method 'paintPoint' is not designed for extension - needs to be abstract, final or empty.	107
	Expected @param tag for 'absoluteX'.	108
	Expected @param tag for 'absoluteY'.	108
	Expected @param tag for 'nextX'.	109
	Expected @param tag for 'nextY'.	109
	Expected @param tag for 'g'.	109
	Expected @param tag for 'original'.	110
	Line has trailing spaces.	119
	Unused @param tag for 'crossSize'.	120
	Method 'setPlusSize' is not designed for extension - needs to be abstract, final or empty.	123
	Expected @param tag for 'plusSize'.	123
	Line is longer than 80 characters.	128
	Method 'startPaintIteration' is not designed for extension - needs to be abstract, final or empty.	130
	Expected @param tag for 'g2d'.	131

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
	Name 'm_pointPainter' must match pattern '^[a-z][a-zA-Z0-9]*$'.	16
	'6' is a magic number.	23
	Line has trailing spaces.	28
	Line is longer than 80 characters.	37
	Method 'endPaintIteration' is not designed for extension - needs to be abstract, final or empty.	39
	Expected @param tag for 'g2d'.	40
	Expected an @return tag.	56
	Method 'equals' is not designed for extension - needs to be abstract, final or empty.	56
	Expected @param tag for 'obj'.	57
	Line has trailing spaces.	81
	Method 'getPlusSize' is not designed for extension - needs to be abstract, final or empty.	84
	Expected an @return tag.	91
	Method 'hashCode' is not designed for extension - needs to be abstract, final or empty.	91
	Avoid inline conditionals.	97
	Line is longer than 80 characters.	103
	Method 'paintPoint' is not designed for extension - needs to be abstract, final or empty.	107
	Expected @param tag for 'absoluteX'.	108
	Expected @param tag for 'absoluteY'.	108
	Expected @param tag for 'nextX'.	109
	Expected @param tag for 'nextY'.	109
	Expected @param tag for 'g'.	109
	Expected @param tag for 'original'.	110
	Line has trailing spaces.	119
	Method 'setPlusSize' is not designed for extension - needs to be abstract, final or empty.	123
	Line is longer than 80 characters.	128
	Method 'startPaintIteration' is not designed for extension - needs to be abstract, final or empty.	130
	Expected @param tag for 'g2d'.	131

org/sat4j/sat/visu/VisuPreferences.java

Violation	Message	Line
	Missing a Javadoc comment.	5
	Missing a Javadoc comment.	7
	Missing a Javadoc comment.	8
	First sentence should end with a period.	9
	First sentence should end with a period.	14
	Missing a Javadoc comment.	18
	Missing a Javadoc comment.	19
	Missing a Javadoc comment.	20
	Missing a Javadoc comment.	21
	Missing a Javadoc comment.	23
	Missing a Javadoc comment.	24
	Missing a Javadoc comment.	25
	Missing a Javadoc comment.	26
	Missing a Javadoc comment.	27
	Missing a Javadoc comment.	28
	Missing a Javadoc comment.	29
	Method 'isDisplayClausesSize' is not designed for extension - needs to be abstract, final or empty.	31
	Missing a Javadoc comment.	31
	Method 'setDisplayClausesSize' is not designed for extension - needs to be abstract, final or empty.	35
	Missing a Javadoc comment.	35
	Parameter displayClausesSize should be final.	35
	'displayClausesSize' hides a field.	35
	Missing a Javadoc comment.	39
	'11000' is a magic number.	42
	'500' is a magic number.	43
	'8000' is a magic number.	44
	Method 'getNumberOfDisplayedGraphs' is not designed for extension - needs to be abstract, final or empty.	58
	Missing a Javadoc comment.	58
	Method 'getBackgroundColor' is not designed for extension - needs to be abstract, final or empty.	86
	Missing a Javadoc comment.	86
	Method 'setBackgroundColor' is not designed for extension - needs to be abstract, final or empty.	90
	Missing a Javadoc comment.	90
	Parameter backgroundColor should be final.	90
	'backgroundColor' hides a field.	90
	Method 'getBorderColor' is not designed for extension - needs to be abstract, final or empty.	94
	Missing a Javadoc comment.	94
	Method 'setBorderColor' is not designed for extension - needs to be abstract, final or empty.	98
	Missing a Javadoc comment.	98
	Parameter borderColor should be final.	98
	'borderColor' hides a field.	98
	Method 'getTimeBeforeLaunching' is not designed for extension - needs to be abstract, final or empty.	102
	Missing a Javadoc comment.	102
	Method 'setTimeBeforeLaunching' is not designed for extension - needs to be abstract, final or empty.	106
	Missing a Javadoc comment.	106
	Parameter timeBeforeLaunching should be final.	106
	'timeBeforeLaunching' hides a field.	106
	Method 'getRefreshTime' is not designed for extension - needs to be abstract, final or empty.	110
	Missing a Javadoc comment.	110
	Method 'setRefreshTime' is not designed for extension - needs to be abstract, final or empty.	114
	Missing a Javadoc comment.	114
	Parameter refreshTime should be final.	114
	'refreshTime' hides a field.	114
	Method 'getNbLinesRead' is not designed for extension - needs to be abstract, final or empty.	118
	Missing a Javadoc comment.	118
	Method 'setNbLinesRead' is not designed for extension - needs to be abstract, final or empty.	122
	Missing a Javadoc comment.	122
	Parameter nbLinesRead should be final.	122
	'nbLinesRead' hides a field.	122
	Method 'isDisplayRestarts' is not designed for extension - needs to be abstract, final or empty.	126
	Missing a Javadoc comment.	126
	Method 'setDisplayRestarts' is not designed for extension - needs to be abstract, final or empty.	130
	Missing a Javadoc comment.	130
	Parameter displayRestarts should be final.	130
	'displayRestarts' hides a field.	130
	Method 'getRestartColor' is not designed for extension - needs to be abstract, final or empty.	134
	Missing a Javadoc comment.	134
	Method 'setRestartColor' is not designed for extension - needs to be abstract, final or empty.	138
	Missing a Javadoc comment.	138
	Parameter restartColor should be final.	138
	'restartColor' hides a field.	138
	Method 'isSlidingWindows' is not designed for extension - needs to be abstract, final or empty.	142
	Missing a Javadoc comment.	142
	Method 'setSlidingWindows' is not designed for extension - needs to be abstract, final or empty.	146
	Missing a Javadoc comment.	146
	Parameter slidingWindows should be final.	146
	'slidingWindows' hides a field.	146
	Method 'isDisplayDecisionIndexes' is not designed for extension - needs to be abstract, final or empty.	150
	Missing a Javadoc comment.	150
	Method 'setDisplayDecisionIndexes' is not designed for extension - needs to be abstract, final or empty.	154
	Missing a Javadoc comment.	154
	Parameter displayDecisionIndexes should be final.	154
	'displayDecisionIndexes' hides a field.	154
	Method 'isDisplaySpeed' is not designed for extension - needs to be abstract, final or empty.	158
	Missing a Javadoc comment.	158
	Method 'setDisplaySpeed' is not designed for extension - needs to be abstract, final or empty.	162
	Missing a Javadoc comment.	162
	Parameter displaySpeed should be final.	162
	'displaySpeed' hides a field.	162
	Method 'isDisplayConflictsTrail' is not designed for extension - needs to be abstract, final or empty.	166
	Missing a Javadoc comment.	166
	Method 'setDisplayConflictsTrail' is not designed for extension - needs to be abstract, final or empty.	170
	Missing a Javadoc comment.	170
	Parameter displayConflictsTrail should be final.	170
	'displayConflictsTrail' hides a field.	170
	Method 'isDisplayConflictsDecision' is not designed for extension - needs to be abstract, final or empty.	174
	Missing a Javadoc comment.	174
	Method 'setDisplayConflictsDecision' is not designed for extension - needs to be abstract, final or empty.	178
	Missing a Javadoc comment.	178
	Parameter displayConflictsDecision should be final.	178
	'displayConflictsDecision' hides a field.	178
	Method 'isDisplayVariablesEvaluation' is not designed for extension - needs to be abstract, final or empty.	182
	Missing a Javadoc comment.	182
	Line is longer than 80 characters.	186
	Method 'setDisplayVariablesEvaluation' is not designed for extension - needs to be abstract, final or empty.	186
	Missing a Javadoc comment.	186
	Parameter displayVariablesEvaluation should be final.	186
	'displayVariablesEvaluation' hides a field.	186
	Method 'isDisplayClausesEvaluation' is not designed for extension - needs to be abstract, final or empty.	190
	Missing a Javadoc comment.	190
	Method 'setDisplayClausesEvaluation' is not designed for extension - needs to be abstract, final or empty.	194
	Missing a Javadoc comment.	194
	Parameter displayClausesEvaluation should be final.	194
	'displayClausesEvaluation' hides a field.	194
	Method 'toString' is not designed for extension - needs to be abstract, final or empty.	198
	Method 'createCommandLine' is not designed for extension - needs to be abstract, final or empty.	208
	Missing a Javadoc comment.	208
	Parameter gnuplotFilename should be final.	208
	'6' is a magic number.	214
	'3' is a magic number.	218
	'4' is a magic number.	219
	'5' is a magic number.	220
	Method 'generatePlotLine' is not designed for extension - needs to be abstract, final or empty.	225
	Missing a Javadoc comment.	225
	Parameter file should be final.	225
	Parameter slidingThisWindow should be final.	226
	'{' is followed by whitespace.	227
	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
	'{' is followed by whitespace.	232
	Method 'generatePlotLine' is not designed for extension - needs to be abstract, final or empty.	236
	Missing a Javadoc comment.	236
	Parameter file should be final.	236
	Parameter restartFile should be final.	236
	'{' is followed by whitespace.	237
	Method 'generatePlotLine' is not designed for extension - needs to be abstract, final or empty.	241
	Missing a Javadoc comment.	241
	Parameter file should be final.	241
	Parameter restartFile should be final.	241
	Parameter slidingThisWindows 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
	Parameter nbLinesToShow should be final.	248
	'{' is followed by whitespace.	249
	Method 'generatePlotLine' is not designed for extension - needs to be abstract, final or empty.	254
	Missing a Javadoc comment.	254
	Parameter dataFilesArray should be final.	254
	Parameter restartFileName should be final.	255
	Parameter slidingThisWindows should be final.	255
	Method 'generatePlotLine' is not designed for extension - needs to be abstract, final or empty.	260
	Missing a Javadoc comment.	260
	Parameter file should be final.	260
	Parameter function should be final.	261
	Parameter restartFile should be final.	261
	Parameter slidingThisWindows should be final.	262
	Parameter nbLinesToShow should be final.	262
	'{' is followed by whitespace.	263
	'{' is followed by whitespace.	264
	Method 'generatePlotLine' is not designed for extension - needs to be abstract, final or empty.	268
	Missing a Javadoc comment.	268
	Parameter dataFile should be final.	268
	Parameter function should be final.	269
	Parameter restartFileName should be final.	269
	Parameter slidingThisWindows should be final.	270
	'{' is followed by whitespace.	271
	'{' is followed by whitespace.	272
	Method 'generatePlotLine' is not designed for extension - needs to be abstract, final or empty.	276
	Missing a Javadoc comment.	276
	Parameter dataFilesArray should be final.	276
	Parameter functions should be final.	277
	Parameter restartFileName should be final.	277
	Parameter slidingThisWindows should be final.	278
	Method 'generatePlotLine' is not designed for extension - needs to be abstract, final or empty.	283
	Missing a Javadoc comment.	283
	Parameter dataFilesArray should be final.	283
	Parameter functions should be final.	284
	Parameter restartFileName should be final.	284
	Parameter slidingThisWindows should be final.	285
	Parameter nbLinesTosShow should be final.	285
	Method 'generatePlotLineOnDifferenteAxes' is not designed for extension - needs to be abstract, final or empty.	343
	Missing a Javadoc comment.	343
	Parameter dfArray1 should be final.	343
	Parameter dfArray2 should be final.	344
	Parameter slidingThisWindow should be final.	344
	Method 'generatePlotLineOnDifferenteAxes' is not designed for extension - needs to be abstract, final or empty.	349
	Missing a Javadoc comment.	349
	Parameter dfArray1 should be final.	349
	Line is longer than 80 characters.	350
	Parameter dfArray2 should be final.	350
	Parameter slidingThisWindow should be final.	350
	Parameter nbLines should be final.	350
	Method 'generatePlotLineOnDifferenteAxes' is not designed for extension - needs to be abstract, final or empty.	355
	Missing a Javadoc comment.	355
	Parameter dfArray1 should be final.	355
	Parameter dfArray2 should be final.	356
	Parameter functions should be final.	356
	Parameter slidingThisWindow should be final.	357
	Method 'generatePlotLineOnDifferenteAxes' is not designed for extension - needs to be abstract, final or empty.	362
	Missing a Javadoc comment.	362
	Parameter dfArray1 should be final.	362
	Parameter dfArray2 should be final.	363
	Parameter functions should be final.	363
	Parameter slidingThisWindows should be final.	364
	Parameter nbLines should be final.	364

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.	33
	Missing a Javadoc comment.	34
	Missing a Javadoc comment.	35
	Missing a Javadoc comment.	36
	Missing a Javadoc comment.	38
	Missing a Javadoc comment.	39
	'static' modifier out of order with the JLS suggestions.	39
	Missing a Javadoc comment.	40
	Missing a Javadoc comment.	41
	Missing a Javadoc comment.	42
	'static' modifier out of order with the JLS suggestions.	42
	Missing a Javadoc comment.	43
	Missing a Javadoc comment.	45
	Line is longer than 80 characters.	46
	Missing a Javadoc comment.	46
	'static' modifier out of order with the JLS suggestions.	46
	Missing a Javadoc comment.	47
	Missing a Javadoc comment.	49
	Missing a Javadoc comment.	50
	'static' modifier out of order with the JLS suggestions.	50
	Missing a Javadoc comment.	51
	Missing a Javadoc comment.	53
	Line is longer than 80 characters.	54
	Missing a Javadoc comment.	54
	'static' modifier out of order with the JLS suggestions.	54
	Missing a Javadoc comment.	55
	Missing a Javadoc comment.	57
	Missing a Javadoc comment.	58
	'static' modifier out of order with the JLS suggestions.	58
	Missing a Javadoc comment.	60
	Missing a Javadoc comment.	61
	'static' modifier out of order with the JLS suggestions.	61
	Missing a Javadoc comment.	62
	Missing a Javadoc comment.	64
	Missing a Javadoc comment.	65
	'static' modifier out of order with the JLS suggestions.	65
	Missing a Javadoc comment.	67
	Line is longer than 80 characters.	68
	Missing a Javadoc comment.	68
	'static' modifier out of order with the JLS suggestions.	68
	Missing a Javadoc comment.	69
	Line is longer than 80 characters.	70
	Missing a Javadoc comment.	70
	'static' modifier out of order with the JLS suggestions.	70
	Missing a Javadoc comment.	71
	Line is longer than 80 characters.	72
	Missing a Javadoc comment.	72
	'static' modifier out of order with the JLS suggestions.	72
	Missing a Javadoc comment.	73
	Line is longer than 80 characters.	74
	Missing a Javadoc comment.	74
	'static' modifier out of order with the JLS suggestions.	74
	Missing a Javadoc comment.	75
	Line is longer than 80 characters.	76
	Missing a Javadoc comment.	76
	'static' modifier out of order with the JLS suggestions.	76
	Missing a Javadoc comment.	77
	Missing a Javadoc comment.	78
	'static' modifier out of order with the JLS suggestions.	78
	Missing a Javadoc comment.	79
	Missing a Javadoc comment.	80
	'static' modifier out of order with the JLS suggestions.	80
	Missing a Javadoc comment.	82
	Missing a Javadoc comment.	83
	'static' modifier out of order with the JLS suggestions.	83
	Missing a Javadoc comment.	85
	Missing a Javadoc comment.	89
	Parameter pref should be final.	89
	Method 'createAndShowGUI' is not designed for extension - needs to be abstract, final or empty.	95
	Missing a Javadoc comment.	95
	Method 'createMainPanel' is not designed for extension - needs to be abstract, final or empty.	108
	Method length is 260 lines (max allowed is 150).	108
	Missing a Javadoc comment.	108
	'5' is a magic number.	117
	'5' is a magic number.	117
	'5' is a magic number.	117
	'5' is a magic number.	117
	'5' is a magic number.	119
	'5' is a magic number.	119
	Parameter e should be final.	128
	Parameter e should be final.	147
	Parameter e should be final.	169
	'5' is a magic number.	187
	'5' is a magic number.	187
	'5' is a magic number.	187
	'5' is a magic number.	187
	'5' is a magic number.	189
	'5' is a magic number.	189
	Parameter e should be final.	195
	Line is longer than 80 characters.	203
	Parameter e should be final.	240
	Line is longer than 80 characters.	242
	Line is longer than 80 characters.	245
	Line is longer than 80 characters.	248
	Parameter e should be final.	258
	'5' is a magic number.	272
	'5' is a magic number.	272
	'5' is a magic number.	272
	'5' is a magic number.	272
	Parameter e should be final.	279
	Line is longer than 80 characters.	281
	Parameter e should be final.	291
	Line is longer than 80 characters.	293
	Parameter e should be final.	303
	Line is longer than 80 characters.	305
	Parameter e should be final.	315
	Line is longer than 80 characters.	317
	Parameter e should be final.	327
	Line is longer than 80 characters.	329
	Parameter e should be final.	338
	Line is longer than 80 characters.	340
	Parameter e should be final.	351
	Line is longer than 80 characters.	353
	Method 'getFrame' is not designed for extension - needs to be abstract, final or empty.	369
	Missing a Javadoc comment.	369

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/ILog.java

org/sat4j/sat/Lanceur.java

org/sat4j/sat/LaunchRemoteControl.java

org/sat4j/sat/PhaseCommandComponent.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