Esempio
private class
ClassA
{
private
ClassA () {
}
}
Soluzione
Fornire la tag Javadoc @invariant per le classi
private
/**
*@invariant
*/
private class
ClassA
{
private
ClassA () {
}
}