SAT4J multicore - Checkstyle Results

Checkstyle Results

The following document contains the results of Checkstyle .

Summary

Files	Infos	Warnings	Errors
4	0	0	443

Files

Files	I	W	E
org/sat4j/multicore/ManyCore.java	0	0	375
org/sat4j/multicore/MultiCoreLauncher.java	0	0	19
org/sat4j/multicore/SolverFactory.java	0	0	48
org/sat4j/multicore/package.html	0	0	1

Rules

Rules	Violations	Severity
PackageHtml	1	Error
NewlineAtEndOfFile	0	Error
Translation	0	Error
JavadocMethod	44	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
FileLength	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
TabCharacter	252	Error
WhitespaceAfter	5	Error
WhitespaceAround	28	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	34	Error
FinalClass	1	Error
HideUtilityClassConstructor	1	Error
InterfaceIsType	0	Error
VisibilityModifier	0	Error
ArrayTypeStyle	0	Error
FinalParameters	35	Error
GenericIllegalRegexp message : `"Line has trailing spaces."` format : `"\s+$"`	9	Error
TodoComment	1	Error
UpperEll	0	Error

Details

org/sat4j/multicore/ManyCore.java

Violation	Message	Line
	Missing a Javadoc comment.	15
	Line contains a tab character.	17
	Line has trailing spaces.	18
	Line contains a tab character.	18
	Line contains a tab character.	19
	Line contains a tab character.	20
	Line contains a tab character.	22
	Missing a Javadoc comment.	22
	Line contains a tab character.	24
	Missing a Javadoc comment.	24
	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 is longer than 80 characters.	31
	Line contains a tab character.	31
	Missing a Javadoc comment.	31
	Parameter factory should be final.	31
	'<' is not preceded with whitespace.	31
	'<' is not followed by whitespace.	31
	'?' is not preceded with whitespace.	31
	'>' is not preceded with whitespace.	31
	Parameter solverNames should be final.	31
	Line contains a tab character.	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
	'1000000000L' is a magic number.	36
	Line contains a tab character.	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
	'<' is not preceded with whitespace.	41
	'<' is not followed by whitespace.	41
	Line is longer than 80 characters.	42
	Line contains a tab character.	42
	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.	51
	Method 'addAllClauses' is not designed for extension - needs to be abstract, final or empty.	51
	Missing a Javadoc comment.	51
	Parameter clauses should be final.	51
	'<' is not preceded with whitespace.	51
	'<' is not followed by whitespace.	51
	'>' is not preceded with whitespace.	51
	Line contains a tab character.	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.	58
	Method 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.	58
	Missing a Javadoc comment.	58
	Parameter literals should be final.	58
	Parameter degree should be final.	58
	Line contains a tab character.	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.	66
	Method 'addAtMost' is not designed for extension - needs to be abstract, final or empty.	66
	Missing a Javadoc comment.	66
	Parameter literals should be final.	66
	Parameter degree should be final.	66
	Line contains a tab character.	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 is longer than 80 characters.	74
	Line contains a tab character.	74
	Method 'addClause' is not designed for extension - needs to be abstract, final or empty.	74
	Missing a Javadoc comment.	74
	Parameter literals should be final.	74
	Line contains a tab character.	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.	81
	Method 'clearLearntClauses' is not designed for extension - needs to be abstract, final or empty.	81
	Missing a Javadoc comment.	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 'expireTimeout' 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 'getStat' is not designed for extension - needs to be abstract, final or empty.	93
	Missing a Javadoc comment.	93
	'<' is not preceded with whitespace.	93
	'<' is not followed by whitespace.	93
	'>' is not preceded with whitespace.	93
	Line contains a tab character.	94
	Line contains a tab character.	95
	Line contains a tab character.	97
	Method 'getTimeout' is not designed for extension - needs to be abstract, final or empty.	97
	Missing a Javadoc comment.	97
	Line contains a tab character.	98
	Line contains a tab character.	99
	Line contains a tab character.	101
	Method 'getTimeoutMs' is not designed for extension - needs to be abstract, final or empty.	101
	Missing a Javadoc comment.	101
	Line contains a tab character.	102
	Line contains a tab character.	103
	Line has trailing spaces.	104
	Line contains a tab character.	104
	Line contains a tab character.	105
	Method 'newVar' is not designed for extension - needs to be abstract, final or empty.	105
	Missing a Javadoc comment.	105
	Line contains a tab character.	106
	Line contains a tab character.	107
	Line contains a tab character.	109
	Method 'newVar' is not designed for extension - needs to be abstract, final or empty.	109
	Missing a Javadoc comment.	109
	Parameter howmany should be final.	109
	Line contains a tab character.	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.	117
	Method 'printStat' is not designed for extension - needs to be abstract, final or empty.	117
	Missing a Javadoc comment.	117
	Line contains a tab character.	118
	Parameter out should be final.	118
	Parameter prefix should be final.	118
	Line contains a tab character.	119
	Line contains a tab character.	120
	Line contains a tab character.	122
	Method 'printStat' is not designed for extension - needs to be abstract, final or empty.	122
	Missing a Javadoc comment.	122
	Parameter out should be final.	122
	Parameter prefix should be final.	122
	Line contains a tab character.	123
	Line contains a tab character.	124
	Line contains a tab character.	126
	Method 'removeConstr' is not designed for extension - needs to be abstract, final or empty.	126
	Missing a Javadoc comment.	126
	Parameter c should be final.	126
	Line contains a tab character.	127
	Line contains a tab character.	128
	Line contains a tab character.	130
	Method 'reset' is not designed for extension - needs to be abstract, final or empty.	130
	Missing a Javadoc comment.	130
	Line contains a tab character.	131
	Line contains a tab character.	132
	Line contains a tab character.	133
	Line contains a tab character.	134
	Line contains a tab character.	136
	Method 'setExpectedNumberOfClauses' is not designed for extension - needs to be abstract, final or empty.	136
	Missing a Javadoc comment.	136
	Parameter nb should be final.	136
	Line contains a tab character.	137
	Line contains a tab character.	138
	Line contains a tab character.	139
	Line contains a tab character.	140
	Line contains a tab character.	142
	Method 'setTimeout' is not designed for extension - needs to be abstract, final or empty.	142
	Missing a Javadoc comment.	142
	Parameter t should be final.	142
	Line contains a tab character.	143
	Line contains a tab character.	144
	Line contains a tab character.	145
	Line contains a tab character.	146
	Line contains a tab character.	148
	Method 'setTimeoutMs' is not designed for extension - needs to be abstract, final or empty.	148
	Missing a Javadoc comment.	148
	Parameter t should be final.	148
	Line contains a tab character.	149
	Line contains a tab character.	150
	Line contains a tab character.	151
	Line contains a tab character.	152
	Line contains a tab character.	154
	Method 'setTimeoutOnConflicts' is not designed for extension - needs to be abstract, final or empty.	154
	Missing a Javadoc comment.	154
	Parameter count should be final.	154
	Line contains a tab character.	155
	Line contains a tab character.	156
	Line contains a tab character.	157
	Line contains a tab character.	158
	Line contains a tab character.	160
	Method 'toString' is not designed for extension - needs to be abstract, final or empty.	160
	Missing a Javadoc comment.	160
	Parameter prefix should be final.	160
	Line contains a tab character.	161
	Line contains a tab character.	162
	Line contains a tab character.	163
	'=' is not preceded with whitespace.	166
	'=' is not followed by whitespace.	166
	';' is not followed by whitespace.	166
	'<' is not preceded with whitespace.	166
	'<' is not followed by whitespace.	166
	';' is not followed by whitespace.	166
	Line contains a tab character.	167
	Line contains a tab character.	168
	Line contains a tab character.	170
	Line contains a tab character.	171
	Line contains a tab character.	173
	Method 'findModel' is not designed for extension - needs to be abstract, final or empty.	173
	Missing a Javadoc comment.	173
	Line contains a tab character.	174
	Line contains a tab character.	175
	Line contains a tab character.	177
	Method 'findModel' is not designed for extension - needs to be abstract, final or empty.	177
	Missing a Javadoc comment.	177
	Parameter assumps should be final.	177
	Line contains a tab character.	178
	Line contains a tab character.	179
	Line contains a tab character.	181
	Method 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.	181
	Missing a Javadoc comment.	181
	Line contains a tab character.	182
	Line contains a tab character.	183
	Line contains a tab character.	184
	Line is longer than 80 characters.	185
	Line contains a tab character.	185
	Line contains a tab character.	186
	Line contains a tab character.	187
	Line contains a tab character.	188
	Line contains a tab character.	189
	'1000' is a magic number.	189
	Line contains a tab character.	190
	Line contains a tab character.	191
	Must have at least one statement.	191
	Comment matches to-do format 'TODO:'.	192
	Line contains a tab character.	192
	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.	200
	Method 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.	200
	Missing a Javadoc comment.	200
	Parameter assumps should be final.	200
	Parameter globalTimeout should be final.	200
	Line contains a tab character.	201
	Line contains a tab character.	202
	Line contains a tab character.	203
	Line is longer than 80 characters.	205
	Line contains a tab character.	205
	Method 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.	205
	Missing a Javadoc comment.	205
	Parameter globalTimeout should be final.	205
	Line contains a tab character.	206
	Line contains a tab character.	207
	Line contains a tab character.	209
	Method 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.	209
	Missing a Javadoc comment.	209
	Parameter assumps should be final.	209
	Line contains a tab character.	210
	Line contains a tab character.	211
	Line contains a tab character.	213
	Method 'model' is not designed for extension - needs to be abstract, final or empty.	213
	Missing a Javadoc comment.	213
	Line contains a tab character.	214
	Line contains a tab character.	215
	Line contains a tab character.	217
	Method 'model' is not designed for extension - needs to be abstract, final or empty.	217
	Missing a Javadoc comment.	217
	Parameter var should be final.	217
	Line contains a tab character.	218
	Line contains a tab character.	219
	Line contains a tab character.	221
	Method 'nConstraints' is not designed for extension - needs to be abstract, final or empty.	221
	Missing a Javadoc comment.	221
	Line contains a tab character.	222
	Line contains a tab character.	223
	Line contains a tab character.	225
	Method 'nVars' is not designed for extension - needs to be abstract, final or empty.	225
	Missing a Javadoc comment.	225
	Line contains a tab character.	226
	Line contains a tab character.	227
	Line contains a tab character.	229
	Method 'printInfos' is not designed for extension - needs to be abstract, final or empty.	229
	Missing a Javadoc comment.	229
	Parameter out should be final.	229
	Parameter prefix should be final.	229
	Line contains a tab character.	230
	Line contains a tab character.	231
	Line contains a tab character.	232
	Line contains a tab character.	233
	Line contains a tab character.	235
	Method 'onFinishWithAnswer' is not designed for extension - needs to be abstract, final or empty.	235
	Missing a Javadoc comment.	235
	Parameter finished should be final.	235
	Line contains a tab character.	236
	Parameter result should be final.	236
	Parameter index should be final.	236
	Line contains a tab character.	237
	Line contains a tab character.	238
	Line contains a tab character.	239
	Line contains a tab character.	240
	'if' construct must use '{}'s.	241
	Line contains a tab character.	241
	Line contains a tab character.	242
	Line contains a tab character.	243
	Line is longer than 80 characters.	244
	Line contains a tab character.	244
	'+' is not preceded with whitespace.	244
	'+' is not followed by whitespace.	244
	Line contains a tab character.	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.	251
	Method 'isDBSimplificationAllowed' is not designed for extension - needs to be abstract, final or empty.	251
	Missing a Javadoc comment.	251
	Line contains a tab character.	252
	Line contains a tab character.	253
	Line contains a tab character.	255
	Method 'setDBSimplificationAllowed' is not designed for extension - needs to be abstract, final or empty.	255
	Missing a Javadoc comment.	255
	Parameter status should be final.	255
	Line contains a tab character.	256
	Line contains a tab character.	257
	Line has trailing spaces.	258
	Line contains a tab character.	258
	Line contains a tab character.	259
	Missing a Javadoc comment.	263
	Line contains a tab character.	264
	Missing a Javadoc comment.	264
	Missing a Javadoc comment.	267
	Line contains a tab character.	269
	Missing a Javadoc comment.	269
	Line contains a tab character.	270
	Missing a Javadoc comment.	270
	Line contains a tab character.	271
	Missing a Javadoc comment.	271
	Line contains a tab character.	273
	Missing a Javadoc comment.	273
	Parameter i should be final.	273
	Parameter solver should be final.	273
	'solver' hides a field.	273
	Parameter ol should be final.	273
	'ol' hides a field.	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.	279
	Missing a Javadoc comment.	279
	Line contains a tab character.	280
	Line contains a tab character.	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

org/sat4j/multicore/MultiCoreLauncher.java

Violation	Message	Line
	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
	'<' is not preceded with whitespace.	13
	'<' is not followed by whitespace.	13
	'>' is not preceded with whitespace.	13
	'<' is not preceded with whitespace.	13
	'<' is not followed by whitespace.	13
	'>' is not preceded with whitespace.	13
	'>' is not followed by whitespace.	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
	'<' is not preceded with whitespace.	6
	'<' is not followed by whitespace.	6
	'>' is not preceded with whitespace.	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
	Missing a Javadoc comment.	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
	Missing a Javadoc comment.	32
	Line contains a tab character.	33
	Line contains a tab character.	34
	Line contains a tab character.	35

org/sat4j/multicore/package.html

Violation	Message	Line
	Missing package documentation file.	0

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

org/sat4j/multicore/package.html