Matheformeln in Java-Doc?

[Guest]

Hallo,
ich suche für meine JavaDoc-Kommentare die Möglichkeit Formeln etc. in die Kommentare einzubauen. Beispiel:

/** Fläche für xyz...mit \Pi * r^2 */
private int flaeche

Das Beispiel ist jetzt mal konstruiert um zu zeigen was ich möchte. Ich kann natürlich solche Sachen reinschreiben, allerdings wird beispielsweise aus \Pi ja nicht das gewollte Pi-Zeichen. In der späteren Ausgabe sollen die Formeln dann ja anders erscheinen.
Es muss nicht unbedingt Latex-Notation sein, um die Formeln formulieren zu können. Allerdings wäre es schon ganz schön ;-)

Hoffe ihr versteht was ich meine...Sowas muss es doch geben...danke.

 

[Ellie]

Es gibt die XML-Untermenge MathML zum Formatieren von mathematischen Formeln, sie wird auch von den Gecko-Browsern unterstützt, für den IE muss man ein Plugin installieren. Das ist allerdings nicht gerade einfach, sich die Sprache erstmal anzueignen. Aber die einzige browserübergreifende Alternative wäre wohl nur, Bilder mit den Formeln einzubinden (wie man an Wikipedia sehen kann, sieht das nicht besonders schön aus).

Oderf willst du die ganzen */^ Zeichen behalten und nur die Pi-Zeichen einsetzen? Da weiß ich keinen Rat, hätte vermutlich alle HTML-Dateien von Hand nacheditiert. Steht in der JavaDoc-Doku nichts darüber?

 

[Gast]

Falls du Latex kennst, weisst du ja das du die Formeln so in mathematischen Umgebungen formulieren kannst. Mittlerweile hab ich mich daran gewöhnt und kann Formeln so hinschreiben. Wäre natürlich schön wenn man diese Formeln auch in JavaDoc schreiben könnte und diese direkt mitformatiert werden, wie von Latex.

Danke für den Hinweis mit MathML. Ich schau mal wie es mit den Bildern aussieht.

Für weitere Hinweise wäre ich natürlich froh. Und sonst hab ich leider nix dazu gefunden.

 

[Gast]

sowas gibt es wohl nicht fertig aber du könntest dir ein programm schreiben was die javadocs nach der erstellung nach den formeln durchsucht und durch die bilder ersetzt. Die kannst du dann mit latex oder ner entsprechenden lib erzeugen.