Error Description | Line |
Il manque un caractère NewLine à la fin du fichier | 0 |
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. | 41 |
Commentaire javadoc manquant. | 42 |
Commentaire javadoc manquant. | 44 |
La variable 'starts' devrait être privée et avoir des accesseurs. | 44 |
Commentaire javadoc manquant. | 46 |
La variable 'decisions' devrait être privée et avoir des accesseurs. | 46 |
Commentaire javadoc manquant. | 48 |
La variable 'propagations' devrait être privée et avoir des accesseurs. | 48 |
Commentaire javadoc manquant. | 50 |
La variable 'inspects' devrait être privée et avoir des accesseurs. | 50 |
Commentaire javadoc manquant. | 52 |
La variable 'conflicts' devrait être privée et avoir des accesseurs. | 52 |
Commentaire javadoc manquant. | 54 |
La variable 'learnedliterals' devrait être privée et avoir des accesseurs. | 54 |
Commentaire javadoc manquant. | 56 |
La variable 'learnedbinaryclauses' devrait être privée et avoir des accesseurs. | 56 |
Commentaire javadoc manquant. | 58 |
La variable 'learnedternaryclauses' devrait être privée et avoir des accesseurs. | 58 |
Commentaire javadoc manquant. | 60 |
La variable 'learnedclauses' devrait être privée et avoir des accesseurs. | 60 |
Commentaire javadoc manquant. | 62 |
La variable 'rootSimplifications' devrait être privée et avoir des accesseurs. | 62 |
Commentaire javadoc manquant. | 64 |
La variable 'reducedliterals' devrait être privée et avoir des accesseurs. | 64 |
Commentaire javadoc manquant. | 66 |
La variable 'changedreason' devrait être privée et avoir des accesseurs. | 66 |
Commentaire javadoc manquant. | 68 |
La variable 'reduceddb' devrait être privée et avoir des accesseurs. | 68 |
Line has trailing spaces. | 69 |
Commentaire javadoc manquant. | 70 |
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. | 70 |
Il manque une espace avant '='. | 81 |
Il manque une espace après '='. | 81 |
Il manque une espace avant '='. | 82 |
Il manque une espace après '='. | 82 |
Il manque une espace avant '='. | 83 |
Il manque une espace après '='. | 83 |
Line has trailing spaces. | 85 |
Commentaire javadoc manquant. | 86 |
La méthode 'printStat' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 86 |
Le paramètre out devrait être final. | 86 |
Le paramètre prefix devrait être final. | 86 |
Line has trailing spaces. | 107 |
Commentaire javadoc manquant. | 108 |
La méthode 'toMap' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 108 |
Il manque une espace avant '<'. | 108 |
Il manque une espace après '<'. | 108 |
Il manque une espace après ','. | 108 |
Il manque une espace avant '>'. | 108 |
La ligne contient un caractère tabulation. | 109 |
Il manque une espace avant '<'. | 109 |
Il manque une espace après '<'. | 109 |
Il manque une espace après ','. | 109 |
Il manque une espace avant '>'. | 109 |
Il manque une espace avant '<'. | 109 |
Il manque une espace après '<'. | 109 |
Il manque une espace après ','. | 109 |
Il manque une espace avant '>'. | 109 |
Il manque une espace après '>'. | 109 |
La ligne contient un caractère tabulation. | 110 |
La ligne contient un caractère tabulation. | 111 |
La ligne contient un caractère tabulation. | 112 |
Il manque une espace après ','. | 112 |
Il manque une espace après 'cast'. | 112 |
La ligne contient un caractère tabulation. | 113 |
La ligne contient un caractère tabulation. | 114 |
La ligne contient un caractère tabulation. | 115 |
La ligne contient un caractère tabulation. | 116 |
La ligne contient un caractère tabulation. | 117 |
La ligne contient un caractère tabulation. | 118 |
La ligne contient un caractère tabulation. | 119 |
La ligne contient un caractère tabulation. | 120 |
La ligne contient un caractère tabulation. | 121 |