| Error Description | Line |
| Exception levée : java.lang.RuntimeException: Impossible d'obtenir les informations relatives à ContradictionException. | 0 |
| Commentaire javadoc manquant. | 21 |
| Commentaire javadoc manquant. | 23 |
| La méthode 'createUnregisteredClause' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 23 |
| Le paramètre literals devrait être final. | 23 |
| Line has trailing spaces. | 29 |
| La ligne excède 80 caractères. | 30 |
| Commentaire javadoc manquant. | 32 |
| Line has trailing spaces. | 38 |
| La ligne excède 80 caractères. | 39 |