Ejemplo
class
ClassA
{
ClassA () {
}
protected int
methodA () {
}
}
Solución
Utilice la etiqueta de Javadoc
@pre
en los comentarios de Javadoc del método
protected
.
class
ClassA
{
ClassA () {
}
/**
* @pre la condición pre va aquí
*/
protected int
methodA () {
}
}