Как я создаю пользовательские теги javadoc, такие как @pre / @post? Я нашел некоторые ссылки, которые объясняют это, но у меня не было удачи с ними. Это некоторые ссылки:
http://www.developer.com/java/other/article.php/3085991/Javadoc-Programming.html
http://java.sun.com/j2se/1.5.0/docs/tooldocs/windows/javadoc.html
Что ж, то, что я сделал, - не лучшее решение, но его можно прочитать:
/** <p><b>Pre:</b></p> <Ul>True</Ul>
* <p><b>Post:</b></p> <Ul>The x is pushed onto the top of the stack,
* and the rest of the stack remains unchanged.</Ul>
*
* @param x Indicates the current node
*/
public void push(int x){
...
}
Надеюсь, что пока не будет найден правильный ответ!