Exemplo

class ClassA { ClassA () { } protected int methodA () { } }

Solução

Utilize a tag Javadoc @pre em comentários Javadoc do método protected. class ClassA { ClassA () { } /** * @pre a pré-condição é fornecida aqui */ protected int methodA () { } }