FB18 - Das Forum für Informatik

fb18.de / Diplom Informatik / Unterbereich Grundstudium / Praktische Informatik

JavaDoc problem mit require

JavaDoc problem mit require 2004-11-16 00:49
DJ-SilVerStaR
Servus allemiteinander,
ich hab mal nen (eclipse) Javadocproblem hier..
ich create die docs
in der console krich ich dann bei @require
fehlermeldungen:

/**
* Vergleicht was

* @param arg0 Erstes zu Vergleichendes Objekt vom Typ X
* @param arg1 Zweites zu Vergleichendes Objekt vom Typ X
* @return bool
* @require arg0 != null && arg1 != null
*
***/

error-msg:
java:29: warning - @require is an unknown tag.

hat wer nen Rat?

______________________________________________________________________
angebliche Rechtschreibfehler sind Absicht, wer welche findet darf sie aber trotzdem gerne behalten.

Re: JavaDoc problem mit require 2004-11-16 01:19
MoKrates
Vor und Nachbedingungen kennt Javadoc halt einfach nicht. Ansonsten versuchs doch mal mit "requires" (mit s)

Mo

Re: JavaDoc problem mit require 2004-11-16 11:34
Anonymer User
Man kann Tags, die javadoc noch nicht von Haus aus kennt, auch beim Aufruf von javadoc angeben. An der Kommandozeile z.B. mit '-tag', wie es in eclipse geht, weiß ich nicht aus dem Kopf.

Damit ein Tag auch passend ausgewertet wird, ist es ganz praktisch ein Doclet oder Taglet zu verwenden. Für die Vertrags-Tags haben die SWT-Jungs da eigentlich was. Sollte sich z.B. im Quelltext zu dem JWAMUtil-Paket finden.

LEIFer