PMD Results

Last Published: 2012-07-11 | Version: 2.3.2

Parent Project

SAT4J

Project Documentation

Project Information
Project Reports
- Surefire Report
- Test Source Xref
- Source Xref
- PMD Report
- CPD Report
- Checkstyle
- 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/core/VecInt.java

Violation	Line
Avoid unused local variables such as 's'.	406

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

Violation	Line
Unnecessary final modifier in final class	268 - 280

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

Violation	Line
Unnecessary final modifier in final class	76 - 107
Unnecessary final modifier in final class	181 - 183

org/sat4j/minisat/core/Heap.java

Violation	Line
Unnecessary final modifier in final class	50 - 52
Unnecessary final modifier in final class	54 - 56
Unnecessary final modifier in final class	58 - 60
Unnecessary final modifier in final class	62 - 64
Unnecessary final modifier in final class	72 - 81
Unnecessary final modifier in final class	83 - 98

org/sat4j/minisat/core/Solver.java

Violation	Line
Avoid unused local variables such as 'lvoc'.	1019

org/sat4j/minisat/core/SolverStats.java

Violation	Line
Avoid empty catch blocks	128 - 130
Avoid empty catch blocks	130 - 132

org/sat4j/minisat/learning/LimitedLearning.java

Violation	Line
Avoid unused private fields such as 'stats'.	57

org/sat4j/minisat/orders/PureOrder.java

Violation	Line
Unnecessary final modifier in final class	55 - 58

org/sat4j/minisat/restarts/LubyRestarts.java

Violation	Line
Unnecessary final modifier in final class	101 - 103

org/sat4j/opt/MaxSatDecorator.java

Violation	Line
These nested if statements could be combined	137 - 140

org/sat4j/tools/DimacsOutputSolver.java

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

org/sat4j/tools/Minimal4CardinalityModel.java

Violation	Line
Avoid empty catch blocks	84 - 86

org/sat4j/tools/Minimal4InclusionModel.java

Violation	Line
Avoid empty catch blocks	90 - 92

org/sat4j/tools/OptToSatAdapter.java

Violation	Line
Avoid empty catch blocks	104 - 106

org/sat4j/tools/SpeedTracing.java

Violation	Line
Avoid unused private fields such as 'nVar'.	50

org/sat4j/tools/encoding/Commander.java

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