PMD Results
The following document contains the results of PMD
4.2.4.
Files
org/sat4j/minisat/constraints/ClausalDataStructureCB.java
| Violation |
Line |
|---|
| No need to import a type that lives in the same package |
30
|
org/sat4j/minisat/constraints/cnf/HTClause.java
| Violation |
Line |
|---|
| An empty statement (semicolon) not part of a loop |
294
|
org/sat4j/reader/LecteurDimacs.java
| Violation |
Line |
|---|
| Avoid empty while statements |
199
|
org/sat4j/tools/DimacsOutputSolver.java
| Violation |
Line |
|---|
| Avoid unused method parameters such as 'stream'. |
76
- 78
|
org/sat4j/tools/Minimal4CardinalityModel.java
| Violation |
Line |
|---|
| Avoid empty catch blocks |
83
- 85
|
org/sat4j/tools/Minimal4InclusionModel.java
| Violation |
Line |
|---|
| Avoid empty catch blocks |
89
- 91
|
org/sat4j/tools/OptToSatAdapter.java
| Violation |
Line |
|---|
| Avoid empty catch blocks |
85
- 87
|
| Avoid empty catch blocks |
87
- 89
|
