| 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 |
| Dans le commentaire javadoc de la classe, il manque une balise @param <L>. | 46 |
| Il manque une espace avant '<'. | 46 |
| Il manque une espace après '<'. | 46 |
| Il manque une espace avant '>'. | 46 |
| 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 |
| Line has trailing spaces. | 51 |
| La ligne excède 80 caractères. | 52 |
| Commentaire javadoc manquant. | 54 |
| La méthode 'conflictDetectedInWatchesFor' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 54 |
| Le paramètre p devrait être final. | 54 |
| Le paramètre i devrait être final. | 54 |
| Line has trailing spaces. | 62 |
| Commentaire javadoc manquant. | 65 |
| La méthode 'getWatchesFor' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 65 |
| Il manque une espace avant '<'. | 65 |
| Il manque une espace après '<'. | 65 |
| Il manque une espace avant '>'. | 65 |
| Le paramètre p devrait être final. | 65 |
| Commentaire javadoc manquant. | 71 |
| La variable 'lits' devrait être privée et avoir des accesseurs. | 71 |
| Line has trailing spaces. | 72 |
| Commentaire javadoc manquant. | 73 |
| Line has trailing spaces. | 77 |
| Commentaire javadoc manquant. | 77 |
| Line has trailing spaces. | 78 |
| Commentaire javadoc manquant. | 79 |
| Il manque une espace avant '<'. | 79 |
| Il manque une espace après '<'. | 79 |
| Il manque une espace avant '>'. | 79 |
| Il manque une espace avant '<'. | 79 |
| Il manque une espace après '<'. | 79 |
| Il manque une espace avant '>'. | 79 |
| Il manque une espace après '>'. | 79 |
| Line has trailing spaces. | 83 |
| Commentaire javadoc manquant. | 86 |
| La méthode 'getVocabulary' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 86 |
| Commentaire javadoc manquant. | 90 |
| La variable 'solver' devrait être privée et avoir des accesseurs. | 90 |
| Commentaire javadoc manquant. | 92 |
| La variable 'learner' devrait être privée et avoir des accesseurs. | 92 |
| Commentaire javadoc manquant. | 94 |
| La méthode 'setUnitPropagationListener' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 94 |
| Le paramètre s devrait être final. | 94 |
| Commentaire javadoc manquant. | 98 |
| La méthode 'setLearner' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 98 |
| Le paramètre learner devrait être final. | 98 |
| 'learner' masque un attribut. | 98 |
| Commentaire javadoc manquant. | 102 |
| Commentaire javadoc manquant. | 105 |
| La méthode 'learnConstraint' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 105 |
| Le paramètre constr devrait être final. | 105 |
| Line has trailing spaces. | 111 |
| La ligne excède 80 caractères. | 112 |
| Commentaire javadoc manquant. | 115 |
| Line has trailing spaces. | 122 |
| La ligne excède 80 caractères. | 123 |