The following document contains the results of Checkstyle. 
| Files | Infos  | Warnings  | Errors  |
|---|---|---|---|
| 210 | 0 | 0 | 10234 |
| Rules | Violations | Severity |
|---|---|---|
| PackageHtml | 1 | Error |
| NewlineAtEndOfFile | 48 | Error |
| Translation | 0 | Error |
| JavadocMethod | 1442 | Error |
| JavadocType | 91 | Error |
| JavadocVariable | 442 | Error |
| JavadocStyle | 163 | Error |
| ConstantName | 5 | Error |
| LocalFinalVariableName | 0 | Error |
| LocalVariableName | 3 | Error |
| MemberName | 3 | Error |
| MethodName | 1 | Error |
| PackageName | 0 | Error |
| ParameterName | 0 | Error |
| StaticVariableName | 0 | Error |
| TypeName | 0 | Error |
| AvoidStarImport | 0 | Error |
| IllegalImport | 0 | Error |
| RedundantImport | 0 | Error |
| UnusedImports | 1 | Error |
| FileLength | 0 | Error |
| LineLength | 404 | Error |
| MethodLength | 0 | Error |
| ParameterNumber | 0 | Error |
| EmptyForIteratorPad | 0 | Error |
| MethodParamPad | 0 | Error |
| NoWhitespaceAfter | 2 | Error |
| NoWhitespaceBefore | 1 | Error |
| OperatorWrap | 0 | Error |
| ParenPad | 2 | Error |
| TypecastParenPad | 0 | Error |
| TabCharacter | 614 | Error |
| WhitespaceAfter | 23 | Error |
| WhitespaceAround | 2135 | Error |
| ModifierOrder | 20 | Error |
| RedundantModifier | 77 | Error |
| AvoidNestedBlocks | 0 | Error |
| EmptyBlock | 2 | Error |
| LeftCurly | 0 | Error |
| NeedBraces | 261 | Error |
| RightCurly | 0 | Error |
| AvoidInlineConditionals | 29 | Error |
| DoubleCheckedLocking | 0 | Error |
| EmptyStatement | 2 | Error |
| EqualsHashCode | 0 | Error |
| HiddenField | 102 | Error |
| IllegalInstantiation | 0 | Error |
| InnerAssignment | 15 | Error |
| MagicNumber | 73 | Error |
| MissingSwitchDefault | 0 | Error |
| RedundantThrows | 6 | Error |
| SimplifyBooleanExpression | 0 | Error |
| SimplifyBooleanReturn | 0 | Error |
| DesignForExtension | 858 | Error |
| FinalClass | 11 | Error |
| HideUtilityClassConstructor | 0 | Error |
| InterfaceIsType | 0 | Error |
| VisibilityModifier | 89 | Error |
| ArrayTypeStyle | 4 | Error |
| FinalParameters | 1423 | Error |
GenericIllegalRegexp
| 1881 | Error |
| TodoComment | 0 | Error |
| UpperEll | 0 | Error |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Line has trailing spaces. | 39 |
| Line has trailing spaces. | 41 |
| Missing a Javadoc comment. | 48 |
| Missing a Javadoc comment. | 50 |
| Variable 'solver' must be private and have accessor methods. | 50 |
| Missing a Javadoc comment. | 52 |
| Parameter solver should be final. | 52 |
| 'solver' hides a field. | 52 |
| Method 'handleConstr' is not designed for extension - needs to be abstract, final or empty. | 56 |
| Missing a Javadoc comment. | 56 |
| Parameter gateType should be final. | 56 |
| Parameter output should be final. | 56 |
| Parameter inputs should be final. | 56 |
| Expected an @return tag. | 80 |
| Method 'parseInstance' is not designed for extension - needs to be abstract, final or empty. | 80 |
| Parameter gateType should be final. | 80 |
| Parameter outputs should be final. | 80 |
| Parameter inputs should be final. | 81 |
| Parameter maxVar should be final. | 81 |
| Method 'decode' is not designed for extension - needs to be abstract, final or empty. | 90 |
| Missing a Javadoc comment. | 90 |
| Parameter model should be final. | 90 |
| '4' is a magic number. | 91 |
| Method 'getSolver' is not designed for extension - needs to be abstract, final or empty. | 100 |
| Missing a Javadoc comment. | 100 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Line has trailing spaces. | 31 |
| Line has trailing spaces. | 35 |
| Line has trailing spaces. | 42 |
| Line has trailing spaces. | 44 |
| Line has trailing spaces. | 46 |
| Missing a Javadoc comment. | 50 |
| Missing a Javadoc comment. | 54 |
| Parameter p should be final. | 54 |
| Missing a Javadoc comment. | 59 |
| Parameter p should be final. | 59 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Line has trailing spaces. | 33 |
| Line has trailing spaces. | 35 |
| Missing a Javadoc comment. | 38 |
| Line has trailing spaces. | 42 |
| Line has trailing spaces. | 54 |
| Line has trailing spaces. | 62 |
| Line has trailing spaces. | 73 |
| Line has trailing spaces. | 82 |
| First sentence should end with a period. | 88 |
| Line has trailing spaces. | 90 |
| Line has trailing spaces. | 96 |
| Line has trailing spaces. | 103 |
| Line has trailing spaces. | 113 |
| Line has trailing spaces. | 121 |
| Line has trailing spaces. | 129 |
| '<' is not preceded with whitespace. | 132 |
| '<' is not followed by whitespace. | 132 |
| '>' is not preceded with whitespace. | 132 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Line has trailing spaces. | 34 |
| Line has trailing spaces. | 36 |
| Missing a Javadoc comment. | 43 |
| Missing a Javadoc comment. | 46 |
| Variable 'clauses' must be private and have accessor methods. | 46 |
| Missing a Javadoc comment. | 48 |
| Variable 'dimacs' must be private and have accessor methods. | 48 |
| Missing a Javadoc comment. | 51 |
| Missing a Javadoc comment. | 53 |
| Parameter bufSize should be final. | 53 |
| 'bufSize' hides a field. | 53 |
| Method 'handleConstr' is not designed for extension - needs to be abstract, final or empty. | 57 |
| Missing a Javadoc comment. | 57 |
| Parameter gateType should be final. | 57 |
| Parameter output should be final. | 57 |
| Parameter inputs should be final. | 57 |
| Expected an @return tag. | 85 |
| Method 'parseInstance' is not designed for extension - needs to be abstract, final or empty. | 85 |
| Parameter gateType should be final. | 85 |
| Parameter outputs should be final. | 85 |
| Parameter inputs should be final. | 85 |
| Parameter maxVar should be final. | 86 |
| '7' is a magic number. | 93 |
| Method 'init' is not designed for extension - needs to be abstract, final or empty. | 113 |
| Missing a Javadoc comment. | 113 |
| Method 'decode' is not designed for extension - needs to be abstract, final or empty. | 119 |
| Missing a Javadoc comment. | 119 |
| Parameter model should be final. | 119 |
| Violation | Message | Line |
|---|---|---|
| File does not end with a newline. | 0 |
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Class PuebloMinWatchPb should be declared as final. | 38 |
| Missing a Javadoc comment. | 38 |
| Missing a Javadoc comment. | 40 |
| First sentence should end with a period. | 42 |
| Line has trailing spaces. | 44 |
| Unused @param tag for 'ps'. | 47 |
| Unused @param tag for 'coefs'. | 49 |
| Unused @param tag for 'moreThan'. | 51 |
| Unused @param tag for 'degree'. | 53 |
| Parameter voc should be final. | 56 |
| Parameter mpb should be final. | 56 |
| Expected @param tag for 'mpb'. | 56 |
| Parameter s should be final. | 75 |
| Parameter voc should be final. | 76 |
| Expected @param tag for 'voc'. | 76 |
| Parameter ps should be final. | 76 |
| Parameter coefs should be final. | 76 |
| Parameter moreThan should be final. | 76 |
| Parameter degree should be final. | 76 |
| Expected @throws tag for 'ContradictionException'. | 77 |
| Parameter s should be final. | 96 |
| Parameter voc should be final. | 97 |
| Expected @param tag for 'voc'. | 97 |
| Parameter ps should be final. | 97 |
| Parameter coefs should be final. | 97 |
| '<' is not preceded with whitespace. | 97 |
| '<' is not followed by whitespace. | 97 |
| '>' is not preceded with whitespace. | 97 |
| Parameter moreThan should be final. | 97 |
| Parameter degree should be final. | 98 |
| Expected @throws tag for 'ContradictionException'. | 98 |
| '<' is not preceded with whitespace. | 101 |
| '<' is not followed by whitespace. | 101 |
| '>' is not preceded with whitespace. | 101 |
| '<' is not preceded with whitespace. | 101 |
| '<' is not followed by whitespace. | 101 |
| '>' is not preceded with whitespace. | 101 |
| '>' is not followed by whitespace. | 101 |
| Missing a Javadoc comment. | 122 |
| Parameter s should be final. | 122 |
| Parameter voc should be final. | 123 |
| Parameter mpb should be final. | 123 |
| Line has trailing spaces. | 139 |
| Expected an @return tag. | 141 |
| Parameter voc should be final. | 141 |
| Expected @param tag for 'voc'. | 141 |
| Parameter lits should be final. | 141 |
| Expected @param tag for 'lits'. | 141 |
| Parameter coefs should be final. | 141 |
| Expected @param tag for 'coefs'. | 141 |
| Parameter moreThan should be final. | 142 |
| Expected @param tag for 'moreThan'. | 142 |
| Parameter degree should be final. | 142 |
| Expected @param tag for 'degree'. | 142 |
| Line has trailing spaces. | 148 |
| Expected an @return tag. | 150 |
| Parameter voc should be final. | 150 |
| Expected @param tag for 'voc'. | 150 |
| Parameter lits should be final. | 150 |
| Expected @param tag for 'lits'. | 150 |
| Parameter coefs should be final. | 151 |
| '<' is not preceded with whitespace. | 151 |
| '<' is not followed by whitespace. | 151 |
| '>' is not preceded with whitespace. | 151 |
| Expected @param tag for 'coefs'. | 151 |
| Parameter moreThan should be final. | 151 |
| Expected @param tag for 'moreThan'. | 151 |
| Parameter degree should be final. | 151 |
| Expected @param tag for 'degree'. | 151 |
| Line is longer than 80 characters. | 157 |
| Missing a Javadoc comment. | 157 |
| Parameter voc should be final. | 157 |
| Parameter mpb should be final. | 157 |
| Missing a Javadoc comment. | 161 |
| Parameter pIndice should be final. | 162 |
| Missing a Javadoc comment. | 166 |
| Parameter mc should be final. | 167 |
| Parameter pIndice should be final. | 167 |
| Violation | Message | Line |
|---|---|---|
| File does not end with a newline. | 0 |
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Redundant 'public' modifier. | 37 |
| Expected @param tag for 'confl'. | 37 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Line has trailing spaces. | 39 |
| Missing a Javadoc comment. | 44 |
| Missing a Javadoc comment. | 46 |
| Method 'initAnalyze' is not designed for extension - needs to be abstract, final or empty. | 48 |
| Missing a Javadoc comment. | 48 |
| Method 'onCurrentDecisionLevelLiteral' is not designed for extension - needs to be abstract, final or empty. | 52 |
| Missing a Javadoc comment. | 52 |
| Parameter p should be final. | 52 |
| Method 'clauseNonAssertive' is not designed for extension - needs to be abstract, final or empty. | 56 |
| Missing a Javadoc comment. | 56 |
| Parameter reason should be final. | 56 |
| Method 'toString' is not designed for extension - needs to be abstract, final or empty. | 60 |
| Missing a Javadoc comment. | 60 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Missing a Javadoc comment. | 27 |
| Missing a Javadoc comment. | 28 |
| Missing a Javadoc comment. | 30 |
| Parameter p should be final. | 30 |
| Missing a Javadoc comment. | 33 |
| Parameter p should be final. | 33 |
| Missing a Javadoc comment. | 36 |
| Parameter p should be final. | 36 |
| Missing a Javadoc comment. | 39 |
| Parameter p should be final. | 39 |
| Missing a Javadoc comment. | 42 |
| Parameter clause should be final. | 42 |
| Missing a Javadoc comment. | 45 |
| Parameter clause should be final. | 45 |
| Missing a Javadoc comment. | 48 |
| Missing a Javadoc comment. | 51 |
| Missing a Javadoc comment. | 54 |
| Missing a Javadoc comment. | 57 |
| Missing a Javadoc comment. | 60 |
| Parameter result should be final. | 60 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Line has trailing spaces. | 39 |
| Line has trailing spaces. | 46 |
| Missing a Javadoc comment. | 50 |
| Missing a Javadoc comment. | 52 |
| Parameter solver should be final. | 52 |
| Method 'admitABetterSolution' is not designed for extension - needs to be abstract, final or empty. | 56 |
| Missing a Javadoc comment. | 56 |
| Method 'hasNoObjectiveFunction' is not designed for extension - needs to be abstract, final or empty. | 64 |
| Missing a Javadoc comment. | 64 |
| Method 'nonOptimalMeansSatisfiable' is not designed for extension - needs to be abstract, final or empty. | 68 |
| Missing a Javadoc comment. | 68 |
| Missing a Javadoc comment. | 72 |
| Method 'calculateObjective' is not designed for extension - needs to be abstract, final or empty. | 74 |
| Missing a Javadoc comment. | 74 |
| Missing a Javadoc comment. | 84 |
| Method 'discard' is not designed for extension - needs to be abstract, final or empty. | 86 |
| Missing a Javadoc comment. | 86 |
| Method 'model' is not designed for extension - needs to be abstract, final or empty. | 95 |
| Missing a Javadoc comment. | 95 |
| Method 'reset' is not designed for extension - needs to be abstract, final or empty. | 101 |
| Missing a Javadoc comment. | 101 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Line has trailing spaces. | 48 |
| Line has trailing spaces. | 50 |
| Missing a Javadoc comment. | 54 |
| Missing a Javadoc comment. | 56 |
| Missing a Javadoc comment. | 58 |
| Missing a Javadoc comment. | 60 |
| Line has trailing spaces. | 61 |
| Missing a Javadoc comment. | 62 |
| Missing a Javadoc comment. | 64 |
| Variable 'reader' must be private and have accessor methods. | 64 |
| Missing a Javadoc comment. | 66 |
| Line is longer than 80 characters. | 68 |
| Missing a Javadoc comment. | 68 |
| Name 'cputimesupported' must match pattern '^[A-Z][A-Z0-9]*(_[A-Z0-9]+)*$'. | 68 |
| Line has trailing spaces. | 69 |
| Missing a Javadoc comment. | 70 |
| Variable 'shutdownHook' must be private and have accessor methods. | 70 |
| Missing a Javadoc comment. | 77 |
| Variable 'solver' must be private and have accessor methods. | 77 |
| Missing a Javadoc comment. | 79 |
| Missing a Javadoc comment. | 81 |
| Missing a Javadoc comment. | 83 |
| Method 'displayResult' is not designed for extension - needs to be abstract, final or empty. | 87 |
| Missing a Javadoc comment. | 87 |
| Line is longer than 80 characters. | 89 |
| '1000.0' is a magic number. | 89 |
| Line is longer than 80 characters. | 98 |
| Line is longer than 80 characters. | 100 |
| ';' is preceded with whitespace. | 100 |
| Missing a Javadoc comment. | 105 |
| Line is longer than 80 characters. | 111 |
| Line is longer than 80 characters. | 112 |
| Line is longer than 80 characters. | 113 |
| Line has trailing spaces. | 116 |
| Line contains a tab character. | 116 |
| '+' is not preceded with whitespace. | 124 |
| '+' is not followed by whitespace. | 124 |
| '!=' is not preceded with whitespace. | 126 |
| '!=' is not followed by whitespace. | 126 |
| '+' is not preceded with whitespace. | 130 |
| '+' is not followed by whitespace. | 130 |
| Line is longer than 80 characters. | 137 |
| Line is longer than 80 characters. | 145 |
| Line has trailing spaces. | 150 |
| Method 'readProblem' is not designed for extension - needs to be abstract, final or empty. | 163 |
| Parameter problemname should be final. | 163 |
| Redundant throws: 'FileNotFoundException' is subclass of 'IOException'. | 164 |
| Line is longer than 80 characters. | 171 |
| '1000.0' is a magic number. | 171 |
| Line is longer than 80 characters. | 173 |
| '+' is not preceded with whitespace. | 173 |
| '+' is not followed by whitespace. | 173 |
| '/' is not followed by whitespace. | 173 |
| '1000000000.0' is a magic number. | 173 |
| '+' is not preceded with whitespace. | 173 |
| '+' is not followed by whitespace. | 173 |
| Missing a Javadoc comment. | 180 |
| 'solver' hides a field. | 180 |
| Method 'run' is not designed for extension - needs to be abstract, final or empty. | 182 |
| Missing a Javadoc comment. | 182 |
| Parameter args should be final. | 182 |
| 'if' construct must use '{}'s. | 187 |
| Line is longer than 80 characters. | 211 |
| '/' is not followed by whitespace. | 211 |
| '1000000000.0' is a magic number. | 211 |
| Missing a Javadoc comment. | 215 |
| Missing a Javadoc comment. | 217 |
| First sentence should end with a period. | 219 |
| Line has trailing spaces. | 221 |
| Method 'log' is not designed for extension - needs to be abstract, final or empty. | 224 |
| Parameter message should be final. | 224 |
| Expected @param tag for 'message'. | 224 |
| 'if' construct must use '{}'s. | 225 |
| Method 'solve' is not designed for extension - needs to be abstract, final or empty. | 229 |
| Missing a Javadoc comment. | 229 |
| Parameter problem should be final. | 229 |
| Avoid inline conditionals. | 230 |
| First sentence should end with a period. | 234 |
| Line has trailing spaces. | 236 |
| Parameter exitCode should be final. | 240 |
| 'exitCode' hides a field. | 240 |
| First sentence should end with a period. | 244 |
| Line has trailing spaces. | 246 |
| Line has trailing spaces. | 256 |
| Line has trailing spaces. | 264 |
| Line has trailing spaces. | 274 |
| Method 'setLogWriter' is not designed for extension - needs to be abstract, final or empty. | 277 |
| Parameter out should be final. | 277 |
| 'out' hides a field. | 277 |
| Expected @param tag for 'out'. | 277 |
| Method 'getLogWriter' is not designed for extension - needs to be abstract, final or empty. | 281 |
| Missing a Javadoc comment. | 281 |
| Method 'setSilent' is not designed for extension - needs to be abstract, final or empty. | 285 |
| Missing a Javadoc comment. | 285 |
| Parameter b should be final. | 285 |
| Line has trailing spaces. | 288 |
| Line is longer than 80 characters. | 289 |
| Missing a Javadoc comment. | 289 |
| Parameter stream should be final. | 289 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Line has trailing spaces. | 33 |
| Missing a Javadoc comment. | 38 |
| Line has trailing spaces. | 49 |
| Parameter message should be final. | 53 |
| Line has trailing spaces. | 59 |
| Parameter message should be final. | 65 |
| Parameter cause should be final. | 65 |
| Line has trailing spaces. | 71 |
| Parameter cause should be final. | 75 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Line has trailing spaces. | 42 |
| Line has trailing spaces. | 44 |
| Line has trailing spaces. | 52 |
| Missing a Javadoc comment. | 56 |
| Missing a Javadoc comment. | 58 |
| Missing a Javadoc comment. | 60 |
| Missing a Javadoc comment. | 62 |
| '<' is not preceded with whitespace. | 62 |
| '<' is not followed by whitespace. | 62 |
| '>' is not preceded with whitespace. | 62 |
| '<' is not preceded with whitespace. | 62 |
| '<' is not followed by whitespace. | 62 |
| '>' is not preceded with whitespace. | 62 |
| '>' is not followed by whitespace. | 62 |
| Missing a Javadoc comment. | 64 |
| Parameter solver should be final. | 64 |
| Line has trailing spaces. | 70 |
| Method 'newVar' is not designed for extension - needs to be abstract, final or empty. | 73 |
| Missing a Javadoc comment. | 73 |
| Line has trailing spaces. | 80 |
| Line has trailing spaces. | 83 |
| Expected an @return tag. | 87 |
| Method 'newVar' is not designed for extension - needs to be abstract, final or empty. | 87 |
| Parameter howmany should be final. | 88 |
| Line has trailing spaces. | 104 |
| Method 'costOf' is not designed for extension - needs to be abstract, final or empty. | 109 |
| Parameter var should be final. | 109 |
| Line has trailing spaces. | 115 |
| Method 'setCost' is not designed for extension - needs to be abstract, final or empty. | 121 |
| Parameter var should be final. | 121 |
| Parameter cost should be final. | 121 |
| Method 'admitABetterSolution' is not designed for extension - needs to be abstract, final or empty. | 126 |
| Missing a Javadoc comment. | 126 |
| 'if' construct must use '{}'s. | 128 |
| Method 'hasNoObjectiveFunction' is not designed for extension - needs to be abstract, final or empty. | 133 |
| Missing a Javadoc comment. | 133 |
| Method 'nonOptimalMeansSatisfiable' is not designed for extension - needs to be abstract, final or empty. | 137 |
| Missing a Javadoc comment. | 137 |
| Method 'calculateObjective' is not designed for extension - needs to be abstract, final or empty. | 141 |
| Missing a Javadoc comment. | 141 |
| Missing a Javadoc comment. | 145 |
| Parameter prevmodel2 should be final. | 145 |
| Method 'discard' is not designed for extension - needs to be abstract, final or empty. | 155 |
| Missing a Javadoc comment. | 155 |
| Method 'model' is not designed for extension - needs to be abstract, final or empty. | 160 |
| Missing a Javadoc comment. | 160 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Missing a Javadoc comment. | 28 |
| Missing a Javadoc comment. | 30 |
| Missing a Javadoc comment. | 32 |
| Missing a Javadoc comment. | 34 |
| Missing a Javadoc comment. | 36 |
| Missing a Javadoc comment. | 38 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Missing a Javadoc comment. | 30 |
| '<' is not preceded with whitespace. | 30 |
| '<' is not followed by whitespace. | 30 |
| '<' is not preceded with whitespace. | 30 |
| '<' is not followed by whitespace. | 30 |
| '>' is not preceded with whitespace. | 30 |
| '>' is not followed by whitespace. | 30 |
| '>' is not preceded with whitespace. | 30 |
| '<' is not preceded with whitespace. | 31 |
| '<' is not followed by whitespace. | 31 |
| '>' is not preceded with whitespace. | 31 |
| '>' is not followed by whitespace. | 31 |
| Missing a Javadoc comment. | 32 |
| Method 'compare' is not designed for extension - needs to be abstract, final or empty. | 34 |
| Missing a Javadoc comment. | 34 |
| Parameter a should be final. | 34 |
| Parameter b should be final. | 34 |
| Violation | Message | Line |
|---|---|---|
| File does not end with a newline. | 0 |
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Line has trailing spaces. | 36 |
| Line has trailing spaces. | 38 |
| Missing a Javadoc comment. | 41 |
| Missing a Javadoc comment. | 43 |
| Variable 'starts' must be private and have accessor methods. | 43 |
| Missing a Javadoc comment. | 45 |
| Variable 'decisions' must be private and have accessor methods. | 45 |
| Missing a Javadoc comment. | 47 |
| Variable 'propagations' must be private and have accessor methods. | 47 |
| Missing a Javadoc comment. | 49 |
| Variable 'inspects' must be private and have accessor methods. | 49 |
| Missing a Javadoc comment. | 51 |
| Variable 'conflicts' must be private and have accessor methods. | 51 |
| Missing a Javadoc comment. | 53 |
| Variable 'learnedliterals' must be private and have accessor methods. | 53 |
| Missing a Javadoc comment. | 55 |
| Variable 'learnedbinaryclauses' must be private and have accessor methods. | 55 |
| Missing a Javadoc comment. | 57 |
| Variable 'learnedternaryclauses' must be private and have accessor methods. | 57 |
| Missing a Javadoc comment. | 59 |
| Variable 'learnedclauses' must be private and have accessor methods. | 59 |
| Missing a Javadoc comment. | 61 |
| Variable 'rootSimplifications' must be private and have accessor methods. | 61 |
| Missing a Javadoc comment. | 63 |
| Variable 'reducedliterals' must be private and have accessor methods. | 63 |
| Missing a Javadoc comment. | 65 |
| Variable 'changedreason' must be private and have accessor methods. | 65 |
| Missing a Javadoc comment. | 67 |
| Variable 'reduceddb' must be private and have accessor methods. | 67 |
| Method 'reset' is not designed for extension - needs to be abstract, final or empty. | 69 |
| Missing a Javadoc comment. | 69 |
| Method 'printStat' is not designed for extension - needs to be abstract, final or empty. | 85 |
| Missing a Javadoc comment. | 85 |
| Parameter out should be final. | 85 |
| Parameter prefix should be final. | 85 |
| Method 'toMap' is not designed for extension - needs to be abstract, final or empty. | 106 |
| Missing a Javadoc comment. | 106 |
| '<' is not preceded with whitespace. | 106 |
| '<' is not followed by whitespace. | 106 |
| '>' is not preceded with whitespace. | 106 |
| '<' is not preceded with whitespace. | 107 |
| '<' is not followed by whitespace. | 107 |
| '>' is not preceded with whitespace. | 107 |
| '<' is not preceded with whitespace. | 107 |
| '<' is not followed by whitespace. | 107 |
| '>' is not preceded with whitespace. | 107 |
| '>' is not followed by whitespace. | 107 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Line has trailing spaces. | 32 |
| Line has trailing spaces. | 34 |
| First sentence should end with a period. | 38 |
| Line has trailing spaces. | 40 |
| Expected @param tag for 'p'. | 43 |
| First sentence should end with a period. | 45 |
| Line has trailing spaces. | 47 |
| Expected @param tag for 'p'. | 50 |
| First sentence should end with a period. | 52 |
| Line has trailing spaces. | 54 |
| Expected @param tag for 'p'. | 57 |
| First sentence should end with a period. | 59 |
| Expected @param tag for 'p'. | 62 |
| First sentence should end with a period. | 64 |
| Line has trailing spaces. | 66 |
| Expected @param tag for 'c'. | 69 |
| First sentence should end with a period. | 71 |
| Expected @param tag for 'clause'. | 74 |
| Line has trailing spaces. | 78 |
| Line has trailing spaces. | 84 |
| First sentence should end with a period. | 88 |
| Line has trailing spaces. | 95 |
| Line has trailing spaces. | 101 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Missing a Javadoc comment. | 39 |
| '<' is not preceded with whitespace. | 39 |
| '<' is not followed by whitespace. | 39 |
| '>' is not preceded with whitespace. | 39 |
| Missing a Javadoc comment. | 41 |
| Parameter acg should be final. | 41 |
| Line is longer than 80 characters. | 42 |
| Parameter learner should be final. | 42 |
| '<' is not preceded with whitespace. | 42 |
| '<' is not followed by whitespace. | 42 |
| '>' is not preceded with whitespace. | 42 |
| Parameter dsf should be final. | 42 |
| '<' is not preceded with whitespace. | 42 |
| '<' is not followed by whitespace. | 42 |
| '>' is not preceded with whitespace. | 42 |
| Parameter order should be final. | 42 |
| '<' is not preceded with whitespace. | 42 |
| '<' is not followed by whitespace. | 42 |
| '>' is not preceded with whitespace. | 42 |
| Line has trailing spaces. | 47 |
| Method 'addPseudoBoolean' is not designed for extension - needs to be abstract, final or empty. | 51 |
| Missing a Javadoc comment. | 51 |
| Parameter literals should be final. | 52 |
| Parameter coeffs should be final. | 52 |
| '<' is not preceded with whitespace. | 52 |
| '<' is not followed by whitespace. | 52 |
| '>' is not preceded with whitespace. | 52 |
| Parameter moreThan should be final. | 53 |
| Parameter degree should be final. | 53 |
| Method 'toString' is not designed for extension - needs to be abstract, final or empty. | 68 |
| Missing a Javadoc comment. | 68 |
| Parameter prefix should be final. | 69 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Line has trailing spaces. | 39 |
| Line has trailing spaces. | 41 |
| Line has trailing spaces. | 44 |
| Line has trailing spaces. | 46 |
| Line has trailing spaces. | 51 |
| Missing a Javadoc comment. | 55 |
| '<' is not preceded with whitespace. | 55 |
| '<' is not followed by whitespace. | 55 |
| '>' is not preceded with whitespace. | 55 |
| Missing a Javadoc comment. | 57 |
| Missing a Javadoc comment. | 59 |
| Missing a Javadoc comment. | 61 |
| Missing a Javadoc comment. | 63 |
| '<' is not preceded with whitespace. | 64 |
| '<' is not followed by whitespace. | 64 |
| '>' is not preceded with whitespace. | 64 |
| '>' is not followed by whitespace. | 64 |
| Missing a Javadoc comment. | 72 |
| Missing a Javadoc comment. | 91 |
| Avoid inline conditionals. | 97 |
| Missing a Javadoc comment. | 109 |
| Missing a Javadoc comment. | 117 |
| Missing a Javadoc comment. | 121 |
| Missing a Javadoc comment. | 124 |
| Missing a Javadoc comment. | 127 |
| Missing a Javadoc comment. | 132 |
| Missing a Javadoc comment. | 137 |
| Missing a Javadoc comment. | 140 |
| Missing a Javadoc comment. | 144 |
| Parameter result should be final. | 144 |
| Missing a Javadoc comment. | 148 |
| Redundant 'final' modifier. | 148 |
| Missing a Javadoc comment. | 152 |
| Redundant 'final' modifier. | 152 |
| Line has trailing spaces. | 162 |
| Missing a Javadoc comment. | 163 |
| Parameter stream should be final. | 163 |
| Violation | Message | Line |
|---|---|---|
| File does not end with a newline. | 0 |
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Class MaxWatchPb should be declared as final. | 38 |
| Missing a Javadoc comment. | 38 |
| Missing a Javadoc comment. | 40 |
| First sentence should end with a period. | 42 |
| Line has trailing spaces. | 44 |
| Unused @param tag for 'ps'. | 47 |
| Unused @param tag for 'coefs'. | 49 |
| Unused @param tag for 'moreThan'. | 51 |
| Unused @param tag for 'degree'. | 53 |
| Parameter voc should be final. | 56 |
| Parameter mpb should be final. | 56 |
| Expected @param tag for 'mpb'. | 56 |
| Line is longer than 80 characters. | 66 |
| Missing a Javadoc comment. | 66 |
| Parameter voc should be final. | 66 |
| Parameter lits should be final. | 66 |
| Parameter coefs should be final. | 66 |
| Parameter degree should be final. | 66 |
| First sentence should end with a period. | 76 |
| Line has trailing spaces. | 78 |
| Expected @throws tag for 'ContradictionException'. | 82 |
| 'if' construct must use '{}'s. | 86 |
| Line has trailing spaces. | 103 |
| Missing a Javadoc comment. | 106 |
| Parameter s should be final. | 107 |
| 'if' construct must use '{}'s. | 113 |
| Line has trailing spaces. | 113 |
| Parameter s should be final. | 134 |
| Parameter voc should be final. | 135 |
| Expected @param tag for 'voc'. | 135 |
| Parameter ps should be final. | 135 |
| Parameter coefs should be final. | 135 |
| Parameter moreThan should be final. | 135 |
| Parameter degree should be final. | 135 |
| Expected @throws tag for 'ContradictionException'. | 136 |
| Parameter s should be final. | 155 |
| Parameter voc should be final. | 156 |
| Expected @param tag for 'voc'. | 156 |
| Parameter ps should be final. | 156 |
| Parameter coefs should be final. | 156 |
| '<' is not preceded with whitespace. | 156 |
| '<' is not followed by whitespace. | 156 |
| '>' is not preceded with whitespace. | 156 |
| Parameter moreThan should be final. | 156 |
| Parameter degree should be final. | 157 |
| Expected @throws tag for 'ContradictionException'. | 157 |
| '<' is not preceded with whitespace. | 161 |
| '<' is not followed by whitespace. | 161 |
| '>' is not preceded with whitespace. | 161 |
| '<' is not preceded with whitespace. | 161 |
| '<' is not followed by whitespace. | 161 |
| '>' is not preceded with whitespace. | 161 |
| '>' is not followed by whitespace. | 161 |
| 'if' construct must use '{}'s. | 173 |
| Line has trailing spaces. | 184 |
| Parameter s should be final. | 191 |
| Parameter p should be final. | 191 |
| 'while' construct must use '{}'s. | 199 |
| First sentence should end with a period. | 232 |
| 'if' construct must use '{}'s. | 237 |
| First sentence should end with a period. | 242 |
| Line has trailing spaces. | 244 |
| Parameter p should be final. | 248 |
| 'while' construct must use '{}'s. | 250 |
| Line has trailing spaces. | 259 |
| Expected an @return tag. | 261 |
| Parameter voc should be final. | 261 |
| Expected @param tag for 'voc'. | 261 |
| Parameter lits should be final. | 261 |
| Expected @param tag for 'lits'. | 261 |
| Parameter coefs should be final. | 261 |
| Expected @param tag for 'coefs'. | 261 |
| Parameter moreThan should be final. | 262 |
| Expected @param tag for 'moreThan'. | 262 |
| Parameter degree should be final. | 262 |
| Expected @param tag for 'degree'. | 262 |
| Line has trailing spaces. | 268 |
| Expected an @return tag. | 270 |
| Parameter voc should be final. | 270 |
| Expected @param tag for 'voc'. | 270 |
| Parameter lits should be final. | 270 |
| Expected @param tag for 'lits'. | 270 |
| Parameter coefs should be final. | 271 |
| '<' is not preceded with whitespace. | 271 |
| '<' is not followed by whitespace. | 271 |
| '>' is not preceded with whitespace. | 271 |
| Expected @param tag for 'coefs'. | 271 |
| Parameter moreThan should be final. | 271 |
| Expected @param tag for 'moreThan'. | 271 |
| Parameter degree should be final. | 271 |
| Expected @param tag for 'degree'. | 271 |
| Parameter s should be final. | 287 |
| Parameter voc should be final. | 288 |
| Parameter mpb should be final. | 288 |
| Expected @throws tag for 'ContradictionException'. | 288 |
| Line has trailing spaces. | 313 |
| Parameter s should be final. | 318 |
| Line is longer than 80 characters. | 319 |
| Parameter voc should be final. | 319 |
| Parameter lits should be final. | 319 |
| Parameter coefs should be final. | 319 |
| Parameter degree should be final. | 319 |
| Expected @throws tag for 'ContradictionException'. | 319 |
| Violation | Message | Line |
|---|---|---|
| Missing a Javadoc comment. | 7 |
| Line contains a tab character. | 9 |
| Line has trailing spaces. | 10 |
| Line contains a tab character. | 10 |
| Line contains a tab character. | 11 |
| Line contains a tab character. | 12 |
| Line has trailing spaces. | 13 |
| Line contains a tab character. | 13 |
| Line contains a tab character. | 14 |
| Missing a Javadoc comment. | 14 |
| Line contains a tab character. | 15 |
| Line contains a tab character. | 16 |
| Line has trailing spaces. | 19 |
| Method 'createReader' is not designed for extension - needs to be abstract, final or empty. | 22 |
| Missing a Javadoc comment. | 22 |
| Parameter solver should be final. | 23 |
| Parameter problemname should be final. | 23 |
| First sentence should end with a period. | 26 |
| Line has trailing spaces. | 28 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Missing a Javadoc comment. | 36 |
| Missing a Javadoc comment. | 38 |
| 'static' modifier out of order with the JLS suggestions. | 38 |
| Missing a Javadoc comment. | 40 |
| 'static' modifier out of order with the JLS suggestions. | 40 |
| Missing a Javadoc comment. | 42 |
| Missing a Javadoc comment. | 44 |
| Missing a Javadoc comment. | 46 |
| Missing a Javadoc comment. | 48 |
| Parameter s should be final. | 48 |
| Method 'decode' is not designed for extension - needs to be abstract, final or empty. | 52 |
| Missing a Javadoc comment. | 52 |
| Parameter model should be final. | 53 |
| '>' is not preceded with whitespace. | 56 |
| '>' is not followed by whitespace. | 56 |
| '?' is not preceded with whitespace. | 56 |
| Avoid inline conditionals. | 56 |
| '?' is not followed by whitespace. | 56 |
| ':' is not preceded with whitespace. | 56 |
| ':' is not followed by whitespace. | 56 |
| Method 'decode' is not designed for extension - needs to be abstract, final or empty. | 61 |
| Missing a Javadoc comment. | 61 |
| Parameter model should be final. | 62 |
| Parameter out should be final. | 62 |
| '>' is not preceded with whitespace. | 64 |
| '>' is not followed by whitespace. | 64 |
| '?' is not preceded with whitespace. | 64 |
| Avoid inline conditionals. | 64 |
| '?' is not followed by whitespace. | 64 |
| ':' is not preceded with whitespace. | 64 |
| ':' is not followed by whitespace. | 64 |
| Method 'parseInt' is not designed for extension - needs to be abstract, final or empty. | 68 |
| Missing a Javadoc comment. | 68 |
| Parameter in should be final. | 68 |
| Parameter expected should be final. | 68 |
| 'if' construct must use '{}'s. | 73 |
| 'while' construct must use '{}'s. | 77 |
| Inner assignments should be avoided. | 77 |
| '10' is a magic number. | 78 |
| 'if' construct must use '{}'s. | 80 |
| Line has trailing spaces. | 88 |
| Method 'parseInstance' is not designed for extension - needs to be abstract, final or empty. | 91 |
| Missing a Javadoc comment. | 91 |
| Parameter in should be final. | 92 |
| '3' is a magic number. | 112 |
| Line is longer than 80 characters. | 121 |
| Missing a Javadoc comment. | 121 |
| Parameter in should be final. | 121 |
| Missing a Javadoc comment. | 129 |
| Parameter in should be final. | 129 |
| Inner assignments should be avoided. | 133 |
| '0x80' is a magic number. | 133 |
| '0x7f' is a magic number. | 135 |
| '7' is a magic number. | 135 |
| '7' is a magic number. | 137 |
| Missing a Javadoc comment. | 140 |
| Parameter nbands should be final. | 140 |
| Parameter output0 should be final. | 140 |
| Parameter in should be final. | 140 |
| Parameter startid should be final. | 140 |
| Missing a Javadoc comment. | 155 |
| Parameter v should be final. | 155 |
| Method 'parseInstance' is not designed for extension - needs to be abstract, final or empty. | 169 |
| Missing a Javadoc comment. | 169 |
| Parameter in should be final. | 170 |
| Violation | Message | Line |
|---|---|---|
| File does not end with a newline. | 0 |
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Line has trailing spaces. | 36 |
| Line has trailing spaces. | 43 |
| Line has trailing spaces. | 48 |
| Line has trailing spaces. | 58 |
| Line has trailing spaces. | 70 |
| Line has trailing spaces. | 81 |
| Line has trailing spaces. | 96 |
| Line has trailing spaces. | 107 |
| '<' is not preceded with whitespace. | 117 |
| '<' is not followed by whitespace. | 117 |
| '>' is not preceded with whitespace. | 117 |
| First sentence should end with a period. | 119 |
| Line has trailing spaces. | 122 |
| First sentence should end with a period. | 139 |
| Line has trailing spaces. | 142 |
| First sentence should end with a period. | 158 |
| Line has trailing spaces. | 161 |
| '<' is not preceded with whitespace. | 180 |
| '<' is not followed by whitespace. | 180 |
| '>' is not preceded with whitespace. | 180 |
| Line has trailing spaces. | 186 |
| Line has trailing spaces. | 195 |
| Line has trailing spaces. | 200 |
| Line has trailing spaces. | 203 |
| Line has trailing spaces. | 216 |
| Expected @param tag for 'out'. | 223 |
| First sentence should end with a period. | 225 |
| Line has trailing spaces. | 227 |
| Expected @param tag for 'out'. | 233 |
| Line has trailing spaces. | 238 |
| '<' is not preceded with whitespace. | 241 |
| '<' is not followed by whitespace. | 241 |
| '>' is not preceded with whitespace. | 241 |
| Line has trailing spaces. | 245 |
| Missing a Javadoc comment. | 252 |
| Violation | Message | Line |
|---|---|---|
| File does not end with a newline. | 0 |
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Line has trailing spaces. | 37 |
| Line has trailing spaces. | 50 |
| Missing a Javadoc comment. | 55 |
| Missing a Javadoc comment. | 57 |
| Parameter solver should be final. | 62 |
| Expected @param tag for 'solver'. | 62 |
| Line has trailing spaces. | 68 |
| Method 'model' is not designed for extension - needs to be abstract, final or empty. | 71 |
| Missing a Javadoc comment. | 71 |
| Line has trailing spaces. | 89 |
| Method 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty. | 92 |
| Missing a Javadoc comment. | 92 |
| Line has trailing spaces. | 103 |
| Method 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty. | 106 |
| Missing a Javadoc comment. | 106 |
| Parameter assumps should be final. | 107 |
| Line has trailing spaces. | 117 |
| Method 'reset' is not designed for extension - needs to be abstract, final or empty. | 120 |
| Missing a Javadoc comment. | 120 |
| Violation | Message | Line |
|---|---|---|
| File does not end with a newline. | 0 |
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Missing a Javadoc comment. | 30 |
| Missing a Javadoc comment. | 32 |
| Parameter solver should be final. | 32 |
| Method 'manageAllowedTuples' is not designed for extension - needs to be abstract, final or empty. | 36 |
| Missing a Javadoc comment. | 36 |
| Parameter relnum should be final. | 37 |
| Parameter arity should be final. | 37 |
| Parameter nbtuples should be final. | 37 |
| Violation | Message | Line |
|---|---|---|
| File does not end with a newline. | 0 |
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Line has trailing spaces. | 30 |
| '<' is not preceded with whitespace. | 33 |
| '<' is not followed by whitespace. | 33 |
| '>' is not preceded with whitespace. | 33 |
| Missing a Javadoc comment. | 35 |
| Redundant 'public' modifier. | 35 |
| First sentence should end with a period. | 37 |
| Line has trailing spaces. | 39 |
| Redundant 'public' modifier. | 42 |
| Expected @param tag for 'nofelems'. | 42 |
| Missing a Javadoc comment. | 44 |
| Redundant 'public' modifier. | 44 |
| Expected an @return tag. | 50 |
| Redundant 'public' modifier. | 50 |
| Missing a Javadoc comment. | 52 |
| Redundant 'public' modifier. | 52 |
| Missing a Javadoc comment. | 54 |
| Redundant 'public' modifier. | 54 |
| Missing a Javadoc comment. | 56 |
| Redundant 'public' modifier. | 56 |
| Line has trailing spaces. | 61 |
| Expected @param tag for 'elem'. | 64 |
| Missing a Javadoc comment. | 66 |
| Missing a Javadoc comment. | 68 |
| Redundant 'public' modifier. | 68 |
| Missing a Javadoc comment. | 70 |
| Redundant 'public' modifier. | 70 |
| Missing a Javadoc comment. | 72 |
| Redundant 'public' modifier. | 72 |
| Missing a Javadoc comment. | 74 |
| Redundant 'public' modifier. | 74 |
| Missing a Javadoc comment. | 76 |
| Redundant 'public' modifier. | 76 |
| Line has trailing spaces. | 81 |
| Redundant 'public' modifier. | 84 |
| Expected @param tag for 'copy'. | 84 |
| Redundant 'public' modifier. | 89 |
| Expected @param tag for 'is'. | 89 |
| Missing a Javadoc comment. | 94 |
| Redundant 'public' modifier. | 94 |
| Missing a Javadoc comment. | 96 |
| Redundant 'public' modifier. | 96 |
| Missing a Javadoc comment. | 98 |
| Redundant 'public' modifier. | 98 |
| Line has trailing spaces. | 103 |
| Line has trailing spaces. | 115 |
| Redundant 'public' modifier. | 119 |
| Line has trailing spaces. | 123 |
| Redundant 'public' modifier. | 127 |
| Line has trailing spaces. | 132 |
| Redundant 'public' modifier. | 138 |
| Missing a Javadoc comment. | 140 |
| Redundant 'public' modifier. | 140 |
| Missing a Javadoc comment. | 142 |
| Redundant 'public' modifier. | 142 |
| First sentence should end with a period. | 144 |
| Line has trailing spaces. | 146 |
| Violation | Message | Line |
|---|---|---|
| File does not end with a newline. | 0 |
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Line has trailing spaces. | 35 |
| Line has trailing spaces. | 36 |
| Line has trailing spaces. | 38 |
| Line has trailing spaces. | 40 |
| Type Javadoc comment is missing an @param <L> tag. | 43 |
| '<' is not preceded with whitespace. | 43 |
| '<' is not followed by whitespace. | 43 |
| '>' is not preceded with whitespace. | 43 |
| '<' is not preceded with whitespace. | 43 |
| '<' is not followed by whitespace. | 43 |
| '>' is not preceded with whitespace. | 43 |
| Missing a Javadoc comment. | 44 |
| Missing a Javadoc comment. | 46 |
| '<' is not preceded with whitespace. | 46 |
| '<' is not followed by whitespace. | 46 |
| '>' is not preceded with whitespace. | 46 |
| Method 'setDataStructureFactory' is not designed for extension - needs to be abstract, final or empty. | 48 |
| Missing a Javadoc comment. | 48 |
| Parameter dsf should be final. | 48 |
| '<' is not preceded with whitespace. | 48 |
| '<' is not followed by whitespace. | 48 |
| '>' is not preceded with whitespace. | 48 |
| 'dsf' hides a field. | 48 |
| Method 'setSolver' is not designed for extension - needs to be abstract, final or empty. | 52 |
| Missing a Javadoc comment. | 52 |
| Parameter s should be final. | 53 |
| '<' is not preceded with whitespace. | 53 |
| '<' is not followed by whitespace. | 53 |
| '>' is not preceded with whitespace. | 53 |
| Method 'learns' is not designed for extension - needs to be abstract, final or empty. | 58 |
| Missing a Javadoc comment. | 58 |
| Parameter constr should be final. | 58 |
| Method 'toString' is not designed for extension - needs to be abstract, final or empty. | 67 |
| Missing a Javadoc comment. | 67 |
| Line has trailing spaces. | 71 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Missing a Javadoc comment. | 42 |
| Missing a Javadoc comment. | 44 |
| Missing a Javadoc comment. | 46 |
| Missing a Javadoc comment. | 48 |
| Missing a Javadoc comment. | 50 |
| Line has trailing spaces. | 53 |
| Parameter voc should be final. | 55 |
| 'voc' hides a field. | 55 |
| Expected @param tag for 'voc'. | 55 |
| Parameter p should be final. | 55 |
| Expected @param tag for 'p'. | 55 |
| Method 'addBinaryClause' is not designed for extension - needs to be abstract, final or empty. | 60 |
| Missing a Javadoc comment. | 60 |
| Parameter p should be final. | 60 |
| Line has trailing spaces. | 66 |
| Missing a Javadoc comment. | 69 |
| Line has trailing spaces. | 75 |
| Line is longer than 80 characters. | 76 |
| Method 'propagate' is not designed for extension - needs to be abstract, final or empty. | 79 |
| Missing a Javadoc comment. | 79 |
| Parameter s should be final. | 79 |
| Parameter p should be final. | 79 |
| Line has trailing spaces. | 94 |
| Method 'simplify' is not designed for extension - needs to be abstract, final or empty. | 97 |
| Missing a Javadoc comment. | 97 |
| Line has trailing spaces. | 114 |
| Missing a Javadoc comment. | 117 |
| Parameter p should be final. | 117 |
| Line has trailing spaces. | 123 |
| Method 'calcReason' is not designed for extension - needs to be abstract, final or empty. | 126 |
| Missing a Javadoc comment. | 126 |
| Parameter p should be final. | 126 |
| Parameter outReason should be final. | 126 |
| Line has trailing spaces. | 140 |
| Method 'learnt' is not designed for extension - needs to be abstract, final or empty. | 143 |
| Missing a Javadoc comment. | 143 |
| Line has trailing spaces. | 149 |
| Missing a Javadoc comment. | 152 |
| Parameter claInc should be final. | 152 |
| Line has trailing spaces. | 158 |
| Method 'getActivity' is not designed for extension - needs to be abstract, final or empty. | 161 |
| Missing a Javadoc comment. | 161 |
| Line has trailing spaces. | 168 |
| Method 'locked' is not designed for extension - needs to be abstract, final or empty. | 171 |
| Missing a Javadoc comment. | 171 |
| Line has trailing spaces. | 177 |
| Missing a Javadoc comment. | 180 |
| Line has trailing spaces. | 186 |
| Missing a Javadoc comment. | 189 |
| Line has trailing spaces. | 195 |
| Missing a Javadoc comment. | 198 |
| Parameter d should be final. | 198 |
| Line has trailing spaces. | 204 |
| Method 'size' is not designed for extension - needs to be abstract, final or empty. | 207 |
| Missing a Javadoc comment. | 207 |
| Line has trailing spaces. | 213 |
| Method 'get' is not designed for extension - needs to be abstract, final or empty. | 216 |
| Missing a Javadoc comment. | 216 |
| Parameter i should be final. | 216 |
| Method 'assertConstraint' is not designed for extension - needs to be abstract, final or empty. | 221 |
| Missing a Javadoc comment. | 221 |
| Parameter s should be final. | 221 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Missing a Javadoc comment. | 42 |
| Line has trailing spaces. | 46 |
| Line is longer than 80 characters. | 47 |
| Method 'constraintFactory' is not designed for extension - needs to be abstract, final or empty. | 50 |
| Missing a Javadoc comment. | 50 |
| Parameter literals should be final. | 51 |
| Parameter coefs should be final. | 51 |
| Parameter moreThan should be final. | 52 |
| Parameter degree should be final. | 52 |
| Line has trailing spaces. | 59 |
| Line is longer than 80 characters. | 60 |
| Method 'constraintFactory' is not designed for extension - needs to be abstract, final or empty. | 63 |
| Missing a Javadoc comment. | 63 |
| Parameter literals should be final. | 64 |
| Parameter coefs should be final. | 64 |
| Parameter degree should be final. | 65 |
| Line has trailing spaces. | 72 |
| Line is longer than 80 characters. | 73 |
| Method 'constraintFactory' is not designed for extension - needs to be abstract, final or empty. | 76 |
| Missing a Javadoc comment. | 76 |
| Parameter literals should be final. | 77 |
| Parameter coefs should be final. | 78 |
| '<' is not preceded with whitespace. | 78 |
| '<' is not followed by whitespace. | 78 |
| '>' is not preceded with whitespace. | 78 |
| Parameter moreThan should be final. | 78 |
| Parameter degree should be final. | 78 |
| Line has trailing spaces. | 86 |
| Line is longer than 80 characters. | 87 |
| Method 'constraintFactory' is not designed for extension - needs to be abstract, final or empty. | 90 |
| Missing a Javadoc comment. | 90 |
| Parameter literals should be final. | 91 |
| Parameter coefs should be final. | 92 |
| '<' is not preceded with whitespace. | 92 |
| '<' is not followed by whitespace. | 92 |
| '>' is not preceded with whitespace. | 92 |
| Parameter degree should be final. | 92 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Missing a Javadoc comment. | 29 |
| Missing a Javadoc comment. | 30 |
| Missing a Javadoc comment. | 30 |
| Missing a Javadoc comment. | 30 |
| Missing a Javadoc comment. | 30 |
| Missing a Javadoc comment. | 31 |
| Missing a Javadoc comment. | 33 |
| Missing a Javadoc comment. | 35 |
| Missing a Javadoc comment. | 37 |
| 'value' hides a field. | 37 |
| Missing a Javadoc comment. | 42 |
| Missing a Javadoc comment. | 46 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Missing a Javadoc comment. | 34 |
| Line has trailing spaces. | 37 |
| Missing a Javadoc comment. | 41 |
| Parameter ps should be final. | 41 |
| Parameter voc should be final. | 41 |
| Line has trailing spaces. | 48 |
| Method 'getCoef' is not designed for extension - needs to be abstract, final or empty. | 51 |
| Missing a Javadoc comment. | 51 |
| Parameter literal should be final. | 51 |
| Line has trailing spaces. | 57 |
| Method 'getDegree' is not designed for extension - needs to be abstract, final or empty. | 60 |
| Missing a Javadoc comment. | 60 |
| Method 'getCoefs' is not designed for extension - needs to be abstract, final or empty. | 64 |
| Missing a Javadoc comment. | 64 |
| 'for' construct must use '{}'s. | 66 |
| Line has trailing spaces. | 74 |
| Parameter s should be final. | 84 |
| Parameter voc should be final. | 85 |
| Parameter literals should be final. | 85 |
| Method 'assertConstraint' is not designed for extension - needs to be abstract, final or empty. | 91 |
| Missing a Javadoc comment. | 91 |
| Parameter s should be final. | 92 |
| 'for' construct must use '{}'s. | 93 |
| Method 'computeAnImpliedClause' is not designed for extension - needs to be abstract, final or empty. | 101 |
| Missing a Javadoc comment. | 101 |
| Violation | Message | Line |
|---|---|---|
| File does not end with a newline. | 0 |
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Class MaxWatchCard should be declared as final. | 39 |
| Missing a Javadoc comment. | 39 |
| Missing a Javadoc comment. | 41 |
| First sentence should end with a period. | 48 |
| First sentence should end with a period. | 58 |
| First sentence should end with a period. | 63 |
| First sentence should end with a period. | 68 |
| Line has trailing spaces. | 70 |
| Unused @param tag for 'size'. | 71 |
| Unused @param tag for 'learnt'. | 73 |
| Parameter voc should be final. | 76 |
| 'voc' hides a field. | 76 |
| Expected @param tag for 'voc'. | 76 |
| Parameter ps should be final. | 76 |
| Expected @param tag for 'ps'. | 76 |
| Parameter moreThan should be final. | 76 |
| 'moreThan' hides a field. | 76 |
| Expected @param tag for 'moreThan'. | 76 |
| Parameter degree should be final. | 76 |
| 'degree' hides a field. | 76 |
| Expected @param tag for 'degree'. | 76 |
| 'for' construct must use '{}'s. | 85 |
| 'if' construct must use '{}'s. | 102 |
| First sentence should end with a period. | 129 |
| Line has trailing spaces. | 131 |
| Parameter p should be final. | 138 |
| Parameter outReason should be final. | 138 |
| Line has trailing spaces. | 152 |
| Line has trailing spaces. | 163 |
| Parameter claInc should be final. | 168 |
| First sentence should end with a period. | 172 |
| Line has trailing spaces. | 174 |
| First sentence should end with a period. | 183 |
| Line has trailing spaces. | 185 |
| Line has trailing spaces. | 196 |
| Parameter s should be final. | 210 |
| Parameter voc should be final. | 211 |
| Parameter ps should be final. | 211 |
| Parameter moreThan should be final. | 211 |
| Parameter degree should be final. | 211 |
| Expected @throws tag for 'ContradictionException'. | 212 |
| Line is longer than 80 characters. | 218 |
| 'for' construct must use '{}'s. | 220 |
| 'if' construct must use '{}'s. | 232 |
| 'if' construct must use '{}'s. | 236 |
| First sentence should end with a period. | 253 |
| Line has trailing spaces. | 272 |
| Parameter s should be final. | 279 |
| Parameter p should be final. | 279 |
| 'if' construct must use '{}'s. | 286 |
| First sentence should end with a period. | 304 |
| Line has trailing spaces. | 315 |
| Parameter d should be final. | 319 |
| First sentence should end with a period. | 322 |
| Line has trailing spaces. | 324 |
| 'if' construct must use '{}'s. | 339 |
| First sentence should end with a period. | 347 |
| Line has trailing spaces. | 349 |
| First sentence should end with a period. | 374 |
| Line has trailing spaces. | 376 |
| Parameter p should be final. | 380 |
| Missing a Javadoc comment. | 384 |
| Missing a Javadoc comment. | 388 |
| Missing a Javadoc comment. | 392 |
| Missing a Javadoc comment. | 396 |
| Parameter i should be final. | 396 |
| Missing a Javadoc comment. | 400 |
| Parameter s should be final. | 400 |
| Line has trailing spaces. | 406 |
| Missing a Javadoc comment. | 409 |
| Parameter literal should be final. | 409 |
| Line has trailing spaces. | 415 |
| Missing a Javadoc comment. | 418 |
| Missing a Javadoc comment. | 422 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Line has trailing spaces. | 33 |
| Line has trailing spaces. | 35 |
| Missing a Javadoc comment. | 39 |
| '0.95' is a magic number. | 46 |
| '0.999' is a magic number. | 46 |
| '1.5' is a magic number. | 46 |
| '100' is a magic number. | 46 |
| Line has trailing spaces. | 49 |
| Line has trailing spaces. | 50 |
| Parameter conflictBound should be final. | 53 |
| '0.95' is a magic number. | 54 |
| '0.999' is a magic number. | 54 |
| '1.5' is a magic number. | 54 |
| Missing a Javadoc comment. | 57 |
| Parameter confincfactor should be final. | 57 |
| Parameter conflictBound should be final. | 57 |
| '0.95' is a magic number. | 58 |
| '0.999' is a magic number. | 58 |
| Parameter d should be final. | 71 |
| Parameter e should be final. | 71 |
| Parameter f should be final. | 71 |
| Parameter i should be final. | 71 |
| Method 'getClaDecay' is not designed for extension - needs to be abstract, final or empty. | 81 |
| Method 'getVarDecay' is not designed for extension - needs to be abstract, final or empty. | 88 |
| Missing a Javadoc comment. | 92 |
| Missing a Javadoc comment. | 94 |
| Missing a Javadoc comment. | 96 |
| Missing a Javadoc comment. | 98 |
| Line has trailing spaces. | 102 |
| Method 'toString' is not designed for extension - needs to be abstract, final or empty. | 105 |
| Missing a Javadoc comment. | 105 |
| Method 'setConflictBoundIncFactor' is not designed for extension - needs to be abstract, final or empty. | 129 |
| Parameter conflictBoundIncFactor should be final. | 129 |
| 'conflictBoundIncFactor' hides a field. | 129 |
| Method 'setInitConflictBound' is not designed for extension - needs to be abstract, final or empty. | 137 |
| Parameter initConflictBound should be final. | 137 |
| 'initConflictBound' hides a field. | 137 |
| Method 'getConflictBoundIncFactor' is not designed for extension - needs to be abstract, final or empty. | 144 |
| Method 'getInitConflictBound' is not designed for extension - needs to be abstract, final or empty. | 151 |
| Method 'setClaDecay' is not designed for extension - needs to be abstract, final or empty. | 159 |
| Parameter claDecay should be final. | 159 |
| 'claDecay' hides a field. | 159 |
| Method 'setVarDecay' is not designed for extension - needs to be abstract, final or empty. | 167 |
| Parameter varDecay should be final. | 167 |
| 'varDecay' hides a field. | 167 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Line has trailing spaces. | 35 |
| Line is longer than 80 characters. | 38 |
| Type Javadoc comment is missing an @param <L> tag. | 38 |
| '<' is not preceded with whitespace. | 38 |
| '<' is not followed by whitespace. | 38 |
| '>' is not preceded with whitespace. | 38 |
| '<' is not preceded with whitespace. | 38 |
| '<' is not followed by whitespace. | 38 |
| '>' is not preceded with whitespace. | 38 |
| Missing a Javadoc comment. | 40 |
| Method 'learns' is not designed for extension - needs to be abstract, final or empty. | 42 |
| Missing a Javadoc comment. | 42 |
| Parameter reason should be final. | 42 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Missing a Javadoc comment. | 34 |
| '<' is not preceded with whitespace. | 34 |
| '<' is not followed by whitespace. | 34 |
| '>' is not preceded with whitespace. | 34 |
| Line has trailing spaces. | 37 |
| Missing a Javadoc comment. | 41 |
| Parameter acg should be final. | 41 |
| Line is longer than 80 characters. | 42 |
| Parameter learner should be final. | 42 |
| '<' is not preceded with whitespace. | 42 |
| '<' is not followed by whitespace. | 42 |
| '>' is not preceded with whitespace. | 42 |
| Parameter dsf should be final. | 42 |
| '<' is not preceded with whitespace. | 42 |
| '<' is not followed by whitespace. | 42 |
| '>' is not preceded with whitespace. | 42 |
| Parameter order should be final. | 42 |
| '<' is not preceded with whitespace. | 42 |
| '<' is not followed by whitespace. | 42 |
| '>' is not preceded with whitespace. | 42 |
| Method 'chooseConflict' is not designed for extension - needs to be abstract, final or empty. | 46 |
| Missing a Javadoc comment. | 46 |
| Parameter myconfl should be final. | 47 |
| Parameter level should be final. | 47 |
| Method 'toString' is not designed for extension - needs to be abstract, final or empty. | 51 |
| Missing a Javadoc comment. | 51 |
| Parameter prefix should be final. | 52 |
| Violation | Message | Line |
|---|---|---|
| File does not end with a newline. | 0 |
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Line has trailing spaces. | 30 |
| Line has trailing spaces. | 32 |
| Line is longer than 80 characters. | 35 |
| Missing a Javadoc comment. | 35 |
| Missing a Javadoc comment. | 35 |
| Missing a Javadoc comment. | 35 |
| Missing a Javadoc comment. | 35 |
| '(' is followed by whitespace. | 35 |
| Line has trailing spaces. | 46 |
| Unused @param tag for 'i'. | 47 |
| 'value' hides a field. | 50 |
| Expected @param tag for 'value'. | 50 |
| Line has trailing spaces. | 58 |
| 'str' hides a field. | 64 |
| Violation | Message | Line |
|---|---|---|
| Missing a Javadoc comment. | 8 |
| Line contains a tab character. | 10 |
| Missing a Javadoc comment. | 10 |
| Parameter m should be final. | 10 |
| '<' is not preceded with whitespace. | 10 |
| '<' is not followed by whitespace. | 10 |
| '>' is not preceded with whitespace. | 10 |
| Parameter d should be final. | 10 |
| Line contains a tab character. | 11 |
| Parameter voc should be final. | 11 |
| Parameter level should be final. | 11 |
| Line contains a tab character. | 12 |
| Line contains a tab character. | 13 |
| Line contains a tab character. | 14 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Line has trailing spaces. | 38 |
| Line has trailing spaces. | 40 |
| Line is longer than 80 characters. | 45 |
| Missing a Javadoc comment. | 45 |
| Method 'displayResult' is not designed for extension - needs to be abstract, final or empty. | 47 |
| Missing a Javadoc comment. | 47 |
| 'if' construct must use '{}'s. | 49 |
| Line is longer than 80 characters. | 62 |
| '1000.0' is a magic number. | 67 |
| Method 'solve' is not designed for extension - needs to be abstract, final or empty. | 70 |
| Missing a Javadoc comment. | 70 |
| Parameter problem should be final. | 71 |
| Line is longer than 80 characters. | 89 |
| '1000.0' is a magic number. | 91 |
| Violation | Message | Line |
|---|---|---|
| File does not end with a newline. | 0 |
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Line has trailing spaces. | 33 |
| Line has trailing spaces. | 38 |
| Line has trailing spaces. | 43 |
| Line has trailing spaces. | 45 |
| Missing a Javadoc comment. | 50 |
| Redundant 'public' modifier. | 50 |
| Missing a Javadoc comment. | 52 |
| Redundant 'public' modifier. | 52 |
| Line has trailing spaces. | 56 |
| Redundant 'public' modifier. | 61 |
| Line has trailing spaces. | 65 |
| Expected @param tag for 'x'. | 69 |
| Missing a Javadoc comment. | 71 |
| Redundant 'public' modifier. | 71 |
| Missing a Javadoc comment. | 73 |
| Redundant 'public' modifier. | 73 |
| Missing a Javadoc comment. | 75 |
| Redundant 'public' modifier. | 75 |
| Missing a Javadoc comment. | 77 |
| Redundant 'public' modifier. | 77 |
| Missing a Javadoc comment. | 79 |
| Redundant 'public' modifier. | 79 |
| Missing a Javadoc comment. | 81 |
| Redundant 'public' modifier. | 81 |
| Missing a Javadoc comment. | 83 |
| Redundant 'public' modifier. | 83 |
| Redundant 'public' modifier. | 90 |
| Expected @param tag for 'lit'. | 90 |
| First sentence should end with a period. | 92 |
| Line has trailing spaces. | 94 |
| Redundant 'public' modifier. | 97 |
| First sentence should end with a period. | 99 |
| Line has trailing spaces. | 101 |
| Missing a Javadoc comment. | 106 |
| Redundant 'public' modifier. | 106 |
| Missing a Javadoc comment. | 108 |
| Redundant 'public' modifier. | 108 |
| Missing a Javadoc comment. | 110 |
| Redundant 'public' modifier. | 110 |
| Missing a Javadoc comment. | 112 |
| Redundant 'public' modifier. | 112 |
| Missing a Javadoc comment. | 114 |
| Redundant 'public' modifier. | 114 |
| Missing a Javadoc comment. | 116 |
| Redundant 'public' modifier. | 116 |
| Missing a Javadoc comment. | 118 |
| Redundant 'public' modifier. | 118 |
| '<' is not preceded with whitespace. | 118 |
| '<' is not followed by whitespace. | 118 |
| '>' is not preceded with whitespace. | 118 |
| Missing a Javadoc comment. | 120 |
| Redundant 'public' modifier. | 120 |
| Redundant 'public' modifier. | 127 |
| '<' is not preceded with whitespace. | 127 |
| '<' is not followed by whitespace. | 127 |
| '>' is not preceded with whitespace. | 127 |
| Missing a Javadoc comment. | 129 |
| Redundant 'public' modifier. | 129 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Line has trailing spaces. | 34 |
| Line has trailing spaces. | 36 |
| Missing a Javadoc comment. | 43 |
| Missing a Javadoc comment. | 45 |
| Redundant 'final' modifier. | 45 |
| 'static' modifier out of order with the JLS suggestions. | 45 |
| Parameter i should be final. | 45 |
| Missing a Javadoc comment. | 49 |
| Redundant 'final' modifier. | 49 |
| 'static' modifier out of order with the JLS suggestions. | 49 |
| Parameter i should be final. | 49 |
| Missing a Javadoc comment. | 53 |
| Redundant 'final' modifier. | 53 |
| 'static' modifier out of order with the JLS suggestions. | 53 |
| Parameter i should be final. | 53 |
| Missing a Javadoc comment. | 57 |
| Redundant 'final' modifier. | 57 |
| Parameter a should be final. | 57 |
| Parameter b should be final. | 57 |
| Missing a Javadoc comment. | 61 |
| Missing a Javadoc comment. | 63 |
| Missing a Javadoc comment. | 65 |
| Missing a Javadoc comment. | 67 |
| Parameter i should be final. | 68 |
| Missing a Javadoc comment. | 79 |
| Parameter i should be final. | 79 |
| Avoid inline conditionals. | 83 |
| 'if' construct must use '{}'s. | 85 |
| Method 'ok' is not designed for extension - needs to be abstract, final or empty. | 95 |
| Missing a Javadoc comment. | 95 |
| Parameter n should be final. | 95 |
| Missing a Javadoc comment. | 99 |
| Parameter activity should be final. | 99 |
| 'activity' hides a field. | 99 |
| Method 'setBounds' is not designed for extension - needs to be abstract, final or empty. | 105 |
| Missing a Javadoc comment. | 105 |
| Parameter size should be final. | 105 |
| Method 'inHeap' is not designed for extension - needs to be abstract, final or empty. | 110 |
| Missing a Javadoc comment. | 110 |
| Parameter n should be final. | 110 |
| Method 'increase' is not designed for extension - needs to be abstract, final or empty. | 115 |
| Missing a Javadoc comment. | 115 |
| Parameter n should be final. | 115 |
| Method 'empty' is not designed for extension - needs to be abstract, final or empty. | 121 |
| Missing a Javadoc comment. | 121 |
| Method 'insert' is not designed for extension - needs to be abstract, final or empty. | 125 |
| Missing a Javadoc comment. | 125 |
| Parameter n should be final. | 125 |
| Method 'getmin' is not designed for extension - needs to be abstract, final or empty. | 132 |
| Missing a Javadoc comment. | 132 |
| 'if' construct must use '{}'s. | 138 |
| Method 'heapProperty' is not designed for extension - needs to be abstract, final or empty. | 143 |
| Missing a Javadoc comment. | 143 |
| Method 'heapProperty' is not designed for extension - needs to be abstract, final or empty. | 147 |
| Missing a Javadoc comment. | 147 |
| Parameter i should be final. | 147 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Missing a Javadoc comment. | 40 |
| Method 'createUnregisteredClause' is not designed for extension - needs to be abstract, final or empty. | 42 |
| Missing a Javadoc comment. | 42 |
| Parameter literals should be final. | 42 |
| Line has trailing spaces. | 48 |
| Line is longer than 80 characters. | 49 |
| Method 'createClause' is not designed for extension - needs to be abstract, final or empty. | 51 |
| Missing a Javadoc comment. | 51 |
| Parameter literals should be final. | 51 |
| Line has trailing spaces. | 57 |
| Line is longer than 80 characters. | 58 |
| Method 'createCardinalityConstraint' is not designed for extension - needs to be abstract, final or empty. | 61 |
| Missing a Javadoc comment. | 61 |
| Parameter literals should be final. | 62 |
| Parameter degree should be final. | 62 |
| Violation | Message | Line |
|---|---|---|
| File does not end with a newline. | 0 |
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Line has trailing spaces. | 31 |
| Line has trailing spaces. | 39 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| 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 |
| '<' is not preceded with whitespace. | 44 |
| '<' is not followed by whitespace. | 44 |
| '>' is not preceded with whitespace. | 44 |
| Missing a Javadoc comment. | 46 |
| Parameter arity should be final. | 46 |
| 'arity' hides a field. | 46 |
| Parameter nbtuples should be final. | 46 |
| Method 'addTuple' is not designed for extension - needs to be abstract, final or empty. | 51 |
| Missing a Javadoc comment. | 51 |
| Parameter index should be final. | 51 |
| Parameter tuple should be final. | 51 |
| Method 'arity' is not designed for extension - needs to be abstract, final or empty. | 55 |
| Missing a Javadoc comment. | 55 |
| Method 'toClause' is not designed for extension - needs to be abstract, final or empty. | 59 |
| Missing a Javadoc comment. | 59 |
| Parameter solver should be final. | 59 |
| Parameter scope should be final. | 59 |
| '<' is not preceded with whitespace. | 59 |
| '<' is not followed by whitespace. | 59 |
| '>' is not preceded with whitespace. | 59 |
| Parameter vars should be final. | 59 |
| '<' is not preceded with whitespace. | 59 |
| '<' is not followed by whitespace. | 59 |
| '>' is not preceded with whitespace. | 59 |
| '<' is not preceded with whitespace. | 64 |
| '<' is not followed by whitespace. | 64 |
| '>' is not preceded with whitespace. | 64 |
| '>' is not followed by whitespace. | 64 |
| Missing a Javadoc comment. | 72 |
| '<' is not preceded with whitespace. | 72 |
| '<' is not followed by whitespace. | 72 |
| '>' is not preceded with whitespace. | 72 |
| Missing a Javadoc comment. | 74 |
| Parameter tuple should be final. | 74 |
| Parameter n should be final. | 74 |
| Parameter scope should be final. | 74 |
| '<' is not preceded with whitespace. | 74 |
| '<' is not followed by whitespace. | 74 |
| '>' is not preceded with whitespace. | 74 |
| Parameter solver should be final. | 74 |
| Missing a Javadoc comment. | 96 |
| Parameter tuple should be final. | 96 |
| 'if' construct must use '{}'s. | 112 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Missing a Javadoc comment. | 34 |
| Method 'toClause' is not designed for extension - needs to be abstract, final or empty. | 36 |
| Missing a Javadoc comment. | 36 |
| Parameter solver should be final. | 36 |
| Parameter scope should be final. | 36 |
| '<' is not preceded with whitespace. | 36 |
| '<' is not followed by whitespace. | 36 |
| '>' is not preceded with whitespace. | 36 |
| Parameter vars should be final. | 36 |
| '<' is not preceded with whitespace. | 36 |
| '<' is not followed by whitespace. | 36 |
| '>' is not preceded with whitespace. | 36 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Missing a Javadoc comment. | 42 |
| Method 'constraintFactory' is not designed for extension - needs to be abstract, final or empty. | 52 |
| Parameter literals should be final. | 53 |
| Expected @param tag for 'literals'. | 53 |
| Parameter coefs should be final. | 53 |
| Expected @param tag for 'coefs'. | 53 |
| Parameter moreThan should be final. | 54 |
| Expected @param tag for 'moreThan'. | 54 |
| Parameter degree should be final. | 54 |
| Expected @param tag for 'degree'. | 54 |
| Expected @throws tag for 'ContradictionException'. | 54 |
| Method 'constraintFactory' is not designed for extension - needs to be abstract, final or empty. | 65 |
| Parameter literals should be final. | 66 |
| Expected @param tag for 'literals'. | 66 |
| Parameter coefs should be final. | 66 |
| Expected @param tag for 'coefs'. | 66 |
| Parameter degree should be final. | 67 |
| Expected @param tag for 'degree'. | 67 |
| Method 'constraintFactory' is not designed for extension - needs to be abstract, final or empty. | 80 |
| Parameter literals should be final. | 81 |
| Expected @param tag for 'literals'. | 81 |
| Parameter coefs should be final. | 82 |
| '<' is not preceded with whitespace. | 82 |
| '<' is not followed by whitespace. | 82 |
| '>' is not preceded with whitespace. | 82 |
| Expected @param tag for 'coefs'. | 82 |
| Parameter moreThan should be final. | 82 |
| Expected @param tag for 'moreThan'. | 82 |
| Parameter degree should be final. | 82 |
| Expected @param tag for 'degree'. | 82 |
| Expected @throws tag for 'ContradictionException'. | 83 |
| Method 'constraintFactory' is not designed for extension - needs to be abstract, final or empty. | 94 |
| Parameter literals should be final. | 95 |
| Expected @param tag for 'literals'. | 95 |
| Parameter coefs should be final. | 96 |
| '<' is not preceded with whitespace. | 96 |
| '<' is not followed by whitespace. | 96 |
| '>' is not preceded with whitespace. | 96 |
| Expected @param tag for 'coefs'. | 96 |
| Parameter degree should be final. | 96 |
| Expected @param tag for 'degree'. | 96 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Line has trailing spaces. | 38 |
| Line has trailing spaces. | 45 |
| Missing a Javadoc comment. | 49 |
| Parameter solver should be final. | 49 |
| Method 'readConstrs' is not designed for extension - needs to be abstract, final or empty. | 63 |
| Parameter in should be final. | 64 |
| Line is longer than 80 characters. | 94 |
| Line is longer than 80 characters. | 125 |
| Missing a Javadoc comment. | 129 |
| Parameter token should be final. | 129 |
| Parameter stk should be final. | 129 |
| Parameter literals should be final. | 130 |
| 'else' construct must use '{}'s. | 140 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Missing a Javadoc comment. | 42 |
| Line has trailing spaces. | 46 |
| Line is longer than 80 characters. | 47 |
| Method 'constraintFactory' is not designed for extension - needs to be abstract, final or empty. | 50 |
| Missing a Javadoc comment. | 50 |
| Parameter literals should be final. | 51 |
| Parameter coefs should be final. | 51 |
| Parameter moreThan should be final. | 52 |
| Parameter degree should be final. | 52 |
| Line has trailing spaces. | 59 |
| Line is longer than 80 characters. | 60 |
| Method 'constraintFactory' is not designed for extension - needs to be abstract, final or empty. | 63 |
| Missing a Javadoc comment. | 63 |
| Parameter literals should be final. | 64 |
| Parameter coefs should be final. | 64 |
| Parameter degree should be final. | 65 |
| Line has trailing spaces. | 72 |
| Line is longer than 80 characters. | 73 |
| Method 'constraintFactory' is not designed for extension - needs to be abstract, final or empty. | 76 |
| Missing a Javadoc comment. | 76 |
| Parameter literals should be final. | 77 |
| Parameter coefs should be final. | 78 |
| '<' is not preceded with whitespace. | 78 |
| '<' is not followed by whitespace. | 78 |
| '>' is not preceded with whitespace. | 78 |
| Parameter moreThan should be final. | 78 |
| Parameter degree should be final. | 78 |
| Line has trailing spaces. | 86 |
| Line is longer than 80 characters. | 87 |
| Method 'constraintFactory' is not designed for extension - needs to be abstract, final or empty. | 90 |
| Missing a Javadoc comment. | 90 |
| Parameter literals should be final. | 91 |
| Parameter coefs should be final. | 92 |
| '<' is not preceded with whitespace. | 92 |
| '<' is not followed by whitespace. | 92 |
| '>' is not preceded with whitespace. | 92 |
| Parameter degree should be final. | 92 |
| Violation | Message | Line |
|---|---|---|
| File does not end with a newline. | 0 |
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Type Javadoc comment is missing an @param <L> tag. | 50 |
| '<' is not preceded with whitespace. | 50 |
| '<' is not followed by whitespace. | 50 |
| '>' is not preceded with whitespace. | 50 |
| '<' is not preceded with whitespace. | 50 |
| '<' is not followed by whitespace. | 50 |
| '>' is not preceded with whitespace. | 50 |
| Missing a Javadoc comment. | 52 |
| Line has trailing spaces. | 53 |
| Parameter acg should be final. | 59 |
| Expected @param tag for 'acg'. | 59 |
| Parameter learner should be final. | 59 |
| '<' is not preceded with whitespace. | 59 |
| '<' is not followed by whitespace. | 59 |
| '>' is not preceded with whitespace. | 59 |
| Expected @param tag for 'learner'. | 59 |
| Parameter dsf should be final. | 60 |
| '<' is not preceded with whitespace. | 60 |
| '<' is not followed by whitespace. | 60 |
| '>' is not preceded with whitespace. | 60 |
| Expected @param tag for 'dsf'. | 60 |
| Parameter order should be final. | 60 |
| '<' is not preceded with whitespace. | 60 |
| '<' is not followed by whitespace. | 60 |
| '>' is not preceded with whitespace. | 60 |
| Expected @param tag for 'order'. | 60 |
| Line is longer than 80 characters. | 61 |
| '1.5' is a magic number. | 61 |
| '100' is a magic number. | 61 |
| ',' is not followed by whitespace. | 61 |
| Line is longer than 80 characters. | 64 |
| Missing a Javadoc comment. | 64 |
| Parameter acg should be final. | 64 |
| Parameter learner should be final. | 64 |
| '<' is not preceded with whitespace. | 64 |
| '<' is not followed by whitespace. | 64 |
| '>' is not preceded with whitespace. | 64 |
| Parameter dsf should be final. | 64 |
| '<' is not preceded with whitespace. | 64 |
| '<' is not followed by whitespace. | 64 |
| '>' is not preceded with whitespace. | 64 |
| Parameter params should be final. | 64 |
| Parameter order should be final. | 64 |
| '<' is not preceded with whitespace. | 64 |
| '<' is not followed by whitespace. | 64 |
| '>' is not preceded with whitespace. | 64 |
| Parameter restarter should be final. | 64 |
| Line is longer than 80 characters. | 68 |
| Missing a Javadoc comment. | 68 |
| Parameter acg should be final. | 68 |
| Parameter learner should be final. | 68 |
| '<' is not preceded with whitespace. | 68 |
| '<' is not followed by whitespace. | 68 |
| '>' is not preceded with whitespace. | 68 |
| Parameter dsf should be final. | 68 |
| '<' is not preceded with whitespace. | 68 |
| '<' is not followed by whitespace. | 68 |
| '>' is not preceded with whitespace. | 68 |
| Parameter params should be final. | 68 |
| Parameter order should be final. | 68 |
| '<' is not preceded with whitespace. | 68 |
| '<' is not followed by whitespace. | 68 |
| '>' is not preceded with whitespace. | 68 |
| ',' is not followed by whitespace. | 69 |
| Method 'analyze' is not designed for extension - needs to be abstract, final or empty. | 72 |
| Missing a Javadoc comment. | 72 |
| Parameter myconfl should be final. | 73 |
| Parameter outLearntRef should be final. | 73 |
| '<' is not preceded with whitespace. | 73 |
| '<' is not followed by whitespace. | 73 |
| '>' is not preceded with whitespace. | 73 |
| Line has trailing spaces. | 78 |
| 'if' construct must use '{}'s. | 88 |
| '<' is not preceded with whitespace. | 112 |
| '<' is not followed by whitespace. | 112 |
| '>' is not preceded with whitespace. | 112 |
| '<' is not preceded with whitespace. | 112 |
| '<' is not followed by whitespace. | 112 |
| '>' is not preceded with whitespace. | 112 |
| '>' is not followed by whitespace. | 112 |
| Line has trailing spaces. | 128 |
| Line has trailing spaces. | 129 |
| Method 'chooseConflict' is not designed for extension - needs to be abstract, final or empty. | 134 |
| Missing a Javadoc comment. | 134 |
| Parameter myconfl should be final. | 134 |
| Parameter level should be final. | 134 |
| Method 'toString' is not designed for extension - needs to be abstract, final or empty. | 138 |
| Missing a Javadoc comment. | 138 |
| Parameter prefix should be final. | 139 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Missing a Javadoc comment. | 27 |
| '<' is not preceded with whitespace. | 27 |
| '<' is not followed by whitespace. | 27 |
| '>' is not preceded with whitespace. | 27 |
| Missing a Javadoc comment. | 29 |
| Missing a Javadoc comment. | 31 |
| Missing a Javadoc comment. | 33 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Missing a Javadoc comment. | 36 |
| Line has trailing spaces. | 40 |
| Method 'constructPB' is not designed for extension - needs to be abstract, final or empty. | 44 |
| Missing a Javadoc comment. | 44 |
| Parameter mpb should be final. | 45 |
| Method 'constructPB' is not designed for extension - needs to be abstract, final or empty. | 50 |
| Missing a Javadoc comment. | 50 |
| Line is longer than 80 characters. | 51 |
| Parameter lits should be final. | 51 |
| Parameter coefs should be final. | 51 |
| Parameter degree should be final. | 51 |
| Line is longer than 80 characters. | 53 |
| Method 'constructLearntPB' is not designed for extension - needs to be abstract, final or empty. | 56 |
| Missing a Javadoc comment. | 56 |
| Parameter literals should be final. | 57 |
| Parameter coefs should be final. | 58 |
| '<' is not preceded with whitespace. | 58 |
| '<' is not followed by whitespace. | 58 |
| '>' is not preceded with whitespace. | 58 |
| Parameter degree should be final. | 58 |
| Violation | Message | Line |
|---|---|---|
| Line has trailing spaces. | 4 |
| Line has trailing spaces. | 6 |
| Line has trailing spaces. | 10 |
| Line has trailing spaces. | 15 |
| Line has trailing spaces. | 20 |
| Line has trailing spaces. | 24 |
| Line has trailing spaces. | 58 |
| Line has trailing spaces. | 62 |
| Line has trailing spaces. | 64 |
| Line is longer than 80 characters. | 66 |
| Missing a Javadoc comment. | 68 |
| Missing a Javadoc comment. | 72 |
| Variable 'relations' must be private and have accessor methods. | 72 |
| Missing a Javadoc comment. | 74 |
| Missing a Javadoc comment. | 78 |
| Missing a Javadoc comment. | 80 |
| Missing a Javadoc comment. | 82 |
| Missing a Javadoc comment. | 84 |
| Missing a Javadoc comment. | 86 |
| Line is longer than 80 characters. | 88 |
| Missing a Javadoc comment. | 88 |
| '<' is not preceded with whitespace. | 88 |
| '<' is not followed by whitespace. | 88 |
| '>' is not preceded with whitespace. | 88 |
| '<' is not preceded with whitespace. | 88 |
| '<' is not followed by whitespace. | 88 |
| '>' is not preceded with whitespace. | 88 |
| '>' is not followed by whitespace. | 88 |
| Line is longer than 80 characters. | 90 |
| Missing a Javadoc comment. | 90 |
| '<' is not preceded with whitespace. | 90 |
| '<' is not followed by whitespace. | 90 |
| '>' is not preceded with whitespace. | 90 |
| '<' is not preceded with whitespace. | 90 |
| '<' is not followed by whitespace. | 90 |
| '>' is not preceded with whitespace. | 90 |
| '>' is not followed by whitespace. | 90 |
| Line is longer than 80 characters. | 92 |
| Missing a Javadoc comment. | 92 |
| '<' is not preceded with whitespace. | 92 |
| '<' is not followed by whitespace. | 92 |
| '>' is not preceded with whitespace. | 92 |
| '<' is not preceded with whitespace. | 92 |
| '<' is not followed by whitespace. | 92 |
| '>' is not preceded with whitespace. | 92 |
| '>' is not followed by whitespace. | 92 |
| Line is longer than 80 characters. | 94 |
| Missing a Javadoc comment. | 94 |
| '<' is not preceded with whitespace. | 94 |
| '<' is not followed by whitespace. | 94 |
| '>' is not preceded with whitespace. | 94 |
| '<' is not preceded with whitespace. | 94 |
| '<' is not followed by whitespace. | 94 |
| '>' is not preceded with whitespace. | 94 |
| '>' is not followed by whitespace. | 94 |
| Missing a Javadoc comment. | 96 |
| Missing a Javadoc comment. | 98 |
| Missing a Javadoc comment. | 100 |
| Missing a Javadoc comment. | 102 |
| Missing a Javadoc comment. | 104 |
| '<' is not preceded with whitespace. | 104 |
| '<' is not followed by whitespace. | 104 |
| '>' is not preceded with whitespace. | 104 |
| '<' is not preceded with whitespace. | 104 |
| '<' is not followed by whitespace. | 104 |
| '>' is not preceded with whitespace. | 104 |
| '>' is not followed by whitespace. | 104 |
| Missing a Javadoc comment. | 106 |
| '<' is not preceded with whitespace. | 106 |
| '<' is not followed by whitespace. | 106 |
| '>' is not preceded with whitespace. | 106 |
| '<' is not preceded with whitespace. | 106 |
| '<' is not followed by whitespace. | 106 |
| '>' is not preceded with whitespace. | 106 |
| '>' is not followed by whitespace. | 106 |
| Missing a Javadoc comment. | 108 |
| Missing a Javadoc comment. | 110 |
| Missing a Javadoc comment. | 112 |
| Missing a Javadoc comment. | 114 |
| Parameter solver should be final. | 114 |
| 'solver' hides a field. | 114 |
| Missing a Javadoc comment. | 119 |
| Missing a Javadoc comment. | 126 |
| Parameter in should be final. | 126 |
| Method 'decode' is not designed for extension - needs to be abstract, final or empty. | 138 |
| Missing a Javadoc comment. | 138 |
| Parameter model should be final. | 139 |
| Parameter out should be final. | 139 |
| Method 'decode' is not designed for extension - needs to be abstract, final or empty. | 147 |
| Missing a Javadoc comment. | 147 |
| Parameter model should be final. | 148 |
| Line is longer than 80 characters. | 158 |
| Missing a Javadoc comment. | 158 |
| Parameter in should be final. | 158 |
| Avoid inline conditionals. | 202 |
| 'variables' hides a field. | 222 |
| Method 'manageAllowedTuples' is not designed for extension - needs to be abstract, final or empty. | 236 |
| Missing a Javadoc comment. | 236 |
| Parameter relnum should be final. | 236 |
| Parameter arity should be final. | 236 |
| Parameter nbtuples should be final. | 236 |
| Missing a Javadoc comment. | 247 |
| Parameter input should be final. | 247 |
| Missing a Javadoc comment. | 252 |
| Parameter input should be final. | 252 |
| Parameter size should be final. | 252 |
| 'for' construct must use '{}'s. | 254 |
| Method 'beginInstance' is not designed for extension - needs to be abstract, final or empty. | 259 |
| Missing a Javadoc comment. | 259 |
| Parameter arg0 should be final. | 259 |
| Method 'beginDomainsSection' is not designed for extension - needs to be abstract, final or empty. | 263 |
| Missing a Javadoc comment. | 263 |
| Parameter nbdomain should be final. | 263 |
| Method 'beginDomain' is not designed for extension - needs to be abstract, final or empty. | 267 |
| Missing a Javadoc comment. | 267 |
| Parameter id should be final. | 267 |
| Parameter size should be final. | 267 |
| Method 'addDomainValue' is not designed for extension - needs to be abstract, final or empty. | 275 |
| Missing a Javadoc comment. | 275 |
| Parameter arg0 should be final. | 275 |
| 'for' construct must use '{}'s. | 280 |
| Method 'addDomainValue' is not designed for extension - needs to be abstract, final or empty. | 287 |
| Missing a Javadoc comment. | 287 |
| Parameter begin should be final. | 287 |
| Parameter end should be final. | 287 |
| 'if' construct must use '{}'s. | 288 |
| 'for' construct must use '{}'s. | 294 |
| Method 'endDomain' is not designed for extension - needs to be abstract, final or empty. | 299 |
| Missing a Javadoc comment. | 299 |
| 'if' construct must use '{}'s. | 301 |
| 'else' construct must use '{}'s. | 304 |
| Method 'endDomainsSection' is not designed for extension - needs to be abstract, final or empty. | 308 |
| Missing a Javadoc comment. | 308 |
| Method 'beginVariablesSection' is not designed for extension - needs to be abstract, final or empty. | 312 |
| Missing a Javadoc comment. | 312 |
| Parameter nbvars should be final. | 312 |
| 'nbvars' hides a field. | 312 |
| Method 'addVariable' is not designed for extension - needs to be abstract, final or empty. | 318 |
| Missing a Javadoc comment. | 318 |
| Parameter idvar should be final. | 318 |
| Parameter iddomain should be final. | 318 |
| 'if' construct must use '{}'s. | 322 |
| Method 'endVariablesSection' is not designed for extension - needs to be abstract, final or empty. | 328 |
| Missing a Javadoc comment. | 328 |
| 'if' construct must use '{}'s. | 329 |
| 'else' construct must use '{}'s. | 331 |
| Method 'beginRelationsSection' is not designed for extension - needs to be abstract, final or empty. | 344 |
| Missing a Javadoc comment. | 344 |
| Parameter nbrel should be final. | 344 |
| Method 'beginRelation' is not designed for extension - needs to be abstract, final or empty. | 350 |
| Missing a Javadoc comment. | 350 |
| Parameter name should be final. | 350 |
| Parameter arity should be final. | 350 |
| Parameter nbTuples should be final. | 350 |
| Parameter isSupport should be final. | 351 |
| 'if' construct must use '{}'s. | 353 |
| Method 'addRelationTuple' is not designed for extension - needs to be abstract, final or empty. | 364 |
| Missing a Javadoc comment. | 364 |
| Parameter tuple should be final. | 364 |
| Missing a Javadoc comment. | 368 |
| Method 'endRelationsSection' is not designed for extension - needs to be abstract, final or empty. | 371 |
| Missing a Javadoc comment. | 371 |
| 'if' construct must use '{}'s. | 372 |
| 'else' construct must use '{}'s. | 375 |
| Method 'beginPredicatesSection' is not designed for extension - needs to be abstract, final or empty. | 379 |
| Missing a Javadoc comment. | 379 |
| Parameter arg0 should be final. | 379 |
| Method 'beginPredicate' is not designed for extension - needs to be abstract, final or empty. | 383 |
| Missing a Javadoc comment. | 383 |
| Parameter name should be final. | 383 |
| 'if' construct must use '{}'s. | 386 |
| Method 'addFormalParameter' is not designed for extension - needs to be abstract, final or empty. | 390 |
| Missing a Javadoc comment. | 390 |
| Parameter name should be final. | 390 |
| Parameter type should be final. | 390 |
| Method 'predicateExpression' is not designed for extension - needs to be abstract, final or empty. | 395 |
| Missing a Javadoc comment. | 395 |
| Parameter expr should be final. | 395 |
| Missing a Javadoc comment. | 399 |
| Method 'endPredicatesSection' is not designed for extension - needs to be abstract, final or empty. | 403 |
| Missing a Javadoc comment. | 403 |
| 'if' construct must use '{}'s. | 404 |
| 'else' construct must use '{}'s. | 407 |
| Method 'beginConstraintsSection' is not designed for extension - needs to be abstract, final or empty. | 411 |
| Missing a Javadoc comment. | 411 |
| Parameter arg0 should be final. | 411 |
| Method 'beginConstraint' is not designed for extension - needs to be abstract, final or empty. | 417 |
| Missing a Javadoc comment. | 417 |
| Parameter name should be final. | 417 |
| Parameter arity should be final. | 417 |
| 'if' construct must use '{}'s. | 422 |
| '100' is a magic number. | 424 |
| Method 'constraintReference' is not designed for extension - needs to be abstract, final or empty. | 427 |
| Missing a Javadoc comment. | 427 |
| Parameter ref should be final. | 427 |
| 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 |
| Violation | Message | Line |
|---|---|---|
| File does not end with a newline. | 0 |
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Line has trailing spaces. | 30 |
| Line has trailing spaces. | 38 |
| Line has trailing spaces. | 49 |
| Line has trailing spaces. | 61 |
| Expected @throws tag for 'TimeoutException'. | 64 |
| Line has trailing spaces. | 69 |
| Expected @throws tag for 'TimeoutException'. | 76 |
| Line has trailing spaces. | 85 |
| Line has trailing spaces. | 87 |
| Line has trailing spaces. | 103 |
| Line has trailing spaces. | 105 |
| Expected @param tag for 'assumps'. | 112 |
| Line has trailing spaces. | 117 |
| Line has trailing spaces. | 124 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Line has trailing spaces. | 34 |
| Type Javadoc comment is missing an @param <T> tag. | 37 |
| '<' is not preceded with whitespace. | 37 |
| '<' is not followed by whitespace. | 37 |
| '>' is not preceded with whitespace. | 37 |
| Missing a Javadoc comment. | 38 |
| Missing a Javadoc comment. | 40 |
| Variable 'obj' must be private and have accessor methods. | 40 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Line has trailing spaces. | 32 |
| Line has trailing spaces. | 35 |
| Missing a Javadoc comment. | 40 |
| Missing a Javadoc comment. | 42 |
| Line has trailing spaces. | 47 |
| Line has trailing spaces. | 60 |
| First sentence should end with a period. | 68 |
| Line has trailing spaces. | 78 |
| Line has trailing spaces. | 87 |
| Missing a Javadoc comment. | 99 |
| Missing a Javadoc comment. | 114 |
| Missing a Javadoc comment. | 116 |
| Missing a Javadoc comment. | 118 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Line has trailing spaces. | 35 |
| Missing a Javadoc comment. | 40 |
| Line has trailing spaces. | 43 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Missing a Javadoc comment. | 32 |
| Line has trailing spaces. | 36 |
| Method 'constructCard' is not designed for extension - needs to be abstract, final or empty. | 40 |
| Missing a Javadoc comment. | 40 |
| Parameter lits should be final. | 41 |
| Parameter degree should be final. | 41 |
| Method 'constructLearntCard' is not designed for extension - needs to be abstract, final or empty. | 46 |
| Missing a Javadoc comment. | 46 |
| Parameter literals should be final. | 47 |
| Parameter degree should be final. | 47 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Unused import - org.sat4j.minisat.core.LiteralsUtils.var. | 28 |
| Missing a Javadoc comment. | 37 |
| '<' is not preceded with whitespace. | 37 |
| '<' is not followed by whitespace. | 37 |
| '>' is not preceded with whitespace. | 37 |
| Line has trailing spaces. | 40 |
| Missing a Javadoc comment. | 44 |
| Method 'setObjectiveFunction' is not designed for extension - needs to be abstract, final or empty. | 46 |
| Missing a Javadoc comment. | 46 |
| Parameter obj should be final. | 46 |
| 'obj' hides a field. | 46 |
| Method 'init' is not designed for extension - needs to be abstract, final or empty. | 50 |
| Missing a Javadoc comment. | 50 |
| '<' is not preceded with whitespace. | 55 |
| '<' is not followed by whitespace. | 55 |
| '>' is not preceded with whitespace. | 55 |
| 'if' construct must use '{}'s. | 64 |
| Line has trailing spaces. | 70 |
| Method 'updateVar' is not designed for extension - needs to be abstract, final or empty. | 71 |
| Missing a Javadoc comment. | 71 |
| Parameter p should be final. | 72 |
| 'if' construct must use '{}'s. | 75 |
| Line has trailing spaces. | 77 |
| Line has trailing spaces. | 78 |
| Method 'assignLiteral' is not designed for extension - needs to be abstract, final or empty. | 79 |
| Missing a Javadoc comment. | 79 |
| Parameter p should be final. | 80 |
| '>>' is not preceded with whitespace. | 81 |
| '>>' is not followed by whitespace. | 81 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Line has trailing spaces. | 43 |
| Method 'parseInstance' is not designed for extension - needs to be abstract, final or empty. | 48 |
| Missing a Javadoc comment. | 48 |
| Redundant throws: 'FileNotFoundException' is subclass of 'IOException'. | 49 |
| Method 'parseInstance' is not designed for extension - needs to be abstract, final or empty. | 63 |
| Missing a Javadoc comment. | 63 |
| Missing a Javadoc comment. | 68 |
| Line has trailing spaces. | 73 |
| Line has trailing spaces. | 83 |
| Method 'isVerbose' is not designed for extension - needs to be abstract, final or empty. | 91 |
| Missing a Javadoc comment. | 91 |
| Method 'setVerbosity' is not designed for extension - needs to be abstract, final or empty. | 95 |
| Missing a Javadoc comment. | 95 |
| Parameter b should be final. | 95 |
