Support for Java 1.4 code allows JSure annotations to be placed in
Javadoc comments. For example,
/**
* @annotate Unique(return)
*/
public GameMap(int width, int height) { ... }
is the Java 1.4 compatible way to annotate
@Unique("return") public GameMap(int width, int height) { ... }
It is possible to include or exclude the @annotate tag from your
generated docs. To include the tag add
-tag annotate:a:"JSure annotation:"
to your 'javadoc' command line. To exclude the tag add
-tag annotate:X:"JSure annotation:"
to your 'javadoc' command line.
Note that you can change the string label to whatever you want it does
not have to be "JSure annotation:"
