CheckStyle Audit

Designed for use with CheckStyle and Ant.

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

Error DescriptionLine
Commentaire javadoc manquant.10
Line has trailing spaces.13
Commentaire javadoc manquant.17
Commentaire javadoc manquant.19
Commentaire javadoc manquant.21
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.21
Le paramètre nvar devrait être final.22
Commentaire javadoc manquant.27
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.27
Le paramètre p devrait être final.27
Le paramètre mark devrait être final.27
Commentaire javadoc manquant.34
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.34
Le paramètre p devrait être final.34
Commentaire javadoc manquant.38
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.38
Le paramètre p devrait être final.38
Commentaire javadoc manquant.42
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.42
Le paramètre p devrait être final.42
Commentaire javadoc manquant.46
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.46
Le paramètre p devrait être final.46
Commentaire javadoc manquant.50
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.50
L'instruction 'for' devrait utiliser des accolades ('{' et '}').51
Commentaire javadoc manquant.55
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.55
L'instruction 'if' devrait utiliser des accolades ('{' et '}').58
Commentaire javadoc manquant.64
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.64
Le paramètre mark devrait être final.64
L'instruction 'if' devrait utiliser des accolades ('{' et '}').67
Commentaire javadoc manquant.73
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.73
L'instruction 'if' devrait utiliser des accolades ('{' et '}').76
Commentaire javadoc manquant.82
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.82
Le paramètre mark devrait être final.82
Il manque une espace avant '+='.84
Il manque une espace après '+='.84
L'instruction 'if' devrait utiliser des accolades ('{' et '}').85
Commentaire javadoc manquant.91
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.91
Il manque une espace avant '<'.91
Il manque une espace après '<'.91
Il manque une espace avant '>'.91
Il manque une espace avant '<'.92
Il manque une espace après '<'.92
Il manque une espace avant '>'.92
Il manque une espace avant '<'.92
Il manque une espace après '<'.92
Il manque une espace avant '>'.92
Il manque une espace après '>'.92
L'instruction 'for' devrait utiliser des accolades ('{' et '}').93
L'instruction 'if' devrait utiliser des accolades ('{' et '}').94