CheckStyle Audit

Designed for use with CheckStyle and Ant.

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

Error DescriptionLine
Exception levée : java.lang.RuntimeException: Impossible d'obtenir les informations relatives à TimeoutException.0
La première ligne doit se terminer avec un point.22
La première ligne doit se terminer avec un point.30
Line has trailing spaces.32
Le paramètre args devrait être final.38
Commentaire javadoc manquant.43
La variable 'bestSolution' devrait être privée et avoir des accesseurs.43
Commentaire javadoc manquant.45
La variable 'obfct' devrait être privée et avoir des accesseurs.45
Commentaire javadoc manquant.47
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.47
Le paramètre solver devrait être final.48
Le paramètre begintime devrait être final.48
Le paramètre exitcode devrait être final.49
'1000.0' devrait être défini comme une constante.63
Line has trailing spaces.70
Commentaire javadoc manquant.73
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.73
Le paramètre solver devrait être final.74
Line has trailing spaces.80
Commentaire javadoc manquant.83
La ligne excède 80 caractères.103
La ligne excède 80 caractères.105
Line has trailing spaces.123