| Error Description | Line |
| 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 |
| Line has trailing spaces. | 44 |
| Line has trailing spaces. | 46 |
| Line has trailing spaces. | 48 |
| Line has trailing spaces. | 53 |
| Commentaire javadoc manquant. | 57 |
| Commentaire javadoc manquant. | 59 |
| Commentaire javadoc manquant. | 61 |
| Commentaire javadoc manquant. | 63 |
| Commentaire javadoc manquant. | 65 |
| Line has trailing spaces. | 66 |
| Commentaire javadoc manquant. | 67 |
| Commentaire javadoc manquant. | 71 |
| Le paramètre pw devrait être final. | 71 |
| Commentaire javadoc manquant. | 75 |
| Le paramètre stream devrait être final. | 75 |
| Commentaire javadoc manquant. | 79 |
| La méthode 'newVar' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 79 |
| Commentaire javadoc manquant. | 83 |
| La méthode 'newVar' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 83 |
| Le paramètre howmany devrait être final. | 83 |
| Commentaire javadoc manquant. | 89 |
| La méthode 'setExpectedNumberOfClauses' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 89 |
| Le paramètre nb devrait être final. | 89 |
| Commentaire javadoc manquant. | 95 |
| Line has trailing spaces. | 105 |