| Error Description | Line |
| Commentaire javadoc manquant. | 17 |
| Commentaire javadoc manquant. | 19 |
| Line has trailing spaces. | 22 |
| Line has trailing spaces. | 33 |
| 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. | 37 |
| Le paramètre p devrait être final. | 37 |
| Balise javadoc @param manquante pour 'p'. | 37 |
| Commentaire javadoc manquant. | 47 |
| 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. | 47 |
| Le paramètre lit1 devrait être final. | 47 |
| Le paramètre lit2 devrait être final. | 47 |
| Commentaire javadoc manquant. | 52 |
| Le paramètre p devrait être final. | 52 |
| Le paramètre q devrait être final. | 52 |