| Error Description | Line |
| Exception levée : java.lang.RuntimeException: Impossible d'obtenir les informations relatives à ContradictionException. | 0 |
| La ligne excède 80 caractères. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Line has trailing spaces. | 37 |
| Dans le commentaire javadoc de la classe, il manque une balise @param <L>. | 40 |
| Il manque une espace avant '<'. | 40 |
| Il manque une espace après '<'. | 40 |
| Il manque une espace avant '>'. | 40 |
| Balise javadoc @throws inutilisé pour 'UnsupportedOperationException'. | 49 |