CheckStyle Audit

Designed for use with CheckStyle and Ant.

File /usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/MixedDataStructureWithBinary.java

Error DescriptionLine
Exception levée : java.lang.RuntimeException: Impossible d'obtenir les informations relatives à ContradictionException.0
Commentaire javadoc manquant.23
Commentaire javadoc manquant.25
Commentaire javadoc manquant.27
Line has trailing spaces.33
Commentaire javadoc manquant.36
La méthode 'getVocabulary' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.36
Line has trailing spaces.43
La ligne excède 80 caractères.44
Commentaire javadoc manquant.46
Line has trailing spaces.60
La ligne excède 80 caractères.61