Esempio

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

Soluzione

Utilizzare la tag Javadoc @post nei commenti Javadoc del metodo protected. class ClassA { ClassA () { } /** * @post the post condition goes here */ protected int methodA () { } }