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