The following document contains the results of Checkstyle. 
| Rules | Violations | Severity |
|---|---|---|
JavadocPackage
| 2 |  Error |
| NewlineAtEndOfFile | 0 | Error |
| Translation | 0 | Error |
| FileLength | 0 | Error |
FileTabCharacter
| 460 | Error |
RegexpSingleline
| 42 | Error |
| JavadocMethod | 136 | Error |
| JavadocType | 22 | Error |
| JavadocVariable | 61 | Error |
| JavadocStyle | 0 | Error |
| ConstantName | 0 | Error |
| LocalFinalVariableName | 0 | Error |
| LocalVariableName | 0 | Error |
| MemberName | 0 | Error |
| MethodName | 0 | Error |
| PackageName | 0 | Error |
| ParameterName | 0 | Error |
| StaticVariableName | 0 | Error |
| TypeName | 0 | Error |
| AvoidStarImport | 0 | Error |
| IllegalImport | 0 | Error |
| RedundantImport | 0 | Error |
| UnusedImports | 0 | Error |
| LineLength | 71 | Error |
| MethodLength | 0 | Error |
| ParameterNumber | 0 | Error |
| EmptyForIteratorPad | 1 | Error |
| MethodParamPad | 0 | Error |
| NoWhitespaceAfter | 0 | Error |
| NoWhitespaceBefore | 5 | Error |
| OperatorWrap | 0 | Error |
| ParenPad | 0 | Error |
| TypecastParenPad | 0 | Error |
| WhitespaceAfter | 12 | Error |
| WhitespaceAround | 8 | Error |
| ModifierOrder | 0 | Error |
| RedundantModifier | 0 | Error |
| AvoidNestedBlocks | 0 | Error |
| EmptyBlock | 0 | Error |
| LeftCurly | 0 | Error |
| NeedBraces | 15 | Error |
| RightCurly | 1 | Error |
| AvoidInlineConditionals | 2 | Error |
| DoubleCheckedLocking | 0 | Error |
| EmptyStatement | 0 | Error |
| EqualsHashCode | 0 | Error |
| HiddenField | 11 | Error |
| IllegalInstantiation | 0 | Error |
| InnerAssignment | 0 | Error |
| MagicNumber | 1 | Error |
| MissingSwitchDefault | 0 | Error |
| RedundantThrows | 0 | Error |
| SimplifyBooleanExpression | 0 | Error |
| SimplifyBooleanReturn | 0 | Error |
| DesignForExtension | 89 | Error |
| FinalClass | 4 | Error |
| HideUtilityClassConstructor | 0 | Error |
| InterfaceIsType | 0 | Error |
| VisibilityModifier | 1 | Error |
| ArrayTypeStyle | 0 | Error |
| FinalParameters | 180 | 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 is longer than 80 characters. | 43 |
| Line contains a tab character. | 43 |
| Line contains a tab character. | 44 |
| Line contains a tab character. | 45 |
| Line contains a tab character. | 46 |
| Line contains a tab character. | 47 |
| Line contains a tab character. | 48 |
| Line contains a tab character. | 49 |
| Line has trailing spaces. | 51 |
| Line contains a tab character. | 51 |
| Line has trailing spaces. | 52 |
| Line contains a tab character. | 52 |
| Line contains a tab character. | 53 |
| Line contains a tab character. | 54 |
| Line has trailing spaces. | 55 |
| Line contains a tab character. | 55 |
| Line contains a tab character. | 56 |
| Line contains a tab character. | 57 |
| Line contains a tab character. | 58 |
| Method 'createReader' is not designed for extension - needs to be abstract, final or empty. | 58 |
| Line contains a tab character. | 59 |
| Line contains a tab character. | 60 |
| Line contains a tab character. | 61 |
| Line is longer than 80 characters. | 62 |
| Line contains a tab character. | 62 |
| Line contains a tab character. | 63 |
| Line is longer than 80 characters. | 64 |
| Line contains a tab character. | 64 |
| Line contains a tab character. | 65 |
| Line contains a tab character. | 66 |
| Line contains a tab character. | 67 |
| Line contains a tab character. | 68 |
| Line contains a tab character. | 69 |
| Line contains a tab character. | 70 |
| Line contains a tab character. | 71 |
| Line contains a tab character. | 72 |
| Line 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. | 79 |
| Missing a Javadoc comment. | 79 |
| Parameter args should be final. | 79 |
| Line contains a tab character. | 80 |
| Line contains a tab character. | 81 |
| Line contains a tab character. | 82 |
| Line contains a tab character. | 83 |
| Line contains a tab character. | 84 |
| Line contains a tab character. | 85 |
| Line contains a tab character. | 86 |
| Line contains a tab character. | 87 |
| Line contains a tab character. | 88 |
| Line contains a tab character. | 89 |
| Line contains a tab character. | 90 |
| Line contains a tab character. | 92 |
| Method 'displayLicense' is not designed for extension - needs to be abstract, final or empty. | 92 |
| Line contains a tab character. | 93 |
| Line contains a tab character. | 94 |
| Line is longer than 80 characters. | 95 |
| Line contains a tab character. | 95 |
| Line contains a tab character. | 96 |
| Line contains a tab character. | 98 |
| Method 'usage' is not designed for extension - needs to be abstract, final or empty. | 98 |
| Line contains a tab character. | 99 |
| Line is longer than 80 characters. | 100 |
| Line contains a tab character. | 100 |
| Line contains a tab character. | 101 |
| Line contains a tab character. | 103 |
| Method 'getInstanceName' is not designed for extension - needs to be abstract, final or empty. | 103 |
| Line contains a tab character. | 104 |
| Parameter args should be final. | 104 |
| 'if' construct must use '{}'s. | 105 |
| Line contains a tab character. | 105 |
| Line contains a tab character. | 106 |
| Line contains a tab character. | 107 |
| Line contains a tab character. | 108 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line is longer than 80 characters. | 18 |
| Missing a Javadoc comment. | 25 |
| Line contains a tab character. | 27 |
| Missing a Javadoc comment. | 27 |
| Line contains a tab character. | 28 |
| 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 |
| Missing a Javadoc comment. | 105 |
| Line contains a tab character. | 106 |
| Line has trailing spaces. | 108 |
| Missing a Javadoc comment. | 109 |
| Line contains a tab character. | 110 |
| Line has trailing spaces. | 112 |
| Missing a Javadoc comment. | 113 |
| Line contains a tab character. | 114 |
| Line has trailing spaces. | 116 |
| Line has trailing spaces. | 124 |
| Line contains a tab character. | 130 |
| Missing a Javadoc comment. | 138 |
| 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. | 70 |
| Missing a Javadoc comment. | 70 |
| Parameter model should be final. | 70 |
| 'if' construct must use '{}'s. | 73 |
| Line has trailing spaces. | 81 |
| Method 'toString' is not designed for extension - needs to be abstract, final or empty. | 84 |
| 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 |
| Line has trailing spaces. | 59 |
| Method 'toString' is not designed for extension - needs to be abstract, final or empty. | 60 |
| Line contains a tab character. | 62 |
| 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 |
| Line has trailing spaces. | 37 |
| '=' is not preceded with whitespace. | 38 |
| '=' is not followed by whitespace. | 38 |
| ';' is preceded with whitespace. | 38 |
| '<' is not preceded with whitespace. | 38 |
| '<' is not followed by whitespace. | 38 |
| ';' is not followed by whitespace. | 38 |
| Line contains a tab character. | 39 |
| Line contains a tab character. | 40 |
| Line contains a tab character. | 41 |
| Line contains a tab character. | 42 |
| ';' is preceded with whitespace. | 47 |
| ';' is followed by whitespace. | 47 |
| Line contains a tab character. | 48 |
| Line contains a tab character. | 49 |
| '=' is not preceded with whitespace. | 49 |
| '=' is not followed by whitespace. | 49 |
| ';' is not followed by whitespace. | 49 |
| '<' is not preceded with whitespace. | 49 |
| '<' is not followed by whitespace. | 49 |
| ';' is not followed by whitespace. | 49 |
| Line contains a tab character. | 50 |
| Line contains a tab character. | 51 |
| Line contains a tab character. | 52 |
| Line contains a tab character. | 53 |
| Line has trailing spaces. | 56 |
| Method 'toString' is not designed for extension - needs to be abstract, final or empty. | 57 |
| Line contains a tab character. | 59 |
| 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 |
|---|---|---|
| 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 |
| 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 |
|---|---|---|
| Missing package-info.java file. | 0 |
| 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 |
| 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 |
| 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 |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Missing a Javadoc comment. | 24 |
| Missing a Javadoc comment. | 26 |
| Parameter solver should be final. | 26 |
| Parameter allDiffCard should be final. | 26 |
| ',' is not followed by whitespace. | 27 |
| 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 |
|---|---|---|
| Missing package-info.java file. | 0 |
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 33 |
| Missing a Javadoc comment. | 38 |
| Missing a Javadoc comment. | 40 |
| Missing a Javadoc comment. | 42 |
| Missing a Javadoc comment. | 44 |
| Missing a Javadoc comment. | 46 |
| Missing a Javadoc comment. | 48 |
| Line has trailing spaces. | 49 |
| Missing a Javadoc comment. | 50 |
| Missing a Javadoc comment. | 52 |
| Parameter solver should be final. | 52 |
| 'solver' hides a field. | 52 |
| Parameter allDiffCard should be final. | 52 |
| 'allDiffCard' hides a field. | 52 |
| Missing a Javadoc comment. | 59 |
| ',' is not followed by whitespace. | 61 |
| Missing a Javadoc comment. | 66 |
| ',' is not followed by whitespace. | 68 |
| Missing a Javadoc comment. | 73 |
| ',' is not followed by whitespace. | 75 |
| Missing a Javadoc comment. | 80 |
| ',' is not followed by whitespace. | 82 |
| Line has trailing spaces. | 87 |
| Method 'parseInstance' is not designed for extension - needs to be abstract, final or empty. | 88 |
| Parameter filename should be final. | 89 |
| '}' should be alone on a line. | 123 |
| Line has trailing spaces. | 128 |
| Method 'decode' is not designed for extension - needs to be abstract, final or empty. | 135 |
| Parameter model should be final. | 137 |
| Method 'decode' is not designed for extension - needs to be abstract, final or empty. | 141 |
| Parameter model should be final. | 142 |
| Parameter out should be final. | 142 |
| Method 'parseInstance' is not designed for extension - needs to be abstract, final or empty. | 146 |
| Parameter in should be final. | 147 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 18 |
| Line has trailing spaces. | 54 |
| Line has trailing spaces. | 58 |
| Line has trailing spaces. | 60 |
| Line is longer than 80 characters. | 62 |
| Line contains a tab character. | 64 |
| Missing a Javadoc comment. | 64 |
| Line contains a tab character. | 66 |
| Missing a Javadoc comment. | 66 |
| Variable 'relations' must be private and have accessor methods. | 66 |
| Line contains a tab character. | 68 |
| Missing a Javadoc comment. | 68 |
| Line contains a tab character. | 70 |
| Missing a Javadoc comment. | 70 |
| Line contains a tab character. | 72 |
| Missing a Javadoc comment. | 72 |
| Line contains a tab character. | 74 |
| Missing a Javadoc comment. | 74 |
| Line contains a tab character. | 76 |
| Missing a Javadoc comment. | 76 |
| Line contains a tab character. | 78 |
| Missing a Javadoc comment. | 78 |
| Line is longer than 80 characters. | 80 |
| Line contains a tab character. | 80 |
| Missing a Javadoc comment. | 80 |
| Line is longer than 80 characters. | 82 |
| Line contains a tab character. | 82 |
| Missing a Javadoc comment. | 82 |
| Line is longer than 80 characters. | 84 |
| Line contains a tab character. | 84 |
| Missing a Javadoc comment. | 84 |
| Line is longer than 80 characters. | 86 |
| Line contains a tab character. | 86 |
| Missing a Javadoc comment. | 86 |
| Line contains a tab character. | 88 |
| Missing a Javadoc comment. | 88 |
| Line contains a tab character. | 90 |
| Missing a Javadoc comment. | 90 |
| Line contains a tab character. | 92 |
| Missing a Javadoc comment. | 92 |
| Line contains a tab character. | 94 |
| Missing a Javadoc comment. | 94 |
| Line contains a tab character. | 96 |
| Missing a Javadoc comment. | 96 |
| Line contains a tab character. | 98 |
| Missing a Javadoc comment. | 98 |
| Line contains a tab character. | 100 |
| Missing a Javadoc comment. | 100 |
| Line contains a tab character. | 102 |
| Missing a Javadoc comment. | 102 |
| Line contains a tab character. | 104 |
| Missing a Javadoc comment. | 104 |
| Line contains a tab character. | 106 |
| Missing a Javadoc comment. | 106 |
| Parameter solver should be final. | 106 |
| 'solver' hides a field. | 106 |
| Parameter allDiffCard should be final. | 106 |
| Line contains a tab character. | 107 |
| Line is longer than 80 characters. | 108 |
| Line contains a tab character. | 108 |
| Avoid inline conditionals. | 108 |
| Line contains a tab character. | 109 |
| Line is longer than 80 characters. | 110 |
| Line contains a tab character. | 110 |
| Line contains a tab character. | 111 |
| Line contains a tab character. | 112 |
| Line contains a tab character. | 113 |
| Line contains a tab character. | 114 |
| Line contains a tab character. | 115 |
| Line contains a tab character. | 117 |
| Line contains a tab character. | 118 |
| Line is longer than 80 characters. | 119 |
| Line contains a tab character. | 119 |
| Line contains a tab character. | 120 |
| Line contains a tab character. | 122 |
| Line contains a tab character. | 124 |
| Missing a Javadoc comment. | 124 |
| Parameter in should be final. | 124 |
| Line contains a tab character. | 125 |
| Line contains a tab character. | 126 |
| Line contains a tab character. | 127 |
| Line contains a tab character. | 128 |
| Line contains a tab character. | 129 |
| Line contains a tab character. | 130 |
| Line is longer than 80 characters. | 131 |
| Line contains a tab character. | 131 |
| Line contains a tab character. | 132 |
| Line contains a tab character. | 133 |
| Line contains a tab character. | 134 |
| Line contains a tab character. | 136 |
| Method 'decode' is not designed for extension - needs to be abstract, final or empty. | 136 |
| Line contains a tab character. | 137 |
| Parameter model should be final. | 137 |
| Parameter out should be final. | 137 |
| Line contains a tab character. | 138 |
| Line contains a tab character. | 139 |
| Line contains a tab character. | 140 |
| Line contains a tab character. | 141 |
| Line contains a tab character. | 142 |
| Line contains a tab character. | 143 |
| Line contains a tab character. | 145 |
| Method 'decode' is not designed for extension - needs to be abstract, final or empty. | 145 |
| Line contains a tab character. | 146 |
| Parameter model should be final. | 146 |
| Line contains a tab character. | 147 |
| Line contains a tab character. | 148 |
| Line contains a tab character. | 149 |
| Line contains a tab character. | 150 |
| Line contains a tab character. | 151 |
| Line contains a tab character. | 152 |
| Line contains a tab character. | 153 |
| Line contains a tab character. | 154 |
| Line contains a tab character. | 156 |
| Missing a Javadoc comment. | 156 |
| Parameter in should be final. | 156 |
| Line contains a tab character. | 157 |
| Line contains a tab character. | 158 |
| Line contains a tab character. | 159 |
| Line contains a tab character. | 161 |
| Line contains a tab character. | 162 |
| Line contains a tab character. | 163 |
| Line contains a tab character. | 165 |
| Line contains a tab character. | 166 |
| Line contains a tab character. | 167 |
| Line contains a tab character. | 168 |
| Line contains a tab character. | 169 |
| Line contains a tab character. | 170 |
| Line contains a tab character. | 171 |
| Line contains a tab character. | 172 |
| Line contains a tab character. | 173 |
| Line contains a tab character. | 174 |
| Line contains a tab character. | 175 |
| Line contains a tab character. | 176 |
| Line contains a tab character. | 177 |
| Line contains a tab character. | 178 |
| Line contains a tab character. | 179 |
| Line contains a tab character. | 180 |
| Line contains a tab character. | 181 |
| Line contains a tab character. | 182 |
| Line contains a tab character. | 183 |
| Line contains a tab character. | 184 |
| Line contains a tab character. | 185 |
| Line contains a tab character. | 186 |
| Line contains a tab character. | 187 |
| Line contains a tab character. | 188 |
| Line contains a tab character. | 190 |
| Line contains a tab character. | 191 |
| Line contains a tab character. | 192 |
| Line contains a tab character. | 193 |
| Line contains a tab character. | 194 |
| Line contains a tab character. | 196 |
| Line contains a tab character. | 197 |
| Line contains a tab character. | 198 |
| Line contains a tab character. | 200 |
| Avoid inline conditionals. | 200 |
| Line contains a tab character. | 201 |
| Line contains a tab character. | 203 |
| Line is longer than 80 characters. | 205 |
| Line contains a tab character. | 205 |
| Line contains a tab character. | 207 |
| Line is longer than 80 characters. | 208 |
| Line contains a tab character. | 208 |
| Line contains a tab character. | 209 |
| Line contains a tab character. | 210 |
| Line contains a tab character. | 211 |
| Line contains a tab character. | 213 |
| Line contains a tab character. | 214 |
| Line contains a tab character. | 215 |
| Line contains a tab character. | 216 |
| Line contains a tab character. | 217 |
| Line contains a tab character. | 218 |
| Line contains a tab character. | 219 |
| Line contains a tab character. | 220 |
| Line contains a tab character. | 221 |
| Line contains a tab character. | 222 |
| Line contains a tab character. | 223 |
| Line contains a tab character. | 224 |
| Line contains a tab character. | 225 |
| Line contains a tab character. | 226 |
| Line contains a tab character. | 227 |
| Line contains a tab character. | 228 |
| Line contains a tab character. | 229 |
| Line contains a tab character. | 230 |
| Line contains a tab character. | 231 |
| Line contains a tab character. | 232 |
| Line is longer than 80 characters. | 234 |
| Line contains a tab character. | 234 |
| Method 'manageAllowedTuples' is not designed for extension - needs to be abstract, final or empty. | 234 |
| Missing a Javadoc comment. | 234 |
| Parameter relnum should be final. | 234 |
| Parameter arity should be final. | 234 |
| Parameter nbtuples should be final. | 234 |
| Line contains a tab character. | 235 |
| Line contains a tab character. | 236 |
| Line contains a tab character. | 238 |
| Missing a Javadoc comment. | 238 |
| Parameter input should be final. | 238 |
| Line contains a tab character. | 239 |
| Line contains a tab character. | 240 |
| Line contains a tab character. | 241 |
| Line contains a tab character. | 243 |
| Missing a Javadoc comment. | 243 |
| Parameter input should be final. | 243 |
| Parameter size should be final. | 243 |
| Line contains a tab character. | 244 |
| 'for' construct must use '{}'s. | 245 |
| Line contains a tab character. | 245 |
| Line contains a tab character. | 246 |
| Line contains a tab character. | 247 |
| Line contains a tab character. | 248 |
| Line contains a tab character. | 250 |
| Method 'beginInstance' is not designed for extension - needs to be abstract, final or empty. | 250 |
| Missing a Javadoc comment. | 250 |
| Parameter arg0 should be final. | 250 |
| Line contains a tab character. | 251 |
| Line contains a tab character. | 252 |
| Line contains a tab character. | 254 |
| Method 'beginDomainsSection' is not designed for extension - needs to be abstract, final or empty. | 254 |
| Missing a Javadoc comment. | 254 |
| Parameter nbdomain should be final. | 254 |
| Line contains a tab character. | 255 |
| Line contains a tab character. | 256 |
| Line contains a tab character. | 258 |
| Method 'beginDomain' is not designed for extension - needs to be abstract, final or empty. | 258 |
| Missing a Javadoc comment. | 258 |
| Parameter id should be final. | 258 |
| Parameter size should be final. | 258 |
| Line contains a tab character. | 259 |
| Line contains a tab character. | 260 |
| Line contains a tab character. | 261 |
| Line contains a tab character. | 262 |
| Line contains a tab character. | 263 |
| Line contains a tab character. | 264 |
| Line contains a tab character. | 266 |
| Method 'addDomainValue' is not designed for extension - needs to be abstract, final or empty. | 266 |
| Missing a Javadoc comment. | 266 |
| Parameter arg0 should be final. | 266 |
| Line contains a tab character. | 267 |
| Line contains a tab character. | 268 |
| Line contains a tab character. | 269 |
| Line contains a tab character. | 270 |
| 'for' construct must use '{}'s. | 271 |
| Line contains a tab character. | 271 |
| Line is longer than 80 characters. | 272 |
| Line contains a tab character. | 272 |
| Line contains a tab character. | 273 |
| Line contains a tab character. | 274 |
| Line contains a tab character. | 275 |
| Line contains a tab character. | 276 |
| Line contains a tab character. | 278 |
| Method 'addDomainValue' is not designed for extension - needs to be abstract, final or empty. | 278 |
| Missing a Javadoc comment. | 278 |
| Parameter begin should be final. | 278 |
| Parameter end should be final. | 278 |
| Line contains a tab character. | 279 |
| Line contains a tab character. | 280 |
| Line contains a tab character. | 281 |
| Line contains a tab character. | 282 |
| Line contains a tab character. | 283 |
| Line contains a tab character. | 284 |
| Line contains a tab character. | 285 |
| Line contains a tab character. | 286 |
| Line contains a tab character. | 287 |
| Line contains a tab character. | 288 |
| Line contains a tab character. | 289 |
| Line contains a tab character. | 291 |
| Method 'endDomain' is not designed for extension - needs to be abstract, final or empty. | 291 |
| Missing a Javadoc comment. | 291 |
| Line is longer than 80 characters. | 292 |
| Line contains a tab character. | 292 |
| Line contains a tab character. | 293 |
| Line contains a tab character. | 294 |
| Line contains a tab character. | 295 |
| Line contains a tab character. | 296 |
| Line contains a tab character. | 297 |
| Line contains a tab character. | 298 |
| Line contains a tab character. | 299 |
| Line contains a tab character. | 301 |
| Method 'endDomainsSection' is not designed for extension - needs to be abstract, final or empty. | 301 |
| Missing a Javadoc comment. | 301 |
| Line contains a tab character. | 302 |
| Line contains a tab character. | 303 |
| Line contains a tab character. | 305 |
| Method 'beginVariablesSection' is not designed for extension - needs to be abstract, final or empty. | 305 |
| Missing a Javadoc comment. | 305 |
| Parameter expectedNumberOfVariables should be final. | 305 |
| Line contains a tab character. | 306 |
| Line contains a tab character. | 307 |
| Line contains a tab character. | 308 |
| Line contains a tab character. | 309 |
| Line contains a tab character. | 311 |
| Method 'addVariable' is not designed for extension - needs to be abstract, final or empty. | 311 |
| Missing a Javadoc comment. | 311 |
| Parameter idvar should be final. | 311 |
| Parameter iddomain should be final. | 311 |
| Line contains a tab character. | 312 |
| Line contains a tab character. | 313 |
| Line contains a tab character. | 314 |
| Line contains a tab character. | 315 |
| Line is longer than 80 characters. | 316 |
| Line contains a tab character. | 316 |
| Line contains a tab character. | 317 |
| Line contains a tab character. | 318 |
| Line contains a tab character. | 320 |
| Line contains a tab character. | 322 |
| Method 'endVariablesSection' is not designed for extension - needs to be abstract, final or empty. | 322 |
| Missing a Javadoc comment. | 322 |
| Line contains a tab character. | 323 |
| Line is longer than 80 characters. | 324 |
| Line contains a tab character. | 324 |
| Line contains a tab character. | 325 |
| Line contains a tab character. | 326 |
| Line contains a tab character. | 327 |
| Line contains a tab character. | 328 |
| Line contains a tab character. | 329 |
| Line contains a tab character. | 330 |
| Line contains a tab character. | 331 |
| Line contains a tab character. | 332 |
| Line contains a tab character. | 333 |
| Line contains a tab character. | 334 |
| Line contains a tab character. | 335 |
| Line contains a tab character. | 337 |
| Line contains a tab character. | 339 |
| Method 'beginRelationsSection' is not designed for extension - needs to be abstract, final or empty. | 339 |
| Missing a Javadoc comment. | 339 |
| Parameter nbrel should be final. | 339 |
| Line contains a tab character. | 340 |
| Line contains a tab character. | 341 |
| Line contains a tab character. | 342 |
| Line contains a tab character. | 343 |
| Line contains a tab character. | 345 |
| Method 'beginRelation' is not designed for extension - needs to be abstract, final or empty. | 345 |
| Missing a Javadoc comment. | 345 |
| Parameter name should be final. | 345 |
| Parameter arity should be final. | 345 |
| Parameter nbTuples should be final. | 345 |
| Line contains a tab character. | 346 |
| Parameter isSupport should be final. | 346 |
| Line contains a tab character. | 347 |
| Line contains a tab character. | 348 |
| Line is longer than 80 characters. | 349 |
| Line contains a tab character. | 349 |
| Line contains a tab character. | 350 |
| Line contains a tab character. | 351 |
| Line contains a tab character. | 352 |
| Line contains a tab character. | 353 |
| Line contains a tab character. | 354 |
| Line contains a tab character. | 355 |
| Line contains a tab character. | 356 |
| Line contains a tab character. | 357 |
| Line contains a tab character. | 358 |
| Line contains a tab character. | 360 |
| Method 'addRelationTuple' is not designed for extension - needs to be abstract, final or empty. | 360 |
| Missing a Javadoc comment. | 360 |
| Parameter tuple should be final. | 360 |
| Line contains a tab character. | 361 |
| Line contains a tab character. | 362 |
| Line contains a tab character. | 364 |
| Missing a Javadoc comment. | 364 |
| Line contains a tab character. | 365 |
| Line contains a tab character. | 367 |
| Method 'endRelationsSection' is not designed for extension - needs to be abstract, final or empty. | 367 |
| Missing a Javadoc comment. | 367 |
| Line contains a tab character. | 368 |
| Line is longer than 80 characters. | 369 |
| Line contains a tab character. | 369 |
| Line contains a tab character. | 370 |
| Line contains a tab character. | 371 |
| Line contains a tab character. | 372 |
| Line contains a tab character. | 373 |
| Line contains a tab character. | 374 |
| Line contains a tab character. | 376 |
| 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 |
| Line contains a tab character. | 377 |
| Line contains a tab character. | 378 |
| Line contains a tab character. | 380 |
| 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 |
| Line contains a tab character. | 381 |
| Line contains a tab character. | 382 |
| Line contains a tab character. | 383 |
| Line is longer than 80 characters. | 384 |
| Line contains a tab character. | 384 |
| Line contains a tab character. | 385 |
| Line contains a tab character. | 386 |
| Line contains a tab character. | 388 |
| Method 'addFormalParameter' is not designed for extension - needs to be abstract, final or empty. | 388 |
| Missing a Javadoc comment. | 388 |
| Parameter name should be final. | 388 |
| Parameter type should be final. | 388 |
| Line contains a tab character. | 389 |
| Line contains a tab character. | 390 |
| Line contains a tab character. | 392 |
| 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 |
| Line contains a tab character. | 393 |
| Line contains a tab character. | 394 |
| Line contains a tab character. | 396 |
| Missing a Javadoc comment. | 396 |
| Line contains a tab character. | 397 |
| Line contains a tab character. | 398 |
| Line contains a tab character. | 400 |
| Method 'endPredicatesSection' is not designed for extension - needs to be abstract, final or empty. | 400 |
| Missing a Javadoc comment. | 400 |
| Line contains a tab character. | 401 |
| Line is longer than 80 characters. | 402 |
| Line contains a tab character. | 402 |
| Line contains a tab character. | 403 |
| Line contains a tab character. | 404 |
| Line contains a tab character. | 405 |
| Line contains a tab character. | 406 |
| Line contains a tab character. | 407 |
| Line contains a tab character. | 409 |
| Method 'beginConstraintsSection' is not designed for extension - needs to be abstract, final or empty. | 409 |
| Missing a Javadoc comment. | 409 |
| Parameter arg0 should be final. | 409 |
| Line contains a tab character. | 410 |
| Line contains a tab character. | 411 |
| Line contains a tab character. | 412 |
| Line contains a tab character. | 413 |
| Line contains a tab character. | 415 |
| Method 'beginConstraint' is not designed for extension - needs to be abstract, final or empty. | 415 |
| Missing a Javadoc comment. | 415 |
| Parameter name should be final. | 415 |
| Parameter arity should be final. | 415 |
| Line contains a tab character. | 416 |
| Line contains a tab character. | 417 |
| Line contains a tab character. | 418 |
| Line contains a tab character. | 419 |
| Line contains a tab character. | 420 |
| Line is longer than 80 characters. | 421 |
| Line contains a tab character. | 421 |
| Line is longer than 80 characters. | 422 |
| Line contains a tab character. | 422 |
| '100' is a magic number. | 422 |
| Line contains a tab character. | 423 |
| Line contains a tab character. | 424 |
| Line contains a tab character. | 426 |
| Method 'constraintReference' is not designed for extension - needs to be abstract, final or empty. | 426 |
| Missing a Javadoc comment. | 426 |
| Parameter ref should be final. | 426 |
| Line contains a tab character. | 427 |
| Line contains a tab character. | 428 |
| Line contains a tab character. | 429 |
| Line contains a tab character. | 430 |
| Line contains a tab character. | 431 |
| Line contains a tab character. | 432 |
| Line contains a tab character. | 433 |
| Line is longer than 80 characters. | 434 |
| Line contains a tab character. | 434 |
| Line contains a tab character. | 435 |
| Line contains a tab character. | 436 |
| Line contains a tab character. | 437 |
| Line contains a tab character. | 439 |
| Method 'addVariableToConstraint' is not designed for extension - needs to be abstract, final or empty. | 439 |
| Missing a Javadoc comment. | 439 |
| Parameter arg0 should be final. | 439 |
| Line contains a tab character. | 440 |
| Line contains a tab character. | 441 |
| Line contains a tab character. | 443 |
| Method 'addEffectiveParameter' is not designed for extension - needs to be abstract, final or empty. | 443 |
| Missing a Javadoc comment. | 443 |
| Parameter arg0 should be final. | 443 |
| Line contains a tab character. | 444 |
| Line contains a tab character. | 445 |
| Line contains a tab character. | 447 |
| Method 'addEffectiveParameter' is not designed for extension - needs to be abstract, final or empty. | 447 |
| Missing a Javadoc comment. | 447 |
| Parameter arg0 should be final. | 447 |
| Line contains a tab character. | 448 |
| Line contains a tab character. | 449 |
| Line contains a tab character. | 451 |
| Method 'beginParameterList' is not designed for extension - needs to be abstract, final or empty. | 451 |
| Missing a Javadoc comment. | 451 |
| Line contains a tab character. | 452 |
| Line contains a tab character. | 453 |
| Line contains a tab character. | 455 |
| Line contains a tab character. | 457 |
| Missing a Javadoc comment. | 457 |
| Parameter arg0 should be final. | 457 |
| Line contains a tab character. | 458 |
| Line contains a tab character. | 460 |
| Line contains a tab character. | 462 |
| Missing a Javadoc comment. | 462 |
| Parameter arg0 should be final. | 462 |
| Line contains a tab character. | 463 |
| Line contains a tab character. | 465 |
| Line contains a tab character. | 467 |
| Missing a Javadoc comment. | 467 |
| Line contains a tab character. | 468 |
| Line contains a tab character. | 470 |
| Line contains a tab character. | 472 |
| Method 'addConstantParameter' is not designed for extension - needs to be abstract, final or empty. | 472 |
| Missing a Javadoc comment. | 472 |
| Parameter arg0 should be final. | 472 |
| Parameter arg1 should be final. | 472 |
| Line contains a tab character. | 473 |
| Line contains a tab character. | 474 |
| Line contains a tab character. | 475 |
| Line contains a tab character. | 477 |
| Method 'constraintExpression' is not designed for extension - needs to be abstract, final or empty. | 477 |
| Missing a Javadoc comment. | 477 |
| Parameter arg0 should be final. | 477 |
| Line contains a tab character. | 478 |
| Line contains a tab character. | 479 |
| Line contains a tab character. | 480 |
| Line contains a tab character. | 482 |
| Method 'endConstraint' is not designed for extension - needs to be abstract, final or empty. | 482 |
| Missing a Javadoc comment. | 482 |
| Line contains a tab character. | 483 |
| Line contains a tab character. | 484 |
| Line contains a tab character. | 485 |
| Line contains a tab character. | 486 |
| Line contains a tab character. | 487 |
| Line contains a tab character. | 488 |
| Line contains a tab character. | 490 |
| Method 'endConstraintsSection' is not designed for extension - needs to be abstract, final or empty. | 490 |
| Missing a Javadoc comment. | 490 |
| Line contains a tab character. | 491 |
| Line contains a tab character. | 492 |
| Line contains a tab character. | 493 |
| Line contains a tab character. | 494 |
| Line contains a tab character. | 495 |
| Line contains a tab character. | 496 |
| Line contains a tab character. | 498 |
| Missing a Javadoc comment. | 498 |
| Line contains a tab character. | 499 |
| Line contains a tab character. | 500 |
| Line contains a tab character. | 502 |
| Method 'getProblem' is not designed for extension - needs to be abstract, final or empty. | 502 |
| Missing a Javadoc comment. | 502 |
| Line contains a tab character. | 503 |
| Line contains a tab character. | 504 |
| Line contains a tab character. | 506 |
| Method 'parseInstance' is not designed for extension - needs to be abstract, final or empty. | 506 |
| Line contains a tab character. | 507 |
| Line is longer than 80 characters. | 508 |
| Line contains a tab character. | 508 |
| Line contains a tab character. | 509 |
| Line contains a tab character. | 510 |
| 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 |
| ',' is not followed by whitespace. | 26 |
| Parameter allDiffCard should be final. | 26 |
| ',' is not followed by whitespace. | 27 |
| 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. | 35 |
| Missing a Javadoc comment. | 37 |
| Missing a Javadoc comment. | 39 |
| Parameter solver should be final. | 39 |
| Parameter allDiffCard should be final. | 39 |
| ',' is not followed by whitespace. | 40 |
| Method 'decode' is not designed for extension - needs to be abstract, final or empty. | 43 |
| Parameter model should be final. | 44 |
| Method 'decode' is not designed for extension - needs to be abstract, final or empty. | 48 |
| Parameter model should be final. | 49 |
| Parameter out should be final. | 49 |
| Line has trailing spaces. | 55 |
| Method 'parseInstance' is not designed for extension - needs to be abstract, final or empty. | 58 |
| Parameter filename should be final. | 59 |
| Method 'parseInstance' is not designed for extension - needs to be abstract, final or empty. | 72 |
| Parameter in should be final. | 73 |
| Line contains a tab character. | 78 |
| Method 'parseInstance' is not designed for extension - needs to be abstract, final or empty. | 78 |
| Line contains a tab character. | 79 |
| Line is longer than 80 characters. | 80 |
| Line contains a tab character. | 80 |
| Line contains a tab character. | 81 |
| Line contains a tab character. | 82 |
| Line has trailing spaces. | 83 |
| Line contains a tab character. | 83 |
| Line has trailing spaces. | 86 |
| Method 'setVerbosity' is not designed for extension - needs to be abstract, final or empty. | 89 |
| Parameter b should be final. | 90 |
