PMD Results
The following document contains the results of PMD 4.2.5.
Files
org/sat4j/sat/DetailedCommandPanel.java
| Violation | Line |
|---|
| These nested if statements could be combined | 1372 - 1412 |
org/sat4j/sat/LaunchRemoteControl.java
| Violation | Line |
|---|
| Avoid unused local variables such as 'frame'. | 109 |
org/sat4j/sat/RTSI.java
| Violation | Line |
|---|
| Avoid empty catch blocks | 158 - 161 |
| Avoid empty catch blocks | 225 - 228 |
org/sat4j/sat/RemoteControlFrame.java
| Violation | Line |
|---|
| Avoid unused private fields such as 'lookAndFeel'. | 74 |
| Avoid unused private fields such as 'telecomStrategy'. | 88 |
| Avoid unused private fields such as 'randomWalk'. | 89 |
org/sat4j/sat/RemoteControlStrategy.java
| Violation | Line |
|---|
| These nested if statements could be combined | 197 - 203 |
org/sat4j/sat/Solvers.java
| Violation | Line |
|---|
| Avoid empty catch blocks | 490 - 493 |
| Avoid empty catch blocks | 532 - 534 |
org/sat4j/sat/visu/ChartBasedVisualizationTool.java
| Violation | Line |
|---|
| Avoid unused private fields such as 'i'. | 10 |
org/sat4j/sat/visu/JChartBasedSolverVisualisation.java
| Violation | Line |
|---|
| Avoid unused constructor parameters such as 'isVisible'. | 77 - 84 |
