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