SAT4J multicore - Checkstyle Results

Checkstyle Results

The following document contains the results of Checkstyle .

Summary

Files	Infos	Warnings	Errors
3	0	0	458

Files

Files	I	W	E
org/sat4j/multicore/ManyCore.java	0	0	402
org/sat4j/multicore/MultiCoreLauncher.java	0	0	13
org/sat4j/multicore/SolverFactory.java	0	0	43

Rules

Rules	Violations	Severity
JavadocPackage	1	Error
NewlineAtEndOfFile	0	Error
Translation	0	Error
FileLength	0	Error
FileTabCharacter eachLine : `"true"`	275	Error
RegexpSingleline message : `"Line has trailing spaces."` format : `"\s+$"`	11	Error
JavadocMethod	46	Error
JavadocType	5	Error
JavadocVariable	11	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	1	Error
UnusedImports	0	Error
LineLength	8	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	5	Error
WhitespaceAround	8	Error
ModifierOrder	0	Error
RedundantModifier	0	Error
AvoidNestedBlocks	0	Error
EmptyBlock	1	Error
LeftCurly	0	Error
NeedBraces	1	Error
RightCurly	0	Error
AvoidInlineConditionals	0	Error
DoubleCheckedLocking	0	Error
EmptyStatement	0	Error
EqualsHashCode	0	Error
HiddenField	2	Error
IllegalInstantiation	0	Error
InnerAssignment	0	Error
MagicNumber	2	Error
MissingSwitchDefault	0	Error
RedundantThrows	0	Error
SimplifyBooleanExpression	0	Error
SimplifyBooleanReturn	0	Error
DesignForExtension	38	Error
FinalClass	1	Error
HideUtilityClassConstructor	1	Error
InterfaceIsType	0	Error
VisibilityModifier	0	Error
ArrayTypeStyle	0	Error
FinalParameters	39	Error
TodoComment	1	Error
UpperEll	0	Error

Details

org/sat4j/multicore/ManyCore.java

Violation	Message	Line
	Missing a Javadoc comment.	16
	Line contains a tab character.	18
	Line has trailing spaces.	19
	Line contains a tab character.	19
	Line contains a tab character.	20
	Line contains a tab character.	21
	Line contains a tab character.	23
	Missing a Javadoc comment.	23
	Line contains a tab character.	25
	Missing a Javadoc comment.	25
	Line contains a tab character.	26
	Missing a Javadoc comment.	26
	Line contains a tab character.	27
	Missing a Javadoc comment.	27
	Line contains a tab character.	28
	Missing a Javadoc comment.	28
	Line contains a tab character.	29
	Missing a Javadoc comment.	29
	Line contains a tab character.	30
	Missing a Javadoc comment.	30
	Line is longer than 80 characters.	32
	Line contains a tab character.	32
	Missing a Javadoc comment.	32
	Parameter factory should be final.	32
	Parameter solverNames should be final.	32
	Line contains a tab character.	33
	Line contains a tab character.	34
	Line contains a tab character.	35
	Line contains a tab character.	36
	Line contains a tab character.	37
	'1000000000L' is a magic number.	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
	'<' is not preceded with whitespace.	42
	'<' is not followed by whitespace.	42
	Line is longer than 80 characters.	43
	Line contains a tab character.	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 contains a tab character.	50
	Line contains a tab character.	52
	Method 'addAllClauses' is not designed for extension - needs to be abstract, final or empty.	52
	Missing a Javadoc comment.	52
	Parameter clauses should be final.	52
	Line contains a tab character.	53
	Line contains a tab character.	54
	Line contains a tab character.	55
	Line contains a tab character.	56
	Line contains a tab character.	57
	Line contains a tab character.	59
	Method 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.	59
	Missing a Javadoc comment.	59
	Parameter literals should be final.	59
	Parameter degree should be final.	59
	Line contains a tab character.	60
	Line contains a tab character.	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.	67
	Method 'addAtMost' is not designed for extension - needs to be abstract, final or empty.	67
	Missing a Javadoc comment.	67
	Parameter literals should be final.	67
	Parameter degree should be final.	67
	Line contains a tab character.	68
	Line contains a tab character.	69
	Line contains a tab character.	70
	Line contains a tab character.	71
	Line contains a tab character.	72
	Line contains a tab character.	73
	Line is longer than 80 characters.	75
	Line contains a tab character.	75
	Method 'addClause' is not designed for extension - needs to be abstract, final or empty.	75
	Missing a Javadoc comment.	75
	Parameter literals should be final.	75
	Line contains a tab character.	76
	Line contains a tab character.	77
	Line contains a tab character.	78
	Line contains a tab character.	79
	Line contains a tab character.	80
	Line contains a tab character.	82
	Method 'clearLearntClauses' is not designed for extension - needs to be abstract, final or empty.	82
	Missing a Javadoc comment.	82
	Line contains a tab character.	83
	Line contains a tab character.	84
	Line contains a tab character.	85
	Line contains a tab character.	86
	Line contains a tab character.	88
	Method 'expireTimeout' is not designed for extension - needs to be abstract, final or empty.	88
	Missing a Javadoc comment.	88
	Line contains a tab character.	89
	Line contains a tab character.	90
	Line contains a tab character.	91
	Line contains a tab character.	92
	Line contains a tab character.	94
	Method 'getStat' is not designed for extension - needs to be abstract, final or empty.	94
	Missing a Javadoc comment.	94
	Line contains a tab character.	95
	Line contains a tab character.	96
	Line contains a tab character.	98
	Method 'getTimeout' is not designed for extension - needs to be abstract, final or empty.	98
	Missing a Javadoc comment.	98
	Line contains a tab character.	99
	Line contains a tab character.	100
	Line has trailing spaces.	101
	Line contains a tab character.	101
	Line contains a tab character.	102
	Method 'getTimeoutMs' is not designed for extension - needs to be abstract, final or empty.	102
	Missing a Javadoc comment.	102
	Line contains a tab character.	103
	Line contains a tab character.	104
	Line contains a tab character.	106
	Method 'newVar' is not designed for extension - needs to be abstract, final or empty.	106
	Missing a Javadoc comment.	106
	Line contains a tab character.	107
	Line contains a tab character.	108
	Line contains a tab character.	110
	Method 'newVar' is not designed for extension - needs to be abstract, final or empty.	110
	Missing a Javadoc comment.	110
	Parameter howmany should be final.	110
	Line contains a tab character.	111
	Line contains a tab character.	112
	Line contains a tab character.	113
	Line contains a tab character.	114
	Line contains a tab character.	115
	Line contains a tab character.	116
	Line contains a tab character.	118
	Method 'printStat' is not designed for extension - needs to be abstract, final or empty.	118
	Missing a Javadoc comment.	118
	Line contains a tab character.	119
	Parameter out should be final.	119
	Parameter prefix should be final.	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
	Parameter out should be final.	123
	Parameter prefix should be final.	123
	Line contains a tab character.	124
	Line contains a tab character.	125
	Line contains a tab character.	127
	Method 'removeConstr' is not designed for extension - needs to be abstract, final or empty.	127
	Missing a Javadoc comment.	127
	Parameter c should be final.	127
	Line contains a tab character.	128
	Line contains a tab character.	129
	Line contains a tab character.	131
	Method 'reset' is not designed for extension - needs to be abstract, final or empty.	131
	Missing a Javadoc comment.	131
	Line contains a tab character.	132
	Line contains a tab character.	133
	Line contains a tab character.	134
	Line contains a tab character.	135
	Line contains a tab character.	137
	Method 'setExpectedNumberOfClauses' is not designed for extension - needs to be abstract, final or empty.	137
	Missing a Javadoc comment.	137
	Parameter nb should be final.	137
	Line contains a tab character.	138
	Line contains a tab character.	139
	Line contains a tab character.	140
	Line contains a tab character.	141
	Line contains a tab character.	143
	Method 'setTimeout' is not designed for extension - needs to be abstract, final or empty.	143
	Missing a Javadoc comment.	143
	Parameter t should be final.	143
	Line contains a tab character.	144
	Line contains a tab character.	145
	Line contains a tab character.	146
	Line contains a tab character.	147
	Line contains a tab character.	149
	Method 'setTimeoutMs' is not designed for extension - needs to be abstract, final or empty.	149
	Missing a Javadoc comment.	149
	Parameter t should be final.	149
	Line contains a tab character.	150
	Line contains a tab character.	151
	Line contains a tab character.	152
	Line contains a tab character.	153
	Line contains a tab character.	155
	Method 'setTimeoutOnConflicts' is not designed for extension - needs to be abstract, final or empty.	155
	Missing a Javadoc comment.	155
	Parameter count should be final.	155
	Line contains a tab character.	156
	Line contains a tab character.	157
	Line contains a tab character.	158
	Line contains a tab character.	159
	Line contains a tab character.	161
	Method 'toString' is not designed for extension - needs to be abstract, final or empty.	161
	Missing a Javadoc comment.	161
	Parameter prefix should be final.	161
	Line contains a tab character.	162
	Line contains a tab character.	163
	Line contains a tab character.	164
	'=' is not preceded with whitespace.	167
	'=' is not followed by whitespace.	167
	';' is not followed by whitespace.	167
	'<' is not preceded with whitespace.	167
	'<' is not followed by whitespace.	167
	';' is not followed by whitespace.	167
	Line contains a tab character.	168
	Line contains a tab character.	169
	Line contains a tab character.	171
	Line contains a tab character.	172
	Line contains a tab character.	174
	Method 'findModel' is not designed for extension - needs to be abstract, final or empty.	174
	Missing a Javadoc comment.	174
	Line contains a tab character.	175
	Line contains a tab character.	176
	Line contains a tab character.	178
	Method 'findModel' is not designed for extension - needs to be abstract, final or empty.	178
	Missing a Javadoc comment.	178
	Parameter assumps should be final.	178
	Line contains a tab character.	179
	Line contains a tab character.	180
	Line contains a tab character.	182
	Method 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.	182
	Missing a Javadoc comment.	182
	Line contains a tab character.	183
	Line contains a tab character.	184
	Line contains a tab character.	185
	Line is longer than 80 characters.	186
	Line contains a tab character.	186
	Line contains a tab character.	187
	Line contains a tab character.	188
	Line contains a tab character.	189
	Line contains a tab character.	190
	'1000' is a magic number.	190
	Line contains a tab character.	191
	Line contains a tab character.	192
	Must have at least one statement.	192
	Comment matches to-do format 'TODO:'.	193
	Line contains a tab character.	193
	Line contains a tab character.	194
	Line contains a tab character.	195
	Line contains a tab character.	196
	Line contains a tab character.	197
	Line contains a tab character.	198
	Line contains a tab character.	199
	Line contains a tab character.	201
	Method 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.	201
	Missing a Javadoc comment.	201
	Parameter assumps should be final.	201
	Parameter globalTimeout should be final.	201
	Line contains a tab character.	202
	Line contains a tab character.	203
	Line contains a tab character.	204
	Line is longer than 80 characters.	206
	Line contains a tab character.	206
	Method 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.	206
	Missing a Javadoc comment.	206
	Parameter globalTimeout should be final.	206
	Line contains a tab character.	207
	Line contains a tab character.	208
	Line contains a tab character.	210
	Method 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.	210
	Missing a Javadoc comment.	210
	Parameter assumps should be final.	210
	Line contains a tab character.	211
	Line contains a tab character.	212
	Line contains a tab character.	214
	Method 'model' is not designed for extension - needs to be abstract, final or empty.	214
	Missing a Javadoc comment.	214
	Line contains a tab character.	215
	Line contains a tab character.	216
	Line contains a tab character.	218
	Method 'model' is not designed for extension - needs to be abstract, final or empty.	218
	Missing a Javadoc comment.	218
	Parameter var should be final.	218
	Line contains a tab character.	219
	Line contains a tab character.	220
	Line contains a tab character.	222
	Method 'nConstraints' is not designed for extension - needs to be abstract, final or empty.	222
	Missing a Javadoc comment.	222
	Line contains a tab character.	223
	Line contains a tab character.	224
	Line contains a tab character.	226
	Method 'nVars' is not designed for extension - needs to be abstract, final or empty.	226
	Missing a Javadoc comment.	226
	Line contains a tab character.	227
	Line contains a tab character.	228
	Line contains a tab character.	230
	Method 'printInfos' is not designed for extension - needs to be abstract, final or empty.	230
	Missing a Javadoc comment.	230
	Parameter out should be final.	230
	Parameter prefix should be final.	230
	Line contains a tab character.	231
	Line contains a tab character.	232
	Line contains a tab character.	233
	Line contains a tab character.	234
	Line contains a tab character.	236
	Method 'onFinishWithAnswer' is not designed for extension - needs to be abstract, final or empty.	236
	Missing a Javadoc comment.	236
	Parameter finished should be final.	236
	Line contains a tab character.	237
	Parameter result should be final.	237
	Parameter index should be final.	237
	Line contains a tab character.	238
	Line contains a tab character.	239
	Line contains a tab character.	240
	Line contains a tab character.	241
	'if' construct must use '{}'s.	242
	Line contains a tab character.	242
	Line contains a tab character.	243
	Line contains a tab character.	244
	Line is longer than 80 characters.	245
	Line contains a tab character.	245
	'+' is not preceded with whitespace.	245
	'+' is not followed by whitespace.	245
	Line contains a tab character.	246
	Line contains a tab character.	247
	Line contains a tab character.	248
	Line contains a tab character.	249
	Line contains a tab character.	250
	Line contains a tab character.	252
	Method 'isDBSimplificationAllowed' is not designed for extension - needs to be abstract, final or empty.	252
	Missing a Javadoc comment.	252
	Line contains a tab character.	253
	Line contains a tab character.	254
	Line contains a tab character.	256
	Method 'setDBSimplificationAllowed' is not designed for extension - needs to be abstract, final or empty.	256
	Missing a Javadoc comment.	256
	Parameter status should be final.	256
	Line contains a tab character.	257
	Line contains a tab character.	258
	Line has trailing spaces.	259
	Line contains a tab character.	259
	Line contains a tab character.	260
	Line contains a tab character.	262
	Method 'setSearchListener' is not designed for extension - needs to be abstract, final or empty.	262
	Missing a Javadoc comment.	262
	Parameter sl should be final.	262
	Line contains a tab character.	263
	Line contains a tab character.	264
	Line has trailing spaces.	265
	Line contains a tab character.	265
	Line has trailing spaces.	266
	Line contains a tab character.	266
	Line contains a tab character.	267
	Line contains a tab character.	269
	Method 'nextFreeVarId' is not designed for extension - needs to be abstract, final or empty.	269
	Missing a Javadoc comment.	269
	Parameter reserve should be final.	269
	Line contains a tab character.	270
	Line contains a tab character.	271
	Line contains a tab character.	273
	Method 'addBlockingClause' is not designed for extension - needs to be abstract, final or empty.	273
	Missing a Javadoc comment.	273
	Parameter literals should be final.	273
	Line contains a tab character.	274
	Line contains a tab character.	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
	Method 'removeSubsumedConstr' is not designed for extension - needs to be abstract, final or empty.	281
	Missing a Javadoc comment.	281
	Parameter c should be final.	281
	Line contains a tab character.	282
	Line contains a tab character.	283
	Line contains a tab character.	284
	Line contains a tab character.	285
	Line contains a tab character.	286
	Line contains a tab character.	287
	Missing a Javadoc comment.	290
	Line contains a tab character.	291
	Missing a Javadoc comment.	291
	Missing a Javadoc comment.	294
	Line contains a tab character.	296
	Missing a Javadoc comment.	296
	Line contains a tab character.	297
	Missing a Javadoc comment.	297
	Line contains a tab character.	298
	Missing a Javadoc comment.	298
	Line contains a tab character.	300
	Missing a Javadoc comment.	300
	Parameter i should be final.	300
	Parameter solver should be final.	300
	'solver' hides a field.	300
	Parameter ol should be final.	300
	'ol' hides a field.	300
	Line contains a tab character.	301
	Line contains a tab character.	302
	Line contains a tab character.	303
	Line contains a tab character.	304
	Line contains a tab character.	306
	Missing a Javadoc comment.	306
	Line contains a tab character.	307
	Line contains a tab character.	308
	Line contains a tab character.	309
	Line contains a tab character.	310
	Line contains a tab character.	311
	Line contains a tab character.	312
	Line contains a tab character.	313

org/sat4j/multicore/MultiCoreLauncher.java

Violation	Message	Line
	Missing package-info.java file.	0
	Redundant import from the same package - org.sat4j.multicore.SolverFactory.	4
	Missing a Javadoc comment.	7
	Utility classes should not have a public or default constructor.	7
	Line contains a tab character.	9
	Line contains a tab character.	10
	Line contains a tab character.	11
	Line contains a tab character.	12
	Parameter args should be final.	12
	Expected @param tag for 'args'.	12
	Line is longer than 80 characters.	13
	Line contains a tab character.	13
	Line contains a tab character.	16

org/sat4j/multicore/SolverFactory.java

Violation	Message	Line
	Class SolverFactory should be declared as final.	6
	Missing a Javadoc comment.	6
	Line contains a tab character.	8
	Missing a Javadoc comment.	8
	Name 'instance' must match pattern '^[A-Z][A-Z0-9](_[A-Z0-9]+)$'.	8
	Line has trailing spaces.	9
	Line contains a tab character.	9
	Line contains a tab character.	10
	Missing a Javadoc comment.	10
	Line has trailing spaces.	11
	Line contains a tab character.	11
	Line contains a tab character.	12
	Line has trailing spaces.	13
	Line contains a tab character.	13
	Line contains a tab character.	14
	Missing a Javadoc comment.	14
	Line contains a tab character.	15
	Line contains a tab character.	16
	Line has trailing spaces.	17
	Line contains a tab character.	17
	Line contains a tab character.	18
	Line has trailing spaces.	19
	Line contains a tab character.	19
	Line contains a tab character.	20
	Line contains a tab character.	21
	Line contains a tab character.	23
	Missing a Javadoc comment.	23
	Line is longer than 80 characters.	24
	Line contains a tab character.	24
	',' is not followed by whitespace.	24
	',' is not followed by whitespace.	24
	',' is not followed by whitespace.	24
	Line contains a tab character.	25
	Line has trailing spaces.	26
	Line contains a tab character.	26
	Line contains a tab character.	27
	Line contains a tab character.	28
	Line contains a tab character.	29
	Line contains a tab character.	30
	Line contains a tab character.	32
	Line contains a tab character.	33
	Line contains a tab character.	34
	Line contains a tab character.	35

Parent Project

Project Documentation

Checkstyle Results

Summary

Files

Rules

Details

org/sat4j/multicore/ManyCore.java

org/sat4j/multicore/MultiCoreLauncher.java

org/sat4j/multicore/SolverFactory.java