CheckStyle Audit

Designed for use with CheckStyle and Ant.

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

Error DescriptionLine
Exception levée : java.lang.RuntimeException: Impossible d'obtenir les informations relatives à ContradictionException.0
Commentaire javadoc manquant.23
Line has trailing spaces.27
La ligne excède 80 caractères.28
Commentaire javadoc manquant.31
Le paramètre p devrait être final.32
Le paramètre i devrait être final.32
Line has trailing spaces.38
Commentaire javadoc manquant.41
La méthode 'getWatchesFor' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.41
Il manque une espace avant '<'.42
Il manque une espace après '<'.42
Il manque une espace avant '>'.42
Le paramètre p devrait être final.42
Line has trailing spaces.48
La ligne excède 80 caractères.49
Commentaire javadoc manquant.51
Line has trailing spaces.60
La ligne excède 80 caractères.61