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