Checkstyle Results

The following document contains the results of Checkstylerss feed

Summary

FilesInfos InfosWarnings WarningsErrors Errors
28001125

Rules

RulesViolationsSeverity
JavadocPackage
  • allowLegacy: "true"
2Errors Error
NewlineAtEndOfFile0Errors Error
Translation0Errors Error
FileLength0Errors Error
FileTabCharacter
  • eachLine: "true"
461Errors Error
RegexpSingleline
  • message: "Line has trailing spaces."
  • format: "\s+$"
42Errors Error
JavadocMethod136Errors Error
JavadocType22Errors Error
JavadocVariable61Errors Error
JavadocStyle0Errors Error
ConstantName0Errors Error
LocalFinalVariableName0Errors Error
LocalVariableName0Errors Error
MemberName0Errors Error
MethodName0Errors Error
PackageName0Errors Error
ParameterName0Errors Error
StaticVariableName0Errors Error
TypeName0Errors Error
AvoidStarImport0Errors Error
IllegalImport0Errors Error
RedundantImport0Errors Error
UnusedImports0Errors Error
LineLength71Errors Error
MethodLength0Errors Error
ParameterNumber0Errors Error
EmptyForIteratorPad1Errors Error
MethodParamPad0Errors Error
NoWhitespaceAfter0Errors Error
NoWhitespaceBefore5Errors Error
OperatorWrap0Errors Error
ParenPad0Errors Error
TypecastParenPad0Errors Error
WhitespaceAfter12Errors Error
WhitespaceAround8Errors Error
ModifierOrder0Errors Error
RedundantModifier0Errors Error
AvoidNestedBlocks0Errors Error
EmptyBlock0Errors Error
LeftCurly0Errors Error
NeedBraces15Errors Error
RightCurly1Errors Error
AvoidInlineConditionals2Errors Error
DoubleCheckedLocking0Errors Error
EmptyStatement0Errors Error
EqualsHashCode0Errors Error
HiddenField11Errors Error
IllegalInstantiation0Errors Error
InnerAssignment0Errors Error
MagicNumber1Errors Error
MissingSwitchDefault0Errors Error
RedundantThrows0Errors Error
SimplifyBooleanExpression0Errors Error
SimplifyBooleanReturn0Errors Error
DesignForExtension89Errors Error
FinalClass4Errors Error
HideUtilityClassConstructor0Errors Error
InterfaceIsType0Errors Error
VisibilityModifier1Errors Error
ArrayTypeStyle0Errors Error
FinalParameters180Errors Error
TodoComment0Errors Error
UpperEll0Errors Error

Details

org/sat4j/csp/CSPLauncher.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.18
ErrorsMissing a Javadoc comment.27
ErrorsLine contains a tab character.29
ErrorsLine has trailing spaces.30
ErrorsLine contains a tab character.32
ErrorsLine contains a tab character.34
ErrorsLine contains a tab character.35
ErrorsLine has trailing spaces.36
ErrorsLine contains a tab character.36
ErrorsLine contains a tab character.37
ErrorsLine contains a tab character.38
ErrorsLine contains a tab character.39
ErrorsMethod 'configureSolver' is not designed for extension - needs to be abstract, final or empty.39
ErrorsLine contains a tab character.40
ErrorsParameter args should be final.40
ErrorsLine contains a tab character.41
ErrorsLine contains a tab character.42
ErrorsLine is longer than 80 characters.43
ErrorsLine contains a tab character.43
ErrorsLine contains a tab character.44
ErrorsLine contains a tab character.45
ErrorsLine contains a tab character.46
ErrorsLine contains a tab character.47
ErrorsLine contains a tab character.48
ErrorsLine contains a tab character.49
ErrorsLine has trailing spaces.51
ErrorsLine contains a tab character.51
ErrorsLine has trailing spaces.52
ErrorsLine contains a tab character.52
ErrorsLine contains a tab character.53
ErrorsLine contains a tab character.54
ErrorsLine has trailing spaces.55
ErrorsLine contains a tab character.55
ErrorsLine contains a tab character.56
ErrorsLine contains a tab character.57
ErrorsLine contains a tab character.58
ErrorsMethod 'createReader' is not designed for extension - needs to be abstract, final or empty.58
ErrorsLine contains a tab character.59
ErrorsLine contains a tab character.60
ErrorsLine contains a tab character.61
ErrorsLine is longer than 80 characters.62
ErrorsLine contains a tab character.62
ErrorsLine contains a tab character.63
ErrorsLine is longer than 80 characters.64
ErrorsLine contains a tab character.64
ErrorsLine contains a tab character.65
ErrorsLine contains a tab character.66
ErrorsLine contains a tab character.67
ErrorsLine contains a tab character.68
ErrorsLine contains a tab character.69
ErrorsLine contains a tab character.70
ErrorsLine contains a tab character.71
ErrorsLine contains a tab character.72
ErrorsLine contains a tab character.73
ErrorsLine contains a tab character.74
ErrorsLine contains a tab character.75
ErrorsLine contains a tab character.76
ErrorsLine contains a tab character.77
ErrorsLine contains a tab character.79
ErrorsMissing a Javadoc comment.79
ErrorsParameter args should be final.79
ErrorsLine contains a tab character.80
ErrorsLine contains a tab character.81
ErrorsLine contains a tab character.82
ErrorsLine contains a tab character.83
ErrorsLine contains a tab character.84
ErrorsLine contains a tab character.85
ErrorsLine contains a tab character.86
ErrorsLine contains a tab character.87
ErrorsLine contains a tab character.88
ErrorsLine contains a tab character.89
ErrorsLine contains a tab character.90
ErrorsLine contains a tab character.92
ErrorsMethod 'displayLicense' is not designed for extension - needs to be abstract, final or empty.92
ErrorsLine contains a tab character.93
ErrorsLine contains a tab character.94
ErrorsLine is longer than 80 characters.95
ErrorsLine contains a tab character.95
ErrorsLine contains a tab character.96
ErrorsLine contains a tab character.98
ErrorsMethod 'usage' is not designed for extension - needs to be abstract, final or empty.98
ErrorsLine contains a tab character.99
ErrorsLine is longer than 80 characters.100
ErrorsLine contains a tab character.100
ErrorsLine contains a tab character.101
ErrorsLine contains a tab character.103
ErrorsMethod 'getInstanceName' is not designed for extension - needs to be abstract, final or empty.103
ErrorsLine contains a tab character.104
ErrorsParameter args should be final.104
Errors'if' construct must use '{}'s.105
ErrorsLine contains a tab character.105
ErrorsLine contains a tab character.106
ErrorsLine contains a tab character.107
ErrorsLine contains a tab character.108

org/sat4j/csp/Clausifiable.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.18
ErrorsMissing a Javadoc comment.25
ErrorsLine contains a tab character.27
ErrorsMissing a Javadoc comment.27
ErrorsLine contains a tab character.28

org/sat4j/csp/Constant.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsMissing a Javadoc comment.24
ErrorsMissing a Javadoc comment.26
ErrorsMissing a Javadoc comment.28
ErrorsMissing a Javadoc comment.30
ErrorsParameter value should be final.30
Errors'value' hides a field.30
ErrorsMethod 'domain' is not designed for extension - needs to be abstract, final or empty.35
ErrorsMissing a Javadoc comment.35
ErrorsMethod 'translate' is not designed for extension - needs to be abstract, final or empty.39
ErrorsMissing a Javadoc comment.39
ErrorsParameter key should be final.39
ErrorsMethod 'toClause' is not designed for extension - needs to be abstract, final or empty.43
ErrorsMissing a Javadoc comment.43
ErrorsParameter solver should be final.43
ErrorsLine has trailing spaces.49
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.52

org/sat4j/csp/Domain.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsMissing a Javadoc comment.23
ErrorsMissing a Javadoc comment.25
ErrorsMissing a Javadoc comment.27
ErrorsMissing a Javadoc comment.29
ErrorsLine has trailing spaces.30
ErrorsMissing a Javadoc comment.31

org/sat4j/csp/Encoding.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsMissing a Javadoc comment.27
ErrorsMissing a Javadoc comment.29
ErrorsLine is longer than 80 characters.31
ErrorsMissing a Javadoc comment.31
ErrorsMissing a Javadoc comment.34
ErrorsMissing a Javadoc comment.37

org/sat4j/csp/EnumeratedDomain.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsMissing a Javadoc comment.25
ErrorsMissing a Javadoc comment.27
ErrorsMissing a Javadoc comment.29
ErrorsParameter values should be final.29
Errors'values' hides a field.29
ErrorsMethod 'get' is not designed for extension - needs to be abstract, final or empty.33
ErrorsMissing a Javadoc comment.33
ErrorsParameter i should be final.33
ErrorsMethod 'size' is not designed for extension - needs to be abstract, final or empty.37
ErrorsMissing a Javadoc comment.37
ErrorsMethod 'iterator' is not designed for extension - needs to be abstract, final or empty.41
ErrorsMissing a Javadoc comment.41
Errors'if' construct must use '{}'s.50
ErrorsMethod 'pos' is not designed for extension - needs to be abstract, final or empty.57
ErrorsMissing a Javadoc comment.57
ErrorsParameter value should be final.57
Errors'for' construct must use '{}'s.58
Errors'if' construct must use '{}'s.59

org/sat4j/csp/Evaluable.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsMissing a Javadoc comment.24
ErrorsLine has trailing spaces.28
ErrorsLine has trailing spaces.35
ErrorsLine has trailing spaces.45

org/sat4j/csp/Predicate.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine has trailing spaces.40
ErrorsMissing a Javadoc comment.45
ErrorsMissing a Javadoc comment.47
ErrorsMissing a Javadoc comment.49
ErrorsMissing a Javadoc comment.51
ErrorsMissing a Javadoc comment.53
ErrorsLine has trailing spaces.56
ErrorsMissing a Javadoc comment.70
ErrorsMethod 'setExpression' is not designed for extension - needs to be abstract, final or empty.73
ErrorsMissing a Javadoc comment.73
ErrorsParameter expr should be final.73
Errors'expr' hides a field.73
ErrorsMethod 'addVariable' is not designed for extension - needs to be abstract, final or empty.77
ErrorsMissing a Javadoc comment.77
ErrorsParameter name should be final.77
ErrorsMissing a Javadoc comment.81
ErrorsParameter values should be final.81
ErrorsMethod 'toClause' is not designed for extension - needs to be abstract, final or empty.90
ErrorsMissing a Javadoc comment.90
ErrorsParameter solver should be final.90
ErrorsParameter vscope should be final.90
ErrorsParameter vars should be final.90
ErrorsLine is longer than 80 characters.107
ErrorsMissing a Javadoc comment.107
ErrorsMissing a Javadoc comment.109
ErrorsMissing a Javadoc comment.111
ErrorsParameter tuple should be final.111
ErrorsParameter n should be final.111
ErrorsParameter theScope should be final.111
ErrorsLine is longer than 80 characters.112
ErrorsParameter vars should be final.112
ErrorsParameter solver should be final.112

org/sat4j/csp/RangeDomain.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsMissing a Javadoc comment.25
ErrorsMissing a Javadoc comment.27
ErrorsMissing a Javadoc comment.29
ErrorsMissing a Javadoc comment.31
ErrorsMissing a Javadoc comment.33
ErrorsParameter begin should be final.33
Errors'begin' hides a field.33
ErrorsParameter end should be final.33
Errors'end' hides a field.33
ErrorsMethod 'get' is not designed for extension - needs to be abstract, final or empty.39
ErrorsMissing a Javadoc comment.39
ErrorsParameter i should be final.39
ErrorsMethod 'size' is not designed for extension - needs to be abstract, final or empty.44
ErrorsMissing a Javadoc comment.44
ErrorsMethod 'iterator' is not designed for extension - needs to be abstract, final or empty.48
ErrorsMissing a Javadoc comment.48
Errors'if' construct must use '{}'s.57
ErrorsMethod 'pos' is not designed for extension - needs to be abstract, final or empty.64
ErrorsMissing a Javadoc comment.64
ErrorsParameter value should be final.64

org/sat4j/csp/SingletonDomain.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine has trailing spaces.27
ErrorsMissing a Javadoc comment.32
ErrorsMissing a Javadoc comment.34
ErrorsParameter v should be final.34
ErrorsMethod 'get' is not designed for extension - needs to be abstract, final or empty.38
ErrorsMissing a Javadoc comment.38
ErrorsParameter i should be final.38
ErrorsMethod 'size' is not designed for extension - needs to be abstract, final or empty.45
ErrorsMissing a Javadoc comment.45
ErrorsMethod 'iterator' is not designed for extension - needs to be abstract, final or empty.49
ErrorsMissing a Javadoc comment.49
Errors'if' construct must use '{}'s.58
ErrorsMethod 'pos' is not designed for extension - needs to be abstract, final or empty.65
ErrorsMissing a Javadoc comment.65
ErrorsParameter theValue should be final.65

org/sat4j/csp/SolverFactory.java

ViolationMessageLine
ErrorsLine has trailing spaces.34
ErrorsClass SolverFactory should be declared as final.37
ErrorsLine has trailing spaces.40
ErrorsMissing a Javadoc comment.45
ErrorsLine has trailing spaces.49
ErrorsMissing a Javadoc comment.56
ErrorsLine has trailing spaces.64
ErrorsExpected @param tag for '<L>'.79
ErrorsParameter dsf should be final.80
ErrorsLine is longer than 80 characters.81
ErrorsLine is longer than 80 characters.82
ErrorsLine has trailing spaces.90
ErrorsLine has trailing spaces.94
ErrorsLine is longer than 80 characters.100
ErrorsMissing a Javadoc comment.105
ErrorsLine contains a tab character.106
ErrorsLine has trailing spaces.108
ErrorsMissing a Javadoc comment.109
ErrorsLine contains a tab character.110
ErrorsLine has trailing spaces.112
ErrorsMissing a Javadoc comment.113
ErrorsLine contains a tab character.114
ErrorsLine has trailing spaces.116
ErrorsLine has trailing spaces.124
ErrorsLine contains a tab character.130
ErrorsMissing a Javadoc comment.138

org/sat4j/csp/Var.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsMissing a Javadoc comment.26
ErrorsMissing a Javadoc comment.28
ErrorsMissing a Javadoc comment.30
ErrorsMissing a Javadoc comment.32
ErrorsMissing a Javadoc comment.34
ErrorsParameter idvar should be final.34
ErrorsParameter domain should be final.34
Errors'domain' hides a field.34
ErrorsParameter lastvarnumber should be final.34
ErrorsLine has trailing spaces.42
ErrorsMethod 'domain' is not designed for extension - needs to be abstract, final or empty.45
ErrorsMissing a Javadoc comment.45
ErrorsLine has trailing spaces.51
ErrorsMethod 'translate' is not designed for extension - needs to be abstract, final or empty.54
ErrorsMissing a Javadoc comment.54
ErrorsParameter key should be final.54
ErrorsLine has trailing spaces.60
ErrorsMethod 'toClause' is not designed for extension - needs to be abstract, final or empty.63
ErrorsMissing a Javadoc comment.63
ErrorsParameter solver should be final.63
Errors'for' construct must use '{}'s.65
ErrorsMethod 'findValue' is not designed for extension - needs to be abstract, final or empty.70
ErrorsMissing a Javadoc comment.70
ErrorsParameter model should be final.70
Errors'if' construct must use '{}'s.73
ErrorsLine has trailing spaces.81
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.84

org/sat4j/csp/constraints/AllDiff.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsMissing a Javadoc comment.31
ErrorsMethod 'toClause' is not designed for extension - needs to be abstract, final or empty.33
ErrorsMissing a Javadoc comment.33
ErrorsParameter solver should be final.33
ErrorsParameter scope should be final.33
ErrorsParameter vars should be final.33
Errors',' is not followed by whitespace.37
ErrorsLine is longer than 80 characters.45
ErrorsLine has trailing spaces.59
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.60
ErrorsLine contains a tab character.62

org/sat4j/csp/constraints/AllDiffCard.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsMissing a Javadoc comment.31
ErrorsMethod 'toClause' is not designed for extension - needs to be abstract, final or empty.33
ErrorsMissing a Javadoc comment.33
ErrorsParameter solver should be final.33
ErrorsParameter scope should be final.33
ErrorsParameter vars should be final.33
ErrorsLine has trailing spaces.37
Errors'=' is not preceded with whitespace.38
Errors'=' is not followed by whitespace.38
Errors';' is preceded with whitespace.38
Errors'<' is not preceded with whitespace.38
Errors'<' is not followed by whitespace.38
Errors';' is not followed by whitespace.38
ErrorsLine contains a tab character.39
ErrorsLine contains a tab character.40
ErrorsLine contains a tab character.41
ErrorsLine contains a tab character.42
Errors';' is preceded with whitespace.47
Errors';' is followed by whitespace.47
ErrorsLine contains a tab character.48
ErrorsLine contains a tab character.49
Errors'=' is not preceded with whitespace.49
Errors'=' is not followed by whitespace.49
Errors';' is not followed by whitespace.49
Errors'<' is not preceded with whitespace.49
Errors'<' is not followed by whitespace.49
Errors';' is not followed by whitespace.49
ErrorsLine contains a tab character.50
ErrorsLine contains a tab character.51
ErrorsLine contains a tab character.52
ErrorsLine contains a tab character.53
ErrorsLine has trailing spaces.56
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.57
ErrorsLine contains a tab character.59

org/sat4j/csp/constraints/BessiereSupports.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsMissing a Javadoc comment.26
ErrorsMissing a Javadoc comment.28
ErrorsParameter arity should be final.28
ErrorsParameter nbtuples should be final.28
ErrorsMethod 'chooseEncoding' is not designed for extension - needs to be abstract, final or empty.32
ErrorsParameter scope should be final.33

org/sat4j/csp/constraints/GentSupports.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsMissing a Javadoc comment.27
ErrorsMissing a Javadoc comment.29
ErrorsParameter arity should be final.29
ErrorsParameter nbtuples should be final.29
ErrorsMethod 'chooseEncoding' is not designed for extension - needs to be abstract, final or empty.33
ErrorsParameter scope should be final.34

org/sat4j/csp/constraints/Nogoods.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsMissing a Javadoc comment.29
ErrorsMissing a Javadoc comment.31
ErrorsMissing a Javadoc comment.33
ErrorsMissing a Javadoc comment.35
ErrorsParameter arity should be final.35
Errors'arity' hides a field.35
ErrorsParameter nbtuples should be final.35
ErrorsMethod 'addTuple' is not designed for extension - needs to be abstract, final or empty.40
ErrorsMissing a Javadoc comment.40
ErrorsParameter index should be final.40
ErrorsParameter tuple should be final.40
ErrorsMethod 'toClause' is not designed for extension - needs to be abstract, final or empty.44
ErrorsMissing a Javadoc comment.44
ErrorsParameter solver should be final.44
ErrorsParameter scope should be final.44
ErrorsParameter vars should be final.44
ErrorsMethod 'arity' is not designed for extension - needs to be abstract, final or empty.56
ErrorsMissing a Javadoc comment.56

org/sat4j/csp/constraints/Relation.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine has trailing spaces.25
ErrorsLine has trailing spaces.27
ErrorsMissing a Javadoc comment.30
ErrorsMissing a Javadoc comment.32

org/sat4j/csp/constraints/Supports.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsMissing a Javadoc comment.32
ErrorsMissing a Javadoc comment.34
ErrorsMissing a Javadoc comment.36
ErrorsMissing a Javadoc comment.38
ErrorsMissing a Javadoc comment.40
ErrorsMissing a Javadoc comment.42
ErrorsMissing a Javadoc comment.44
ErrorsParameter arity should be final.44
Errors'arity' hides a field.44
ErrorsParameter nbtuples should be final.44
ErrorsMethod 'addTuple' is not designed for extension - needs to be abstract, final or empty.49
ErrorsMissing a Javadoc comment.49
ErrorsParameter index should be final.49
ErrorsParameter tuple should be final.49
ErrorsMethod 'arity' is not designed for extension - needs to be abstract, final or empty.53
ErrorsMissing a Javadoc comment.53
ErrorsMethod 'toClause' is not designed for extension - needs to be abstract, final or empty.57
ErrorsMissing a Javadoc comment.57
ErrorsParameter solver should be final.57
ErrorsParameter scope should be final.57
ErrorsParameter vars should be final.57
ErrorsMissing a Javadoc comment.70
ErrorsMissing a Javadoc comment.72
ErrorsParameter tuple should be final.72
ErrorsParameter n should be final.72
ErrorsParameter scope should be final.72
ErrorsParameter solver should be final.72
ErrorsMissing a Javadoc comment.94
ErrorsParameter tuple should be final.94
Errors'if' construct must use '{}'s.110

org/sat4j/csp/constraints/WalshSupports.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsMissing a Javadoc comment.26
ErrorsMissing a Javadoc comment.28
ErrorsParameter arity should be final.28
ErrorsParameter nbtuples should be final.28
ErrorsMethod 'chooseEncoding' is not designed for extension - needs to be abstract, final or empty.32
ErrorsParameter scope should be final.33

org/sat4j/csp/encodings/BinarySupportEncoding.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsClass BinarySupportEncoding should be declared as final.34
ErrorsMissing a Javadoc comment.34
ErrorsLine is longer than 80 characters.36
ErrorsMissing a Javadoc comment.36
ErrorsLine is longer than 80 characters.38
ErrorsMissing a Javadoc comment.38
ErrorsMissing a Javadoc comment.40
ErrorsMissing a Javadoc comment.42
ErrorsMissing a Javadoc comment.46
ErrorsMissing a Javadoc comment.50
ErrorsParameter solver should be final.50
ErrorsParameter scope should be final.50
ErrorsMissing a Javadoc comment.57
ErrorsParameter solver should be final.57
ErrorsParameter scope should be final.57
ErrorsMissing a Javadoc comment.62
ErrorsParameter solver should be final.62
ErrorsParameter scope should be final.62
ErrorsParameter tuple should be final.63
ErrorsMissing a Javadoc comment.66
ErrorsParameter solver should be final.66
ErrorsParameter scope should be final.66
ErrorsParameter tuple should be final.67
ErrorsMissing a Javadoc comment.76
ErrorsParameter head should be final.76
ErrorsParameter v should be final.76
ErrorsParameter value should be final.76
ErrorsParameter supports should be final.77
ErrorsMissing a Javadoc comment.86
ErrorsParameter v should be final.86
ErrorsParameter supports should be final.86
ErrorsParameter solver should be final.87
Errors';' is preceded with whitespace.89
Errors'for' construct must use '{}'s.95
ErrorsLine is longer than 80 characters.95
Errors';' is preceded with whitespace.95

org/sat4j/csp/encodings/DirectEncoding.java

ViolationMessageLine
ErrorsMissing package-info.java file.0
ErrorsLine is longer than 80 characters.2
ErrorsClass DirectEncoding should be declared as final.32
ErrorsMissing a Javadoc comment.32
ErrorsMissing a Javadoc comment.34
ErrorsMissing a Javadoc comment.36
ErrorsMissing a Javadoc comment.38
ErrorsMissing a Javadoc comment.42
ErrorsMissing a Javadoc comment.46
ErrorsParameter solver should be final.46
ErrorsParameter scope should be final.46
ErrorsMissing a Javadoc comment.49
ErrorsParameter solver should be final.49
ErrorsParameter scope should be final.49
ErrorsMissing a Javadoc comment.52
ErrorsParameter solver should be final.52
ErrorsParameter scope should be final.52
ErrorsParameter tuple should be final.53
ErrorsMissing a Javadoc comment.64
ErrorsParameter solver should be final.64
ErrorsParameter scope should be final.64
ErrorsParameter tuple should be final.65

org/sat4j/csp/encodings/GeneralizedSupportEncoding.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsClass GeneralizedSupportEncoding should be declared as final.36
ErrorsMissing a Javadoc comment.36
ErrorsLine is longer than 80 characters.38
ErrorsMissing a Javadoc comment.38
ErrorsMissing a Javadoc comment.40
ErrorsMissing a Javadoc comment.42
ErrorsMissing a Javadoc comment.46
ErrorsMissing a Javadoc comment.50
ErrorsParameter solver should be final.50
ErrorsParameter scope should be final.50
ErrorsMissing a Javadoc comment.56
ErrorsParameter solver should be final.56
ErrorsParameter scope should be final.56
ErrorsMissing a Javadoc comment.62
ErrorsParameter solver should be final.62
ErrorsParameter scope should be final.62
ErrorsParameter tuple should be final.63
ErrorsMissing a Javadoc comment.67
ErrorsParameter solver should be final.67
ErrorsParameter scope should be final.67
ErrorsParameter tuple should be final.68
ErrorsMissing a Javadoc comment.84
ErrorsParameter n should be final.84
ErrorsParameter scope should be final.84
ErrorsParameter acc should be final.84
ErrorsParameter theSupports should be final.85
Errors'for' construct must use '{}'s.89
Errors'if' construct must use '{}'s.90
Errors'else' construct must use '{}'s.94
ErrorsLine is longer than 80 characters.95
Errors';' is preceded with whitespace.95

org/sat4j/reader/CSPExtSupportReader.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsMissing a Javadoc comment.24
ErrorsMissing a Javadoc comment.26
ErrorsParameter solver should be final.26
ErrorsParameter allDiffCard should be final.26
Errors',' is not followed by whitespace.27
ErrorsMethod 'manageAllowedTuples' is not designed for extension - needs to be abstract, final or empty.30
ErrorsParameter relnum should be final.31
ErrorsParameter arity should be final.31
ErrorsParameter nbtuples should be final.31

org/sat4j/reader/CSPInstanceReader.java

ViolationMessageLine
ErrorsMissing package-info.java file.0
ErrorsLine is longer than 80 characters.2
ErrorsLine has trailing spaces.33
ErrorsMissing a Javadoc comment.38
ErrorsMissing a Javadoc comment.40
ErrorsMissing a Javadoc comment.42
ErrorsMissing a Javadoc comment.44
ErrorsMissing a Javadoc comment.46
ErrorsMissing a Javadoc comment.48
ErrorsLine has trailing spaces.49
ErrorsMissing a Javadoc comment.50
ErrorsMissing a Javadoc comment.52
ErrorsParameter solver should be final.52
Errors'solver' hides a field.52
ErrorsParameter allDiffCard should be final.52
Errors'allDiffCard' hides a field.52
ErrorsMissing a Javadoc comment.59
Errors',' is not followed by whitespace.61
ErrorsMissing a Javadoc comment.66
Errors',' is not followed by whitespace.68
ErrorsMissing a Javadoc comment.73
Errors',' is not followed by whitespace.75
ErrorsMissing a Javadoc comment.80
Errors',' is not followed by whitespace.82
ErrorsLine has trailing spaces.87
ErrorsMethod 'parseInstance' is not designed for extension - needs to be abstract, final or empty.88
ErrorsParameter filename should be final.89
Errors'}' should be alone on a line.123
ErrorsLine has trailing spaces.128
ErrorsMethod 'decode' is not designed for extension - needs to be abstract, final or empty.135
ErrorsParameter model should be final.137
ErrorsMethod 'decode' is not designed for extension - needs to be abstract, final or empty.141
ErrorsParameter model should be final.142
ErrorsParameter out should be final.142
ErrorsMethod 'parseInstance' is not designed for extension - needs to be abstract, final or empty.146
ErrorsParameter in should be final.147

org/sat4j/reader/CSPReader.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.18
ErrorsLine has trailing spaces.54
ErrorsLine has trailing spaces.58
ErrorsLine has trailing spaces.60
ErrorsLine is longer than 80 characters.62
ErrorsLine contains a tab character.64
ErrorsMissing a Javadoc comment.64
ErrorsLine contains a tab character.66
ErrorsMissing a Javadoc comment.66
ErrorsVariable 'relations' must be private and have accessor methods.66
ErrorsLine contains a tab character.68
ErrorsMissing a Javadoc comment.68
ErrorsLine contains a tab character.70
ErrorsMissing a Javadoc comment.70
ErrorsLine contains a tab character.72
ErrorsMissing a Javadoc comment.72
ErrorsLine contains a tab character.74
ErrorsMissing a Javadoc comment.74
ErrorsLine contains a tab character.76
ErrorsMissing a Javadoc comment.76
ErrorsLine contains a tab character.78
ErrorsMissing a Javadoc comment.78
ErrorsLine is longer than 80 characters.80
ErrorsLine contains a tab character.80
ErrorsMissing a Javadoc comment.80
ErrorsLine is longer than 80 characters.82
ErrorsLine contains a tab character.82
ErrorsMissing a Javadoc comment.82
ErrorsLine is longer than 80 characters.84
ErrorsLine contains a tab character.84
ErrorsMissing a Javadoc comment.84
ErrorsLine is longer than 80 characters.86
ErrorsLine contains a tab character.86
ErrorsMissing a Javadoc comment.86
ErrorsLine contains a tab character.88
ErrorsMissing a Javadoc comment.88
ErrorsLine contains a tab character.90
ErrorsMissing a Javadoc comment.90
ErrorsLine contains a tab character.92
ErrorsMissing a Javadoc comment.92
ErrorsLine contains a tab character.94
ErrorsMissing a Javadoc comment.94
ErrorsLine contains a tab character.96
ErrorsMissing a Javadoc comment.96
ErrorsLine contains a tab character.98
ErrorsMissing a Javadoc comment.98
ErrorsLine contains a tab character.100
ErrorsMissing a Javadoc comment.100
ErrorsLine contains a tab character.102
ErrorsMissing a Javadoc comment.102
ErrorsLine contains a tab character.104
ErrorsMissing a Javadoc comment.104
ErrorsLine contains a tab character.106
ErrorsMissing a Javadoc comment.106
ErrorsParameter solver should be final.106
Errors'solver' hides a field.106
ErrorsParameter allDiffCard should be final.106
ErrorsLine contains a tab character.107
ErrorsLine is longer than 80 characters.108
ErrorsLine contains a tab character.108
ErrorsAvoid inline conditionals.108
ErrorsLine contains a tab character.109
ErrorsLine is longer than 80 characters.110
ErrorsLine contains a tab character.110
ErrorsLine contains a tab character.111
ErrorsLine contains a tab character.112
ErrorsLine contains a tab character.113
ErrorsLine contains a tab character.114
ErrorsLine contains a tab character.115
ErrorsLine contains a tab character.117
ErrorsLine contains a tab character.118
ErrorsLine is longer than 80 characters.119
ErrorsLine contains a tab character.119
ErrorsLine contains a tab character.120
ErrorsLine contains a tab character.122
ErrorsLine contains a tab character.124
ErrorsMissing a Javadoc comment.124
ErrorsParameter in should be final.124
ErrorsLine contains a tab character.125
ErrorsLine contains a tab character.126
ErrorsLine contains a tab character.127
ErrorsLine contains a tab character.128
ErrorsLine contains a tab character.129
ErrorsLine contains a tab character.130
ErrorsLine is longer than 80 characters.131
ErrorsLine contains a tab character.131
ErrorsLine contains a tab character.132
ErrorsLine contains a tab character.133
ErrorsLine contains a tab character.134
ErrorsLine contains a tab character.136
ErrorsMethod 'decode' is not designed for extension - needs to be abstract, final or empty.136
ErrorsLine contains a tab character.137
ErrorsParameter model should be final.137
ErrorsParameter out should be final.137
ErrorsLine contains a tab character.138
ErrorsLine contains a tab character.139
ErrorsLine contains a tab character.140
ErrorsLine contains a tab character.141
ErrorsLine contains a tab character.142
ErrorsLine contains a tab character.143
ErrorsLine contains a tab character.145
ErrorsMethod 'decode' is not designed for extension - needs to be abstract, final or empty.145
ErrorsLine contains a tab character.146
ErrorsParameter model should be final.146
ErrorsLine contains a tab character.147
ErrorsLine contains a tab character.148
ErrorsLine contains a tab character.149
ErrorsLine contains a tab character.150
ErrorsLine contains a tab character.151
ErrorsLine contains a tab character.152
ErrorsLine contains a tab character.153
ErrorsLine contains a tab character.154
ErrorsLine contains a tab character.156
ErrorsMissing a Javadoc comment.156
ErrorsParameter in should be final.156
ErrorsLine contains a tab character.157
ErrorsLine contains a tab character.158
ErrorsLine contains a tab character.159
ErrorsLine contains a tab character.161
ErrorsLine contains a tab character.162
ErrorsLine contains a tab character.163
ErrorsLine contains a tab character.165
ErrorsLine contains a tab character.166
ErrorsLine contains a tab character.167
ErrorsLine contains a tab character.168
ErrorsLine contains a tab character.169
ErrorsLine contains a tab character.170
ErrorsLine contains a tab character.171
ErrorsLine contains a tab character.172
ErrorsLine contains a tab character.173
ErrorsLine contains a tab character.174
ErrorsLine contains a tab character.175
ErrorsLine contains a tab character.176
ErrorsLine contains a tab character.177
ErrorsLine contains a tab character.178
ErrorsLine contains a tab character.179
ErrorsLine contains a tab character.180
ErrorsLine contains a tab character.181
ErrorsLine contains a tab character.182
ErrorsLine contains a tab character.183
ErrorsLine contains a tab character.184
ErrorsLine contains a tab character.185
ErrorsLine contains a tab character.186
ErrorsLine contains a tab character.187
ErrorsLine contains a tab character.188
ErrorsLine contains a tab character.190
ErrorsLine contains a tab character.191
ErrorsLine contains a tab character.192
ErrorsLine contains a tab character.193
ErrorsLine contains a tab character.194
ErrorsLine contains a tab character.196
ErrorsLine contains a tab character.197
ErrorsLine contains a tab character.198
ErrorsLine contains a tab character.200
ErrorsAvoid inline conditionals.200
ErrorsLine contains a tab character.201
ErrorsLine contains a tab character.203
ErrorsLine is longer than 80 characters.205
ErrorsLine contains a tab character.205
ErrorsLine contains a tab character.207
ErrorsLine is longer than 80 characters.208
ErrorsLine contains a tab character.208
ErrorsLine contains a tab character.209
ErrorsLine contains a tab character.210
ErrorsLine contains a tab character.211
ErrorsLine contains a tab character.213
ErrorsLine contains a tab character.214
ErrorsLine contains a tab character.215
ErrorsLine contains a tab character.216
ErrorsLine contains a tab character.217
ErrorsLine contains a tab character.218
ErrorsLine contains a tab character.219
ErrorsLine contains a tab character.220
ErrorsLine contains a tab character.221
ErrorsLine contains a tab character.222
ErrorsLine contains a tab character.223
ErrorsLine contains a tab character.224
ErrorsLine contains a tab character.225
ErrorsLine contains a tab character.226
ErrorsLine contains a tab character.227
ErrorsLine contains a tab character.228
ErrorsLine contains a tab character.229
ErrorsLine contains a tab character.230
ErrorsLine contains a tab character.231
ErrorsLine contains a tab character.232
ErrorsLine is longer than 80 characters.234
ErrorsLine contains a tab character.234
ErrorsMethod 'manageAllowedTuples' is not designed for extension - needs to be abstract, final or empty.234
ErrorsMissing a Javadoc comment.234
ErrorsParameter relnum should be final.234
ErrorsParameter arity should be final.234
ErrorsParameter nbtuples should be final.234
ErrorsLine contains a tab character.235
ErrorsLine contains a tab character.236
ErrorsLine contains a tab character.238
ErrorsMissing a Javadoc comment.238
ErrorsParameter input should be final.238
ErrorsLine contains a tab character.239
ErrorsLine contains a tab character.240
ErrorsLine contains a tab character.241
ErrorsLine contains a tab character.243
ErrorsMissing a Javadoc comment.243
ErrorsParameter input should be final.243
ErrorsParameter size should be final.243
ErrorsLine contains a tab character.244
Errors'for' construct must use '{}'s.245
ErrorsLine contains a tab character.245
ErrorsLine contains a tab character.246
ErrorsLine contains a tab character.247
ErrorsLine contains a tab character.248
ErrorsLine contains a tab character.250
ErrorsMethod 'beginInstance' is not designed for extension - needs to be abstract, final or empty.250
ErrorsMissing a Javadoc comment.250
ErrorsParameter arg0 should be final.250
ErrorsLine contains a tab character.251
ErrorsLine contains a tab character.252
ErrorsLine contains a tab character.254
ErrorsMethod 'beginDomainsSection' is not designed for extension - needs to be abstract, final or empty.254
ErrorsMissing a Javadoc comment.254
ErrorsParameter nbdomain should be final.254
ErrorsLine contains a tab character.255
ErrorsLine contains a tab character.256
ErrorsLine contains a tab character.258
ErrorsMethod 'beginDomain' is not designed for extension - needs to be abstract, final or empty.258
ErrorsMissing a Javadoc comment.258
ErrorsParameter id should be final.258
ErrorsParameter size should be final.258
ErrorsLine contains a tab character.259
ErrorsLine contains a tab character.260
ErrorsLine contains a tab character.261
ErrorsLine contains a tab character.262
ErrorsLine contains a tab character.263
ErrorsLine contains a tab character.264
ErrorsLine contains a tab character.266
ErrorsMethod 'addDomainValue' is not designed for extension - needs to be abstract, final or empty.266
ErrorsMissing a Javadoc comment.266
ErrorsParameter arg0 should be final.266
ErrorsLine contains a tab character.267
ErrorsLine contains a tab character.268
ErrorsLine contains a tab character.269
ErrorsLine contains a tab character.270
Errors'for' construct must use '{}'s.271
ErrorsLine contains a tab character.271
ErrorsLine is longer than 80 characters.272
ErrorsLine contains a tab character.272
ErrorsLine contains a tab character.273
ErrorsLine contains a tab character.274
ErrorsLine contains a tab character.275
ErrorsLine contains a tab character.276
ErrorsLine contains a tab character.278
ErrorsMethod 'addDomainValue' is not designed for extension - needs to be abstract, final or empty.278
ErrorsMissing a Javadoc comment.278
ErrorsParameter begin should be final.278
ErrorsParameter end should be final.278
ErrorsLine contains a tab character.279
ErrorsLine contains a tab character.280
ErrorsLine contains a tab character.281
ErrorsLine contains a tab character.282
ErrorsLine contains a tab character.283
ErrorsLine contains a tab character.284
ErrorsLine contains a tab character.285
ErrorsLine contains a tab character.286
ErrorsLine contains a tab character.287
ErrorsLine contains a tab character.288
ErrorsLine contains a tab character.289
ErrorsLine contains a tab character.291
ErrorsMethod 'endDomain' is not designed for extension - needs to be abstract, final or empty.291
ErrorsMissing a Javadoc comment.291
ErrorsLine is longer than 80 characters.292
ErrorsLine contains a tab character.292
ErrorsLine contains a tab character.293
ErrorsLine contains a tab character.294
ErrorsLine contains a tab character.295
ErrorsLine contains a tab character.296
ErrorsLine contains a tab character.297
ErrorsLine contains a tab character.298
ErrorsLine contains a tab character.299
ErrorsLine contains a tab character.301
ErrorsMethod 'endDomainsSection' is not designed for extension - needs to be abstract, final or empty.301
ErrorsMissing a Javadoc comment.301
ErrorsLine contains a tab character.302
ErrorsLine contains a tab character.303
ErrorsLine contains a tab character.305
ErrorsMethod 'beginVariablesSection' is not designed for extension - needs to be abstract, final or empty.305
ErrorsMissing a Javadoc comment.305
ErrorsParameter expectedNumberOfVariables should be final.305
ErrorsLine contains a tab character.306
ErrorsLine contains a tab character.307
ErrorsLine contains a tab character.308
ErrorsLine contains a tab character.309
ErrorsLine contains a tab character.311
ErrorsMethod 'addVariable' is not designed for extension - needs to be abstract, final or empty.311
ErrorsMissing a Javadoc comment.311
ErrorsParameter idvar should be final.311
ErrorsParameter iddomain should be final.311
ErrorsLine contains a tab character.312
ErrorsLine contains a tab character.313
ErrorsLine contains a tab character.314
ErrorsLine contains a tab character.315
ErrorsLine is longer than 80 characters.316
ErrorsLine contains a tab character.316
ErrorsLine contains a tab character.317
ErrorsLine contains a tab character.318
ErrorsLine contains a tab character.320
ErrorsLine contains a tab character.322
ErrorsMethod 'endVariablesSection' is not designed for extension - needs to be abstract, final or empty.322
ErrorsMissing a Javadoc comment.322
ErrorsLine contains a tab character.323
ErrorsLine is longer than 80 characters.324
ErrorsLine contains a tab character.324
ErrorsLine contains a tab character.325
ErrorsLine contains a tab character.326
ErrorsLine contains a tab character.327
ErrorsLine contains a tab character.328
ErrorsLine contains a tab character.329
ErrorsLine contains a tab character.330
ErrorsLine contains a tab character.331
ErrorsLine contains a tab character.332
ErrorsLine contains a tab character.333
ErrorsLine contains a tab character.334
ErrorsLine contains a tab character.335
ErrorsLine contains a tab character.337
ErrorsLine contains a tab character.339
ErrorsMethod 'beginRelationsSection' is not designed for extension - needs to be abstract, final or empty.339
ErrorsMissing a Javadoc comment.339
ErrorsParameter nbrel should be final.339
ErrorsLine contains a tab character.340
ErrorsLine contains a tab character.341
ErrorsLine contains a tab character.342
ErrorsLine contains a tab character.343
ErrorsLine contains a tab character.345
ErrorsMethod 'beginRelation' is not designed for extension - needs to be abstract, final or empty.345
ErrorsMissing a Javadoc comment.345
ErrorsParameter name should be final.345
ErrorsParameter arity should be final.345
ErrorsParameter nbTuples should be final.345
ErrorsLine contains a tab character.346
ErrorsParameter isSupport should be final.346
ErrorsLine contains a tab character.347
ErrorsLine contains a tab character.348
ErrorsLine is longer than 80 characters.349
ErrorsLine contains a tab character.349
ErrorsLine contains a tab character.350
ErrorsLine contains a tab character.351
ErrorsLine contains a tab character.352
ErrorsLine contains a tab character.353
ErrorsLine contains a tab character.354
ErrorsLine contains a tab character.355
ErrorsLine contains a tab character.356
ErrorsLine contains a tab character.357
ErrorsLine contains a tab character.358
ErrorsLine contains a tab character.360
ErrorsMethod 'addRelationTuple' is not designed for extension - needs to be abstract, final or empty.360
ErrorsMissing a Javadoc comment.360
ErrorsParameter tuple should be final.360
ErrorsLine contains a tab character.361
ErrorsLine contains a tab character.362
ErrorsLine contains a tab character.364
ErrorsMissing a Javadoc comment.364
ErrorsLine contains a tab character.365
ErrorsLine contains a tab character.367
ErrorsMethod 'endRelationsSection' is not designed for extension - needs to be abstract, final or empty.367
ErrorsMissing a Javadoc comment.367
ErrorsLine contains a tab character.368
ErrorsLine is longer than 80 characters.369
ErrorsLine contains a tab character.369
ErrorsLine contains a tab character.370
ErrorsLine contains a tab character.371
ErrorsLine contains a tab character.372
ErrorsLine contains a tab character.373
ErrorsLine contains a tab character.374
ErrorsLine contains a tab character.376
ErrorsMethod 'beginPredicatesSection' is not designed for extension - needs to be abstract, final or empty.376
ErrorsMissing a Javadoc comment.376
ErrorsParameter arg0 should be final.376
ErrorsLine contains a tab character.377
ErrorsLine contains a tab character.378
ErrorsLine contains a tab character.380
ErrorsMethod 'beginPredicate' is not designed for extension - needs to be abstract, final or empty.380
ErrorsMissing a Javadoc comment.380
ErrorsParameter name should be final.380
ErrorsLine contains a tab character.381
ErrorsLine contains a tab character.382
ErrorsLine contains a tab character.383
ErrorsLine is longer than 80 characters.384
ErrorsLine contains a tab character.384
ErrorsLine contains a tab character.385
ErrorsLine contains a tab character.386
ErrorsLine contains a tab character.388
ErrorsMethod 'addFormalParameter' is not designed for extension - needs to be abstract, final or empty.388
ErrorsMissing a Javadoc comment.388
ErrorsParameter name should be final.388
ErrorsParameter type should be final.388
ErrorsLine contains a tab character.389
ErrorsLine contains a tab character.390
ErrorsLine contains a tab character.392
ErrorsMethod 'predicateExpression' is not designed for extension - needs to be abstract, final or empty.392
ErrorsMissing a Javadoc comment.392
ErrorsParameter expr should be final.392
ErrorsLine contains a tab character.393
ErrorsLine contains a tab character.394
ErrorsLine contains a tab character.396
ErrorsMissing a Javadoc comment.396
ErrorsLine contains a tab character.397
ErrorsLine contains a tab character.398
ErrorsLine contains a tab character.400
ErrorsMethod 'endPredicatesSection' is not designed for extension - needs to be abstract, final or empty.400
ErrorsMissing a Javadoc comment.400
ErrorsLine contains a tab character.401
ErrorsLine is longer than 80 characters.402
ErrorsLine contains a tab character.402
ErrorsLine contains a tab character.403
ErrorsLine contains a tab character.404
ErrorsLine contains a tab character.405
ErrorsLine contains a tab character.406
ErrorsLine contains a tab character.407
ErrorsLine contains a tab character.409
ErrorsMethod 'beginConstraintsSection' is not designed for extension - needs to be abstract, final or empty.409
ErrorsMissing a Javadoc comment.409
ErrorsParameter arg0 should be final.409
ErrorsLine contains a tab character.410
ErrorsLine contains a tab character.411
ErrorsLine contains a tab character.412
ErrorsLine contains a tab character.413
ErrorsLine contains a tab character.415
ErrorsMethod 'beginConstraint' is not designed for extension - needs to be abstract, final or empty.415
ErrorsMissing a Javadoc comment.415
ErrorsParameter name should be final.415
ErrorsParameter arity should be final.415
ErrorsLine contains a tab character.416
ErrorsLine contains a tab character.417
ErrorsLine contains a tab character.418
ErrorsLine contains a tab character.419
ErrorsLine contains a tab character.420
ErrorsLine is longer than 80 characters.421
ErrorsLine contains a tab character.421
ErrorsLine is longer than 80 characters.422
ErrorsLine contains a tab character.422
Errors'100' is a magic number.422
ErrorsLine contains a tab character.423
ErrorsLine contains a tab character.424
ErrorsLine contains a tab character.426
ErrorsMethod 'constraintReference' is not designed for extension - needs to be abstract, final or empty.426
ErrorsMissing a Javadoc comment.426
ErrorsParameter ref should be final.426
ErrorsLine contains a tab character.427
ErrorsLine contains a tab character.428
ErrorsLine contains a tab character.429
ErrorsLine contains a tab character.430
ErrorsLine contains a tab character.431
ErrorsLine contains a tab character.432
ErrorsLine contains a tab character.433
ErrorsLine is longer than 80 characters.434
ErrorsLine contains a tab character.434
ErrorsLine contains a tab character.435
ErrorsLine contains a tab character.436
ErrorsLine contains a tab character.437
ErrorsLine contains a tab character.439
ErrorsMethod 'addVariableToConstraint' is not designed for extension - needs to be abstract, final or empty.439
ErrorsMissing a Javadoc comment.439
ErrorsParameter arg0 should be final.439
ErrorsLine contains a tab character.440
ErrorsLine contains a tab character.441
ErrorsLine contains a tab character.443
ErrorsMethod 'addEffectiveParameter' is not designed for extension - needs to be abstract, final or empty.443
ErrorsMissing a Javadoc comment.443
ErrorsParameter arg0 should be final.443
ErrorsLine contains a tab character.444
ErrorsLine contains a tab character.445
ErrorsLine contains a tab character.447
ErrorsMethod 'addEffectiveParameter' is not designed for extension - needs to be abstract, final or empty.447
ErrorsMissing a Javadoc comment.447
ErrorsParameter arg0 should be final.447
ErrorsLine contains a tab character.448
ErrorsLine contains a tab character.449
ErrorsLine contains a tab character.451
ErrorsMethod 'beginParameterList' is not designed for extension - needs to be abstract, final or empty.451
ErrorsMissing a Javadoc comment.451
ErrorsLine contains a tab character.452
ErrorsLine contains a tab character.453
ErrorsLine contains a tab character.455
ErrorsLine contains a tab character.457
ErrorsMissing a Javadoc comment.457
ErrorsParameter arg0 should be final.457
ErrorsLine contains a tab character.458
ErrorsLine contains a tab character.460
ErrorsLine contains a tab character.462
ErrorsMissing a Javadoc comment.462
ErrorsParameter arg0 should be final.462
ErrorsLine contains a tab character.463
ErrorsLine contains a tab character.465
ErrorsLine contains a tab character.467
ErrorsMissing a Javadoc comment.467
ErrorsLine contains a tab character.468
ErrorsLine contains a tab character.470
ErrorsLine contains a tab character.472
ErrorsMethod 'addConstantParameter' is not designed for extension - needs to be abstract, final or empty.472
ErrorsMissing a Javadoc comment.472
ErrorsParameter arg0 should be final.472
ErrorsParameter arg1 should be final.472
ErrorsLine contains a tab character.473
ErrorsLine contains a tab character.474
ErrorsLine contains a tab character.475
ErrorsLine contains a tab character.477
ErrorsMethod 'constraintExpression' is not designed for extension - needs to be abstract, final or empty.477
ErrorsMissing a Javadoc comment.477
ErrorsParameter arg0 should be final.477
ErrorsLine contains a tab character.478
ErrorsLine contains a tab character.479
ErrorsLine contains a tab character.480
ErrorsLine contains a tab character.482
ErrorsMethod 'endConstraint' is not designed for extension - needs to be abstract, final or empty.482
ErrorsMissing a Javadoc comment.482
ErrorsLine contains a tab character.483
ErrorsLine contains a tab character.484
ErrorsLine contains a tab character.485
ErrorsLine contains a tab character.486
ErrorsLine contains a tab character.487
ErrorsLine contains a tab character.488
ErrorsLine contains a tab character.489
ErrorsLine contains a tab character.491
ErrorsMethod 'endConstraintsSection' is not designed for extension - needs to be abstract, final or empty.491
ErrorsMissing a Javadoc comment.491
ErrorsLine contains a tab character.492
ErrorsLine contains a tab character.493
ErrorsLine contains a tab character.494
ErrorsLine contains a tab character.495
ErrorsLine contains a tab character.496
ErrorsLine contains a tab character.497
ErrorsLine contains a tab character.499
ErrorsMissing a Javadoc comment.499
ErrorsLine contains a tab character.500
ErrorsLine contains a tab character.501
ErrorsLine contains a tab character.503
ErrorsMethod 'getProblem' is not designed for extension - needs to be abstract, final or empty.503
ErrorsMissing a Javadoc comment.503
ErrorsLine contains a tab character.504
ErrorsLine contains a tab character.505
ErrorsLine contains a tab character.507
ErrorsMethod 'parseInstance' is not designed for extension - needs to be abstract, final or empty.507
ErrorsLine contains a tab character.508
ErrorsLine is longer than 80 characters.509
ErrorsLine contains a tab character.509
ErrorsLine contains a tab character.510
ErrorsLine contains a tab character.511

org/sat4j/reader/CSPSupportReader.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsMissing a Javadoc comment.24
ErrorsMissing a Javadoc comment.26
ErrorsParameter solver should be final.26
Errors',' is not followed by whitespace.26
ErrorsParameter allDiffCard should be final.26
Errors',' is not followed by whitespace.27
ErrorsMethod 'manageAllowedTuples' is not designed for extension - needs to be abstract, final or empty.30
ErrorsParameter relnum should be final.31
ErrorsParameter arity should be final.31
ErrorsParameter nbtuples should be final.31

org/sat4j/reader/XMLCSPReader.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsMissing a Javadoc comment.35
ErrorsMissing a Javadoc comment.37
ErrorsMissing a Javadoc comment.39
ErrorsParameter solver should be final.39
ErrorsParameter allDiffCard should be final.39
Errors',' is not followed by whitespace.40
ErrorsMethod 'decode' is not designed for extension - needs to be abstract, final or empty.43
ErrorsParameter model should be final.44
ErrorsMethod 'decode' is not designed for extension - needs to be abstract, final or empty.48
ErrorsParameter model should be final.49
ErrorsParameter out should be final.49
ErrorsLine has trailing spaces.55
ErrorsMethod 'parseInstance' is not designed for extension - needs to be abstract, final or empty.58
ErrorsParameter filename should be final.59
ErrorsMethod 'parseInstance' is not designed for extension - needs to be abstract, final or empty.72
ErrorsParameter in should be final.73
ErrorsLine contains a tab character.78
ErrorsMethod 'parseInstance' is not designed for extension - needs to be abstract, final or empty.78
ErrorsLine contains a tab character.79
ErrorsLine is longer than 80 characters.80
ErrorsLine contains a tab character.80
ErrorsLine contains a tab character.81
ErrorsLine contains a tab character.82
ErrorsLine has trailing spaces.83
ErrorsLine contains a tab character.83
ErrorsLine has trailing spaces.86
ErrorsMethod 'setVerbosity' is not designed for extension - needs to be abstract, final or empty.89
ErrorsParameter b should be final.90