CheckStyle Audit

Designed for use with CheckStyle and Ant.

File /usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/Lanceur.java

Error DescriptionLine
Il manque un caractère NewLine à la fin du fichier0
Exception levée : java.lang.RuntimeException: Impossible d'obtenir les informations relatives à ParseFormatException.0
Line has trailing spaces.69
Line has trailing spaces.71
La ligne excède 80 caractères.74
Commentaire javadoc manquant.74
'30' devrait être défini comme une constante.74
Commentaire javadoc manquant.74
'10' devrait être défini comme une constante.74
Commentaire javadoc manquant.74
Commentaire javadoc manquant.74
'20' devrait être défini comme une constante.75
Line has trailing spaces.85
Line has trailing spaces.97
'str' masque un attribut.103
Line has trailing spaces.130
Commentaire javadoc manquant.140
La variable 'begintime' devrait être privée et avoir des accesseurs.140
Commentaire javadoc manquant.142
La variable 'exitcode' devrait être privée et avoir des accesseurs.142
Commentaire javadoc manquant.144
La variable 'factory' devrait être privée et avoir des accesseurs.144
Commentaire javadoc manquant.146
La variable 'reader' devrait être privée et avoir des accesseurs.146
Commentaire javadoc manquant.148
La variable 'argindex' devrait être privée et avoir des accesseurs.148
Commentaire javadoc manquant.150
Commentaire javadoc manquant.157
La variable 'solver' devrait être privée et avoir des accesseurs.157
Commentaire javadoc manquant.159
Balise javadoc @return manquante.167
La méthode 'configureSolver' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.167
Le paramètre args devrait être final.167
Balise javadoc @param manquante pour 'args'.167
Commentaire javadoc manquant.200
La ligne excède 80 caractères.202
Commentaire javadoc manquant.206
La méthode 'createReader' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.206
Le paramètre solver devrait être final.206
'solver' masque un attribut.206
Balise javadoc @throws manquante pour 'IOException'.213
La ligne excède 80 caractères.215
La ligne excède 80 caractères.217
La méthode 'displayResult' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.234
'solver' masque un attribut.234
Balise javadoc @param manquante pour 'solver'.234
'begintime' masque un attribut.234
Balise javadoc @param manquante pour 'begintime'.234
'exitcode' masque un attribut.235
Balise javadoc @param manquante pour 'exitcode'.235
'1000.0' devrait être défini comme une constante.237