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