CheckStyle Audit

Designed for use with CheckStyle and Ant.

File /usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MinWatchCardPB.java

Error DescriptionLine
Exception levée : java.lang.RuntimeException: Impossible d'obtenir les informations relatives à ContradictionException.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.35
Line has trailing spaces.38
Commentaire javadoc manquant.42
Commentaire javadoc manquant.44
Le paramètre voc devrait être final.44
Le paramètre ps devrait être final.44
Le paramètre moreThan devrait être final.44
Le paramètre degree devrait être final.44
'degree' masque un attribut.44
Commentaire javadoc manquant.49
Le paramètre voc devrait être final.49
Le paramètre ps devrait être final.49
Le paramètre degree devrait être final.49
'degree' masque un attribut.49
Line has trailing spaces.56
Commentaire javadoc manquant.59
La méthode 'getCoef' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.59
Le paramètre literal devrait être final.59
Line has trailing spaces.65
Commentaire javadoc manquant.68
La méthode 'getDegree' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.68
Commentaire javadoc manquant.72
La méthode 'getCoefs' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.72
L'instruction 'for' devrait utiliser des accolades ('{' et '}').74
Line has trailing spaces.81
Balise javadoc @throws manquante pour 'ContradictionException'.95
Line has trailing spaces.101
Line has trailing spaces.152
Line has trailing spaces.158