CheckStyle Audit

Designed for use with CheckStyle and Ant.

File /usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/specs/ISolver.java

Error DescriptionLine
Il manque un caractère NewLine à la fin du fichier0
Exception levée : java.lang.RuntimeException: Impossible d'obtenir les informations relatives à ContradictionException.0
Line has trailing spaces.2
Line has trailing spaces.4
Line has trailing spaces.6
Line has trailing spaces.8
Line has trailing spaces.9
Line has trailing spaces.11
Line has trailing spaces.25
Line has trailing spaces.35
Line has trailing spaces.36
Line has trailing spaces.42
Line has trailing spaces.44
Line has trailing spaces.45
Line has trailing spaces.47
Line has trailing spaces.56
Line has trailing spaces.68
La ligne excède 80 caractères.71
La ligne excède 80 caractères.72
Line has trailing spaces.72
Line has trailing spaces.73
Line has trailing spaces.81
Line has trailing spaces.92
Line has trailing spaces.94
Line has trailing spaces.95
La ligne excède 80 caractères.97
Line has trailing spaces.97
Line has trailing spaces.98
Line has trailing spaces.106
Line has trailing spaces.109
La ligne excède 80 caractères.113
La ligne excède 80 caractères.114
Line has trailing spaces.114
Line has trailing spaces.115
Line has trailing spaces.116
Line has trailing spaces.125
Line has trailing spaces.128
La ligne excède 80 caractères.132
La ligne excède 80 caractères.133
Line has trailing spaces.134
Line has trailing spaces.143
Line has trailing spaces.146
Line has trailing spaces.150
La ligne excède 80 caractères.156
La ligne excède 80 caractères.157
Line has trailing spaces.157
Line has trailing spaces.158
La ligne excède 80 caractères.161
Line has trailing spaces.167
Line has trailing spaces.175
Line has trailing spaces.187
Line has trailing spaces.196