SAT4J sat - Checkstyle Results

Checkstyle Results

The following document contains the results of Checkstyle .

Summary

Files	Infos	Warnings	Errors
1	0	0	339

Files

Files	I	W	E
org/sat4j/sat/Lanceur.java	0	0	339

Rules

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

Details

org/sat4j/sat/Lanceur.java

Violation	Message	Line
	Missing package-info.java file.	0
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	18
	Line has trailing spaces.	62
	Line has trailing spaces.	66
	Line has trailing spaces.	69
	Line contains a tab character.	74
	Line has trailing spaces.	75
	Line contains a tab character.	77
	Line contains a tab character.	79
	Line contains a tab character.	80
	Line has trailing spaces.	81
	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.	86
	Line contains a tab character.	87
	Line contains a tab character.	88
	Line contains a tab character.	89
	Line contains a tab character.	90
	Line contains a tab character.	92
	Missing a Javadoc comment.	92
	Variable 'factory' must be private and have accessor methods.	92
	Line contains a tab character.	94
	Missing a Javadoc comment.	94
	Line contains a tab character.	96
	Missing a Javadoc comment.	96
	Line contains a tab character.	98
	Missing a Javadoc comment.	98
	Line contains a tab character.	99
	Line contains a tab character.	100
	Line contains a tab character.	102
	Line is longer than 80 characters.	103
	Line contains a tab character.	103
	Line contains a tab character.	104
	Line is longer than 80 characters.	105
	Line contains a tab character.	105
	Line contains a tab character.	106
	Line contains a tab character.	107
	Line contains a tab character.	108
	Line contains a tab character.	109
	Line contains a tab character.	110
	Line contains a tab character.	111
	Line contains a tab character.	112
	Line is longer than 80 characters.	113
	Line contains a tab character.	113
	Line contains a tab character.	114
	Line contains a tab character.	115
	Line is longer than 80 characters.	116
	Line contains a tab character.	116
	Line contains a tab character.	117
	Line contains a tab character.	118
	Line is longer than 80 characters.	119
	Line contains a tab character.	119
	Line is longer than 80 characters.	120
	Line contains a tab character.	120
	Line contains a tab character.	121
	Line contains a tab character.	122
	Line is longer than 80 characters.	123
	Line contains a tab character.	123
	Line contains a tab character.	124
	Line contains a tab character.	125
	Line contains a tab character.	126
	Line contains a tab character.	127
	Line contains a tab character.	128
	Line contains a tab character.	129
	Line contains a tab character.	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.	135
	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.	140
	Line contains a tab character.	141
	Line contains a tab character.	142
	Line contains a tab character.	143
	Line contains a tab character.	145
	Line contains a tab character.	146
	Line has trailing spaces.	147
	Line contains a tab character.	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.	152
	Method 'configureSolver' is not designed for extension - needs to be abstract, final or empty.	152
	'(' is followed by whitespace.	152
	Line contains a tab character.	153
	Line contains a tab character.	154
	Parameter args 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.	159
	Line contains a tab character.	160
	Line contains a tab character.	161
	Line is longer than 80 characters.	162
	Line contains a tab character.	162
	Line is longer than 80 characters.	164
	Line contains a tab character.	164
	Line contains a tab character.	165
	Line contains a tab character.	166
	Line contains a tab character.	167
	Line contains a tab character.	169
	Line contains a tab character.	170
	Line is longer than 80 characters.	171
	Line contains a tab character.	171
	Line contains a tab character.	172
	Line is longer than 80 characters.	173
	Line contains a tab character.	173
	Line is longer than 80 characters.	174
	Line contains a tab character.	174
	Line contains a tab character.	175
	Line contains a tab character.	176
	Line is longer than 80 characters.	177
	Line contains a tab character.	177
	Line contains a tab character.	178
	Line contains a tab character.	179
	Line contains a tab character.	181
	Line contains a tab character.	182
	Line is longer than 80 characters.	183
	Line contains a tab character.	183
	Line contains a tab character.	184
	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 is longer than 80 characters.	189
	Line contains a tab character.	189
	Line contains a tab character.	190
	Line contains a tab character.	191
	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 is longer than 80 characters.	196
	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 is longer than 80 characters.	200
	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.	207
	Line contains a tab character.	208
	Line contains a tab character.	209
	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 is longer than 80 characters.	216
	Line contains a tab character.	216
	',' is not followed by whitespace.	216
	Line contains a tab character.	217
	Line contains a tab character.	219
	Line contains a tab character.	220
	Line contains a tab character.	221
	Line contains a tab character.	223
	Line is longer than 80 characters.	224
	Line contains a tab character.	224
	Line contains a tab character.	225
	Line contains a tab character.	226
	Line contains a tab character.	227
	Line contains a tab character.	228
	Line contains a tab character.	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
	Line contains a tab character.	236
	Line is longer than 80 characters.	237
	Line contains a tab character.	237
	Line contains a tab character.	238
	Line is longer than 80 characters.	239
	Line contains a tab character.	239
	Line contains a tab character.	240
	Line is longer than 80 characters.	241
	Line contains a tab character.	241
	Line contains a tab character.	242
	Line is longer than 80 characters.	243
	Line contains a tab character.	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
	Line contains a tab character.	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
	Line contains a tab character.	256
	Line contains a tab character.	257
	Line contains a tab character.	259
	Method 'createReader' is not designed for extension - needs to be abstract, final or empty.	259
	Line contains a tab character.	260
	Parameter theSolver should be final.	260
	Parameter problemname should be final.	260
	Line contains a tab character.	261
	Line contains a tab character.	262
	Line contains a tab character.	264
	Method 'displayLicense' is not designed for extension - needs to be abstract, final or empty.	264
	Line contains a tab character.	265
	Line contains a tab character.	266
	Line is longer than 80 characters.	267
	Line contains a tab character.	267
	Line contains a tab character.	268
	Line contains a tab character.	270
	Method 'usage' is not designed for extension - needs to be abstract, final or empty.	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 'getInstanceName' is not designed for extension - needs to be abstract, final or empty.	275
	Line contains a tab character.	276
	Parameter args should be final.	276
	Line contains a tab character.	277
	Line contains a tab character.	278
	Line contains a tab character.	280
	Missing a Javadoc comment.	280
	Line contains a tab character.	281
	Redundant 'final' modifier.	281
	Parameter solverconfig 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
	Line contains a tab character.	288
	Line contains a tab character.	289
	Line contains a tab character.	290
	Line contains a tab character.	291
	Line contains a tab character.	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 is longer than 80 characters.	300
	Line contains a tab character.	300
	Line contains a tab character.	301
	Line contains a tab character.	302
	Line is longer than 80 characters.	303
	Line contains a tab character.	303
	Line is longer than 80 characters.	304
	Line contains a tab character.	304
	Line contains a tab character.	305
	Line contains a tab character.	306
	Line contains a tab character.	307
	Line contains a tab character.	309
	Missing a Javadoc comment.	309
	Line contains a tab character.	310
	Redundant 'final' modifier.	310
	Parameter component should be final.	310
	Parameter pf should be final.	310
	Line contains a tab character.	311
	Parameter defaultcomp should be final.	311
	Line contains a tab character.	312
	Line contains a tab character.	313
	Line contains a tab character.	314
	Line is longer than 80 characters.	315
	Line contains a tab character.	315
	Line contains a tab character.	316
	Line contains a tab character.	317
	Line contains a tab character.	318
	Line contains a tab character.	319
	Line contains a tab character.	320
	Line contains a tab character.	321
	Line contains a tab character.	322
	Line is longer than 80 characters.	323
	Line contains a tab character.	323
	Line contains a tab character.	324
	Line contains a tab character.	325
	Line is longer than 80 characters.	326
	Line contains a tab character.	326
	Line contains a tab character.	327
	Line is longer than 80 characters.	328
	Line contains a tab character.	328
	Line contains a tab character.	329
	Line is longer than 80 characters.	330
	Line contains a tab character.	330
	Line contains a tab character.	331
	Line contains a tab character.	332
	Line contains a tab character.	333
	Line contains a tab character.	334
	Line contains a tab character.	335
	Line contains a tab character.	336
	Line contains a tab character.	337
	Line contains a tab character.	338
	Line contains a tab character.	339
	Line contains a tab character.	340
	Line is longer than 80 characters.	341
	Line contains a tab character.	341
	Line contains a tab character.	342
	Line contains a tab character.	343
	Line contains a tab character.	345
	Method 'readProblem' is not designed for extension - needs to be abstract, final or empty.	345
	Line contains a tab character.	346
	Parameter problemname should be final.	346
	Line is longer than 80 characters.	347
	Line contains a tab character.	347
	Redundant throws: 'FileNotFoundException' is subclass of 'IOException'.	347
	Line contains a tab character.	348
	Line contains a tab character.	349
	Line has trailing spaces.	350
	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.	355
	Line is longer than 80 characters.	356
	Line contains a tab character.	356
	'+' is not preceded with whitespace.	356
	'+' is not followed by whitespace.	356
	'+' is not preceded with whitespace.	356
	'+' is not followed by whitespace.	356
	Line contains a tab character.	357
	Line contains a tab character.	358
	Line contains a tab character.	359

Parent Project

Project Documentation

Checkstyle Results

Summary

Files

Rules

Details

org/sat4j/sat/Lanceur.java