-
javadoc @pre @post
Bonjour à tous,
je me demandais : y a t il moyen d'ajouter des balises aux balises existantes (@param, @return, etc....)
je voudrais ajouter des @pre et @post mais le probleme c'est qu'il ne sont pas ajoutés dans la javadoc..
et je veux aussi que le code reste lisible ne pas transformer un
@pre en
</br><b>@pre</b>
enfin si il faut j'y viendrai mais si je pouvais ajouter ces 2 balises aux balises existantes, ca serait mieux.
Mais comment faire?
Merci pour votre aide ;)
-
Salut,
Je ne connais pas trop les manipulations de javadoc, mais tu peux déjà jeter un oeil aux flags -tag et -taglet de l'outil javadoc:
flag -tag (-taglet, c'est juste après...)
Sinon, regarde aussi les api Doclet (je pense qu'il va falloir s'en servir si tu redéfinis la mise en page...) et Taglet:
Javadoc
Doclet API overview
Taglet API overview
En attendant plus de détails de ceux qui connaissent!
-
Tu peux les ajouter (même si c'est pas exactement en faisant @pre @post) en utilisant la programmation par contrat JML (en plus les expressions des pre et post conditions - et même l'invariant je crois - sont évaluées et vérifiées lorsque tu exécutes avec jmlrac). Pour la javadoc, il faut exécuter jmldoc.
http://www.cs.iastate.edu/~leavens/JML/
-
merci beaucoup de m'avoir répondu si rapidement.
C'est exactement ce que je voulais faire ;)
-tag nomtag:param:"text"