| 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 |
| Commentaire javadoc manquant. | 39 |
| Line has trailing spaces. | 43 |
| Commentaire javadoc manquant. | 47 |
| Il manque une espace avant '<'. | 47 |
| Il manque une espace après '<'. | 47 |
| Il manque une espace avant '>'. | 47 |
| Il manque une espace avant '<'. | 47 |
| Il manque une espace après '<'. | 47 |
| Il manque une espace avant '>'. | 47 |
| Il manque une espace après '>'. | 47 |
| Commentaire javadoc manquant. | 49 |
| Le paramètre solver devrait être final. | 49 |
| Line has trailing spaces. | 52 |
| Line has trailing spaces. | 53 |
| Commentaire javadoc manquant. | 54 |
| La variable 'top' devrait être privée et avoir des accesseurs. | 54 |
| Commentaire javadoc manquant. | 56 |
| La méthode 'setTopWeight' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 56 |
| Le paramètre top devrait être final. | 56 |
| 'top' masque un attribut. | 56 |
| Line has trailing spaces. | 59 |
| Commentaire javadoc manquant. | 60 |
| Line has trailing spaces. | 65 |