CheckStyle Audit

Designed for use with CheckStyle and Ant.

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

Error DescriptionLine
Exception levée : java.lang.RuntimeException: Impossible d'obtenir les informations relatives à ContradictionException.0
Commentaire javadoc manquant.21
Commentaire javadoc manquant.23
La méthode 'createUnregisteredClause' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.23
Le paramètre literals devrait être final.23
Line has trailing spaces.29
La ligne excède 80 caractères.30
Commentaire javadoc manquant.32
Line has trailing spaces.38
La ligne excède 80 caractères.39