Nabend,
ich steh grade vor dem problem das ich gerne meine methoden mit @require und @ensure ausstatten möchte.
das problem is das mein liebes eclipse die tags nich fressen mag un mir warnings ausspuckt.
jmd ne idee wieso?
(JDK is 1.6.0)
ich steh grade vor dem problem das ich gerne meine methoden
mit @require und @ensure ausstatten möchte.
das problem is das mein liebes eclipse die tags nich fressen
mag un mir warnings ausspuckt.
jmd ne idee wieso?
Weil afaik weder @require noch @ensure irgendwelche Javadoc Tags sind. Was soll denn das überhaupt sein?
Welche Tags in Javadoc definiert sind, siehst du z.B. hier:
http://java.sun.com/j2se/javadoc/writingdoccomments/
im prinzip ist
@require = @param + assert()
also eine mischung aus „was wird rein gegeben“ und „muss die eigenschaften haben“
und @ensure = @return + assert()
also eine mischung aus „was geb ich raus“ und „was ich raus gebe hat die und die eigenschaften“
das ganze ist KEIN teil der normalen javadoc sondern muss irgendwo her geholt werden
(eigenes doclet schreiben ist schon unter plan c zu finden)
das ganze ist KEIN teil der normalen javadoc sondern muss
irgendwo her geholt werden
Und wieso sollte Eclipse diese Tags dann bitte kennen?
Welche Warnungen Eclipse ausspuckt, kannst du in den Einstellungen unter Java -> Compiler -> Javadoc einstellen.
BTW: Eclipse warnt überhaupt nicht vor nicht definierten Tags. Das warnt höchstens vor fehlenden Standard-Tags. Welche Warnung kriegst du denn nun überhaupt?