CheckStyle Audit

Designed for use with CheckStyle and Ant.

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

Error DescriptionLine
Exception levée : java.lang.RuntimeException: Impossible d'obtenir les informations relatives à TimeoutException.0
Line has trailing spaces.3
Line has trailing spaces.27
Line has trailing spaces.33
La première ligne doit se terminer avec un point.37
Line has trailing spaces.39
Le paramètre args devrait être final.44
Commentaire javadoc manquant.50
La variable 'obfct' devrait être privée et avoir des accesseurs.50
Line has trailing spaces.54
Commentaire javadoc manquant.57
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.57
Le paramètre solver devrait être final.58
Le paramètre problemname devrait être final.58
Line has trailing spaces.62
Commentaire javadoc manquant.63
La ligne excède 80 caractères.65
La ligne contient un caractère tabulation.65
La ligne excède 80 caractères.67
La ligne contient un caractère tabulation.69
Line has trailing spaces.77
La ligne excède 80 caractères.82