CheckStyle Audit

Designed for use with CheckStyle and Ant.

File /usr/local/anthill/work/core/src/org/sat4j/reader/AIGReader.java

Error DescriptionLine
Exception levée : java.lang.RuntimeException: Impossible d'obtenir les informations relatives à ParseFormatException.0
La ligne excède 80 caractères.2
Line has trailing spaces.3
Line has trailing spaces.5
Line has trailing spaces.9
Line has trailing spaces.14
Line has trailing spaces.19
Line has trailing spaces.23
Commentaire javadoc manquant.36
Commentaire javadoc manquant.38
Le mot-clef 'static' n'apparaît pas dans l'ordre préconisé par les JLS.38
Commentaire javadoc manquant.40
Le mot-clef 'static' n'apparaît pas dans l'ordre préconisé par les JLS.40
Commentaire javadoc manquant.42
Commentaire javadoc manquant.44
Commentaire javadoc manquant.46
Commentaire javadoc manquant.48
Le paramètre s devrait être final.48
Commentaire javadoc manquant.52
La méthode 'decode' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.52
Le paramètre model devrait être final.53
Il manque une espace avant '>'.56
Il manque une espace après '>'.56
Il manque une espace avant '?'.56
Lutilisation de lopérateur conditionel est prohibée.56
Il manque une espace après '?'.56
Il manque une espace avant ':'.56
Il manque une espace après ':'.56
Commentaire javadoc manquant.61
La méthode 'decode' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.61
Le paramètre model devrait être final.62
Le paramètre out devrait être final.62
Il manque une espace avant '>'.64
Il manque une espace après '>'.64
Il manque une espace avant '?'.64
Lutilisation de lopérateur conditionel est prohibée.64
Il manque une espace après '?'.64
Il manque une espace avant ':'.64
Il manque une espace après ':'.64
Commentaire javadoc manquant.68
Line has trailing spaces.88
La ligne excède 80 caractères.121