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