CheckStyle Audit

Designed for use with CheckStyle and Ant.

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

Error DescriptionLine
La ligne contient un caractère tabulation.23
La ligne contient un caractère tabulation.24
La ligne contient un caractère tabulation.25
La ligne contient un caractère tabulation.26
La ligne contient un caractère tabulation.27
La ligne contient un caractère tabulation.28
Commentaire javadoc manquant.28
Il manque une espace avant '<'.28
Il manque une espace après '<'.28
Il manque une espace avant '>'.28
La variable 'coefs' devrait être privée et avoir des accesseurs.28
La ligne contient un caractère tabulation.30
Commentaire javadoc manquant.30
La variable 'degree' devrait être privée et avoir des accesseurs.30
La ligne contient un caractère tabulation.32
Commentaire javadoc manquant.32
Le paramètre m devrait être final.32
Il manque une espace avant '<'.32
Il manque une espace après '<'.32
Il manque une espace avant '>'.32
Le paramètre d devrait être final.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.37
Commentaire javadoc manquant.37
La ligne contient un caractère tabulation.38
Il manque une espace avant '<'.38
Il manque une espace après '<'.38
Il manque une espace avant '>'.38
Il manque une espace après '>'.38
La ligne contient un caractère tabulation.39
La ligne contient un caractère tabulation.41
Commentaire javadoc manquant.41
La méthode 'saturation' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.41
La ligne contient un caractère tabulation.42
La ligne contient un caractère tabulation.43
La ligne contient un caractère tabulation.44
Il manque une espace avant '<'.44
Il manque une espace après '<'.44
Il manque une espace avant '>'.44
La ligne contient un caractère tabulation.45
La ligne contient un caractère tabulation.46
La ligne contient un caractère tabulation.47
La ligne contient un caractère tabulation.48
La ligne contient un caractère tabulation.49
La ligne contient un caractère tabulation.50
La ligne excède 80 caractères.51
La ligne contient un caractère tabulation.51
La ligne contient un caractère tabulation.52
L'instruction 'for' devrait utiliser des accolades ('{' et '}').53
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 contient un caractère tabulation.58
La ligne contient un caractère tabulation.60
Commentaire javadoc manquant.60
La méthode 'cuttingPlane' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.60
Le paramètre cpb devrait être final.60
Le paramètre deg devrait être final.60
La ligne contient un caractère tabulation.61
Le paramètre reducedCoefs devrait être final.61
La ligne contient un caractère tabulation.62
La ligne contient un caractère tabulation.63
La ligne contient un caractère tabulation.65
Commentaire javadoc manquant.65
La méthode 'cuttingPlane' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.65
Le paramètre cpb devrait être final.65
Le paramètre degreeCons devrait être final.65
La ligne contient un caractère tabulation.66
Le paramètre reducedCoefs devrait être final.66
Le paramètre coefMult devrait être final.66
La ligne contient un caractère tabulation.67
La ligne contient un caractère tabulation.68
L'instruction 'if' devrait utiliser des accolades ('{' et '}').70
La ligne contient un caractère tabulation.70
L'instruction 'for' devrait utiliser des accolades ('{' et '}').71
La ligne contient un caractère tabulation.71
La ligne excède 80 caractères.72
La ligne contient un caractère tabulation.72
L'instruction 'else' devrait utiliser des accolades ('{' et '}').73
La ligne contient un caractère tabulation.73
L'instruction 'for' devrait utiliser des accolades ('{' et '}').74
La ligne contient un caractère tabulation.74
La ligne excède 80 caractères.75
La ligne contient un caractère tabulation.75
La ligne contient un caractère tabulation.77
La ligne contient un caractère tabulation.78
La ligne contient un caractère tabulation.80
Commentaire javadoc manquant.80
La méthode 'cuttingPlane' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.80
Le paramètre lits devrait être final.80
Le paramètre reducedCoefs devrait être final.80
La ligne contient un caractère tabulation.81
Le paramètre deg devrait être final.81
La ligne contient un caractère tabulation.82
La ligne contient un caractère tabulation.83
La ligne contient un caractère tabulation.85
Commentaire javadoc manquant.85
La méthode 'cuttingPlane' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.85
Le paramètre lits devrait être final.85
Les crochets du tableau ne sont pas placés au bon endroit.85
Le paramètre reducedCoefs devrait être final.85
La ligne contient un caractère tabulation.86
Le paramètre degreeCons devrait être final.86
Le paramètre coefMult devrait être final.86
La ligne contient un caractère tabulation.87
La ligne contient un caractère tabulation.88
L'instruction 'for' devrait utiliser des accolades ('{' et '}').90
La ligne contient un caractère tabulation.90
La ligne excède 80 caractères.91
La ligne contient un caractère tabulation.91
La ligne contient un caractère tabulation.93
La ligne contient un caractère tabulation.94
La ligne contient un caractère tabulation.96
Commentaire javadoc manquant.96
La ligne contient un caractère tabulation.97
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
La ligne contient un caractère tabulation.103
La ligne contient un caractère tabulation.104
La ligne contient un caractère tabulation.105
La ligne contient un caractère tabulation.106
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.111
La ligne excède 80 caractères.112
La ligne contient un caractère tabulation.112
La ligne excède 80 caractères.113
La ligne contient un caractère tabulation.113
La ligne contient un caractère tabulation.114
La ligne contient un caractère tabulation.115
La ligne contient un caractère tabulation.116
La ligne contient un caractère tabulation.117
La ligne contient un caractère tabulation.118
La ligne excède 80 caractères.119
La ligne contient un caractère tabulation.119
La ligne excède 80 caractères.120
La ligne contient un caractère tabulation.120
Lutilisation de lopérateur conditionel est prohibée.120
La ligne contient un caractère tabulation.121
La ligne contient un caractère tabulation.122
La ligne contient un caractère tabulation.123
La ligne contient un caractère tabulation.124
La ligne excède 80 caractères.125
La ligne contient un caractère tabulation.125
La ligne contient un caractère tabulation.126
La ligne contient un caractère tabulation.128
Commentaire javadoc manquant.128
La méthode 'buildConstraintFromConflict' 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 resLits devrait être final.128
La ligne contient un caractère tabulation.129
Le paramètre resCoefs devrait être final.129
Il manque une espace avant '<'.129
Il manque une espace après '<'.129
Il manque une espace avant '>'.129
La ligne contient un caractère tabulation.130
La ligne contient un caractère tabulation.131
La ligne contient un caractère tabulation.132
La ligne contient un caractère tabulation.133
Il manque une espace avant '<'.133
Il manque une espace après '<'.133
Il manque une espace avant '>'.133
La ligne contient un caractère tabulation.134
La ligne contient un caractère tabulation.135
La ligne contient un caractère tabulation.136
La ligne contient un caractère tabulation.137
La ligne contient un caractère tabulation.138
La ligne excède 80 caractères.140
La ligne contient un caractère tabulation.140
Commentaire javadoc manquant.140
La méthode 'buildConstraintFromMapPb' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.140
Le paramètre resLits devrait être final.140
Le paramètre resCoefs devrait être final.140
La ligne contient un caractère tabulation.141
La ligne contient un caractère tabulation.142
La ligne contient un caractère tabulation.143
La ligne contient un caractère tabulation.144
La ligne contient un caractère tabulation.145
Il manque une espace avant '<'.145
Il manque une espace après '<'.145
Il manque une espace avant '>'.145
La ligne contient un caractère tabulation.146
La ligne contient un caractère tabulation.147
La ligne contient un caractère tabulation.148
La ligne contient un caractère tabulation.149
La ligne contient un caractère tabulation.150
La ligne contient un caractère tabulation.151
La ligne contient un caractère tabulation.153
Commentaire javadoc manquant.153
La méthode 'getDegree' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.153
La ligne contient un caractère tabulation.154
La ligne contient un caractère tabulation.155
La ligne contient un caractère tabulation.157
Commentaire javadoc manquant.157
La méthode 'size' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.157
La ligne contient un caractère tabulation.158
La ligne contient un caractère tabulation.159
La ligne contient un caractère tabulation.161
La ligne contient un caractère tabulation.162
Line has trailing spaces.163
La ligne contient un caractère tabulation.163
La ligne contient un caractère tabulation.164
La ligne contient un caractère tabulation.165
La ligne contient un caractère tabulation.166
Commentaire javadoc manquant.166
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.166
La ligne contient un caractère tabulation.167
La ligne contient un caractère tabulation.168
La ligne contient un caractère tabulation.169
Il manque une espace avant '<'.169
Il manque une espace après '<'.169
Il manque une espace avant '>'.169
La ligne contient un caractère tabulation.170
La ligne contient un caractère tabulation.171
La ligne contient un caractère tabulation.172
La ligne contient un caractère tabulation.173
La ligne contient un caractère tabulation.174
La ligne contient un caractère tabulation.175
La ligne contient un caractère tabulation.176
La ligne contient un caractère tabulation.178
Commentaire javadoc manquant.178
Le paramètre coef devrait être final.178
La ligne contient un caractère tabulation.179
Le paramètre mult devrait être final.179
L'instruction 'if' devrait utiliser des accolades ('{' et '}').180
La ligne contient un caractère tabulation.180
La ligne contient un caractère tabulation.181
L'instruction 'else' devrait utiliser des accolades ('{' et '}').182
La ligne contient un caractère tabulation.182
La ligne contient un caractère tabulation.183
La ligne contient un caractère tabulation.184