| Error Description | Line |
| Line has trailing spaces. | 2 |
| Line has trailing spaces. | 4 |
| Line has trailing spaces. | 6 |
| Line has trailing spaces. | 8 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 11 |
| Line has trailing spaces. | 25 |
| Line has trailing spaces. | 41 |
| Commentaire javadoc manquant. | 46 |
| Commentaire javadoc manquant. | 48 |
| Commentaire javadoc manquant. | 50 |
| La méthode 'initAnalyze' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 50 |
| Commentaire javadoc manquant. | 54 |
| La méthode 'onCurrentDecisionLevelLiteral' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 54 |
| Le paramètre p devrait être final. | 54 |
| Commentaire javadoc manquant. | 58 |
| La méthode 'clauseNonAssertive' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 58 |
| Le paramètre reason devrait être final. | 58 |