| Error Description | Line |
| Line has trailing spaces. | 2 |
| Line has trailing spaces. | 4 |
| Line has trailing spaces. | 6 |
| Line has trailing spaces. | 8 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 11 |
| Line has trailing spaces. | 25 |
| Commentaire javadoc manquant. | 47 |
| Commentaire javadoc manquant. | 49 |
| Les crochets du tableau ne sont pas placés au bon endroit. | 49 |
| Commentaire javadoc manquant. | 51 |
| Il manque une espace avant '='. | 51 |
| Il manque une espace après '='. | 51 |
| Line has trailing spaces. | 52 |
| Commentaire javadoc manquant. | 53 |
| Il manque une espace avant '<'. | 54 |
| Il manque une espace après '<'. | 54 |
| Il manque une espace avant '>'. | 54 |
| Il manque une espace après '>'. | 54 |
| La variable 'watches' devrait être privée et avoir des accesseurs. | 54 |
| Commentaire javadoc manquant. | 56 |
| Commentaire javadoc manquant. | 58 |
| La variable 'truthValue' devrait être privée et avoir des accesseurs. | 58 |
| Commentaire javadoc manquant. | 60 |
| Commentaire javadoc manquant. | 62 |
| Il manque une espace avant '<'. | 63 |
| Il manque une espace après '<'. | 63 |
| Il manque une espace avant '>'. | 63 |
| Il manque une espace après '>'. | 63 |
| Commentaire javadoc manquant. | 65 |
| Commentaire javadoc manquant. | 68 |
| La méthode 'init' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 68 |
| Il manque une espace avant '}'. | 68 |
| Le paramètre nvar devrait être final. | 69 |
| Il manque une espace avant '<'. | 82 |
| Il manque une espace après '<'. | 82 |
| Il manque une espace avant '>'. | 82 |
| Il manque une espace après '>'. | 82 |
| Il manque une espace avant '<'. | 90 |
| Il manque une espace après '<'. | 90 |
| Il manque une espace avant '>'. | 90 |
| Il manque une espace après '>'. | 90 |
| Commentaire javadoc manquant. | 99 |
| La méthode 'getFromPool' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 99 |
| Le paramètre x devrait être final. | 99 |
| Lutilisation de lopérateur conditionel est prohibée. | 103 |
| Il manque une espace avant '<'. | 108 |
| Il manque une espace après '<'. | 108 |
| Il manque une espace avant '>'. | 108 |
| Il manque une espace après '>'. | 108 |
| Il manque une espace avant '<'. | 109 |
| Il manque une espace après '<'. | 109 |
| Il manque une espace avant '>'. | 109 |
| Il manque une espace après '>'. | 109 |
| Il manque une espace avant '<'. | 111 |
| Il manque une espace après '<'. | 111 |
| Il manque une espace avant '>'. | 111 |
| Il manque une espace après '>'. | 111 |
| Commentaire javadoc manquant. | 119 |
| La méthode 'belongsToPool' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 119 |
| Le paramètre x devrait être final. | 119 |
| Line has trailing spaces. | 123 |
| Commentaire javadoc manquant. | 124 |
| La méthode 'resetPool' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 124 |
| Commentaire javadoc manquant. | 132 |
| La méthode 'ensurePool' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 132 |
| Le paramètre howmany devrait être final. | 132 |
| Commentaire javadoc manquant. | 136 |
| La méthode 'unassign' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 136 |
| Le paramètre lit devrait être final. | 136 |
| Commentaire javadoc manquant. | 141 |
| La méthode 'satisfies' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 141 |
| Le paramètre lit devrait être final. | 141 |
| Commentaire javadoc manquant. | 146 |
| Mot-clef 'final' redondant. | 146 |
| Le paramètre lit devrait être final. | 146 |
| Lutilisation de lopérateur conditionel est prohibée. | 147 |
| Commentaire javadoc manquant. | 150 |
| La méthode 'isSatisfied' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 150 |
| Le paramètre lit devrait être final. | 150 |
| Commentaire javadoc manquant. | 154 |
| La méthode 'isFalsified' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 154 |
| Le paramètre lit devrait être final. | 154 |
| Lutilisation de lopérateur conditionel est prohibée. | 155 |
| Commentaire javadoc manquant. | 159 |
| La méthode 'isUnassigned' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 159 |
| Le paramètre lit devrait être final. | 159 |
| Commentaire javadoc manquant. | 163 |
| La méthode 'valueToString' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 163 |
| Le paramètre lit devrait être final. | 163 |
| L'instruction 'if' devrait utiliser des accolades ('{' et '}'). | 164 |
| L'instruction 'if' devrait utiliser des accolades ('{' et '}'). | 166 |
| Commentaire javadoc manquant. | 171 |
| La méthode 'nVars' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 171 |
| Commentaire javadoc manquant. | 175 |
| La méthode 'not' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 175 |
| Le paramètre lit devrait être final. | 175 |
| Commentaire javadoc manquant. | 179 |
| Le paramètre lit devrait être final. | 179 |
| La ligne excède 80 caractères. | 180 |
| Lutilisation de lopérateur conditionel est prohibée. | 180 |
| Commentaire javadoc manquant. | 183 |
| La méthode 'reset' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 183 |
| Le paramètre lit devrait être final. | 183 |
| Commentaire javadoc manquant. | 192 |
| La méthode 'getLevel' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 192 |
| Le paramètre lit devrait être final. | 192 |
| Commentaire javadoc manquant. | 196 |
| La méthode 'setLevel' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 196 |
| Le paramètre lit devrait être final. | 196 |
| Le paramètre l devrait être final. | 196 |
| Commentaire javadoc manquant. | 200 |
| La méthode 'getReason' 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 lit devrait être final. | 200 |
| Commentaire javadoc manquant. | 204 |
| La méthode 'setReason' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 204 |
| Le paramètre lit devrait être final. | 204 |
| Le paramètre r devrait être final. | 204 |
| Commentaire javadoc manquant. | 208 |
| La méthode 'undos' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 208 |
| Il manque une espace avant '<'. | 208 |
| Il manque une espace après '<'. | 208 |
| Il manque une espace avant '>'. | 208 |
| Le paramètre lit devrait être final. | 208 |
| Commentaire javadoc manquant. | 212 |
| La méthode 'watch' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 212 |
| Le paramètre lit devrait être final. | 212 |
| Le paramètre c devrait être final. | 212 |
| Commentaire javadoc manquant. | 216 |
| La méthode 'watches' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 216 |
| Il manque une espace avant '<'. | 216 |
| Il manque une espace après '<'. | 216 |
| Il manque une espace avant '>'. | 216 |
| Le paramètre lit devrait être final. | 216 |
| Commentaire javadoc manquant. | 220 |
| La méthode 'isImplied' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 220 |
| Le paramètre lit devrait être final. | 220 |
| Commentaire javadoc manquant. | 229 |
| La méthode 'realnVars' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 229 |