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