| Error Description | Line |
| Il manque un caractère NewLine à la fin du fichier | 0 |
| Exception levée : java.lang.RuntimeException: Impossible d'obtenir les informations relatives à ContradictionException. | 0 |
| Commentaire javadoc manquant. | 24 |
| Commentaire javadoc manquant. | 26 |
| Line has trailing spaces. | 34 |
| Commentaire javadoc manquant. | 37 |
| La méthode 'getVocabulary' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 37 |
| Line has trailing spaces. | 44 |
| La ligne excède 80 caractères. | 45 |
| Commentaire javadoc manquant. | 47 |
| Line has trailing spaces. | 65 |
| La ligne excède 80 caractères. | 66 |