The following document contains the results of Checkstyle. 
| Rules | Violations | Severity |
|---|---|---|
JavadocPackage
| 2 |  Error |
| NewlineAtEndOfFile | 0 | Error |
| Translation | 0 | Error |
| FileLength | 0 | Error |
FileTabCharacter
| 72 | Error |
RegexpSingleline
| 35 | Error |
| JavadocMethod | 132 | Error |
| JavadocType | 21 | Error |
| JavadocVariable | 60 | Error |
| JavadocStyle | 0 | Error |
| ConstantName | 3 | Error |
| LocalFinalVariableName | 0 | Error |
| LocalVariableName | 0 | Error |
| MemberName | 0 | Error |
| MethodName | 0 | Error |
| PackageName | 0 | Error |
| ParameterName | 0 | Error |
| StaticVariableName | 0 | Error |
| TypeName | 0 | Error |
| AvoidStarImport | 0 | Error |
| IllegalImport | 0 | Error |
| RedundantImport | 0 | Error |
| UnusedImports | 0 | Error |
| LineLength | 50 | Error |
| MethodLength | 0 | Error |
| ParameterNumber | 0 | Error |
| EmptyForIteratorPad | 0 | Error |
| MethodParamPad | 0 | Error |
| NoWhitespaceAfter | 0 | Error |
| NoWhitespaceBefore | 3 | Error |
| OperatorWrap | 0 | Error |
| ParenPad | 0 | Error |
| TypecastParenPad | 0 | Error |
| WhitespaceAfter | 3 | Error |
| WhitespaceAround | 3 | Error |
| ModifierOrder | 0 | Error |
| RedundantModifier | 1 | Error |
| AvoidNestedBlocks | 0 | Error |
| EmptyBlock | 0 | Error |
| LeftCurly | 0 | Error |
| NeedBraces | 30 | Error |
| RightCurly | 1 | Error |
| AvoidInlineConditionals | 1 | Error |
| DoubleCheckedLocking | 0 | Error |
| EmptyStatement | 0 | Error |
| EqualsHashCode | 0 | Error |
| HiddenField | 10 | Error |
| IllegalInstantiation | 0 | Error |
| InnerAssignment | 0 | Error |
| MagicNumber | 1 | Error |
| MissingSwitchDefault | 0 | Error |
| RedundantThrows | 2 | Error |
| SimplifyBooleanExpression | 0 | Error |
| SimplifyBooleanReturn | 0 | Error |
| DesignForExtension | 86 | Error |
| FinalClass | 4 | Error |
| HideUtilityClassConstructor | 0 | Error |
| InterfaceIsType | 0 | Error |
| VisibilityModifier | 1 | Error |
| ArrayTypeStyle | 0 | Error |
| FinalParameters | 172 | Error |
| TodoComment | 0 | Error |
| UpperEll | 0 | Error |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line is longer than 80 characters. | 18 |
| Missing a Javadoc comment. | 27 |
| Line contains a tab character. | 29 |
| Line has trailing spaces. | 30 |
| Line contains a tab character. | 32 |
| Line contains a tab character. | 34 |
| Line contains a tab character. | 35 |
| Line has trailing spaces. | 36 |
| Line contains a tab character. | 36 |
| Line contains a tab character. | 37 |
| Line contains a tab character. | 38 |
| Line contains a tab character. | 39 |
| Method 'configureSolver' is not designed for extension - needs to be abstract, final or empty. | 39 |
| Line contains a tab character. | 40 |
| Parameter args should be final. | 40 |
| Line contains a tab character. | 41 |
| Line contains a tab character. | 42 |
| Line contains a tab character. | 43 |
| Line contains a tab character. | 44 |
| Line contains a tab character. | 46 |
| Line contains a tab character. | 47 |
| Line has trailing spaces. | 48 |
| Line contains a tab character. | 48 |
| Line contains a tab character. | 49 |
| Line contains a tab character. | 50 |
| Line contains a tab character. | 51 |
| Method 'createReader' is not designed for extension - needs to be abstract, final or empty. | 51 |
| Line is longer than 80 characters. | 52 |
| Line contains a tab character. | 52 |
| Line contains a tab character. | 53 |
| Line contains a tab character. | 54 |
| Line contains a tab character. | 55 |
| Line contains a tab character. | 56 |
| Line contains a tab character. | 57 |
| Line contains a tab character. | 58 |
| Line contains a tab character. | 59 |
| Line contains a tab character. | 60 |
| Line contains a tab character. | 61 |
| Line contains a tab character. | 62 |
| Line contains a tab character. | 63 |
| Line contains a tab character. | 64 |
| Line contains a tab character. | 65 |
| Line contains a tab character. | 67 |
| Missing a Javadoc comment. | 67 |
| Parameter args should be final. | 67 |
| Line contains a tab character. | 68 |
| Line contains a tab character. | 69 |
| Line contains a tab character. | 70 |
| Line contains a tab character. | 71 |
| Line contains a tab character. | 72 |
| Line contains a tab character. | 73 |
| Line contains a tab character. | 74 |
| Line contains a tab character. | 75 |
| Line contains a tab character. | 76 |
| Line contains a tab character. | 77 |
| Line contains a tab character. | 78 |
| Line contains a tab character. | 80 |
| Method 'displayLicense' is not designed for extension - needs to be abstract, final or empty. | 80 |
| Line contains a tab character. | 81 |
| Line contains a tab character. | 82 |
| Line is longer than 80 characters. | 83 |
| Line contains a tab character. | 83 |
| Line contains a tab character. | 84 |
| Line contains a tab character. | 86 |
| Method 'usage' is not designed for extension - needs to be abstract, final or empty. | 86 |
| Line contains a tab character. | 87 |
| Line is longer than 80 characters. | 88 |
| Line contains a tab character. | 88 |
| Line contains a tab character. | 89 |
| Line contains a tab character. | 91 |
| Method 'getInstanceName' is not designed for extension - needs to be abstract, final or empty. | 91 |
| Line contains a tab character. | 92 |
| Parameter args should be final. | 92 |
| Line contains a tab character. | 93 |
| Line contains a tab character. | 94 |
| Line contains a tab character. | 95 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Missing a Javadoc comment. | 25 |
| Missing a Javadoc comment. | 27 |
| Redundant 'public' modifier. | 27 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Missing a Javadoc comment. | 24 |
| Missing a Javadoc comment. | 26 |
| Missing a Javadoc comment. | 28 |
| Missing a Javadoc comment. | 30 |
| Parameter value should be final. | 30 |
| 'value' hides a field. | 30 |
| Method 'domain' is not designed for extension - needs to be abstract, final or empty. | 35 |
| Missing a Javadoc comment. | 35 |
| Method 'translate' is not designed for extension - needs to be abstract, final or empty. | 39 |
| Missing a Javadoc comment. | 39 |
| Parameter key should be final. | 39 |
| Method 'toClause' is not designed for extension - needs to be abstract, final or empty. | 43 |
| Missing a Javadoc comment. | 43 |
| Parameter solver should be final. | 43 |
| Line has trailing spaces. | 49 |
| Method 'toString' is not designed for extension - needs to be abstract, final or empty. | 52 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Missing a Javadoc comment. | 23 |
| Missing a Javadoc comment. | 25 |
| Missing a Javadoc comment. | 27 |
| Missing a Javadoc comment. | 29 |
| Line has trailing spaces. | 30 |
| Missing a Javadoc comment. | 31 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Missing a Javadoc comment. | 27 |
| Missing a Javadoc comment. | 29 |
| Line is longer than 80 characters. | 31 |
| Missing a Javadoc comment. | 31 |
| Missing a Javadoc comment. | 34 |
| Missing a Javadoc comment. | 37 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Missing a Javadoc comment. | 25 |
| Missing a Javadoc comment. | 27 |
| Missing a Javadoc comment. | 29 |
| Parameter values should be final. | 29 |
| 'values' hides a field. | 29 |
| Method 'get' is not designed for extension - needs to be abstract, final or empty. | 33 |
| Missing a Javadoc comment. | 33 |
| Parameter i should be final. | 33 |
| Method 'size' is not designed for extension - needs to be abstract, final or empty. | 37 |
| Missing a Javadoc comment. | 37 |
| Method 'iterator' is not designed for extension - needs to be abstract, final or empty. | 41 |
| Missing a Javadoc comment. | 41 |
| 'if' construct must use '{}'s. | 50 |
| Method 'pos' is not designed for extension - needs to be abstract, final or empty. | 57 |
| Missing a Javadoc comment. | 57 |
| Parameter value should be final. | 57 |
| 'for' construct must use '{}'s. | 58 |
| 'if' construct must use '{}'s. | 59 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Missing a Javadoc comment. | 24 |
| Line has trailing spaces. | 28 |
| Line has trailing spaces. | 35 |
| Line has trailing spaces. | 45 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 40 |
| Missing a Javadoc comment. | 45 |
| Missing a Javadoc comment. | 47 |
| Missing a Javadoc comment. | 49 |
| Missing a Javadoc comment. | 51 |
| Missing a Javadoc comment. | 53 |
| Line has trailing spaces. | 56 |
| Missing a Javadoc comment. | 70 |
| Method 'setExpression' is not designed for extension - needs to be abstract, final or empty. | 73 |
| Missing a Javadoc comment. | 73 |
| Parameter expr should be final. | 73 |
| 'expr' hides a field. | 73 |
| Method 'addVariable' is not designed for extension - needs to be abstract, final or empty. | 77 |
| Missing a Javadoc comment. | 77 |
| Parameter name should be final. | 77 |
| Missing a Javadoc comment. | 81 |
| Parameter values should be final. | 81 |
| Method 'toClause' is not designed for extension - needs to be abstract, final or empty. | 90 |
| Missing a Javadoc comment. | 90 |
| Parameter solver should be final. | 90 |
| Parameter vscope should be final. | 90 |
| Parameter vars should be final. | 90 |
| Line is longer than 80 characters. | 107 |
| Missing a Javadoc comment. | 107 |
| Missing a Javadoc comment. | 109 |
| Missing a Javadoc comment. | 111 |
| Parameter tuple should be final. | 111 |
| Parameter n should be final. | 111 |
| Parameter theScope should be final. | 111 |
| Line is longer than 80 characters. | 112 |
| Parameter vars should be final. | 112 |
| Parameter solver should be final. | 112 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Missing a Javadoc comment. | 25 |
| Missing a Javadoc comment. | 27 |
| Missing a Javadoc comment. | 29 |
| Missing a Javadoc comment. | 31 |
| Missing a Javadoc comment. | 33 |
| Parameter begin should be final. | 33 |
| 'begin' hides a field. | 33 |
| Parameter end should be final. | 33 |
| 'end' hides a field. | 33 |
| Method 'get' is not designed for extension - needs to be abstract, final or empty. | 39 |
| Missing a Javadoc comment. | 39 |
| Parameter i should be final. | 39 |
| Method 'size' is not designed for extension - needs to be abstract, final or empty. | 44 |
| Missing a Javadoc comment. | 44 |
| Method 'iterator' is not designed for extension - needs to be abstract, final or empty. | 48 |
| Missing a Javadoc comment. | 48 |
| 'if' construct must use '{}'s. | 57 |
| Method 'pos' is not designed for extension - needs to be abstract, final or empty. | 64 |
| Missing a Javadoc comment. | 64 |
| Parameter value should be final. | 64 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 27 |
| Missing a Javadoc comment. | 32 |
| Missing a Javadoc comment. | 34 |
| Parameter v should be final. | 34 |
| Method 'get' is not designed for extension - needs to be abstract, final or empty. | 38 |
| Missing a Javadoc comment. | 38 |
| Parameter i should be final. | 38 |
| Method 'size' is not designed for extension - needs to be abstract, final or empty. | 45 |
| Missing a Javadoc comment. | 45 |
| Method 'iterator' is not designed for extension - needs to be abstract, final or empty. | 49 |
| Missing a Javadoc comment. | 49 |
| 'if' construct must use '{}'s. | 58 |
| Method 'pos' is not designed for extension - needs to be abstract, final or empty. | 65 |
| Missing a Javadoc comment. | 65 |
| Parameter theValue should be final. | 65 |
| Violation | Message | Line |
|---|---|---|
| Line has trailing spaces. | 34 |
| Class SolverFactory should be declared as final. | 37 |
| Line has trailing spaces. | 40 |
| Missing a Javadoc comment. | 45 |
| Line has trailing spaces. | 49 |
| Missing a Javadoc comment. | 56 |
| Line has trailing spaces. | 64 |
| Expected @param tag for '<L>'. | 79 |
| Parameter dsf should be final. | 80 |
| Line is longer than 80 characters. | 81 |
| Line is longer than 80 characters. | 82 |
| Line has trailing spaces. | 90 |
| Line has trailing spaces. | 94 |
| Line is longer than 80 characters. | 100 |
| Line has trailing spaces. | 112 |
| Line contains a tab character. | 118 |
| Missing a Javadoc comment. | 126 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Missing a Javadoc comment. | 26 |
| Missing a Javadoc comment. | 28 |
| Missing a Javadoc comment. | 30 |
| Missing a Javadoc comment. | 32 |
| Missing a Javadoc comment. | 34 |
| Parameter idvar should be final. | 34 |
| Parameter domain should be final. | 34 |
| 'domain' hides a field. | 34 |
| Parameter lastvarnumber should be final. | 34 |
| Line has trailing spaces. | 42 |
| Method 'domain' is not designed for extension - needs to be abstract, final or empty. | 45 |
| Missing a Javadoc comment. | 45 |
| Line has trailing spaces. | 51 |
| Method 'translate' is not designed for extension - needs to be abstract, final or empty. | 54 |
| Missing a Javadoc comment. | 54 |
| Parameter key should be final. | 54 |
| Line has trailing spaces. | 60 |
| Method 'toClause' is not designed for extension - needs to be abstract, final or empty. | 63 |
| Missing a Javadoc comment. | 63 |
| Parameter solver should be final. | 63 |
| 'for' construct must use '{}'s. | 65 |
| Method 'findValue' is not designed for extension - needs to be abstract, final or empty. | 71 |
| Missing a Javadoc comment. | 71 |
| Parameter model should be final. | 71 |
| 'if' construct must use '{}'s. | 74 |
| Line has trailing spaces. | 82 |
| Method 'toString' is not designed for extension - needs to be abstract, final or empty. | 85 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Missing a Javadoc comment. | 31 |
| Method 'toClause' is not designed for extension - needs to be abstract, final or empty. | 33 |
| Missing a Javadoc comment. | 33 |
| Parameter solver should be final. | 33 |
| Parameter scope should be final. | 33 |
| Parameter vars should be final. | 33 |
| ',' is not followed by whitespace. | 37 |
| Line is longer than 80 characters. | 45 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Missing a Javadoc comment. | 26 |
| Missing a Javadoc comment. | 28 |
| Parameter arity should be final. | 28 |
| Parameter nbtuples should be final. | 28 |
| Method 'chooseEncoding' is not designed for extension - needs to be abstract, final or empty. | 32 |
| Parameter scope should be final. | 33 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Missing a Javadoc comment. | 27 |
| Missing a Javadoc comment. | 29 |
| Parameter arity should be final. | 29 |
| Parameter nbtuples should be final. | 29 |
| Method 'chooseEncoding' is not designed for extension - needs to be abstract, final or empty. | 33 |
| Parameter scope should be final. | 34 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Missing a Javadoc comment. | 29 |
| Missing a Javadoc comment. | 31 |
| Missing a Javadoc comment. | 33 |
| Missing a Javadoc comment. | 35 |
| Parameter arity should be final. | 35 |
| 'arity' hides a field. | 35 |
| Parameter nbtuples should be final. | 35 |
| Method 'addTuple' is not designed for extension - needs to be abstract, final or empty. | 40 |
| Missing a Javadoc comment. | 40 |
| Parameter index should be final. | 40 |
| Parameter tuple should be final. | 40 |
| Method 'toClause' is not designed for extension - needs to be abstract, final or empty. | 44 |
| Missing a Javadoc comment. | 44 |
| Parameter solver should be final. | 44 |
| Parameter scope should be final. | 44 |
| Parameter vars should be final. | 44 |
| Method 'arity' is not designed for extension - needs to be abstract, final or empty. | 56 |
| Missing a Javadoc comment. | 56 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 25 |
| Line has trailing spaces. | 27 |
| Missing a Javadoc comment. | 30 |
| Missing a Javadoc comment. | 32 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Missing a Javadoc comment. | 32 |
| Missing a Javadoc comment. | 34 |
| Missing a Javadoc comment. | 36 |
| Missing a Javadoc comment. | 38 |
| Missing a Javadoc comment. | 40 |
| Missing a Javadoc comment. | 42 |
| Missing a Javadoc comment. | 44 |
| Parameter arity should be final. | 44 |
| 'arity' hides a field. | 44 |
| Parameter nbtuples should be final. | 44 |
| Method 'addTuple' is not designed for extension - needs to be abstract, final or empty. | 49 |
| Missing a Javadoc comment. | 49 |
| Parameter index should be final. | 49 |
| Parameter tuple should be final. | 49 |
| Method 'arity' is not designed for extension - needs to be abstract, final or empty. | 53 |
| Missing a Javadoc comment. | 53 |
| Method 'toClause' is not designed for extension - needs to be abstract, final or empty. | 57 |
| Missing a Javadoc comment. | 57 |
| Parameter solver should be final. | 57 |
| Parameter scope should be final. | 57 |
| Parameter vars should be final. | 57 |
| Missing a Javadoc comment. | 70 |
| Missing a Javadoc comment. | 72 |
| Parameter tuple should be final. | 72 |
| Parameter n should be final. | 72 |
| Parameter scope should be final. | 72 |
| Parameter solver should be final. | 72 |
| Missing a Javadoc comment. | 94 |
| Parameter tuple should be final. | 94 |
| 'if' construct must use '{}'s. | 110 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Missing a Javadoc comment. | 26 |
| Missing a Javadoc comment. | 28 |
| Parameter arity should be final. | 28 |
| Parameter nbtuples should be final. | 28 |
| Method 'chooseEncoding' is not designed for extension - needs to be abstract, final or empty. | 32 |
| Parameter scope should be final. | 33 |
| Violation | Message | Line |
|---|---|---|
| Missing package-info.java file. | 0 |
| Line is longer than 80 characters. | 2 |
| Class BinarySupportEncoding should be declared as final. | 34 |
| Missing a Javadoc comment. | 34 |
| Line is longer than 80 characters. | 36 |
| Missing a Javadoc comment. | 36 |
| Line is longer than 80 characters. | 38 |
| Missing a Javadoc comment. | 38 |
| Missing a Javadoc comment. | 40 |
| Name 'instance' must match pattern '^[A-Z][A-Z0-9]*(_[A-Z0-9]+)*$'. | 40 |
| Missing a Javadoc comment. | 42 |
| Missing a Javadoc comment. | 46 |
| Missing a Javadoc comment. | 50 |
| Parameter solver should be final. | 50 |
| Parameter scope should be final. | 50 |
| Missing a Javadoc comment. | 57 |
| Parameter solver should be final. | 57 |
| Parameter scope should be final. | 57 |
| Missing a Javadoc comment. | 62 |
| Parameter solver should be final. | 62 |
| Parameter scope should be final. | 62 |
| Parameter tuple should be final. | 63 |
| Missing a Javadoc comment. | 66 |
| Parameter solver should be final. | 66 |
| Parameter scope should be final. | 66 |
| Parameter tuple should be final. | 67 |
| Missing a Javadoc comment. | 76 |
| Parameter head should be final. | 76 |
| Parameter v should be final. | 76 |
| Parameter value should be final. | 76 |
| Parameter supports should be final. | 77 |
| Missing a Javadoc comment. | 86 |
| Parameter v should be final. | 86 |
| Parameter supports should be final. | 86 |
| Parameter solver should be final. | 87 |
| ';' is preceded with whitespace. | 89 |
| 'for' construct must use '{}'s. | 95 |
| Line is longer than 80 characters. | 95 |
| ';' is preceded with whitespace. | 95 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Class DirectEncoding should be declared as final. | 32 |
| Missing a Javadoc comment. | 32 |
| Missing a Javadoc comment. | 34 |
| Missing a Javadoc comment. | 36 |
| Name 'instance' must match pattern '^[A-Z][A-Z0-9]*(_[A-Z0-9]+)*$'. | 36 |
| Missing a Javadoc comment. | 38 |
| Missing a Javadoc comment. | 42 |
| Missing a Javadoc comment. | 46 |
| Parameter solver should be final. | 46 |
| Parameter scope should be final. | 46 |
| Missing a Javadoc comment. | 49 |
| Parameter solver should be final. | 49 |
| Parameter scope should be final. | 49 |
| Missing a Javadoc comment. | 52 |
| Parameter solver should be final. | 52 |
| Parameter scope should be final. | 52 |
| Parameter tuple should be final. | 53 |
| Missing a Javadoc comment. | 64 |
| Parameter solver should be final. | 64 |
| Parameter scope should be final. | 64 |
| Parameter tuple should be final. | 65 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Class GeneralizedSupportEncoding should be declared as final. | 36 |
| Missing a Javadoc comment. | 36 |
| Line is longer than 80 characters. | 38 |
| Missing a Javadoc comment. | 38 |
| Missing a Javadoc comment. | 40 |
| Name 'instance' must match pattern '^[A-Z][A-Z0-9]*(_[A-Z0-9]+)*$'. | 40 |
| Missing a Javadoc comment. | 42 |
| Missing a Javadoc comment. | 46 |
| Missing a Javadoc comment. | 50 |
| Parameter solver should be final. | 50 |
| Parameter scope should be final. | 50 |
| Missing a Javadoc comment. | 56 |
| Parameter solver should be final. | 56 |
| Parameter scope should be final. | 56 |
| Missing a Javadoc comment. | 62 |
| Parameter solver should be final. | 62 |
| Parameter scope should be final. | 62 |
| Parameter tuple should be final. | 63 |
| Missing a Javadoc comment. | 67 |
| Parameter solver should be final. | 67 |
| Parameter scope should be final. | 67 |
| Parameter tuple should be final. | 68 |
| Missing a Javadoc comment. | 84 |
| Parameter n should be final. | 84 |
| Parameter scope should be final. | 84 |
| Parameter acc should be final. | 84 |
| Parameter theSupports should be final. | 85 |
| 'for' construct must use '{}'s. | 89 |
| 'if' construct must use '{}'s. | 90 |
| 'else' construct must use '{}'s. | 94 |
| Line is longer than 80 characters. | 95 |
| ';' is preceded with whitespace. | 95 |
| Violation | Message | Line |
|---|---|---|
| Missing package-info.java file. | 0 |
| Line is longer than 80 characters. | 2 |
| Missing a Javadoc comment. | 24 |
| Missing a Javadoc comment. | 26 |
| Parameter solver should be final. | 26 |
| Method 'manageAllowedTuples' is not designed for extension - needs to be abstract, final or empty. | 30 |
| Parameter relnum should be final. | 31 |
| Parameter arity should be final. | 31 |
| Parameter nbtuples should be final. | 31 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 34 |
| Missing a Javadoc comment. | 39 |
| Missing a Javadoc comment. | 41 |
| Missing a Javadoc comment. | 43 |
| Missing a Javadoc comment. | 45 |
| Missing a Javadoc comment. | 47 |
| Missing a Javadoc comment. | 49 |
| Missing a Javadoc comment. | 51 |
| Parameter solver should be final. | 51 |
| 'solver' hides a field. | 51 |
| Missing a Javadoc comment. | 57 |
| Missing a Javadoc comment. | 64 |
| Missing a Javadoc comment. | 71 |
| Missing a Javadoc comment. | 78 |
| Line has trailing spaces. | 85 |
| Method 'parseInstance' is not designed for extension - needs to be abstract, final or empty. | 86 |
| Parameter filename should be final. | 87 |
| Redundant throws: 'FileNotFoundException' is subclass of 'IOException'. | 88 |
| '}' should be alone on a line. | 121 |
| Line has trailing spaces. | 126 |
| Method 'decode' is not designed for extension - needs to be abstract, final or empty. | 133 |
| Parameter model should be final. | 135 |
| Method 'decode' is not designed for extension - needs to be abstract, final or empty. | 139 |
| Parameter model should be final. | 140 |
| Parameter out should be final. | 140 |
| Method 'parseInstance' is not designed for extension - needs to be abstract, final or empty. | 144 |
| Parameter in should be final. | 145 |
| Violation | Message | Line |
|---|---|---|
| Line has trailing spaces. | 53 |
| Line has trailing spaces. | 57 |
| Line has trailing spaces. | 59 |
| Line is longer than 80 characters. | 61 |
| Missing a Javadoc comment. | 63 |
| Missing a Javadoc comment. | 67 |
| Variable 'relations' must be private and have accessor methods. | 67 |
| Missing a Javadoc comment. | 69 |
| Missing a Javadoc comment. | 73 |
| Missing a Javadoc comment. | 75 |
| Missing a Javadoc comment. | 77 |
| Missing a Javadoc comment. | 79 |
| Missing a Javadoc comment. | 81 |
| Line is longer than 80 characters. | 83 |
| Missing a Javadoc comment. | 83 |
| Line is longer than 80 characters. | 85 |
| Missing a Javadoc comment. | 85 |
| Line is longer than 80 characters. | 87 |
| Missing a Javadoc comment. | 87 |
| Line is longer than 80 characters. | 89 |
| Missing a Javadoc comment. | 89 |
| Missing a Javadoc comment. | 91 |
| Missing a Javadoc comment. | 93 |
| Missing a Javadoc comment. | 95 |
| Missing a Javadoc comment. | 97 |
| Missing a Javadoc comment. | 99 |
| Missing a Javadoc comment. | 101 |
| Missing a Javadoc comment. | 103 |
| Missing a Javadoc comment. | 105 |
| Missing a Javadoc comment. | 107 |
| Missing a Javadoc comment. | 109 |
| Parameter solver should be final. | 109 |
| 'solver' hides a field. | 109 |
| Line has trailing spaces. | 111 |
| Line is longer than 80 characters. | 112 |
| ',' is not followed by whitespace. | 112 |
| ',' is not followed by whitespace. | 113 |
| Missing a Javadoc comment. | 123 |
| Parameter in should be final. | 123 |
| Method 'decode' is not designed for extension - needs to be abstract, final or empty. | 135 |
| Parameter model should be final. | 136 |
| Parameter out should be final. | 136 |
| Method 'decode' is not designed for extension - needs to be abstract, final or empty. | 144 |
| Parameter model should be final. | 145 |
| Missing a Javadoc comment. | 155 |
| Parameter in should be final. | 155 |
| Avoid inline conditionals. | 199 |
| Method 'manageAllowedTuples' is not designed for extension - needs to be abstract, final or empty. | 233 |
| Missing a Javadoc comment. | 233 |
| Parameter relnum should be final. | 233 |
| Parameter arity should be final. | 233 |
| Parameter nbtuples should be final. | 233 |
| Missing a Javadoc comment. | 244 |
| Parameter input should be final. | 244 |
| Missing a Javadoc comment. | 249 |
| Parameter input should be final. | 249 |
| Parameter size should be final. | 249 |
| 'for' construct must use '{}'s. | 251 |
| Method 'beginInstance' is not designed for extension - needs to be abstract, final or empty. | 256 |
| Missing a Javadoc comment. | 256 |
| Parameter arg0 should be final. | 256 |
| Method 'beginDomainsSection' is not designed for extension - needs to be abstract, final or empty. | 260 |
| Missing a Javadoc comment. | 260 |
| Parameter nbdomain should be final. | 260 |
| Method 'beginDomain' is not designed for extension - needs to be abstract, final or empty. | 264 |
| Missing a Javadoc comment. | 264 |
| Parameter id should be final. | 264 |
| Parameter size should be final. | 264 |
| Method 'addDomainValue' is not designed for extension - needs to be abstract, final or empty. | 272 |
| Missing a Javadoc comment. | 272 |
| Parameter arg0 should be final. | 272 |
| 'for' construct must use '{}'s. | 277 |
| Method 'addDomainValue' is not designed for extension - needs to be abstract, final or empty. | 284 |
| Missing a Javadoc comment. | 284 |
| Parameter begin should be final. | 284 |
| Parameter end should be final. | 284 |
| 'if' construct must use '{}'s. | 285 |
| 'for' construct must use '{}'s. | 291 |
| Method 'endDomain' is not designed for extension - needs to be abstract, final or empty. | 296 |
| Missing a Javadoc comment. | 296 |
| 'if' construct must use '{}'s. | 298 |
| 'else' construct must use '{}'s. | 301 |
| Method 'endDomainsSection' is not designed for extension - needs to be abstract, final or empty. | 305 |
| Missing a Javadoc comment. | 305 |
| Method 'beginVariablesSection' is not designed for extension - needs to be abstract, final or empty. | 309 |
| Missing a Javadoc comment. | 309 |
| Parameter expectedNumberOfVariables should be final. | 309 |
| Method 'addVariable' is not designed for extension - needs to be abstract, final or empty. | 315 |
| Missing a Javadoc comment. | 315 |
| Parameter idvar should be final. | 315 |
| Parameter iddomain should be final. | 315 |
| 'if' construct must use '{}'s. | 319 |
| Method 'endVariablesSection' is not designed for extension - needs to be abstract, final or empty. | 325 |
| Missing a Javadoc comment. | 325 |
| 'if' construct must use '{}'s. | 326 |
| 'else' construct must use '{}'s. | 328 |
| Method 'beginRelationsSection' is not designed for extension - needs to be abstract, final or empty. | 341 |
| Missing a Javadoc comment. | 341 |
| Parameter nbrel should be final. | 341 |
| Method 'beginRelation' is not designed for extension - needs to be abstract, final or empty. | 347 |
| Missing a Javadoc comment. | 347 |
| Parameter name should be final. | 347 |
| Parameter arity should be final. | 347 |
| Parameter nbTuples should be final. | 347 |
| Parameter isSupport should be final. | 348 |
| 'if' construct must use '{}'s. | 350 |
| Method 'addRelationTuple' is not designed for extension - needs to be abstract, final or empty. | 361 |
| Missing a Javadoc comment. | 361 |
| Parameter tuple should be final. | 361 |
| Missing a Javadoc comment. | 365 |
| Method 'endRelationsSection' is not designed for extension - needs to be abstract, final or empty. | 368 |
| Missing a Javadoc comment. | 368 |
| 'if' construct must use '{}'s. | 369 |
| 'else' construct must use '{}'s. | 372 |
| Method 'beginPredicatesSection' is not designed for extension - needs to be abstract, final or empty. | 376 |
| Missing a Javadoc comment. | 376 |
| Parameter arg0 should be final. | 376 |
| Method 'beginPredicate' is not designed for extension - needs to be abstract, final or empty. | 380 |
| Missing a Javadoc comment. | 380 |
| Parameter name should be final. | 380 |
| 'if' construct must use '{}'s. | 383 |
| Method 'addFormalParameter' is not designed for extension - needs to be abstract, final or empty. | 387 |
| Missing a Javadoc comment. | 387 |
| Parameter name should be final. | 387 |
| Parameter type should be final. | 387 |
| Method 'predicateExpression' is not designed for extension - needs to be abstract, final or empty. | 392 |
| Missing a Javadoc comment. | 392 |
| Parameter expr should be final. | 392 |
| Missing a Javadoc comment. | 396 |
| Method 'endPredicatesSection' is not designed for extension - needs to be abstract, final or empty. | 400 |
| Missing a Javadoc comment. | 400 |
| 'if' construct must use '{}'s. | 401 |
| 'else' construct must use '{}'s. | 404 |
| Method 'beginConstraintsSection' is not designed for extension - needs to be abstract, final or empty. | 408 |
| Missing a Javadoc comment. | 408 |
| Parameter arg0 should be final. | 408 |
| Method 'beginConstraint' is not designed for extension - needs to be abstract, final or empty. | 414 |
| Missing a Javadoc comment. | 414 |
| Parameter name should be final. | 414 |
| Parameter arity should be final. | 414 |
| 'if' construct must use '{}'s. | 419 |
| '100' is a magic number. | 421 |
| Method 'constraintReference' is not designed for extension - needs to be abstract, final or empty. | 424 |
| Missing a Javadoc comment. | 424 |
| Parameter ref should be final. | 424 |
| '==' is not followed by whitespace. | 431 |
| Line is longer than 80 characters. | 432 |
| Line contains a tab character. | 432 |
| '+' is not preceded with whitespace. | 432 |
| '+' is not followed by whitespace. | 432 |
| Method 'addVariableToConstraint' is not designed for extension - needs to be abstract, final or empty. | 436 |
| Missing a Javadoc comment. | 436 |
| Parameter arg0 should be final. | 436 |
| Method 'addEffectiveParameter' is not designed for extension - needs to be abstract, final or empty. | 440 |
| Missing a Javadoc comment. | 440 |
| Parameter arg0 should be final. | 440 |
| Method 'addEffectiveParameter' is not designed for extension - needs to be abstract, final or empty. | 444 |
| Missing a Javadoc comment. | 444 |
| Parameter arg0 should be final. | 444 |
| Method 'beginParameterList' is not designed for extension - needs to be abstract, final or empty. | 448 |
| Missing a Javadoc comment. | 448 |
| Missing a Javadoc comment. | 454 |
| Parameter arg0 should be final. | 454 |
| Missing a Javadoc comment. | 459 |
| Parameter arg0 should be final. | 459 |
| Missing a Javadoc comment. | 464 |
| Method 'addConstantParameter' is not designed for extension - needs to be abstract, final or empty. | 469 |
| Missing a Javadoc comment. | 469 |
| Parameter arg0 should be final. | 469 |
| Parameter arg1 should be final. | 469 |
| Method 'constraintExpression' is not designed for extension - needs to be abstract, final or empty. | 474 |
| Missing a Javadoc comment. | 474 |
| Parameter arg0 should be final. | 474 |
| Method 'endConstraint' is not designed for extension - needs to be abstract, final or empty. | 479 |
| Missing a Javadoc comment. | 479 |
| Method 'endConstraintsSection' is not designed for extension - needs to be abstract, final or empty. | 487 |
| Missing a Javadoc comment. | 487 |
| 'if' construct must use '{}'s. | 488 |
| 'else' construct must use '{}'s. | 490 |
| Missing a Javadoc comment. | 494 |
| Method 'getProblem' is not designed for extension - needs to be abstract, final or empty. | 498 |
| Missing a Javadoc comment. | 498 |
| Line has trailing spaces. | 501 |
| Line contains a tab character. | 502 |
| Method 'parseInstance' is not designed for extension - needs to be abstract, final or empty. | 502 |
| Line contains a tab character. | 503 |
| Line is longer than 80 characters. | 504 |
| Line contains a tab character. | 504 |
| Line contains a tab character. | 505 |
| Line contains a tab character. | 506 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Missing a Javadoc comment. | 24 |
| Missing a Javadoc comment. | 26 |
| Parameter solver should be final. | 26 |
| Method 'manageAllowedTuples' is not designed for extension - needs to be abstract, final or empty. | 30 |
| Parameter relnum should be final. | 31 |
| Parameter arity should be final. | 31 |
| Parameter nbtuples should be final. | 31 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Missing a Javadoc comment. | 36 |
| Missing a Javadoc comment. | 38 |
| Missing a Javadoc comment. | 40 |
| Parameter solver should be final. | 40 |
| Method 'decode' is not designed for extension - needs to be abstract, final or empty. | 44 |
| Parameter model should be final. | 45 |
| Method 'decode' is not designed for extension - needs to be abstract, final or empty. | 49 |
| Parameter model should be final. | 50 |
| Parameter out should be final. | 50 |
| Line has trailing spaces. | 56 |
| Method 'parseInstance' is not designed for extension - needs to be abstract, final or empty. | 59 |
| Parameter filename should be final. | 60 |
| Redundant throws: 'FileNotFoundException' is subclass of 'IOException'. | 61 |
| Method 'parseInstance' is not designed for extension - needs to be abstract, final or empty. | 73 |
| Parameter in should be final. | 74 |
| Line contains a tab character. | 79 |
| Method 'parseInstance' is not designed for extension - needs to be abstract, final or empty. | 79 |
| Line contains a tab character. | 80 |
| Line is longer than 80 characters. | 81 |
| Line contains a tab character. | 81 |
| Line contains a tab character. | 82 |
| Line contains a tab character. | 83 |
| Line has trailing spaces. | 84 |
| Line contains a tab character. | 84 |
| Line has trailing spaces. | 87 |
| Method 'setVerbosity' is not designed for extension - needs to be abstract, final or empty. | 90 |
| Parameter b should be final. | 91 |
