| Error Description | Line |
| 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. | 42 |
| Commentaire javadoc manquant. | 44 |
| Commentaire javadoc manquant. | 46 |
| Commentaire javadoc manquant. | 48 |
| Commentaire javadoc manquant. | 50 |
| Line has trailing spaces. | 53 |
| Le paramètre voc devrait être final. | 55 |
| 'voc' masque un attribut. | 55 |
| Balise javadoc @param manquante pour 'voc'. | 55 |
| Le paramètre p devrait être final. | 55 |
| Balise javadoc @param manquante pour 'p'. | 55 |
| Commentaire javadoc manquant. | 60 |
| 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. | 60 |
| Le paramètre p devrait être final. | 60 |
| Line has trailing spaces. | 66 |
| Commentaire javadoc manquant. | 69 |
| Line has trailing spaces. | 75 |
| La ligne excède 80 caractères. | 76 |
| Commentaire javadoc manquant. | 79 |
| 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. | 79 |
| Le paramètre s devrait être final. | 79 |
| Le paramètre p devrait être final. | 79 |
| Line has trailing spaces. | 94 |
| Commentaire javadoc manquant. | 97 |
| 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. | 97 |
| Line has trailing spaces. | 114 |
| Commentaire javadoc manquant. | 117 |
| Le paramètre p devrait être final. | 117 |
| Line has trailing spaces. | 123 |
| Commentaire javadoc manquant. | 126 |
| 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. | 126 |
| Le paramètre p devrait être final. | 126 |
| Le paramètre outReason devrait être final. | 126 |
| Line has trailing spaces. | 140 |
| Commentaire javadoc manquant. | 143 |
| 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. | 143 |
| Line has trailing spaces. | 149 |
| Commentaire javadoc manquant. | 152 |
| Le paramètre claInc devrait être final. | 152 |
| Line has trailing spaces. | 158 |
| Commentaire javadoc manquant. | 161 |
| 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. | 161 |
| Line has trailing spaces. | 168 |
| Commentaire javadoc manquant. | 171 |
| 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. | 171 |
| Line has trailing spaces. | 177 |
| Commentaire javadoc manquant. | 180 |
| Line has trailing spaces. | 186 |
| Commentaire javadoc manquant. | 189 |
| Line has trailing spaces. | 195 |
| Commentaire javadoc manquant. | 198 |
| Le paramètre d devrait être final. | 198 |
| Line has trailing spaces. | 204 |
| Commentaire javadoc manquant. | 207 |
| 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. | 207 |
| Line has trailing spaces. | 213 |
| Commentaire javadoc manquant. | 216 |
| 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. | 216 |
| Le paramètre i devrait être final. | 216 |
| Commentaire javadoc manquant. | 221 |
| 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. | 221 |
| Le paramètre s devrait être final. | 221 |