| 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 |
| Line has trailing spaces. | 4 |
| Line has trailing spaces. | 6 |
| Line has trailing spaces. | 10 |
| Line has trailing spaces. | 15 |
| Line has trailing spaces. | 20 |
| Line has trailing spaces. | 24 |
| Commentaire javadoc manquant. | 39 |
| Commentaire javadoc manquant. | 41 |
| La première ligne doit se terminer avec un point. | 43 |
| La première ligne doit se terminer avec un point. | 53 |
| La première ligne doit se terminer avec un point. | 58 |
| Line has trailing spaces. | 60 |
| Balise javadoc @param inutilisé pour 'coefs'. | 65 |
| Balise javadoc @param inutilisé pour 'degree'. | 69 |
| Le paramètre voc devrait être final. | 72 |
| Le paramètre ps devrait être final. | 72 |
| Le paramètre bigCoefs devrait être final. | 72 |
| Il manque une espace avant '<'. | 72 |
| Il manque une espace après '<'. | 72 |
| Il manque une espace avant '>'. | 72 |
| Balise javadoc @param manquante pour 'bigCoefs'. | 72 |
| Le paramètre moreThan devrait être final. | 73 |
| Le paramètre bigDeg devrait être final. | 73 |
| Balise javadoc @param manquante pour 'bigDeg'. | 73 |
| Line has trailing spaces. | 91 |
| Commentaire javadoc manquant. | 94 |
| Line has trailing spaces. | 153 |
| La ligne excède 80 caractères. | 154 |
| La ligne excède 80 caractères. | 162 |
| Line has trailing spaces. | 236 |
| Line has trailing spaces. | 252 |
| La ligne excède 80 caractères. | 324 |
| Line has trailing spaces. | 360 |
| Line has trailing spaces. | 383 |
| Line has trailing spaces. | 392 |