| 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. | 36 |
| Commentaire javadoc manquant. | 38 |
| Line has trailing spaces. | 41 |
| Line has trailing spaces. | 52 |
| La méthode 'nBinaryClauses' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 56 |
| Le paramètre p devrait être final. | 56 |
| Balise javadoc @param manquante pour 'p'. | 56 |
| Commentaire javadoc manquant. | 66 |
| La méthode 'binaryClauses' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 66 |
| Le paramètre lit1 devrait être final. | 66 |
| Le paramètre lit2 devrait être final. | 66 |
| Commentaire javadoc manquant. | 71 |
| Le paramètre p devrait être final. | 71 |
| Le paramètre q devrait être final. | 71 |