PMD Results
The following document contains the results of PMD
4.2.4.
Files
org/sat4j/pb/OptToPBSATAdapter.java
| Violation |
Line |
|---|
| Avoid empty catch blocks |
92
- 94
|
| Avoid empty catch blocks |
94
- 96
|
org/sat4j/pb/constraints/pb/HTClausePB.java
| Violation |
Line |
|---|
| These nested if statements could be combined |
137
- 153
|
org/sat4j/pb/reader/OPBEclipseReader2007.java
| Violation |
Line |
|---|
| Avoid unused imports such as 'java.text.ParseException' |
31
|
org/sat4j/pb/reader/OPBReader2005.java
| Violation |
Line |
|---|
| Avoid empty while statements |
289
|
