PMD Results
The following document contains the results of PMD
4.2.2.
Files
org/sat4j/opt/MaxSatDecorator.java
| Violation |
Line |
|---|
| These nested if statements could be combined |
111
- 114
|
org/sat4j/reader/EfficientScanner.java
| Violation |
Line |
|---|
| Avoid empty while statements |
144
|
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'. |
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
|
