| Error Description | Line |
| Commentaire javadoc manquant. | 23 |
| Commentaire javadoc manquant. | 25 |
| Commentaire javadoc manquant. | 27 |
| Commentaire javadoc manquant. | 29 |
| Commentaire javadoc manquant. | 31 |
| Line has trailing spaces. | 34 |
| Le paramètre voc devrait être final. | 36 |
| 'voc' masque un attribut. | 36 |
| Balise javadoc @param manquante pour 'voc'. | 36 |
| Le paramètre p devrait être final. | 36 |
| Balise javadoc @param manquante pour 'p'. | 36 |
| Commentaire javadoc manquant. | 41 |
| La méthode 'addBinaryClause' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 41 |
| Le paramètre p devrait être final. | 41 |
| Line has trailing spaces. | 47 |
| Commentaire javadoc manquant. | 50 |
| Line has trailing spaces. | 56 |
| La ligne excède 80 caractères. | 57 |
| Commentaire javadoc manquant. | 60 |
| La méthode 'propagate' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 60 |
| Le paramètre s devrait être final. | 60 |
| Le paramètre p devrait être final. | 60 |
| Il manque une espace après ','. | 65 |
| Line has trailing spaces. | 75 |
| Commentaire javadoc manquant. | 78 |
| La méthode 'simplify' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 78 |
| Line has trailing spaces. | 93 |
| Commentaire javadoc manquant. | 96 |
| Le paramètre p devrait être final. | 96 |
| Line has trailing spaces. | 102 |
| Commentaire javadoc manquant. | 105 |
| La méthode 'calcReason' 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 p devrait être final. | 105 |
| Le paramètre outReason devrait être final. | 105 |
| Line has trailing spaces. | 119 |
| Commentaire javadoc manquant. | 122 |
| La méthode 'learnt' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 122 |
| Line has trailing spaces. | 128 |
| Commentaire javadoc manquant. | 131 |
| Le paramètre claInc devrait être final. | 131 |
| Line has trailing spaces. | 137 |
| Commentaire javadoc manquant. | 140 |
| La méthode 'getActivity' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 140 |
| Line has trailing spaces. | 147 |
| Commentaire javadoc manquant. | 150 |
| La méthode 'locked' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 150 |
| Line has trailing spaces. | 156 |
| Commentaire javadoc manquant. | 159 |
| Line has trailing spaces. | 165 |
| Commentaire javadoc manquant. | 168 |
| Line has trailing spaces. | 174 |
| Commentaire javadoc manquant. | 177 |
| Le paramètre d devrait être final. | 177 |
| Line has trailing spaces. | 183 |
| Commentaire javadoc manquant. | 186 |
| La méthode 'size' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 186 |
| Line has trailing spaces. | 192 |
| Commentaire javadoc manquant. | 195 |
| La méthode 'get' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 195 |
| Le paramètre i devrait être final. | 195 |
| Commentaire javadoc manquant. | 200 |
| La méthode 'assertConstraint' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 200 |
| Le paramètre s devrait être final. | 200 |