Discussion :

[koolway]

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

[plegat]

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!

[®om]

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/

[koolway]

merci beaucoup de m'avoir répondu si rapidement.

C'est exactement ce que je voulais faire

-tag nomtag:param:"text"