| 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. | 48 |
| La première ligne doit se terminer avec un point. | 50 |
| La variable 'maxUnsatisfied' devrait être privée et avoir des accesseurs. | 51 |
| La première ligne doit se terminer avec un point. | 53 |
| La première ligne doit se terminer avec un point. | 56 |
| La variable 'lits' devrait être privée et avoir des accesseurs. | 59 |
| Commentaire javadoc manquant. | 61 |
| La variable 'voc' devrait être privée et avoir des accesseurs. | 61 |
| Le paramètre voc devrait être final. | 69 |
| 'voc' masque un attribut. | 69 |
| Balise javadoc @param manquante pour 'voc'. | 69 |
| Le paramètre ps devrait être final. | 69 |
| Le paramètre degree devrait être final. | 69 |
| Commentaire javadoc manquant. | 80 |
| Line has trailing spaces. | 134 |
| Line has trailing spaces. | 145 |
| Line has trailing spaces. | 170 |
| Line has trailing spaces. | 179 |
| Line has trailing spaces. | 188 |
| Line has trailing spaces. | 204 |
| Line has trailing spaces. | 214 |
| Line has trailing spaces. | 224 |
| Line has trailing spaces. | 267 |