| 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 |
| 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. | 38 |
| Commentaire javadoc manquant. | 40 |
| La première ligne doit se terminer avec un point. | 42 |
| Line has trailing spaces. | 44 |
| Balise javadoc @param inutilisé pour 'ps'. | 47 |
| Balise javadoc @param inutilisé pour 'coefs'. | 49 |
| Balise javadoc @param inutilisé pour 'moreThan'. | 51 |
| Balise javadoc @param inutilisé pour 'degree'. | 53 |
| Le paramètre voc devrait être final. | 56 |
| Le paramètre mpb devrait être final. | 56 |
| Balise javadoc @param manquante pour 'mpb'. | 56 |
| La ligne excède 80 caractères. | 66 |
| Commentaire javadoc manquant. | 66 |
| Le paramètre voc devrait être final. | 66 |
| Le paramètre lits devrait être final. | 66 |
| Le paramètre coefs devrait être final. | 66 |
| Le paramètre degree devrait être final. | 66 |
| La première ligne doit se terminer avec un point. | 76 |
| Line has trailing spaces. | 78 |
| Balise javadoc @throws manquante pour 'ContradictionException'. | 82 |
| Line has trailing spaces. | 103 |
| Line has trailing spaces. | 113 |
| Line has trailing spaces. | 184 |
| Line has trailing spaces. | 244 |
| Line has trailing spaces. | 259 |
| Line has trailing spaces. | 268 |
| Line has trailing spaces. | 313 |
| La ligne excède 80 caractères. | 319 |