Checkstyle Results

The following document contains the results of Checkstyle . rss feed

Summary

Files Infos Infos Warnings Warnings Errors Errors
31 0 0 1010

Files

Files I Infos W Warnings E Errors
org/sat4j/csp/CSPLauncher.java 0 0 82
org/sat4j/csp/Clausifiable.java 0 0 10
org/sat4j/csp/Constant.java 0 0 18
org/sat4j/csp/Domain.java 0 0 7
org/sat4j/csp/Encoding.java 0 0 25
org/sat4j/csp/EnumeratedDomain.java 0 0 19
org/sat4j/csp/Evaluable.java 0 0 5
org/sat4j/csp/Predicate.java 0 0 59
org/sat4j/csp/RangeDomain.java 0 0 21
org/sat4j/csp/SingletonDomain.java 0 0 16
org/sat4j/csp/SolverFactory.java 0 0 82
org/sat4j/csp/Var.java 0 0 29
org/sat4j/csp/constraints/AllDiff.java 0 0 15
org/sat4j/csp/constraints/BessiereSupports.java 0 0 11
org/sat4j/csp/constraints/GentSupports.java 0 0 11
org/sat4j/csp/constraints/Nogoods.java 0 0 25
org/sat4j/csp/constraints/Relation.java 0 0 5
org/sat4j/csp/constraints/Supports.java 0 0 50
org/sat4j/csp/constraints/WalshSupports.java 0 0 11
org/sat4j/csp/encodings/BinarySupportEncoding.java 0 0 76
org/sat4j/csp/encodings/DirectEncoding.java 0 0 40
org/sat4j/csp/encodings/GeneralizedSupportEncoding.java 0 0 90
org/sat4j/csp/encodings/package.html 0 0 1
org/sat4j/reader/CSPExtSupportReader.java 0 0 9
org/sat4j/reader/CSPInstanceReader.java 0 0 32
org/sat4j/reader/CSPReader.java 0 0 227
org/sat4j/reader/CSPSupportReader.java 0 0 9
org/sat4j/reader/XMLCSPReader.java 0 0 24
org/sat4j/reader/package.html 0 0 1

Rules

Rules Violations Severity
PackageHtml 2 Errors Error
NewlineAtEndOfFile 0 Errors Error
Translation 0 Errors Error
JavadocMethod 158 Errors Error
JavadocType 21 Errors Error
JavadocVariable 60 Errors Error
JavadocStyle 0 Errors Error
ConstantName 3 Errors Error
LocalFinalVariableName 0 Errors Error
LocalVariableName 0 Errors Error
MemberName 0 Errors Error
MethodName 0 Errors Error
PackageName 0 Errors Error
ParameterName 0 Errors Error
StaticVariableName 0 Errors Error
TypeName 0 Errors Error
AvoidStarImport 0 Errors Error
IllegalImport 0 Errors Error
RedundantImport 0 Errors Error
UnusedImports 1 Errors Error
FileLength 0 Errors Error
LineLength 49 Errors Error
MethodLength 0 Errors Error
ParameterNumber 0 Errors Error
EmptyForIteratorPad 0 Errors Error
MethodParamPad 0 Errors Error
NoWhitespaceAfter 0 Errors Error
NoWhitespaceBefore 3 Errors Error
OperatorWrap 0 Errors Error
ParenPad 0 Errors Error
TypecastParenPad 0 Errors Error
TabCharacter 61 Errors Error
WhitespaceAfter 9 Errors Error
WhitespaceAround 304 Errors Error
ModifierOrder 0 Errors Error
RedundantModifier 1 Errors Error
AvoidNestedBlocks 0 Errors Error
EmptyBlock 0 Errors Error
LeftCurly 0 Errors Error
NeedBraces 30 Errors Error
RightCurly 1 Errors Error
AvoidInlineConditionals 1 Errors Error
DoubleCheckedLocking 0 Errors Error
EmptyStatement 0 Errors Error
EqualsHashCode 0 Errors Error
HiddenField 10 Errors Error
IllegalInstantiation 0 Errors Error
InnerAssignment 0 Errors Error
MagicNumber 1 Errors Error
MissingSwitchDefault 0 Errors Error
RedundantThrows 2 Errors Error
SimplifyBooleanExpression 0 Errors Error
SimplifyBooleanReturn 0 Errors Error
DesignForExtension 84 Errors Error
FinalClass 4 Errors Error
HideUtilityClassConstructor 0 Errors Error
InterfaceIsType 0 Errors Error
VisibilityModifier 1 Errors Error
ArrayTypeStyle 0 Errors Error
FinalParameters 172 Errors Error
GenericIllegalRegexp
  • message : "Line has trailing spaces."
  • format : "\s+$"
32 Errors Error
TodoComment 0 Errors Error
UpperEll 0 Errors Error

Details

org/sat4j/csp/CSPLauncher.java

Violation Message Line
Errors Line is longer than 80 characters. 2
Errors Line is longer than 80 characters. 18
Errors Missing a Javadoc comment. 27
Errors Line contains a tab character. 29
Errors Line has trailing spaces. 30
Errors Line contains a tab character. 32
Errors Line contains a tab character. 34
Errors Line contains a tab character. 35
Errors Line has trailing spaces. 36
Errors Line contains a tab character. 36
Errors Line contains a tab character. 37
Errors Line contains a tab character. 38
Errors Line contains a tab character. 39
Errors Method 'configureSolver' is not designed for extension - needs to be abstract, final or empty. 39
Errors Missing a Javadoc comment. 39
Errors Line contains a tab character. 40
Errors Parameter args should be final. 40
Errors Line contains a tab character. 41
Errors Line contains a tab character. 42
Errors Line contains a tab character. 43
Errors Line contains a tab character. 44
Errors Line contains a tab character. 46
Errors Line contains a tab character. 47
Errors Line has trailing spaces. 48
Errors Line contains a tab character. 48
Errors Line contains a tab character. 49
Errors Line contains a tab character. 50
Errors Line contains a tab character. 51
Errors Method 'createReader' is not designed for extension - needs to be abstract, final or empty. 51
Errors Missing a Javadoc comment. 51
Errors Line is longer than 80 characters. 52
Errors Line contains a tab character. 52
Errors Line contains a tab character. 53
Errors Line contains a tab character. 54
Errors Line contains a tab character. 55
Errors Line contains a tab character. 56
Errors Line contains a tab character. 57
Errors Line contains a tab character. 58
Errors Line contains a tab character. 59
Errors Line contains a tab character. 60
Errors Line contains a tab character. 61
Errors Line contains a tab character. 62
Errors Line contains a tab character. 63
Errors Line contains a tab character. 64
Errors Line contains a tab character. 65
Errors Line contains a tab character. 67
Errors Missing a Javadoc comment. 67
Errors Parameter args should be final. 67
Errors Line contains a tab character. 68
Errors Line contains a tab character. 69
Errors Line contains a tab character. 70
Errors Line contains a tab character. 71
Errors Line contains a tab character. 72
Errors Line contains a tab character. 73
Errors Line contains a tab character. 74
Errors Line contains a tab character. 75
Errors Line contains a tab character. 76
Errors Line contains a tab character. 77
Errors Line contains a tab character. 78
Errors Line contains a tab character. 80
Errors Method 'displayLicense' is not designed for extension - needs to be abstract, final or empty. 80
Errors Missing a Javadoc comment. 80
Errors Line contains a tab character. 81
Errors Line contains a tab character. 82
Errors Line is longer than 80 characters. 83
Errors Line contains a tab character. 83
Errors Line contains a tab character. 84
Errors Line contains a tab character. 86
Errors Method 'usage' is not designed for extension - needs to be abstract, final or empty. 86
Errors Missing a Javadoc comment. 86
Errors Line contains a tab character. 87
Errors Line is longer than 80 characters. 88
Errors Line contains a tab character. 88
Errors Line contains a tab character. 89
Errors Line contains a tab character. 91
Errors Method 'getInstanceName' is not designed for extension - needs to be abstract, final or empty. 91
Errors Missing a Javadoc comment. 91
Errors Line contains a tab character. 92
Errors Parameter args should be final. 92
Errors Line contains a tab character. 93
Errors Line contains a tab character. 94
Errors Line contains a tab character. 95

org/sat4j/csp/Clausifiable.java

Violation Message Line
Errors Line is longer than 80 characters. 2
Errors Missing a Javadoc comment. 25
Errors Missing a Javadoc comment. 27
Errors Redundant 'public' modifier. 27
Errors '<' is not preceded with whitespace. 27
Errors '<' is not followed by whitespace. 27
Errors '>' is not preceded with whitespace. 27
Errors '<' is not preceded with whitespace. 28
Errors '<' is not followed by whitespace. 28
Errors '>' is not preceded with whitespace. 28

org/sat4j/csp/Constant.java

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

org/sat4j/csp/Domain.java

Violation Message Line
Errors Line is longer than 80 characters. 2
Errors Missing a Javadoc comment. 23
Errors Missing a Javadoc comment. 25
Errors Missing a Javadoc comment. 27
Errors Missing a Javadoc comment. 29
Errors Line has trailing spaces. 30
Errors Missing a Javadoc comment. 31

org/sat4j/csp/Encoding.java

Violation Message Line
Errors Line is longer than 80 characters. 2
Errors Missing a Javadoc comment. 27
Errors Missing a Javadoc comment. 29
Errors '<' is not preceded with whitespace. 29
Errors '<' is not followed by whitespace. 29
Errors '>' is not preceded with whitespace. 29
Errors Line is longer than 80 characters. 31
Errors Missing a Javadoc comment. 31
Errors '<' is not preceded with whitespace. 31
Errors '<' is not followed by whitespace. 31
Errors '>' is not preceded with whitespace. 31
Errors '<' is not preceded with whitespace. 31
Errors '<' is not followed by whitespace. 31
Errors '>' is not preceded with whitespace. 31
Errors Missing a Javadoc comment. 34
Errors '<' is not preceded with whitespace. 34
Errors '<' is not followed by whitespace. 34
Errors '>' is not preceded with whitespace. 34
Errors '<' is not preceded with whitespace. 35
Errors '<' is not followed by whitespace. 35
Errors '>' is not preceded with whitespace. 35
Errors Missing a Javadoc comment. 37
Errors '<' is not preceded with whitespace. 37
Errors '<' is not followed by whitespace. 37
Errors '>' is not preceded with whitespace. 37

org/sat4j/csp/EnumeratedDomain.java

Violation Message Line
Errors Line is longer than 80 characters. 2
Errors Missing a Javadoc comment. 25
Errors Missing a Javadoc comment. 27
Errors Missing a Javadoc comment. 29
Errors Parameter values should be final. 29
Errors 'values' hides a field. 29
Errors Method 'get' is not designed for extension - needs to be abstract, final or empty. 34
Errors Missing a Javadoc comment. 34
Errors Parameter i should be final. 34
Errors Method 'size' is not designed for extension - needs to be abstract, final or empty. 38
Errors Missing a Javadoc comment. 38
Errors Method 'iterator' is not designed for extension - needs to be abstract, final or empty. 42
Errors Missing a Javadoc comment. 42
Errors 'if' construct must use '{}'s. 51
Errors Method 'pos' is not designed for extension - needs to be abstract, final or empty. 58
Errors Missing a Javadoc comment. 58
Errors Parameter value should be final. 58
Errors 'for' construct must use '{}'s. 59
Errors 'if' construct must use '{}'s. 60

org/sat4j/csp/Evaluable.java

Violation Message Line
Errors Line is longer than 80 characters. 2
Errors Missing a Javadoc comment. 24
Errors Line has trailing spaces. 28
Errors Line has trailing spaces. 35
Errors Line has trailing spaces. 45

org/sat4j/csp/Predicate.java

Violation Message Line
Errors Line is longer than 80 characters. 2
Errors Unused import - org.mozilla.javascript.ContextFactory. 29
Errors Line has trailing spaces. 41
Errors Missing a Javadoc comment. 46
Errors Missing a Javadoc comment. 48
Errors Missing a Javadoc comment. 50
Errors '<' is not preceded with whitespace. 50
Errors '<' is not followed by whitespace. 50
Errors '>' is not preceded with whitespace. 50
Errors '<' is not preceded with whitespace. 50
Errors '<' is not followed by whitespace. 50
Errors '>' is not preceded with whitespace. 50
Errors '>' is not followed by whitespace. 50
Errors Missing a Javadoc comment. 52
Errors Missing a Javadoc comment. 54
Errors Missing a Javadoc comment. 76
Errors Method 'setExpression' is not designed for extension - needs to be abstract, final or empty. 79
Errors Missing a Javadoc comment. 79
Errors Parameter expr should be final. 79
Errors 'expr' hides a field. 79
Errors Method 'addVariable' is not designed for extension - needs to be abstract, final or empty. 83
Errors Missing a Javadoc comment. 83
Errors Parameter name should be final. 83
Errors Missing a Javadoc comment. 87
Errors Parameter values should be final. 87
Errors Method 'toClause' is not designed for extension - needs to be abstract, final or empty. 96
Errors Missing a Javadoc comment. 96
Errors Parameter solver should be final. 96
Errors Parameter vscope should be final. 96
Errors '<' is not preceded with whitespace. 96
Errors '<' is not followed by whitespace. 96
Errors '>' is not preceded with whitespace. 96
Errors Parameter vars should be final. 96
Errors '<' is not preceded with whitespace. 96
Errors '<' is not followed by whitespace. 96
Errors '>' is not preceded with whitespace. 96
Errors Line is longer than 80 characters. 113
Errors Missing a Javadoc comment. 113
Errors '<' is not preceded with whitespace. 113
Errors '<' is not followed by whitespace. 113
Errors '>' is not preceded with whitespace. 113
Errors '<' is not preceded with whitespace. 113
Errors '<' is not followed by whitespace. 113
Errors '>' is not preceded with whitespace. 113
Errors '>' is not followed by whitespace. 113
Errors Missing a Javadoc comment. 115
Errors Missing a Javadoc comment. 117
Errors Parameter tuple should be final. 117
Errors Parameter n should be final. 117
Errors Parameter theScope should be final. 117
Errors '<' is not preceded with whitespace. 117
Errors '<' is not followed by whitespace. 117
Errors '>' is not preceded with whitespace. 117
Errors Line is longer than 80 characters. 118
Errors Parameter vars should be final. 118
Errors '<' is not preceded with whitespace. 118
Errors '<' is not followed by whitespace. 118
Errors '>' is not preceded with whitespace. 118
Errors Parameter solver should be final. 118

org/sat4j/csp/RangeDomain.java

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

org/sat4j/csp/SingletonDomain.java

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

org/sat4j/csp/SolverFactory.java

Violation Message Line
Errors Line has trailing spaces. 36
Errors Class SolverFactory should be declared as final. 39
Errors '<' is not preceded with whitespace. 39
Errors '<' is not followed by whitespace. 39
Errors '>' is not preceded with whitespace. 39
Errors Line has trailing spaces. 42
Errors Missing a Javadoc comment. 47
Errors Line has trailing spaces. 51
Errors Missing a Javadoc comment. 58
Errors Line has trailing spaces. 66
Errors Line is longer than 80 characters. 81
Errors '<' is not followed by whitespace. 81
Errors Expected @param tag for '<L>'. 81
Errors '>' is not preceded with whitespace. 81
Errors '<' is not preceded with whitespace. 81
Errors '<' is not followed by whitespace. 81
Errors ',' is not followed by whitespace. 81
Errors '<' is not preceded with whitespace. 81
Errors '<' is not followed by whitespace. 81
Errors '>' is not preceded with whitespace. 81
Errors '>' is not followed by whitespace. 81
Errors '>' is not preceded with whitespace. 81
Errors Parameter dsf should be final. 82
Errors '<' is not preceded with whitespace. 82
Errors '<' is not followed by whitespace. 82
Errors '>' is not preceded with whitespace. 82
Errors Line is longer than 80 characters. 83
Errors '<' is not preceded with whitespace. 83
Errors '<' is not followed by whitespace. 83
Errors ',' is not followed by whitespace. 83
Errors '<' is not preceded with whitespace. 83
Errors '<' is not followed by whitespace. 83
Errors '>' is not preceded with whitespace. 83
Errors '>' is not followed by whitespace. 83
Errors '>' is not preceded with whitespace. 83
Errors '<' is not preceded with whitespace. 83
Errors '<' is not followed by whitespace. 83
Errors ',' is not followed by whitespace. 83
Errors '<' is not preceded with whitespace. 83
Errors '<' is not followed by whitespace. 83
Errors '>' is not preceded with whitespace. 83
Errors '>' is not followed by whitespace. 83
Errors '>' is not preceded with whitespace. 83
Errors '>' is not followed by whitespace. 83
Errors Line is longer than 80 characters. 84
Errors '<' is not preceded with whitespace. 84
Errors '<' is not followed by whitespace. 84
Errors ',' is not followed by whitespace. 84
Errors '<' is not preceded with whitespace. 84
Errors '<' is not followed by whitespace. 84
Errors '>' is not preceded with whitespace. 84
Errors '>' is not followed by whitespace. 84
Errors '>' is not preceded with whitespace. 84
Errors '<' is not preceded with whitespace. 84
Errors '<' is not followed by whitespace. 84
Errors ',' is not followed by whitespace. 84
Errors '<' is not preceded with whitespace. 84
Errors '<' is not followed by whitespace. 84
Errors '>' is not preceded with whitespace. 84
Errors '>' is not followed by whitespace. 84
Errors '>' is not preceded with whitespace. 84
Errors '>' is not followed by whitespace. 84
Errors '<' is not preceded with whitespace. 85
Errors '<' is not followed by whitespace. 85
Errors '>' is not preceded with whitespace. 85
Errors '>' is not followed by whitespace. 85
Errors Line has trailing spaces. 92
Errors Line has trailing spaces. 96
Errors Line is longer than 80 characters. 102
Errors '<' is not preceded with whitespace. 102
Errors '<' is not followed by whitespace. 102
Errors ',' is not followed by whitespace. 102
Errors '<' is not preceded with whitespace. 102
Errors '<' is not followed by whitespace. 102
Errors '>' is not preceded with whitespace. 102
Errors '>' is not followed by whitespace. 102
Errors '>' is not preceded with whitespace. 102
Errors Missing a Javadoc comment. 107
Errors Line has trailing spaces. 114
Errors Line contains a tab character. 120
Errors Missing a Javadoc comment. 123
Errors Missing a Javadoc comment. 128

org/sat4j/csp/Var.java

Violation Message Line
Errors Line is longer than 80 characters. 2
Errors Missing a Javadoc comment. 26
Errors Missing a Javadoc comment. 28
Errors Missing a Javadoc comment. 30
Errors Missing a Javadoc comment. 32
Errors Missing a Javadoc comment. 34
Errors Parameter idvar should be final. 34
Errors Parameter domain should be final. 34
Errors 'domain' hides a field. 34
Errors Parameter lastvarnumber should be final. 34
Errors Line has trailing spaces. 42
Errors Method 'domain' is not designed for extension - needs to be abstract, final or empty. 45
Errors Missing a Javadoc comment. 45
Errors Line has trailing spaces. 51
Errors Method 'translate' is not designed for extension - needs to be abstract, final or empty. 54
Errors Missing a Javadoc comment. 54
Errors Parameter key should be final. 54
Errors Line has trailing spaces. 60
Errors Method 'toClause' is not designed for extension - needs to be abstract, final or empty. 63
Errors Missing a Javadoc comment. 63
Errors Parameter solver should be final. 63
Errors 'for' construct must use '{}'s. 65
Errors Method 'findValue' is not designed for extension - needs to be abstract, final or empty. 71
Errors Missing a Javadoc comment. 71
Errors Parameter model should be final. 71
Errors 'if' construct must use '{}'s. 74
Errors Line has trailing spaces. 82
Errors Method 'toString' is not designed for extension - needs to be abstract, final or empty. 85
Errors Missing a Javadoc comment. 85

org/sat4j/csp/constraints/AllDiff.java

Violation Message Line
Errors Line is longer than 80 characters. 2
Errors Missing a Javadoc comment. 31
Errors Method 'toClause' is not designed for extension - needs to be abstract, final or empty. 33
Errors Missing a Javadoc comment. 33
Errors Parameter solver should be final. 33
Errors Parameter scope should be final. 33
Errors '<' is not preceded with whitespace. 33
Errors '<' is not followed by whitespace. 33
Errors '>' is not preceded with whitespace. 33
Errors Parameter vars should be final. 33
Errors '<' is not preceded with whitespace. 33
Errors '<' is not followed by whitespace. 33
Errors '>' is not preceded with whitespace. 33
Errors ',' is not followed by whitespace. 37
Errors Line is longer than 80 characters. 45

org/sat4j/csp/constraints/BessiereSupports.java

Violation Message Line
Errors Line is longer than 80 characters. 2
Errors Missing a Javadoc comment. 26
Errors Missing a Javadoc comment. 28
Errors Parameter arity should be final. 28
Errors Parameter nbtuples should be final. 28
Errors Method 'chooseEncoding' is not designed for extension - needs to be abstract, final or empty. 32
Errors Missing a Javadoc comment. 32
Errors Parameter scope should be final. 33
Errors '<' is not preceded with whitespace. 33
Errors '<' is not followed by whitespace. 33
Errors '>' is not preceded with whitespace. 33

org/sat4j/csp/constraints/GentSupports.java

Violation Message Line
Errors Line is longer than 80 characters. 2
Errors Missing a Javadoc comment. 27
Errors Missing a Javadoc comment. 29
Errors Parameter arity should be final. 29
Errors Parameter nbtuples should be final. 29
Errors Method 'chooseEncoding' is not designed for extension - needs to be abstract, final or empty. 33
Errors Missing a Javadoc comment. 33
Errors Parameter scope should be final. 34
Errors '<' is not preceded with whitespace. 34
Errors '<' is not followed by whitespace. 34
Errors '>' is not preceded with whitespace. 34

org/sat4j/csp/constraints/Nogoods.java

Violation Message Line
Errors Line is longer than 80 characters. 2
Errors Missing a Javadoc comment. 29
Errors Missing a Javadoc comment. 31
Errors Missing a Javadoc comment. 33
Errors Missing a Javadoc comment. 35
Errors Parameter arity should be final. 35
Errors 'arity' hides a field. 35
Errors Parameter nbtuples should be final. 35
Errors Method 'addTuple' is not designed for extension - needs to be abstract, final or empty. 40
Errors Missing a Javadoc comment. 40
Errors Parameter index should be final. 40
Errors Parameter tuple should be final. 40
Errors Method 'toClause' is not designed for extension - needs to be abstract, final or empty. 44
Errors Missing a Javadoc comment. 44
Errors Parameter solver should be final. 44
Errors Parameter scope should be final. 44
Errors '<' is not preceded with whitespace. 44
Errors '<' is not followed by whitespace. 44
Errors '>' is not preceded with whitespace. 44
Errors Parameter vars should be final. 44
Errors '<' is not preceded with whitespace. 44
Errors '<' is not followed by whitespace. 44
Errors '>' is not preceded with whitespace. 44
Errors Method 'arity' is not designed for extension - needs to be abstract, final or empty. 56
Errors Missing a Javadoc comment. 56

org/sat4j/csp/constraints/Relation.java

Violation Message Line
Errors Line is longer than 80 characters. 2
Errors Line has trailing spaces. 25
Errors Line has trailing spaces. 27
Errors Missing a Javadoc comment. 30
Errors Missing a Javadoc comment. 32

org/sat4j/csp/constraints/Supports.java

Violation Message Line
Errors Line is longer than 80 characters. 2
Errors Missing a Javadoc comment. 32
Errors Missing a Javadoc comment. 34
Errors Missing a Javadoc comment. 36
Errors Missing a Javadoc comment. 38
Errors Missing a Javadoc comment. 40
Errors Missing a Javadoc comment. 42
Errors '<' is not preceded with whitespace. 42
Errors '<' is not followed by whitespace. 42
Errors '>' is not preceded with whitespace. 42
Errors Missing a Javadoc comment. 44
Errors Parameter arity should be final. 44
Errors 'arity' hides a field. 44
Errors Parameter nbtuples should be final. 44
Errors Method 'addTuple' is not designed for extension - needs to be abstract, final or empty. 49
Errors Missing a Javadoc comment. 49
Errors Parameter index should be final. 49
Errors Parameter tuple should be final. 49
Errors Method 'arity' is not designed for extension - needs to be abstract, final or empty. 53
Errors Missing a Javadoc comment. 53
Errors Method 'toClause' is not designed for extension - needs to be abstract, final or empty. 57
Errors Missing a Javadoc comment. 57
Errors Parameter solver should be final. 57
Errors Parameter scope should be final. 57
Errors '<' is not preceded with whitespace. 57
Errors '<' is not followed by whitespace. 57
Errors '>' is not preceded with whitespace. 57
Errors Parameter vars should be final. 57
Errors '<' is not preceded with whitespace. 57
Errors '<' is not followed by whitespace. 57
Errors '>' is not preceded with whitespace. 57
Errors '<' is not preceded with whitespace. 62
Errors '<' is not followed by whitespace. 62
Errors '>' is not preceded with whitespace. 62
Errors '>' is not followed by whitespace. 62
Errors Missing a Javadoc comment. 70
Errors '<' is not preceded with whitespace. 70
Errors '<' is not followed by whitespace. 70
Errors '>' is not preceded with whitespace. 70
Errors Missing a Javadoc comment. 72
Errors Parameter tuple should be final. 72
Errors Parameter n should be final. 72
Errors Parameter scope should be final. 72
Errors '<' is not preceded with whitespace. 72
Errors '<' is not followed by whitespace. 72
Errors '>' is not preceded with whitespace. 72
Errors Parameter solver should be final. 72
Errors Missing a Javadoc comment. 94
Errors Parameter tuple should be final. 94
Errors 'if' construct must use '{}'s. 110

org/sat4j/csp/constraints/WalshSupports.java

Violation Message Line
Errors Line is longer than 80 characters. 2
Errors Missing a Javadoc comment. 26
Errors Missing a Javadoc comment. 28
Errors Parameter arity should be final. 28
Errors Parameter nbtuples should be final. 28
Errors Method 'chooseEncoding' is not designed for extension - needs to be abstract, final or empty. 32
Errors Missing a Javadoc comment. 32
Errors Parameter scope should be final. 33
Errors '<' is not preceded with whitespace. 33
Errors '<' is not followed by whitespace. 33
Errors '>' is not preceded with whitespace. 33

org/sat4j/csp/encodings/BinarySupportEncoding.java

Violation Message Line
Errors Line is longer than 80 characters. 2
Errors Class BinarySupportEncoding should be declared as final. 34
Errors Missing a Javadoc comment. 34
Errors Line is longer than 80 characters. 36
Errors Missing a Javadoc comment. 36
Errors '<' is not preceded with whitespace. 36
Errors '<' is not followed by whitespace. 36
Errors '>' is not preceded with whitespace. 36
Errors '<' is not preceded with whitespace. 36
Errors '<' is not followed by whitespace. 36
Errors '>' is not preceded with whitespace. 36
Errors '>' is not followed by whitespace. 36
Errors Line is longer than 80 characters. 38
Errors Missing a Javadoc comment. 38
Errors '<' is not preceded with whitespace. 38
Errors '<' is not followed by whitespace. 38
Errors '>' is not preceded with whitespace. 38
Errors '<' is not preceded with whitespace. 38
Errors '<' is not followed by whitespace. 38
Errors '>' is not preceded with whitespace. 38
Errors '>' is not followed by whitespace. 38
Errors Missing a Javadoc comment. 40
Errors Name 'instance' must match pattern '^[A-Z][A-Z0-9]*(_[A-Z0-9]+)*$'. 40
Errors Missing a Javadoc comment. 42
Errors Missing a Javadoc comment. 46
Errors Missing a Javadoc comment. 50
Errors Parameter solver should be final. 50
Errors Parameter scope should be final. 50
Errors '<' is not preceded with whitespace. 50
Errors '<' is not followed by whitespace. 50
Errors '>' is not preceded with whitespace. 50
Errors Missing a Javadoc comment. 57
Errors Parameter solver should be final. 57
Errors Parameter scope should be final. 57
Errors '<' is not preceded with whitespace. 57
Errors '<' is not followed by whitespace. 57
Errors '>' is not preceded with whitespace. 57
Errors Missing a Javadoc comment. 62
Errors Parameter solver should be final. 62
Errors Parameter scope should be final. 62
Errors '<' is not preceded with whitespace. 62
Errors '<' is not followed by whitespace. 62
Errors '>' is not preceded with whitespace. 62
Errors Parameter tuple should be final. 63
Errors '<' is not preceded with whitespace. 63
Errors '<' is not followed by whitespace. 63
Errors '>' is not preceded with whitespace. 63
Errors Missing a Javadoc comment. 66
Errors Parameter solver should be final. 66
Errors Parameter scope should be final. 66
Errors '<' is not preceded with whitespace. 66
Errors '<' is not followed by whitespace. 66
Errors '>' is not preceded with whitespace. 66
Errors Parameter tuple should be final. 67
Errors '<' is not preceded with whitespace. 67
Errors '<' is not followed by whitespace. 67
Errors '>' is not preceded with whitespace. 67
Errors Missing a Javadoc comment. 76
Errors Parameter head should be final. 76
Errors Parameter v should be final. 76
Errors Parameter value should be final. 76
Errors Parameter supports should be final. 77
Errors '<' is not preceded with whitespace. 77
Errors '<' is not followed by whitespace. 77
Errors '>' is not preceded with whitespace. 77
Errors Missing a Javadoc comment. 86
Errors Parameter v should be final. 86
Errors Parameter supports should be final. 86
Errors '<' is not preceded with whitespace. 86
Errors '<' is not followed by whitespace. 86
Errors '>' is not preceded with whitespace. 86
Errors Parameter solver should be final. 87
Errors ';' is preceded with whitespace. 89
Errors 'for' construct must use '{}'s. 95
Errors Line is longer than 80 characters. 95
Errors ';' is preceded with whitespace. 95

org/sat4j/csp/encodings/DirectEncoding.java

Violation Message Line
Errors Line is longer than 80 characters. 2
Errors Class DirectEncoding should be declared as final. 32
Errors Missing a Javadoc comment. 32
Errors Missing a Javadoc comment. 34
Errors Missing a Javadoc comment. 36
Errors Name 'instance' must match pattern '^[A-Z][A-Z0-9]*(_[A-Z0-9]+)*$'. 36
Errors Missing a Javadoc comment. 38
Errors Missing a Javadoc comment. 42
Errors Missing a Javadoc comment. 46
Errors Parameter solver should be final. 46
Errors Parameter scope should be final. 46
Errors '<' is not preceded with whitespace. 46
Errors '<' is not followed by whitespace. 46
Errors '>' is not preceded with whitespace. 46
Errors Missing a Javadoc comment. 49
Errors Parameter solver should be final. 49
Errors Parameter scope should be final. 49
Errors '<' is not preceded with whitespace. 49
Errors '<' is not followed by whitespace. 49
Errors '>' is not preceded with whitespace. 49
Errors Missing a Javadoc comment. 52
Errors Parameter solver should be final. 52
Errors Parameter scope should be final. 52
Errors '<' is not preceded with whitespace. 52
Errors '<' is not followed by whitespace. 52
Errors '>' is not preceded with whitespace. 52
Errors Parameter tuple should be final. 53
Errors '<' is not preceded with whitespace. 53
Errors '<' is not followed by whitespace. 53
Errors '>' is not preceded with whitespace. 53
Errors Missing a Javadoc comment. 64
Errors Parameter solver should be final. 64
Errors Parameter scope should be final. 64
Errors '<' is not preceded with whitespace. 64
Errors '<' is not followed by whitespace. 64
Errors '>' is not preceded with whitespace. 64
Errors Parameter tuple should be final. 65
Errors '<' is not preceded with whitespace. 65
Errors '<' is not followed by whitespace. 65
Errors '>' is not preceded with whitespace. 65

org/sat4j/csp/encodings/GeneralizedSupportEncoding.java

Violation Message Line
Errors Line is longer than 80 characters. 2
Errors Class GeneralizedSupportEncoding should be declared as final. 36
Errors Missing a Javadoc comment. 36
Errors Line is longer than 80 characters. 38
Errors Missing a Javadoc comment. 38
Errors '<' is not preceded with whitespace. 38
Errors '<' is not followed by whitespace. 38
Errors '<' is not preceded with whitespace. 38
Errors '<' is not followed by whitespace. 38
Errors '>' is not preceded with whitespace. 38
Errors '>' is not followed by whitespace. 38
Errors '>' is not preceded with whitespace. 38
Errors '<' is not preceded with whitespace. 38
Errors '<' is not followed by whitespace. 38
Errors '<' is not preceded with whitespace. 38
Errors '<' is not followed by whitespace. 38
Errors '>' is not preceded with whitespace. 38
Errors '>' is not followed by whitespace. 38
Errors '>' is not preceded with whitespace. 38
Errors '>' is not followed by whitespace. 38
Errors Missing a Javadoc comment. 40
Errors Name 'instance' must match pattern '^[A-Z][A-Z0-9]*(_[A-Z0-9]+)*$'. 40
Errors Missing a Javadoc comment. 42
Errors Missing a Javadoc comment. 46
Errors Missing a Javadoc comment. 50
Errors Parameter solver should be final. 50
Errors Parameter scope should be final. 50
Errors '<' is not preceded with whitespace. 50
Errors '<' is not followed by whitespace. 50
Errors '>' is not preceded with whitespace. 50
Errors Missing a Javadoc comment. 56
Errors Parameter solver should be final. 56
Errors Parameter scope should be final. 56
Errors '<' is not preceded with whitespace. 56
Errors '<' is not followed by whitespace. 56
Errors '>' is not preceded with whitespace. 56
Errors Missing a Javadoc comment. 62
Errors Parameter solver should be final. 62
Errors Parameter scope should be final. 62
Errors '<' is not preceded with whitespace. 62
Errors '<' is not followed by whitespace. 62
Errors '>' is not preceded with whitespace. 62
Errors Parameter tuple should be final. 63
Errors '<' is not preceded with whitespace. 63
Errors '<' is not followed by whitespace. 63
Errors '>' is not preceded with whitespace. 63
Errors Missing a Javadoc comment. 67
Errors Parameter solver should be final. 67
Errors Parameter scope should be final. 67
Errors '<' is not preceded with whitespace. 67
Errors '<' is not followed by whitespace. 67
Errors '>' is not preceded with whitespace. 67
Errors Parameter tuple should be final. 68
Errors '<' is not preceded with whitespace. 68
Errors '<' is not followed by whitespace. 68
Errors '>' is not preceded with whitespace. 68
Errors '<' is not preceded with whitespace. 70
Errors '<' is not followed by whitespace. 70
Errors '>' is not preceded with whitespace. 70
Errors '<' is not preceded with whitespace. 70
Errors '<' is not followed by whitespace. 70
Errors '>' is not preceded with whitespace. 70
Errors '>' is not followed by whitespace. 70
Errors Missing a Javadoc comment. 84
Errors Parameter n should be final. 84
Errors Parameter scope should be final. 84
Errors '<' is not preceded with whitespace. 84
Errors '<' is not followed by whitespace. 84
Errors '>' is not preceded with whitespace. 84
Errors Parameter acc should be final. 84
Errors Parameter theSupports should be final. 85
Errors '<' is not preceded with whitespace. 85
Errors '<' is not followed by whitespace. 85
Errors '<' is not preceded with whitespace. 85
Errors '<' is not followed by whitespace. 85
Errors '>' is not preceded with whitespace. 85
Errors '>' is not followed by whitespace. 85
Errors '>' is not preceded with whitespace. 85
Errors '<' is not preceded with whitespace. 88
Errors '<' is not followed by whitespace. 88
Errors '>' is not preceded with whitespace. 88
Errors '<' is not preceded with whitespace. 88
Errors '<' is not followed by whitespace. 88
Errors '>' is not preceded with whitespace. 88
Errors '>' is not followed by whitespace. 88
Errors 'for' construct must use '{}'s. 89
Errors 'if' construct must use '{}'s. 90
Errors 'else' construct must use '{}'s. 94
Errors Line is longer than 80 characters. 95
Errors ';' is preceded with whitespace. 95

org/sat4j/csp/encodings/package.html

Violation Message Line
Errors Missing package documentation file. 0

org/sat4j/reader/CSPExtSupportReader.java

Violation Message Line
Errors Line is longer than 80 characters. 2
Errors Missing a Javadoc comment. 24
Errors Missing a Javadoc comment. 26
Errors Parameter solver should be final. 26
Errors Method 'manageAllowedTuples' is not designed for extension - needs to be abstract, final or empty. 30
Errors Missing a Javadoc comment. 30
Errors Parameter relnum should be final. 31
Errors Parameter arity should be final. 31
Errors Parameter nbtuples should be final. 31

org/sat4j/reader/CSPInstanceReader.java

Violation Message Line
Errors Line is longer than 80 characters. 2
Errors Line has trailing spaces. 34
Errors Missing a Javadoc comment. 39
Errors Missing a Javadoc comment. 41
Errors Missing a Javadoc comment. 43
Errors Missing a Javadoc comment. 45
Errors Missing a Javadoc comment. 47
Errors Missing a Javadoc comment. 49
Errors Missing a Javadoc comment. 51
Errors Parameter solver should be final. 51
Errors 'solver' hides a field. 51
Errors Missing a Javadoc comment. 57
Errors Missing a Javadoc comment. 64
Errors Missing a Javadoc comment. 71
Errors Missing a Javadoc comment. 78
Errors Line has trailing spaces. 85
Errors Method 'parseInstance' is not designed for extension - needs to be abstract, final or empty. 86
Errors Missing a Javadoc comment. 86
Errors Parameter filename should be final. 87
Errors Redundant throws: 'FileNotFoundException' is subclass of 'IOException'. 88
Errors '}' should be alone on a line. 121
Errors Line has trailing spaces. 126
Errors Method 'decode' is not designed for extension - needs to be abstract, final or empty. 133
Errors Missing a Javadoc comment. 133
Errors Parameter model should be final. 135
Errors Method 'decode' is not designed for extension - needs to be abstract, final or empty. 139
Errors Missing a Javadoc comment. 139
Errors Parameter model should be final. 140
Errors Parameter out should be final. 140
Errors Method 'parseInstance' is not designed for extension - needs to be abstract, final or empty. 144
Errors Missing a Javadoc comment. 144
Errors Parameter in should be final. 145

org/sat4j/reader/CSPReader.java

Violation Message Line
Errors Line has trailing spaces. 51
Errors Line has trailing spaces. 55
Errors Line has trailing spaces. 57
Errors Line is longer than 80 characters. 59
Errors Missing a Javadoc comment. 61
Errors Missing a Javadoc comment. 65
Errors Variable 'relations' must be private and have accessor methods. 65
Errors Missing a Javadoc comment. 67
Errors Missing a Javadoc comment. 71
Errors Missing a Javadoc comment. 73
Errors Missing a Javadoc comment. 75
Errors Missing a Javadoc comment. 77
Errors Missing a Javadoc comment. 79
Errors Line is longer than 80 characters. 81
Errors Missing a Javadoc comment. 81
Errors '<' is not preceded with whitespace. 81
Errors '<' is not followed by whitespace. 81
Errors '>' is not preceded with whitespace. 81
Errors '<' is not preceded with whitespace. 81
Errors '<' is not followed by whitespace. 81
Errors '>' is not preceded with whitespace. 81
Errors '>' is not followed by whitespace. 81
Errors Line is longer than 80 characters. 83
Errors Missing a Javadoc comment. 83
Errors '<' is not preceded with whitespace. 83
Errors '<' is not followed by whitespace. 83
Errors '>' is not preceded with whitespace. 83
Errors '<' is not preceded with whitespace. 83
Errors '<' is not followed by whitespace. 83
Errors '>' is not preceded with whitespace. 83
Errors '>' is not followed by whitespace. 83
Errors Line is longer than 80 characters. 85
Errors Missing a Javadoc comment. 85
Errors '<' is not preceded with whitespace. 85
Errors '<' is not followed by whitespace. 85
Errors '>' is not preceded with whitespace. 85
Errors '<' is not preceded with whitespace. 85
Errors '<' is not followed by whitespace. 85
Errors '>' is not preceded with whitespace. 85
Errors '>' is not followed by whitespace. 85
Errors Line is longer than 80 characters. 87
Errors Missing a Javadoc comment. 87
Errors '<' is not preceded with whitespace. 87
Errors '<' is not followed by whitespace. 87
Errors '>' is not preceded with whitespace. 87
Errors '<' is not preceded with whitespace. 87
Errors '<' is not followed by whitespace. 87
Errors '>' is not preceded with whitespace. 87
Errors '>' is not followed by whitespace. 87
Errors Missing a Javadoc comment. 89
Errors Missing a Javadoc comment. 91
Errors Missing a Javadoc comment. 93
Errors Missing a Javadoc comment. 95
Errors Missing a Javadoc comment. 97
Errors '<' is not preceded with whitespace. 97
Errors '<' is not followed by whitespace. 97
Errors '>' is not preceded with whitespace. 97
Errors '<' is not preceded with whitespace. 97
Errors '<' is not followed by whitespace. 97
Errors '>' is not preceded with whitespace. 97
Errors '>' is not followed by whitespace. 97
Errors Missing a Javadoc comment. 99
Errors '<' is not preceded with whitespace. 99
Errors '<' is not followed by whitespace. 99
Errors '>' is not preceded with whitespace. 99
Errors '<' is not preceded with whitespace. 99
Errors '<' is not followed by whitespace. 99
Errors '>' is not preceded with whitespace. 99
Errors '>' is not followed by whitespace. 99
Errors Missing a Javadoc comment. 101
Errors Missing a Javadoc comment. 103
Errors Missing a Javadoc comment. 105
Errors Missing a Javadoc comment. 107
Errors Parameter solver should be final. 107
Errors 'solver' hides a field. 107
Errors Line has trailing spaces. 109
Errors Line is longer than 80 characters. 110
Errors ',' is not followed by whitespace. 110
Errors ',' is not followed by whitespace. 111
Errors Missing a Javadoc comment. 114
Errors Missing a Javadoc comment. 121
Errors Parameter in should be final. 121
Errors Method 'decode' is not designed for extension - needs to be abstract, final or empty. 133
Errors Missing a Javadoc comment. 133
Errors Parameter model should be final. 134
Errors Parameter out should be final. 134
Errors Method 'decode' is not designed for extension - needs to be abstract, final or empty. 142
Errors Missing a Javadoc comment. 142
Errors Parameter model should be final. 143
Errors Missing a Javadoc comment. 153
Errors Parameter in should be final. 153
Errors Avoid inline conditionals. 197
Errors Method 'manageAllowedTuples' is not designed for extension - needs to be abstract, final or empty. 231
Errors Missing a Javadoc comment. 231
Errors Parameter relnum should be final. 231
Errors Parameter arity should be final. 231
Errors Parameter nbtuples should be final. 231
Errors Missing a Javadoc comment. 242
Errors Parameter input should be final. 242
Errors Missing a Javadoc comment. 247
Errors Parameter input should be final. 247
Errors Parameter size should be final. 247
Errors 'for' construct must use '{}'s. 249
Errors Method 'beginInstance' is not designed for extension - needs to be abstract, final or empty. 254
Errors Missing a Javadoc comment. 254
Errors Parameter arg0 should be final. 254
Errors Method 'beginDomainsSection' is not designed for extension - needs to be abstract, final or empty. 258
Errors Missing a Javadoc comment. 258
Errors Parameter nbdomain should be final. 258
Errors Method 'beginDomain' is not designed for extension - needs to be abstract, final or empty. 262
Errors Missing a Javadoc comment. 262
Errors Parameter id should be final. 262
Errors Parameter size should be final. 262
Errors Method 'addDomainValue' is not designed for extension - needs to be abstract, final or empty. 270
Errors Missing a Javadoc comment. 270
Errors Parameter arg0 should be final. 270
Errors 'for' construct must use '{}'s. 275
Errors Method 'addDomainValue' is not designed for extension - needs to be abstract, final or empty. 282
Errors Missing a Javadoc comment. 282
Errors Parameter begin should be final. 282
Errors Parameter end should be final. 282
Errors 'if' construct must use '{}'s. 283
Errors 'for' construct must use '{}'s. 289
Errors Method 'endDomain' is not designed for extension - needs to be abstract, final or empty. 294
Errors Missing a Javadoc comment. 294
Errors 'if' construct must use '{}'s. 296
Errors 'else' construct must use '{}'s. 299
Errors Method 'endDomainsSection' is not designed for extension - needs to be abstract, final or empty. 303
Errors Missing a Javadoc comment. 303
Errors Method 'beginVariablesSection' is not designed for extension - needs to be abstract, final or empty. 307
Errors Missing a Javadoc comment. 307
Errors Parameter expectedNumberOfVariables should be final. 307
Errors Method 'addVariable' is not designed for extension - needs to be abstract, final or empty. 313
Errors Missing a Javadoc comment. 313
Errors Parameter idvar should be final. 313
Errors Parameter iddomain should be final. 313
Errors 'if' construct must use '{}'s. 317
Errors Method 'endVariablesSection' is not designed for extension - needs to be abstract, final or empty. 323
Errors Missing a Javadoc comment. 323
Errors 'if' construct must use '{}'s. 324
Errors 'else' construct must use '{}'s. 326
Errors Method 'beginRelationsSection' is not designed for extension - needs to be abstract, final or empty. 339
Errors Missing a Javadoc comment. 339
Errors Parameter nbrel should be final. 339
Errors Method 'beginRelation' is not designed for extension - needs to be abstract, final or empty. 345
Errors Missing a Javadoc comment. 345
Errors Parameter name should be final. 345
Errors Parameter arity should be final. 345
Errors Parameter nbTuples should be final. 345
Errors Parameter isSupport should be final. 346
Errors 'if' construct must use '{}'s. 348
Errors Method 'addRelationTuple' is not designed for extension - needs to be abstract, final or empty. 359
Errors Missing a Javadoc comment. 359
Errors Parameter tuple should be final. 359
Errors Missing a Javadoc comment. 363
Errors Method 'endRelationsSection' is not designed for extension - needs to be abstract, final or empty. 366
Errors Missing a Javadoc comment. 366
Errors 'if' construct must use '{}'s. 367
Errors 'else' construct must use '{}'s. 370
Errors Method 'beginPredicatesSection' is not designed for extension - needs to be abstract, final or empty. 374
Errors Missing a Javadoc comment. 374
Errors Parameter arg0 should be final. 374
Errors Method 'beginPredicate' is not designed for extension - needs to be abstract, final or empty. 378
Errors Missing a Javadoc comment. 378
Errors Parameter name should be final. 378
Errors 'if' construct must use '{}'s. 381
Errors Method 'addFormalParameter' is not designed for extension - needs to be abstract, final or empty. 385
Errors Missing a Javadoc comment. 385
Errors Parameter name should be final. 385
Errors Parameter type should be final. 385
Errors Method 'predicateExpression' is not designed for extension - needs to be abstract, final or empty. 390
Errors Missing a Javadoc comment. 390
Errors Parameter expr should be final. 390
Errors Missing a Javadoc comment. 394
Errors Method 'endPredicatesSection' is not designed for extension - needs to be abstract, final or empty. 398
Errors Missing a Javadoc comment. 398
Errors 'if' construct must use '{}'s. 399
Errors 'else' construct must use '{}'s. 402
Errors Method 'beginConstraintsSection' is not designed for extension - needs to be abstract, final or empty. 406
Errors Missing a Javadoc comment. 406
Errors Parameter arg0 should be final. 406
Errors Method 'beginConstraint' is not designed for extension - needs to be abstract, final or empty. 412
Errors Missing a Javadoc comment. 412
Errors Parameter name should be final. 412
Errors Parameter arity should be final. 412
Errors 'if' construct must use '{}'s. 417
Errors '100' is a magic number. 419
Errors Method 'constraintReference' is not designed for extension - needs to be abstract, final or empty. 422
Errors Missing a Javadoc comment. 422
Errors Parameter ref should be final. 422
Errors '==' is not followed by whitespace. 429
Errors Line is longer than 80 characters. 430
Errors Line contains a tab character. 430
Errors '+' is not preceded with whitespace. 430
Errors '+' is not followed by whitespace. 430
Errors Method 'addVariableToConstraint' is not designed for extension - needs to be abstract, final or empty. 434
Errors Missing a Javadoc comment. 434
Errors Parameter arg0 should be final. 434
Errors Method 'addEffectiveParameter' is not designed for extension - needs to be abstract, final or empty. 438
Errors Missing a Javadoc comment. 438
Errors Parameter arg0 should be final. 438
Errors Method 'addEffectiveParameter' is not designed for extension - needs to be abstract, final or empty. 442
Errors Missing a Javadoc comment. 442
Errors Parameter arg0 should be final. 442
Errors Method 'beginParameterList' is not designed for extension - needs to be abstract, final or empty. 446
Errors Missing a Javadoc comment. 446
Errors Missing a Javadoc comment. 452
Errors Parameter arg0 should be final. 452
Errors Missing a Javadoc comment. 457
Errors Parameter arg0 should be final. 457
Errors Missing a Javadoc comment. 462
Errors Method 'addConstantParameter' is not designed for extension - needs to be abstract, final or empty. 467
Errors Missing a Javadoc comment. 467
Errors Parameter arg0 should be final. 467
Errors Parameter arg1 should be final. 467
Errors Method 'constraintExpression' is not designed for extension - needs to be abstract, final or empty. 472
Errors Missing a Javadoc comment. 472
Errors Parameter arg0 should be final. 472
Errors Method 'endConstraint' is not designed for extension - needs to be abstract, final or empty. 477
Errors Missing a Javadoc comment. 477
Errors Method 'endConstraintsSection' is not designed for extension - needs to be abstract, final or empty. 485
Errors Missing a Javadoc comment. 485
Errors 'if' construct must use '{}'s. 486
Errors 'else' construct must use '{}'s. 488
Errors Missing a Javadoc comment. 492
Errors Method 'getProblem' is not designed for extension - needs to be abstract, final or empty. 496
Errors Missing a Javadoc comment. 496

org/sat4j/reader/CSPSupportReader.java

Violation Message Line
Errors Line is longer than 80 characters. 2
Errors Missing a Javadoc comment. 24
Errors Missing a Javadoc comment. 26
Errors Parameter solver should be final. 26
Errors Method 'manageAllowedTuples' is not designed for extension - needs to be abstract, final or empty. 30
Errors Missing a Javadoc comment. 30
Errors Parameter relnum should be final. 31
Errors Parameter arity should be final. 31
Errors Parameter nbtuples should be final. 31

org/sat4j/reader/XMLCSPReader.java

Violation Message Line
Errors Line is longer than 80 characters. 2
Errors Missing a Javadoc comment. 34
Errors Missing a Javadoc comment. 36
Errors Missing a Javadoc comment. 38
Errors Parameter solver should be final. 38
Errors Method 'decode' is not designed for extension - needs to be abstract, final or empty. 42
Errors Missing a Javadoc comment. 42
Errors Parameter model should be final. 43
Errors Method 'decode' is not designed for extension - needs to be abstract, final or empty. 47
Errors Missing a Javadoc comment. 47
Errors Parameter model should be final. 48
Errors Parameter out should be final. 48
Errors Line has trailing spaces. 54
Errors Method 'parseInstance' is not designed for extension - needs to be abstract, final or empty. 57
Errors Missing a Javadoc comment. 57
Errors Parameter filename should be final. 58
Errors Redundant throws: 'FileNotFoundException' is subclass of 'IOException'. 59
Errors Method 'parseInstance' is not designed for extension - needs to be abstract, final or empty. 71
Errors Missing a Javadoc comment. 71
Errors Parameter in should be final. 72
Errors Line has trailing spaces. 79
Errors Method 'setVerbosity' is not designed for extension - needs to be abstract, final or empty. 82
Errors Missing a Javadoc comment. 82
Errors Parameter b should be final. 83

org/sat4j/reader/package.html

Violation Message Line
Errors Missing package documentation file. 0