PMD Results

The following document contains the results of PMD 4.2.5.

Files

org/sat4j/minisat/constraints/card/MaxWatchCard.java

Violation Line
Unnecessary final modifier in final class 254 - 266

org/sat4j/minisat/constraints/cnf/Lits.java

Violation Line
Unnecessary final modifier in final class 74 - 104
Unnecessary final modifier in final class 171 - 173

org/sat4j/minisat/core/Heap.java

Violation Line
Unnecessary final modifier in final class 48 - 50
Unnecessary final modifier in final class 52 - 54
Unnecessary final modifier in final class 56 - 58
Unnecessary final modifier in final class 60 - 62
Unnecessary final modifier in final class 70 - 79
Unnecessary final modifier in final class 81 - 95

org/sat4j/minisat/orders/PureOrder.java

Violation Line
Unnecessary final modifier in final class 53 - 56

org/sat4j/minisat/restarts/LubyRestarts.java

Violation Line
Unnecessary final modifier in final class 47 - 74
Unnecessary final modifier in final class 97 - 99

org/sat4j/opt/MaxSatDecorator.java

Violation Line
These nested if statements could be combined 111 - 114

org/sat4j/tools/DimacsOutputSolver.java

Violation Line
Avoid unused method parameters such as 'stream'. 77 - 79

org/sat4j/tools/Minimal4CardinalityModel.java

Violation Line
Avoid empty catch blocks 83 - 85

org/sat4j/tools/Minimal4InclusionModel.java

Violation Line
Avoid empty catch blocks 88 - 90

org/sat4j/tools/OptToSatAdapter.java

Violation Line
Avoid empty catch blocks 100 - 102