CheckStyle Audit

Designed for use with CheckStyle and Ant.

File /usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/cnf/MarkableLits.java

Error DescriptionLine
La ligne excède 80 caractères.2
Line has trailing spaces.3
Line has trailing spaces.5
Line has trailing spaces.9
Line has trailing spaces.14
Line has trailing spaces.19
Line has trailing spaces.23
Commentaire javadoc manquant.34
Line has trailing spaces.37
Commentaire javadoc manquant.41
Commentaire javadoc manquant.43
Commentaire javadoc manquant.45
La méthode 'init' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.45
Le paramètre nvar devrait être final.46
Commentaire javadoc manquant.51
La méthode 'setMark' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.51
Le paramètre p devrait être final.51
Le paramètre mark devrait être final.51
Commentaire javadoc manquant.58
La méthode 'setMark' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.58
Le paramètre p devrait être final.58
Commentaire javadoc manquant.62
La méthode 'getMark' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.62
Le paramètre p devrait être final.62
Commentaire javadoc manquant.66
La méthode 'isMarked' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.66
Le paramètre p devrait être final.66
Commentaire javadoc manquant.70
La méthode 'resetMark' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.70
Le paramètre p devrait être final.70
Commentaire javadoc manquant.74
La méthode 'resetAllMarks' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.74
L'instruction 'for' devrait utiliser des accolades ('{' et '}').75
Commentaire javadoc manquant.79
La méthode 'getMarkedLiterals' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.79
L'instruction 'if' devrait utiliser des accolades ('{' et '}').82
Commentaire javadoc manquant.88
La méthode 'getMarkedLiterals' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.88
Le paramètre mark devrait être final.88
L'instruction 'if' devrait utiliser des accolades ('{' et '}').91
Commentaire javadoc manquant.97
La méthode 'getMarkedVariables' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.97
L'instruction 'if' devrait utiliser des accolades ('{' et '}').100
Commentaire javadoc manquant.106
La méthode 'getMarkedVariables' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.106
Le paramètre mark devrait être final.106
L'instruction 'if' devrait utiliser des accolades ('{' et '}').109
Commentaire javadoc manquant.115
La méthode 'getMarks' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.115
Il manque une espace avant '<'.115
Il manque une espace après '<'.115
Il manque une espace avant '>'.115
Il manque une espace avant '<'.116
Il manque une espace après '<'.116
Il manque une espace avant '>'.116
Il manque une espace avant '<'.116
Il manque une espace après '<'.116
Il manque une espace avant '>'.116
Il manque une espace après '>'.116
L'instruction 'for' devrait utiliser des accolades ('{' et '}').117
L'instruction 'if' devrait utiliser des accolades ('{' et '}').118