Error Description | Line |
Exception levée : java.lang.RuntimeException: Impossible d'obtenir les informations relatives à ContradictionException. | 0 |
Line has trailing spaces. | 34 |
La ligne excède 80 caractères. | 35 |
Commentaire javadoc manquant. | 37 |
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. | 37 |
Le paramètre p devrait être final. | 37 |
Le paramètre i devrait être final. | 37 |
Line has trailing spaces. | 45 |
Commentaire javadoc manquant. | 48 |
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. | 48 |
Il manque une espace avant '<'. | 48 |
Il manque une espace après '<'. | 48 |
Il manque une espace avant '>'. | 48 |
Le paramètre p devrait être final. | 48 |
Commentaire javadoc manquant. | 54 |
La variable 'lits' devrait être privée et avoir des accesseurs. | 54 |
Commentaire javadoc manquant. | 56 |
Il manque une espace avant '<'. | 56 |
Il manque une espace après '<'. | 56 |
Il manque une espace avant '>'. | 56 |
Il manque une espace avant '<'. | 56 |
Il manque une espace après '<'. | 56 |
Il manque une espace avant '>'. | 56 |
Il manque une espace après '>'. | 56 |
Line has trailing spaces. | 60 |
Commentaire javadoc manquant. | 63 |
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. | 63 |
Commentaire javadoc manquant. | 67 |
La variable 'solver' devrait être privée et avoir des accesseurs. | 67 |
Commentaire javadoc manquant. | 69 |
La variable 'learner' devrait être privée et avoir des accesseurs. | 69 |
Commentaire javadoc manquant. | 71 |
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. | 71 |
Le paramètre s devrait être final. | 71 |
Commentaire javadoc manquant. | 75 |
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. | 75 |
Le paramètre learner devrait être final. | 75 |
'learner' masque un attribut. | 75 |
Commentaire javadoc manquant. | 79 |
Commentaire javadoc manquant. | 82 |
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. | 82 |
Le paramètre constr devrait être final. | 82 |
Line has trailing spaces. | 88 |
La ligne excède 80 caractères. | 89 |
Commentaire javadoc manquant. | 92 |
Line has trailing spaces. | 99 |
La ligne excède 80 caractères. | 100 |
Line has trailing spaces. | 113 |