Exemple

class ClassA { ClassA () { } void methodA () { } }

Solution

Entrez une balise Javadoc @post pour les commentaires Javadoc des méthodes de type package-private. class ClassA { ClassA () { } /** * @post (la postcondition se place ici) */ void methodA () { } }