SAT4J multicore - Checkstyle Results

Checkstyle Results

The following document contains the results of Checkstyle.

Summary

Files	Infos	Warnings	Errors
4	0	0	557

Files

Files	I	W	E
org/sat4j/multicore/ManyCore.java	0	0	453
org/sat4j/multicore/ManyCorePB.java	0	0	43
org/sat4j/multicore/MultiCoreLauncher.java	0	0	22
org/sat4j/multicore/SolverFactory.java	0	0	39

Rules

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

Details

org/sat4j/multicore/ManyCore.java

Violation	Message	Line
	Missing a Javadoc comment.	20
	Line contains a tab character.	22
	Line has trailing spaces.	23
	Line contains a tab character.	23
	Line contains a tab character.	24
	Line contains a tab character.	25
	Line contains a tab character.	27
	Missing a Javadoc comment.	27
	Line contains a tab character.	29
	Missing a Javadoc comment.	29
	Variable 'solvers' must be private and have accessor methods.	29
	Line contains a tab character.	30
	Missing a Javadoc comment.	30
	Variable 'numberOfSolvers' must be private and have accessor methods.	30
	Line contains a tab character.	31
	Missing a Javadoc comment.	31
	Line contains a tab character.	32
	Missing a Javadoc comment.	32
	Line contains a tab character.	33
	Missing a Javadoc comment.	33
	Line contains a tab character.	35
	Missing a Javadoc comment.	35
	Line contains a tab character.	37
	Missing a Javadoc comment.	37
	Parameter factory should be final.	37
	Parameter solverNames should be final.	37
	Line contains a tab character.	38
	Line contains a tab character.	39
	Line contains a tab character.	40
	Line contains a tab character.	41
	Line contains a tab character.	42
	'500000000L' is a magic number.	42
	Line is longer than 80 characters.	43
	Line contains a tab character.	43
	Avoid inline conditionals.	43
	Line contains a tab character.	44
	Line contains a tab character.	45
	Line contains a tab character.	46
	Line contains a tab character.	47
	Line contains a tab character.	48
	Line contains a tab character.	49
	Line is longer than 80 characters.	50
	Line contains a tab character.	50
	Line contains a tab character.	51
	Line contains a tab character.	52
	Line contains a tab character.	54
	Method 'addAllClauses' is not designed for extension - needs to be abstract, final or empty.	54
	Missing a Javadoc comment.	54
	Parameter clauses should be final.	54
	Line contains a tab character.	55
	Line contains a tab character.	56
	Line contains a tab character.	57
	Line contains a tab character.	58
	Line contains a tab character.	59
	Line contains a tab character.	61
	Method 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.	61
	Missing a Javadoc comment.	61
	Parameter literals should be final.	61
	Parameter degree should be final.	61
	Line contains a tab character.	62
	Line contains a tab character.	63
	Line contains a tab character.	64
	Line contains a tab character.	65
	Line contains a tab character.	66
	Line contains a tab character.	67
	Line contains a tab character.	68
	Line contains a tab character.	70
	Method 'addAtMost' is not designed for extension - needs to be abstract, final or empty.	70
	Missing a Javadoc comment.	70
	Parameter literals should be final.	70
	Parameter degree should be final.	70
	Line contains a tab character.	71
	Line contains a tab character.	72
	Line contains a tab character.	73
	Line contains a tab character.	74
	Line contains a tab character.	75
	Line contains a tab character.	76
	Line contains a tab character.	77
	Line is longer than 80 characters.	79
	Line contains a tab character.	79
	Method 'addClause' is not designed for extension - needs to be abstract, final or empty.	79
	Missing a Javadoc comment.	79
	Parameter literals should be final.	79
	Line contains a tab character.	80
	Line contains a tab character.	81
	Line contains a tab character.	82
	Line contains a tab character.	83
	Line contains a tab character.	84
	Line contains a tab character.	85
	Line contains a tab character.	87
	Method 'clearLearntClauses' is not designed for extension - needs to be abstract, final or empty.	87
	Missing a Javadoc comment.	87
	Line contains a tab character.	88
	Line contains a tab character.	89
	Line contains a tab character.	90
	Line contains a tab character.	91
	Line contains a tab character.	93
	Method 'expireTimeout' is not designed for extension - needs to be abstract, final or empty.	93
	Missing a Javadoc comment.	93
	Line contains a tab character.	94
	Line contains a tab character.	95
	Line contains a tab character.	96
	Line contains a tab character.	97
	Line contains a tab character.	99
	Method 'getStat' is not designed for extension - needs to be abstract, final or empty.	99
	Missing a Javadoc comment.	99
	Line contains a tab character.	100
	Line contains a tab character.	101
	Line contains a tab character.	103
	Method 'getTimeout' is not designed for extension - needs to be abstract, final or empty.	103
	Missing a Javadoc comment.	103
	Line contains a tab character.	104
	Line contains a tab character.	105
	Line contains a tab character.	107
	Method 'getTimeoutMs' is not designed for extension - needs to be abstract, final or empty.	107
	Missing a Javadoc comment.	107
	Line contains a tab character.	108
	Line contains a tab character.	109
	Line contains a tab character.	111
	Method 'newVar' is not designed for extension - needs to be abstract, final or empty.	111
	Missing a Javadoc comment.	111
	Line contains a tab character.	112
	Line contains a tab character.	113
	Line contains a tab character.	115
	Method 'newVar' is not designed for extension - needs to be abstract, final or empty.	115
	Missing a Javadoc comment.	115
	Parameter howmany should be final.	115
	Line contains a tab character.	116
	Line contains a tab character.	117
	Line contains a tab character.	118
	Line contains a tab character.	119
	Line contains a tab character.	120
	Line contains a tab character.	121
	Line contains a tab character.	123
	Method 'printStat' is not designed for extension - needs to be abstract, final or empty.	123
	Missing a Javadoc comment.	123
	Line contains a tab character.	124
	Parameter out should be final.	124
	Parameter prefix should be final.	124
	Line contains a tab character.	125
	Line contains a tab character.	126
	Line contains a tab character.	128
	Method 'printStat' is not designed for extension - needs to be abstract, final or empty.	128
	Missing a Javadoc comment.	128
	Parameter out should be final.	128
	Parameter prefix should be final.	128
	Line contains a tab character.	129
	Line contains a tab character.	130
	Line contains a tab character.	132
	Method 'removeConstr' is not designed for extension - needs to be abstract, final or empty.	132
	Missing a Javadoc comment.	132
	Parameter c should be final.	132
	Line contains a tab character.	133
	Line contains a tab character.	134
	Line contains a tab character.	135
	Line is longer than 80 characters.	136
	Line contains a tab character.	136
	Line contains a tab character.	137
	Line contains a tab character.	138
	Line contains a tab character.	139
	Line contains a tab character.	141
	Method 'reset' is not designed for extension - needs to be abstract, final or empty.	141
	Missing a Javadoc comment.	141
	Line contains a tab character.	142
	Line contains a tab character.	143
	Line contains a tab character.	144
	Line contains a tab character.	145
	Line contains a tab character.	147
	Method 'setExpectedNumberOfClauses' is not designed for extension - needs to be abstract, final or empty.	147
	Missing a Javadoc comment.	147
	Parameter nb should be final.	147
	Line contains a tab character.	148
	Line contains a tab character.	149
	Line contains a tab character.	150
	Line contains a tab character.	151
	Line contains a tab character.	153
	Method 'setTimeout' is not designed for extension - needs to be abstract, final or empty.	153
	Missing a Javadoc comment.	153
	Parameter t should be final.	153
	Line contains a tab character.	154
	Line contains a tab character.	155
	Line contains a tab character.	156
	Line contains a tab character.	157
	Line contains a tab character.	159
	Method 'setTimeoutMs' is not designed for extension - needs to be abstract, final or empty.	159
	Missing a Javadoc comment.	159
	Parameter t should be final.	159
	Line contains a tab character.	160
	Line contains a tab character.	161
	Line contains a tab character.	162
	Line contains a tab character.	163
	Line contains a tab character.	165
	Method 'setTimeoutOnConflicts' is not designed for extension - needs to be abstract, final or empty.	165
	Missing a Javadoc comment.	165
	Parameter count should be final.	165
	Line contains a tab character.	166
	Line contains a tab character.	167
	Line contains a tab character.	168
	Line contains a tab character.	169
	Line contains a tab character.	171
	Method 'toString' is not designed for extension - needs to be abstract, final or empty.	171
	Missing a Javadoc comment.	171
	Parameter prefix should be final.	171
	Line contains a tab character.	172
	Line contains a tab character.	173
	Line contains a tab character.	174
	Line contains a tab character.	175
	Line contains a tab character.	176
	Line contains a tab character.	177
	Line contains a tab character.	178
	Line contains a tab character.	179
	Line contains a tab character.	180
	Line contains a tab character.	181
	Line contains a tab character.	182
	Line contains a tab character.	183
	Line contains a tab character.	185
	Method 'findModel' is not designed for extension - needs to be abstract, final or empty.	185
	Missing a Javadoc comment.	185
	Line contains a tab character.	186
	Line contains a tab character.	187
	Line contains a tab character.	189
	Method 'findModel' is not designed for extension - needs to be abstract, final or empty.	189
	Missing a Javadoc comment.	189
	Parameter assumps should be final.	189
	Line contains a tab character.	190
	Line contains a tab character.	191
	Line contains a tab character.	193
	Method 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.	193
	Missing a Javadoc comment.	193
	Line contains a tab character.	194
	Line contains a tab character.	195
	Line contains a tab character.	197
	Method 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.	197
	Missing a Javadoc comment.	197
	Parameter assumps should be final.	197
	Parameter globalTimeout should be final.	197
	Line contains a tab character.	198
	Line contains a tab character.	199
	Line contains a tab character.	200
	Line contains a tab character.	201
	Line is longer than 80 characters.	202
	Line contains a tab character.	202
	Line contains a tab character.	203
	Line contains a tab character.	204
	Line contains a tab character.	205
	Line contains a tab character.	206
	Line contains a tab character.	207
	'500' is a magic number.	207
	Line contains a tab character.	208
	Line contains a tab character.	209
	Must have at least one statement.	209
	Comment matches to-do format 'TODO:'.	210
	Line contains a tab character.	210
	Line contains a tab character.	211
	Line contains a tab character.	212
	Line contains a tab character.	213
	Line contains a tab character.	214
	Line contains a tab character.	215
	Line contains a tab character.	216
	Line contains a tab character.	217
	Line is longer than 80 characters.	219
	Line contains a tab character.	219
	Method 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.	219
	Missing a Javadoc comment.	219
	Parameter globalTimeout should be final.	219
	Line contains a tab character.	220
	Line contains a tab character.	221
	Line contains a tab character.	223
	Method 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.	223
	Missing a Javadoc comment.	223
	Parameter assumps should be final.	223
	Line contains a tab character.	224
	Line contains a tab character.	225
	Line contains a tab character.	227
	Method 'model' is not designed for extension - needs to be abstract, final or empty.	227
	Missing a Javadoc comment.	227
	Line contains a tab character.	228
	Line contains a tab character.	229
	Line contains a tab character.	231
	Method 'model' is not designed for extension - needs to be abstract, final or empty.	231
	Missing a Javadoc comment.	231
	Parameter var should be final.	231
	Line contains a tab character.	232
	Line contains a tab character.	233
	Line contains a tab character.	235
	Method 'nConstraints' is not designed for extension - needs to be abstract, final or empty.	235
	Missing a Javadoc comment.	235
	Line contains a tab character.	236
	Line contains a tab character.	237
	Line contains a tab character.	239
	Method 'nVars' is not designed for extension - needs to be abstract, final or empty.	239
	Missing a Javadoc comment.	239
	Line contains a tab character.	240
	Line contains a tab character.	241
	Line contains a tab character.	243
	Method 'printInfos' is not designed for extension - needs to be abstract, final or empty.	243
	Missing a Javadoc comment.	243
	Parameter out should be final.	243
	Parameter prefix should be final.	243
	Line contains a tab character.	244
	Line contains a tab character.	245
	Line contains a tab character.	246
	Line contains a tab character.	247
	Line contains a tab character.	249
	Method 'onFinishWithAnswer' is not designed for extension - needs to be abstract, final or empty.	249
	Missing a Javadoc comment.	249
	Parameter finished should be final.	249
	Line contains a tab character.	250
	Parameter result should be final.	250
	Parameter index should be final.	250
	Line contains a tab character.	251
	Line contains a tab character.	252
	Line contains a tab character.	253
	Line contains a tab character.	254
	Line contains a tab character.	255
	'if' construct must use '{}'s.	256
	Line contains a tab character.	256
	Line contains a tab character.	257
	Line contains a tab character.	258
	Line contains a tab character.	259
	Line contains a tab character.	260
	Line contains a tab character.	261
	Line contains a tab character.	262
	Line contains a tab character.	263
	Line contains a tab character.	265
	Method 'isDBSimplificationAllowed' is not designed for extension - needs to be abstract, final or empty.	265
	Missing a Javadoc comment.	265
	Line contains a tab character.	266
	Line contains a tab character.	267
	Line contains a tab character.	269
	Method 'setDBSimplificationAllowed' is not designed for extension - needs to be abstract, final or empty.	269
	Missing a Javadoc comment.	269
	Parameter status should be final.	269
	Line contains a tab character.	270
	Line contains a tab character.	271
	Line contains a tab character.	272
	Line contains a tab character.	273
	Line contains a tab character.	275
	Method 'setSearchListener' is not designed for extension - needs to be abstract, final or empty.	275
	Missing a Javadoc comment.	275
	Parameter sl should be final.	275
	Line contains a tab character.	276
	Line contains a tab character.	277
	Line contains a tab character.	278
	Line contains a tab character.	279
	Line contains a tab character.	281
	Line contains a tab character.	282
	Line contains a tab character.	283
	Expected an @return tag.	284
	Line contains a tab character.	284
	Method 'getSearchListener' is not designed for extension - needs to be abstract, final or empty.	284
	Line contains a tab character.	285
	Line contains a tab character.	286
	Line contains a tab character.	288
	Method 'nextFreeVarId' is not designed for extension - needs to be abstract, final or empty.	288
	Missing a Javadoc comment.	288
	Parameter reserve should be final.	288
	Line contains a tab character.	289
	Line contains a tab character.	290
	Line contains a tab character.	292
	Method 'addBlockingClause' is not designed for extension - needs to be abstract, final or empty.	292
	Missing a Javadoc comment.	292
	Parameter literals should be final.	292
	Line contains a tab character.	293
	Line contains a tab character.	294
	Line contains a tab character.	295
	Line contains a tab character.	296
	Line contains a tab character.	297
	Line contains a tab character.	298
	Line contains a tab character.	299
	Line contains a tab character.	301
	Method 'removeSubsumedConstr' is not designed for extension - needs to be abstract, final or empty.	301
	Missing a Javadoc comment.	301
	Parameter c should be final.	301
	Line contains a tab character.	302
	Line contains a tab character.	303
	Line contains a tab character.	304
	Line contains a tab character.	305
	Line is longer than 80 characters.	306
	Line contains a tab character.	306
	Line contains a tab character.	307
	Line contains a tab character.	308
	Line contains a tab character.	309
	Line contains a tab character.	311
	Method 'isVerbose' is not designed for extension - needs to be abstract, final or empty.	311
	Missing a Javadoc comment.	311
	Line contains a tab character.	312
	Line contains a tab character.	313
	Line contains a tab character.	315
	Missing a Javadoc comment.	315
	Parameter value should be final.	315
	Line contains a tab character.	316
	Line contains a tab character.	317
	Line contains a tab character.	319
	Method 'setLogPrefix' is not designed for extension - needs to be abstract, final or empty.	319
	Missing a Javadoc comment.	319
	Parameter prefix should be final.	319
	Line contains a tab character.	320
	Line contains a tab character.	321
	Line contains a tab character.	322
	Line contains a tab character.	324
	Line contains a tab character.	326
	Method 'getLogPrefix' is not designed for extension - needs to be abstract, final or empty.	326
	Missing a Javadoc comment.	326
	Line contains a tab character.	327
	Line contains a tab character.	328
	Line contains a tab character.	330
	Method 'unsatExplanation' is not designed for extension - needs to be abstract, final or empty.	330
	Missing a Javadoc comment.	330
	Line contains a tab character.	331
	Line contains a tab character.	332
	Missing a Javadoc comment.	335
	Line contains a tab character.	336
	Missing a Javadoc comment.	336
	Missing a Javadoc comment.	339
	Line contains a tab character.	341
	Missing a Javadoc comment.	341
	Line contains a tab character.	342
	Missing a Javadoc comment.	342
	Line contains a tab character.	343
	Missing a Javadoc comment.	343
	Line contains a tab character.	344
	Missing a Javadoc comment.	344
	Line contains a tab character.	345
	Missing a Javadoc comment.	345
	Line contains a tab character.	347
	Missing a Javadoc comment.	347
	Parameter i should be final.	347
	Parameter solver should be final.	347
	'solver' hides a field.	347
	Parameter assumps should be final.	347
	'assumps' hides a field.	347
	Line contains a tab character.	348
	Parameter globalTimeout should be final.	348
	'globalTimeout' hides a field.	348
	Parameter ol should be final.	348
	'ol' hides a field.	348
	Line contains a tab character.	349
	Line contains a tab character.	350
	Line contains a tab character.	351
	Line contains a tab character.	352
	Line contains a tab character.	353
	Line contains a tab character.	354
	Line contains a tab character.	356
	Missing a Javadoc comment.	356
	Line contains a tab character.	357
	Line is longer than 80 characters.	358
	Line contains a tab character.	358
	Line contains a tab character.	359
	Line contains a tab character.	360
	Line contains a tab character.	361
	Line contains a tab character.	362
	Line contains a tab character.	363

org/sat4j/multicore/ManyCorePB.java

Violation	Message	Line
	Missing a Javadoc comment.	14
	Line contains a tab character.	16
	Line has trailing spaces.	17
	Line contains a tab character.	17
	Line contains a tab character.	18
	Line contains a tab character.	19
	Line is longer than 80 characters.	21
	Line contains a tab character.	21
	Missing a Javadoc comment.	21
	Parameter factory should be final.	21
	Parameter solverNames should be final.	21
	Line contains a tab character.	22
	Line contains a tab character.	23
	Line contains a tab character.	25
	Method 'addPseudoBoolean' is not designed for extension - needs to be abstract, final or empty.	25
	Missing a Javadoc comment.	25
	Parameter lits should be final.	25
	Parameter coeffs should be final.	25
	Line is longer than 80 characters.	26
	Line contains a tab character.	26
	Parameter moreThan should be final.	26
	Parameter d should be final.	26
	Line contains a tab character.	27
	Line contains a tab character.	28
	Line contains a tab character.	29
	Line is longer than 80 characters.	30
	Line contains a tab character.	30
	Line contains a tab character.	31
	Line contains a tab character.	32
	Line contains a tab character.	33
	Line contains a tab character.	35
	Method 'setObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.	35
	Missing a Javadoc comment.	35
	Parameter obj should be final.	35
	Line contains a tab character.	36
	Line contains a tab character.	37
	Line contains a tab character.	38
	Line contains a tab character.	39
	Line contains a tab character.	41
	Method 'getObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.	41
	Missing a Javadoc comment.	41
	Line contains a tab character.	42
	Line contains a tab character.	43

org/sat4j/multicore/MultiCoreLauncher.java

Violation	Message	Line
	Class MultiCoreLauncher should be declared as final.	6
	Missing a Javadoc comment.	6
	Line contains a tab character.	8
	Missing a Javadoc comment.	8
	Line contains a tab character.	9
	Line contains a tab character.	10
	Line contains a tab character.	12
	Line contains a tab character.	13
	Line contains a tab character.	14
	Line contains a tab character.	15
	Parameter args should be final.	15
	Expected @param tag for 'args'.	15
	Line contains a tab character.	16
	Line contains a tab character.	17
	Line contains a tab character.	18
	'3' is a magic number.	18
	Line contains a tab character.	19
	Line contains a tab character.	20
	Line contains a tab character.	21
	Line contains a tab character.	22
	Line contains a tab character.	23
	Line contains a tab character.	24

org/sat4j/multicore/SolverFactory.java

Violation	Message	Line
	Missing package-info.java file.	0
	Class SolverFactory should be declared as final.	7
	Missing a Javadoc comment.	7
	Line contains a tab character.	9
	Missing a Javadoc comment.	9
	Name 'instance' must match pattern '^[A-Z][A-Z0-9](_[A-Z0-9]+)$'.	9
	Line contains a tab character.	11
	Missing a Javadoc comment.	11
	Line contains a tab character.	13
	Line contains a tab character.	15
	Missing a Javadoc comment.	15
	Line contains a tab character.	16
	Line contains a tab character.	17
	Line contains a tab character.	19
	Line has trailing spaces.	20
	Line contains a tab character.	20
	Line contains a tab character.	21
	Line contains a tab character.	22
	Line contains a tab character.	24
	Missing a Javadoc comment.	24
	Line contains a tab character.	25
	Line is longer than 80 characters.	26
	Line contains a tab character.	26
	Line is longer than 80 characters.	27
	Line contains a tab character.	27
	Line contains a tab character.	28
	Line contains a tab character.	30
	Missing a Javadoc comment.	30
	Line contains a tab character.	31
	Line contains a tab character.	32
	Line contains a tab character.	33
	Line contains a tab character.	35
	Line contains a tab character.	36
	Line contains a tab character.	37
	Line contains a tab character.	38
	Line contains a tab character.	40
	Line contains a tab character.	41
	Line contains a tab character.	42
	Line contains a tab character.	43

Parent Project

Project Documentation

Checkstyle Results

Summary

Files

Rules

Details

org/sat4j/multicore/ManyCore.java

org/sat4j/multicore/ManyCorePB.java

org/sat4j/multicore/MultiCoreLauncher.java

org/sat4j/multicore/SolverFactory.java