Exemple
protected class
ClassA
{
protected
ClassA () {
}
}
Solution
Entrez une balise Javadoc @invariant pour les classes de type
protected
.
/**
*@invariant
*/
protected class
ClassA
{
protected
ClassA () {
}
}