PMD Results

Last Published: 2011-10-30 | Version: 2.3.1

Parent Project

SAT4J

Project Documentation

Project Information
Project Reports
- Surefire Report
- Test Source Xref
- Source Xref
- PMD Report
- CPD Report
- JDepend
- FindBugs Report
- Test JavaDocs
- JavaDocs
- Tag List

Built by Maven

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	256 - 268

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

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

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/core/SolverStats.java

Violation	Line
Avoid empty catch blocks	119 - 121
Avoid empty catch blocks	121 - 123

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	115 - 118

org/sat4j/tools/DimacsOutputSolver.java

Violation	Line
Avoid unused method parameters such as 'stream'.	63 - 65

org/sat4j/tools/Minimal4CardinalityModel.java

Violation	Line
Avoid empty catch blocks	82 - 84

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

org/sat4j/tools/encoding/Commander.java

Violation	Line
Avoid unused private methods such as 'addAtMost(ISolver,IVecInt,int,int)'.	146 - 147

org/sat4j/tools/encoding/Policy.java

Violation	Line
Avoid unused private fields such as 'seq'.	45
Avoid unused private fields such as 'binary'.	46
Avoid unused private fields such as 'product'.	47