CheckStyle Audit

Designed for use with CheckStyle and Ant.

File /usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/core/SolverStats.java

Error DescriptionLine
Il manque un caractère NewLine à la fin du fichier0
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