CheckStyle Audit

Designed for use with CheckStyle and Ant.

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

Error DescriptionLine
Commentaire javadoc manquant.18
Line has trailing spaces.21
Commentaire javadoc manquant.25
La méthode 'usage' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.25
Commentaire javadoc manquant.30
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.30
Le paramètre solver devrait être final.31
Le paramètre problemname devrait être final.31
La ligne contient un caractère tabulation.32
La ligne excède 80 caractères.33
La ligne contient un caractère tabulation.33
Il manque une espace après ','.33
La ligne contient un caractère tabulation.34
Commentaire javadoc manquant.38
La méthode 'getInstanceName' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.38
Le paramètre args devrait être final.39
Commentaire javadoc manquant.43
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.43
Le paramètre args devrait être final.44
La ligne contient un caractère tabulation.45
Il manque une espace avant '-'.45
Il manque une espace après '-'.45
La ligne contient un caractère tabulation.46
La ligne excède 80 caractères.47
La ligne contient un caractère tabulation.47
La ligne contient un caractère tabulation.48
Commentaire javadoc manquant.52
Le paramètre args devrait être final.52