The following document contains the results of Checkstyle
. 
| Files | Infos  |
Warnings  |
Errors  |
|---|---|---|---|
| 5 | 0 | 0 | 542 |
| Files | I |
W |
E |
|---|---|---|---|
| org/sat4j/maxsat/GenericOptLauncher.java | 0 | 0 | 25 |
| org/sat4j/maxsat/MinCostDecorator.java | 0 | 0 | 181 |
| org/sat4j/maxsat/SolverFactory.java | 0 | 0 | 14 |
| org/sat4j/maxsat/WeightedMaxSatDecorator.java | 0 | 0 | 258 |
| org/sat4j/maxsat/reader/WDimacsReader.java | 0 | 0 | 64 |
| Rules | Violations | Severity |
|---|---|---|
| JavadocPackage | 2 | Error |
| NewlineAtEndOfFile | 0 | Error |
| Translation | 0 | Error |
| FileLength | 0 | Error |
FileTabCharacter
|
296 | Error |
RegexpSingleline
|
42 | Error |
| JavadocMethod | 35 | Error |
| JavadocType | 1 | Error |
| JavadocVariable | 24 | Error |
| JavadocStyle | 0 | Error |
| ConstantName | 0 | Error |
| LocalFinalVariableName | 0 | Error |
| LocalVariableName | 0 | Error |
| MemberName | 0 | Error |
| MethodName | 0 | Error |
| PackageName | 0 | Error |
| ParameterName | 0 | Error |
| StaticVariableName | 0 | Error |
| TypeName | 0 | Error |
| AvoidStarImport | 0 | Error |
| IllegalImport | 0 | Error |
| RedundantImport | 0 | Error |
| UnusedImports | 0 | Error |
| LineLength | 24 | Error |
| MethodLength | 0 | Error |
| ParameterNumber | 0 | Error |
| EmptyForIteratorPad | 0 | Error |
| MethodParamPad | 0 | Error |
| NoWhitespaceAfter | 0 | Error |
| NoWhitespaceBefore | 0 | Error |
| OperatorWrap | 0 | Error |
| ParenPad | 1 | Error |
| TypecastParenPad | 1 | Error |
| WhitespaceAfter | 5 | Error |
| WhitespaceAround | 10 | Error |
| ModifierOrder | 0 | Error |
| RedundantModifier | 0 | Error |
| AvoidNestedBlocks | 0 | Error |
| EmptyBlock | 0 | Error |
| LeftCurly | 0 | Error |
| NeedBraces | 3 | Error |
| RightCurly | 0 | Error |
| AvoidInlineConditionals | 1 | Error |
| DoubleCheckedLocking | 0 | Error |
| EmptyStatement | 0 | Error |
| EqualsHashCode | 0 | Error |
| HiddenField | 1 | Error |
| IllegalInstantiation | 0 | Error |
| InnerAssignment | 0 | Error |
| MagicNumber | 6 | Error |
| MissingSwitchDefault | 0 | Error |
| RedundantThrows | 0 | Error |
| SimplifyBooleanExpression | 0 | Error |
| SimplifyBooleanReturn | 0 | Error |
| DesignForExtension | 48 | Error |
| FinalClass | 0 | Error |
| HideUtilityClassConstructor | 0 | Error |
| InterfaceIsType | 0 | Error |
| VisibilityModifier | 8 | Error |
| ArrayTypeStyle | 0 | Error |
| FinalParameters | 35 | Error |
| TodoComment | 0 | Error |
| UpperEll | 0 | Error |
| Violation | Message | Line |
|---|---|---|
|
Line is longer than 80 characters. | 2 |
|
Line has trailing spaces. | 39 |
|
Line has trailing spaces. | 41 |
|
Line has trailing spaces. | 46 |
|
Missing a Javadoc comment. | 50 |
|
Method 'displayLicense' is not designed for extension - needs to be abstract, final or empty. | 62 |
|
Line is longer than 80 characters. | 65 |
|
Line has trailing spaces. | 67 |
|
Method 'usage' is not designed for extension - needs to be abstract, final or empty. | 68 |
|
Method 'createReader' is not designed for extension - needs to be abstract, final or empty. | 73 |
|
Parameter aSolver should be final. | 74 |
|
Parameter problemname should be final. | 74 |
|
Line is longer than 80 characters. | 76 |
|
'(' is followed by whitespace. | 76 |
|
'cast' is not followed by whitespace. | 76 |
|
Line has trailing spaces. | 77 |
|
Method 'getInstanceName' is not designed for extension - needs to be abstract, final or empty. | 81 |
|
Parameter args should be final. | 82 |
|
Method 'configureSolver' is not designed for extension - needs to be abstract, final or empty. | 86 |
|
Parameter args should be final. | 87 |
|
Line is longer than 80 characters. | 103 |
|
'||' is not preceded with whitespace. | 103 |
|
'||' is not followed by whitespace. | 103 |
|
Missing a Javadoc comment. | 134 |
|
Parameter args should be final. | 134 |
| Violation | Message | Line |
|---|---|---|
|
Missing package-info.java file. | 0 |
|
Line is longer than 80 characters. | 2 |
|
Line is longer than 80 characters. | 18 |
|
Line has trailing spaces. | 37 |
|
Line has trailing spaces. | 39 |
|
Line has trailing spaces. | 41 |
|
Line contains a tab character. | 44 |
|
Line contains a tab character. | 46 |
|
Line has trailing spaces. | 47 |
|
Line contains a tab character. | 49 |
|
Line contains a tab character. | 51 |
|
Missing a Javadoc comment. | 51 |
|
Line contains a tab character. | 53 |
|
Missing a Javadoc comment. | 53 |
|
Line contains a tab character. | 55 |
|
Missing a Javadoc comment. | 55 |
|
Line contains a tab character. | 57 |
|
Missing a Javadoc comment. | 57 |
|
Line contains a tab character. | 59 |
|
Missing a Javadoc comment. | 59 |
|
Line contains a tab character. | 61 |
|
Missing a Javadoc comment. | 61 |
|
Line contains a tab character. | 63 |
|
Missing a Javadoc comment. | 63 |
|
Parameter solver should be final. | 63 |
|
Line contains a tab character. | 64 |
|
Line contains a tab character. | 65 |
|
Line contains a tab character. | 67 |
|
Line contains a tab character. | 68 |
|
Line has trailing spaces. | 69 |
|
Line contains a tab character. | 69 |
|
Line contains a tab character. | 70 |
|
Line contains a tab character. | 71 |
|
Line contains a tab character. | 72 |
|
Method 'newVar' is not designed for extension - needs to be abstract, final or empty. | 72 |
|
Line contains a tab character. | 73 |
|
Line contains a tab character. | 74 |
|
Line contains a tab character. | 75 |
|
Line contains a tab character. | 77 |
|
Line contains a tab character. | 78 |
|
Line has trailing spaces. | 79 |
|
Line contains a tab character. | 79 |
|
Line contains a tab character. | 80 |
|
Line contains a tab character. | 81 |
|
Line has trailing spaces. | 82 |
|
Line contains a tab character. | 82 |
|
Line contains a tab character. | 83 |
|
Line contains a tab character. | 84 |
|
Line contains a tab character. | 85 |
|
Expected an @return tag. | 86 |
|
Line contains a tab character. | 86 |
|
Method 'newVar' is not designed for extension - needs to be abstract, final or empty. | 86 |
|
Line contains a tab character. | 87 |
|
Parameter howmany should be final. | 87 |
|
Line contains a tab character. | 88 |
|
Line contains a tab character. | 89 |
|
Line contains a tab character. | 90 |
|
Line contains a tab character. | 91 |
|
Line contains a tab character. | 92 |
|
Line contains a tab character. | 93 |
|
Line contains a tab character. | 94 |
|
Line contains a tab character. | 95 |
|
Line contains a tab character. | 96 |
|
Line contains a tab character. | 97 |
|
Line contains a tab character. | 98 |
|
Line contains a tab character. | 99 |
|
Line contains a tab character. | 101 |
|
Line contains a tab character. | 102 |
|
Line has trailing spaces. | 103 |
|
Line contains a tab character. | 103 |
|
Line contains a tab character. | 104 |
|
Line contains a tab character. | 105 |
|
Line contains a tab character. | 106 |
|
Line contains a tab character. | 107 |
|
Line contains a tab character. | 108 |
|
Method 'costOf' is not designed for extension - needs to be abstract, final or empty. | 108 |
|
Parameter var should be final. | 108 |
|
Line contains a tab character. | 109 |
|
Line contains a tab character. | 110 |
|
Line contains a tab character. | 112 |
|
Line contains a tab character. | 113 |
|
Line has trailing spaces. | 114 |
|
Line contains a tab character. | 114 |
|
Line contains a tab character. | 115 |
|
Line contains a tab character. | 116 |
|
Line contains a tab character. | 117 |
|
Line contains a tab character. | 118 |
|
Line contains a tab character. | 119 |
|
Line contains a tab character. | 120 |
|
Method 'setCost' is not designed for extension - needs to be abstract, final or empty. | 120 |
|
Parameter var should be final. | 120 |
|
Parameter cost should be final. | 120 |
|
Line contains a tab character. | 121 |
|
Line contains a tab character. | 122 |
|
Line contains a tab character. | 123 |
|
Line contains a tab character. | 125 |
|
Method 'admitABetterSolution' is not designed for extension - needs to be abstract, final or empty. | 125 |
|
Missing a Javadoc comment. | 125 |
|
Line contains a tab character. | 126 |
|
Line contains a tab character. | 127 |
|
Line contains a tab character. | 129 |
|
Method 'admitABetterSolution' is not designed for extension - needs to be abstract, final or empty. | 129 |
|
Missing a Javadoc comment. | 129 |
|
Parameter assumps should be final. | 129 |
|
Line contains a tab character. | 130 |
|
Line contains a tab character. | 131 |
|
Line contains a tab character. | 132 |
|
Line contains a tab character. | 133 |
|
Line contains a tab character. | 134 |
|
Line contains a tab character. | 135 |
|
Line contains a tab character. | 136 |
|
Line contains a tab character. | 137 |
|
Line contains a tab character. | 139 |
|
Method 'hasNoObjectiveFunction' is not designed for extension - needs to be abstract, final or empty. | 139 |
|
Missing a Javadoc comment. | 139 |
|
Line contains a tab character. | 140 |
|
Line contains a tab character. | 141 |
|
Line contains a tab character. | 143 |
|
Method 'nonOptimalMeansSatisfiable' is not designed for extension - needs to be abstract, final or empty. | 143 |
|
Missing a Javadoc comment. | 143 |
|
Line contains a tab character. | 144 |
|
Line contains a tab character. | 145 |
|
Line contains a tab character. | 147 |
|
Method 'calculateObjective' is not designed for extension - needs to be abstract, final or empty. | 147 |
|
Missing a Javadoc comment. | 147 |
|
Line contains a tab character. | 148 |
|
Line contains a tab character. | 149 |
|
Line contains a tab character. | 150 |
|
Line contains a tab character. | 152 |
|
Missing a Javadoc comment. | 152 |
|
Parameter prevmodel2 should be final. | 152 |
|
Line contains a tab character. | 153 |
|
Line contains a tab character. | 154 |
|
Line contains a tab character. | 155 |
|
Line contains a tab character. | 156 |
|
Line contains a tab character. | 157 |
|
Line contains a tab character. | 158 |
|
Line contains a tab character. | 159 |
|
Line contains a tab character. | 160 |
|
Line contains a tab character. | 162 |
|
Method 'discardCurrentSolution' is not designed for extension - needs to be abstract, final or empty. | 162 |
|
Missing a Javadoc comment. | 162 |
|
Line contains a tab character. | 163 |
|
'!=' is not preceded with whitespace. | 163 |
|
'!=' is not followed by whitespace. | 163 |
|
Line contains a tab character. | 164 |
|
Line contains a tab character. | 165 |
|
Line is longer than 80 characters. | 166 |
|
Line contains a tab character. | 166 |
|
Line contains a tab character. | 167 |
|
Line contains a tab character. | 168 |
|
Line contains a tab character. | 170 |
|
Method 'reset' is not designed for extension - needs to be abstract, final or empty. | 170 |
|
Line contains a tab character. | 171 |
|
Line contains a tab character. | 172 |
|
Line contains a tab character. | 173 |
|
Line contains a tab character. | 174 |
|
Line contains a tab character. | 176 |
|
Method 'model' is not designed for extension - needs to be abstract, final or empty. | 176 |
|
Line contains a tab character. | 177 |
|
Line contains a tab character. | 178 |
|
Line contains a tab character. | 179 |
|
Line contains a tab character. | 180 |
|
Line contains a tab character. | 182 |
|
Method 'getObjectiveValue' is not designed for extension - needs to be abstract, final or empty. | 182 |
|
Missing a Javadoc comment. | 182 |
|
Line contains a tab character. | 183 |
|
Line contains a tab character. | 184 |
|
Line contains a tab character. | 186 |
|
Method 'discard' is not designed for extension - needs to be abstract, final or empty. | 186 |
|
Missing a Javadoc comment. | 186 |
|
Line contains a tab character. | 187 |
|
Line contains a tab character. | 188 |
|
Line contains a tab character. | 190 |
|
Method 'forceObjectiveValueTo' is not designed for extension - needs to be abstract, final or empty. | 190 |
|
Missing a Javadoc comment. | 190 |
|
Parameter forcedValue should be final. | 190 |
|
Line contains a tab character. | 191 |
|
Line contains a tab character. | 192 |
|
Line contains a tab character. | 193 |
|
Line contains a tab character. | 194 |
| Violation | Message | Line |
|---|---|---|
|
Line is longer than 80 characters. | 2 |
|
Missing a Javadoc comment. | 32 |
|
Missing a Javadoc comment. | 34 |
|
Line has trailing spaces. | 39 |
|
Line is longer than 80 characters. | 43 |
|
Line is longer than 80 characters. | 44 |
|
'1.2' is a magic number. | 45 |
|
'100000' is a magic number. | 46 |
|
Line has trailing spaces. | 52 |
|
Method 'defaultSolver' is not designed for extension - needs to be abstract, final or empty. | 53 |
|
Method 'lightSolver' is not designed for extension - needs to be abstract, final or empty. | 58 |
|
Missing a Javadoc comment. | 63 |
|
Line has trailing spaces. | 66 |
|
Missing a Javadoc comment. | 67 |
| Violation | Message | Line |
|---|---|---|
|
Line is longer than 80 characters. | 18 |
|
Line has trailing spaces. | 41 |
|
Line has trailing spaces. | 44 |
|
Line has trailing spaces. | 46 |
|
Line is longer than 80 characters. | 51 |
|
Missing a Javadoc comment. | 51 |
|
Line contains a tab character. | 53 |
|
Line has trailing spaces. | 54 |
|
Missing a Javadoc comment. | 58 |
|
Variable 'nborigvars' must be private and have accessor methods. | 58 |
|
Missing a Javadoc comment. | 60 |
|
Missing a Javadoc comment. | 62 |
|
Missing a Javadoc comment. | 64 |
|
Variable 'nbnewvar' must be private and have accessor methods. | 64 |
|
Line contains a tab character. | 66 |
|
Missing a Javadoc comment. | 66 |
|
Variable 'prevmodel' must be private and have accessor methods. | 66 |
|
Line contains a tab character. | 67 |
|
Missing a Javadoc comment. | 67 |
|
Variable 'prevboolmodel' must be private and have accessor methods. | 67 |
|
Missing a Javadoc comment. | 69 |
|
Variable 'prevfullmodel' must be private and have accessor methods. | 69 |
|
Line has trailing spaces. | 70 |
|
Missing a Javadoc comment. | 71 |
|
Missing a Javadoc comment. | 73 |
|
Parameter solver should be final. | 73 |
|
Method 'newVar' is not designed for extension - needs to be abstract, final or empty. | 81 |
|
Parameter howmany should be final. | 82 |
|
Method 'setExpectedNumberOfClauses' is not designed for extension - needs to be abstract, final or empty. | 87 |
|
Parameter nb should be final. | 88 |
|
Method 'model' is not designed for extension - needs to be abstract, final or empty. | 96 |
|
Line contains a tab character. | 98 |
|
Line contains a tab character. | 101 |
|
Method 'model' is not designed for extension - needs to be abstract, final or empty. | 101 |
|
Line contains a tab character. | 102 |
|
Parameter var should be final. | 102 |
|
Line contains a tab character. | 103 |
|
Missing a Javadoc comment. | 106 |
|
Variable 'top' must be private and have accessor methods. | 106 |
|
Method 'setTopWeight' is not designed for extension - needs to be abstract, final or empty. | 108 |
|
Missing a Javadoc comment. | 108 |
|
Parameter top should be final. | 108 |
|
'top' hides a field. | 108 |
|
Line contains a tab character. | 112 |
|
Line contains a tab character. | 113 |
|
Line has trailing spaces. | 114 |
|
Line contains a tab character. | 114 |
|
Line is longer than 80 characters. | 115 |
|
Line contains a tab character. | 115 |
|
Line contains a tab character. | 116 |
|
Line is longer than 80 characters. | 117 |
|
Line contains a tab character. | 117 |
|
Line contains a tab character. | 118 |
|
Line has trailing spaces. | 119 |
|
Line contains a tab character. | 119 |
|
Line contains a tab character. | 120 |
|
Line is longer than 80 characters. | 121 |
|
Line contains a tab character. | 121 |
|
Line contains a tab character. | 122 |
|
Line contains a tab character. | 123 |
|
Line contains a tab character. | 124 |
|
Expected an @return tag. | 125 |
|
Method 'addClause' is not designed for extension - needs to be abstract, final or empty. | 125 |
|
Parameter literals should be final. | 126 |
|
Expected @throws tag for 'ContradictionException'. | 126 |
|
Line contains a tab character. | 128 |
|
Line contains a tab character. | 129 |
|
Line contains a tab character. | 130 |
|
Line contains a tab character. | 132 |
|
Line is longer than 80 characters. | 133 |
|
Line contains a tab character. | 133 |
|
Line has trailing spaces. | 134 |
|
Line contains a tab character. | 134 |
|
Line contains a tab character. | 135 |
|
Line contains a tab character. | 136 |
|
Line contains a tab character. | 137 |
|
Line contains a tab character. | 138 |
|
Line contains a tab character. | 139 |
|
Line contains a tab character. | 140 |
|
Method 'addHardClause' is not designed for extension - needs to be abstract, final or empty. | 140 |
|
Parameter literals should be final. | 140 |
|
Line contains a tab character. | 141 |
|
Expected @throws tag for 'ContradictionException'. | 141 |
|
Line contains a tab character. | 142 |
|
Line contains a tab character. | 143 |
|
Line contains a tab character. | 145 |
|
Line contains a tab character. | 146 |
|
Line has trailing spaces. | 147 |
|
Line contains a tab character. | 147 |
|
Line contains a tab character. | 148 |
|
Line contains a tab character. | 149 |
|
Line contains a tab character. | 150 |
|
Line contains a tab character. | 151 |
|
Line contains a tab character. | 152 |
|
Line contains a tab character. | 153 |
|
Method 'addSoftClause' is not designed for extension - needs to be abstract, final or empty. | 153 |
|
Parameter literals should be final. | 153 |
|
Line contains a tab character. | 154 |
|
Expected @throws tag for 'ContradictionException'. | 154 |
|
Line contains a tab character. | 155 |
|
Line contains a tab character. | 156 |
|
Line contains a tab character. | 158 |
|
Line contains a tab character. | 159 |
|
Line has trailing spaces. | 160 |
|
Line contains a tab character. | 160 |
|
Line is longer than 80 characters. | 161 |
|
Line contains a tab character. | 161 |
|
Line contains a tab character. | 162 |
|
Line has trailing spaces. | 163 |
|
Line contains a tab character. | 163 |
|
Line contains a tab character. | 164 |
|
Line contains a tab character. | 165 |
|
Line contains a tab character. | 166 |
|
Line contains a tab character. | 167 |
|
Line contains a tab character. | 168 |
|
Line contains a tab character. | 169 |
|
Line contains a tab character. | 170 |
|
Line contains a tab character. | 171 |
|
Method 'addSoftClause' is not designed for extension - needs to be abstract, final or empty. | 171 |
|
Parameter weight should be final. | 171 |
|
Parameter literals should be final. | 171 |
|
Line contains a tab character. | 172 |
|
Expected @throws tag for 'ContradictionException'. | 172 |
|
Line contains a tab character. | 173 |
|
',' is not followed by whitespace. | 173 |
|
Line contains a tab character. | 174 |
|
Line contains a tab character. | 176 |
|
Method 'addSoftClause' is not designed for extension - needs to be abstract, final or empty. | 176 |
|
Missing a Javadoc comment. | 176 |
|
Parameter weight should be final. | 176 |
|
Parameter literals should be final. | 176 |
|
Line contains a tab character. | 177 |
|
'<' is not preceded with whitespace. | 178 |
|
'<' is not followed by whitespace. | 178 |
|
Line contains a tab character. | 193 |
|
Line has trailing spaces. | 202 |
|
Line has trailing spaces. | 206 |
|
Line is longer than 80 characters. | 206 |
|
Line contains a tab character. | 219 |
|
Line contains a tab character. | 225 |
|
Line contains a tab character. | 226 |
|
Line has trailing spaces. | 227 |
|
Line contains a tab character. | 227 |
|
Line contains a tab character. | 228 |
|
Line contains a tab character. | 229 |
|
Line contains a tab character. | 230 |
|
Line contains a tab character. | 231 |
|
Method 'addLiteralsToMinimize' is not designed for extension - needs to be abstract, final or empty. | 231 |
|
Parameter literals should be final. | 231 |
|
Line contains a tab character. | 232 |
|
Line contains a tab character. | 233 |
|
Line contains a tab character. | 234 |
|
Line contains a tab character. | 235 |
|
Line contains a tab character. | 236 |
|
Line contains a tab character. | 238 |
|
Line contains a tab character. | 239 |
|
Line has trailing spaces. | 240 |
|
Line contains a tab character. | 240 |
|
Line contains a tab character. | 241 |
|
Line contains a tab character. | 242 |
|
Line contains a tab character. | 243 |
|
Line contains a tab character. | 244 |
|
Line contains a tab character. | 245 |
|
Line contains a tab character. | 246 |
|
Method 'addWeightedLiteralsToMinimize' is not designed for extension - needs to be abstract, final or empty. | 246 |
|
Parameter literals should be final. | 246 |
|
Line contains a tab character. | 247 |
|
Parameter coefficients should be final. | 247 |
|
'if' construct must use '{}'s. | 248 |
|
Line contains a tab character. | 248 |
|
Line contains a tab character. | 249 |
|
Line contains a tab character. | 250 |
|
Line contains a tab character. | 251 |
|
Line contains a tab character. | 252 |
|
Line contains a tab character. | 253 |
|
Line contains a tab character. | 254 |
|
Line contains a tab character. | 256 |
|
Line contains a tab character. | 257 |
|
Line has trailing spaces. | 258 |
|
Line contains a tab character. | 258 |
|
Line contains a tab character. | 259 |
|
Line contains a tab character. | 260 |
|
Line contains a tab character. | 261 |
|
Line contains a tab character. | 262 |
|
Line contains a tab character. | 263 |
|
Line contains a tab character. | 264 |
|
Method 'addWeightedLiteralsToMinimize' is not designed for extension - needs to be abstract, final or empty. | 264 |
|
Parameter literals should be final. | 264 |
|
Line contains a tab character. | 265 |
|
Parameter coefficients should be final. | 265 |
|
'if' construct must use '{}'s. | 266 |
|
Line contains a tab character. | 266 |
|
Line contains a tab character. | 267 |
|
Line contains a tab character. | 268 |
|
Line contains a tab character. | 269 |
|
Line contains a tab character. | 270 |
|
Line contains a tab character. | 271 |
|
Line has trailing spaces. | 273 |
|
Method 'admitABetterSolution' is not designed for extension - needs to be abstract, final or empty. | 274 |
|
Missing a Javadoc comment. | 274 |
|
Line contains a tab character. | 275 |
|
Line has trailing spaces. | 277 |
|
Method 'admitABetterSolution' is not designed for extension - needs to be abstract, final or empty. | 278 |
|
Missing a Javadoc comment. | 278 |
|
Parameter assumps should be final. | 278 |
|
Line contains a tab character. | 279 |
|
',' is not followed by whitespace. | 280 |
|
Line contains a tab character. | 282 |
|
Line contains a tab character. | 283 |
|
Line contains a tab character. | 284 |
|
Line contains a tab character. | 285 |
|
'if' construct must use '{}'s. | 287 |
|
Avoid inline conditionals. | 290 |
|
Line contains a tab character. | 293 |
|
Line contains a tab character. | 294 |
|
Line contains a tab character. | 295 |
|
Line contains a tab character. | 296 |
|
Line contains a tab character. | 298 |
|
Line contains a tab character. | 299 |
|
Line contains a tab character. | 300 |
|
Line contains a tab character. | 301 |
|
Line contains a tab character. | 302 |
|
Method 'reset' is not designed for extension - needs to be abstract, final or empty. | 306 |
|
Method 'hasNoObjectiveFunction' is not designed for extension - needs to be abstract, final or empty. | 315 |
|
Missing a Javadoc comment. | 315 |
|
Method 'nonOptimalMeansSatisfiable' is not designed for extension - needs to be abstract, final or empty. | 319 |
|
Missing a Javadoc comment. | 319 |
|
Missing a Javadoc comment. | 323 |
|
Method 'calculateObjective' is not designed for extension - needs to be abstract, final or empty. | 325 |
|
Missing a Javadoc comment. | 325 |
|
Missing a Javadoc comment. | 336 |
|
Missing a Javadoc comment. | 338 |
|
Missing a Javadoc comment. | 340 |
|
Method 'discardCurrentSolution' is not designed for extension - needs to be abstract, final or empty. | 342 |
|
Missing a Javadoc comment. | 342 |
|
'!=' is not preceded with whitespace. | 344 |
|
'!=' is not followed by whitespace. | 344 |
|
Line contains a tab character. | 345 |
|
Line is longer than 80 characters. | 347 |
|
Line contains a tab character. | 350 |
|
Method 'getObjectiveValue' is not designed for extension - needs to be abstract, final or empty. | 350 |
|
Missing a Javadoc comment. | 350 |
|
Line contains a tab character. | 351 |
|
Line contains a tab character. | 352 |
|
Line contains a tab character. | 354 |
|
Method 'discard' is not designed for extension - needs to be abstract, final or empty. | 354 |
|
Missing a Javadoc comment. | 354 |
|
Line contains a tab character. | 355 |
|
Line contains a tab character. | 356 |
|
Line contains a tab character. | 358 |
|
Method 'forceObjectiveValueTo' is not designed for extension - needs to be abstract, final or empty. | 358 |
|
Missing a Javadoc comment. | 358 |
|
Parameter forcedValue should be final. | 358 |
|
Line contains a tab character. | 359 |
|
Line is longer than 80 characters. | 360 |
|
Line contains a tab character. | 360 |
|
'cast' is not followed by whitespace. | 360 |
|
Line contains a tab character. | 361 |
| Violation | Message | Line |
|---|---|---|
|
Missing package-info.java file. | 0 |
|
Line is longer than 80 characters. | 2 |
|
Line has trailing spaces. | 31 |
|
Line contains a tab character. | 37 |
|
Missing a Javadoc comment. | 37 |
|
Variable 'weight' must be private and have accessor methods. | 37 |
|
Line contains a tab character. | 38 |
|
Missing a Javadoc comment. | 38 |
|
Variable 'top' must be private and have accessor methods. | 38 |
|
Line has trailing spaces. | 39 |
|
Line contains a tab character. | 39 |
|
Method 'flushConstraint' is not designed for extension - needs to be abstract, final or empty. | 40 |
|
Line contains a tab character. | 41 |
|
Line contains a tab character. | 42 |
|
Line contains a tab character. | 43 |
|
Line contains a tab character. | 45 |
|
Method 'handleLine' is not designed for extension - needs to be abstract, final or empty. | 45 |
|
Line is longer than 80 characters. | 46 |
|
Line contains a tab character. | 46 |
|
Line contains a tab character. | 47 |
|
Line contains a tab character. | 48 |
|
Line contains a tab character. | 49 |
|
Line contains a tab character. | 51 |
|
Line has trailing spaces. | 52 |
|
Missing a Javadoc comment. | 56 |
|
Line has trailing spaces. | 57 |
|
Missing a Javadoc comment. | 58 |
|
Parameter solver should be final. | 58 |
|
',' is not followed by whitespace. | 59 |
|
Missing a Javadoc comment. | 63 |
|
Parameter solver should be final. | 63 |
|
Parameter format should be final. | 63 |
|
Method 'readProblemLine' is not designed for extension - needs to be abstract, final or empty. | 68 |
|
Line contains a tab character. | 71 |
|
Line contains a tab character. | 73 |
|
Line contains a tab character. | 74 |
|
Line is longer than 80 characters. | 75 |
|
Line contains a tab character. | 75 |
|
Line contains a tab character. | 76 |
|
Line contains a tab character. | 77 |
|
Line contains a tab character. | 78 |
|
'4' is a magic number. | 78 |
|
Line contains a tab character. | 79 |
|
Line is longer than 80 characters. | 80 |
|
Line contains a tab character. | 80 |
|
Line contains a tab character. | 81 |
|
Line contains a tab character. | 83 |
|
Line contains a tab character. | 85 |
|
Line contains a tab character. | 86 |
|
Line contains a tab character. | 87 |
|
Line contains a tab character. | 88 |
|
Line contains a tab character. | 89 |
|
Line contains a tab character. | 90 |
|
'3' is a magic number. | 90 |
|
Line contains a tab character. | 91 |
|
Line contains a tab character. | 92 |
|
Line has trailing spaces. | 93 |
|
Line contains a tab character. | 93 |
|
'==' is not preceded with whitespace. | 96 |
|
'5' is a magic number. | 96 |
|
'==' is not followed by whitespace. | 96 |
|
'4' is a magic number. | 97 |
|
Line has trailing spaces. | 100 |
|
Line has trailing spaces. | 105 |
