CheckStyle Audit

Designed for use with CheckStyle and Ant.

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

Error DescriptionLine
Il manque un caractère NewLine à la fin du fichier0
La ligne contient un caractère tabulation.30
Commentaire javadoc manquant.30
La ligne contient un caractère tabulation.32
La ligne contient un caractère tabulation.33
La ligne contient un caractère tabulation.34
La ligne contient un caractère tabulation.35
La ligne contient un caractère tabulation.36
La ligne contient un caractère tabulation.37
Le paramètre acg devrait être final.37
Balise javadoc @param manquante pour 'acg'.37
Le paramètre learner devrait être final.37
Balise javadoc @param manquante pour 'learner'.37
La ligne contient un caractère tabulation.38
Le paramètre dsf devrait être final.38
Balise javadoc @param manquante pour 'dsf'.38
Le paramètre order devrait être final.38
Balise javadoc @param manquante pour 'order'.38
La ligne contient un caractère tabulation.39
'10000.0' devrait être défini comme une constante.39
'100' devrait être défini comme une constante.39
La ligne contient un caractère tabulation.40
La ligne contient un caractère tabulation.42
Commentaire javadoc manquant.42
La méthode 'analyze' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.42
La ligne contient un caractère tabulation.43
Le paramètre myconfl devrait être final.43
Le paramètre outLearntRef devrait être final.43
Il manque une espace avant '<'.43
Il manque une espace après '<'.43
Il manque une espace avant '>'.43
La ligne excède 80 caractères.44
La ligne contient un caractère tabulation.44
La ligne contient un caractère tabulation.46
La ligne contient un caractère tabulation.47
La ligne contient un caractère tabulation.49
La ligne contient un caractère tabulation.50
La ligne contient un caractère tabulation.51
La ligne contient un caractère tabulation.53
La ligne contient un caractère tabulation.54
La ligne contient un caractère tabulation.55
La ligne contient un caractère tabulation.57
La ligne excède 80 caractères.58
La ligne contient un caractère tabulation.58
La ligne contient un caractère tabulation.59
La ligne contient un caractère tabulation.61
La ligne excède 80 caractères.62
La ligne contient un caractère tabulation.62
La ligne contient un caractère tabulation.63
La ligne excède 80 caractères.64
La ligne contient un caractère tabulation.64
La ligne contient un caractère tabulation.65
La ligne contient un caractère tabulation.67
La ligne contient un caractère tabulation.68
La ligne excède 80 caractères.69
La ligne contient un caractère tabulation.69
La ligne contient un caractère tabulation.70
La ligne contient un caractère tabulation.71
La ligne contient un caractère tabulation.72
La ligne excède 80 caractères.73
La ligne contient un caractère tabulation.73
La ligne contient un caractère tabulation.74
La ligne contient un caractère tabulation.75
L'instruction 'if' devrait utiliser des accolades ('{' et '}').76
La ligne contient un caractère tabulation.76
La ligne contient un caractère tabulation.77
La ligne contient un caractère tabulation.78
La ligne contient un caractère tabulation.79
La ligne contient un caractère tabulation.80
L'instruction 'if' devrait utiliser des accolades ('{' et '}').81
La ligne contient un caractère tabulation.81
La ligne contient un caractère tabulation.82
La ligne contient un caractère tabulation.83
L'instruction 'else' devrait utiliser des accolades ('{' et '}').84
La ligne contient un caractère tabulation.84
La ligne contient un caractère tabulation.85
La ligne contient un caractère tabulation.86
La ligne contient un caractère tabulation.87
La ligne contient un caractère tabulation.88
La ligne contient un caractère tabulation.90
La ligne contient un caractère tabulation.91
La ligne contient un caractère tabulation.92
La ligne contient un caractère tabulation.93
La ligne contient un caractère tabulation.94
La ligne contient un caractère tabulation.96
La ligne contient un caractère tabulation.98
La ligne contient un caractère tabulation.99
La ligne contient un caractère tabulation.100
La ligne contient un caractère tabulation.101
La ligne contient un caractère tabulation.102
Il manque une espace avant '<'.102
Il manque une espace après '<'.102
Il manque une espace avant '>'.102
Il manque une espace avant '<'.102
Il manque une espace après '<'.102
Il manque une espace avant '>'.102
Il manque une espace après '>'.102
La ligne contient un caractère tabulation.103
La ligne contient un caractère tabulation.105
La ligne contient un caractère tabulation.107
La ligne contient un caractère tabulation.108
La ligne contient un caractère tabulation.109
La ligne contient un caractère tabulation.110
La ligne contient un caractère tabulation.112
La ligne contient un caractère tabulation.113
La ligne excède 80 caractères.114
La ligne contient un caractère tabulation.114
La ligne contient un caractère tabulation.115
La ligne contient un caractère tabulation.117
La ligne excède 80 caractères.118
La ligne contient un caractère tabulation.118
La ligne contient un caractère tabulation.119
La ligne contient un caractère tabulation.120
La ligne contient un caractère tabulation.121
La ligne contient un caractère tabulation.122
La ligne contient un caractère tabulation.124
Commentaire javadoc manquant.124
La méthode 'chooseConflict' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.124
Le paramètre myconfl devrait être final.124
La ligne contient un caractère tabulation.125
La ligne contient un caractère tabulation.126
Commentaire javadoc manquant.128
La méthode 'toString' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.128
Le paramètre prefix devrait être final.129
Il manque une espace avant '+'.130
Il manque une espace après '+'.130
Il manque une espace avant '+'.130
Il manque une espace après '+'.130
Line has trailing spaces.133