Esempio

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

Soluzione

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