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