| Error Description | Line |
| Il manque un caractère NewLine à la fin du fichier | 0 |
| Commentaire javadoc manquant. | 5 |
| Line has trailing spaces. | 6 |
| Commentaire javadoc manquant. | 7 |
| Le paramètre solver devrait être final. | 7 |
| Commentaire javadoc manquant. | 11 |
| La méthode 'manageAllowedTuples' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 11 |
| La ligne excède 80 caractères. | 12 |
| Le paramètre relnum devrait être final. | 12 |
| Le paramètre domains devrait être final. | 12 |
| Le paramètre nbtuples devrait être final. | 12 |
| La ligne excède 80 caractères. | 13 |