@
see,
etc.Optionally, the description may be followed by one or more tags. Our tag convention is strongly based on the conventions used by javaDoc. It is adviced to place tags in the order they are described below.
@
arg Name Description@arg
tag. The first word is the name of the argument. The remainder of the
tag is the description. Arguments declarations normally appear in order
used by the predicate.@
param Name Description@arg
, using the JavaDoc tag name.@
throws Term Description@
error Error Description@
throws, but the exception is embedded in error(Error,
Context)
.@
author Name@
version Version@
see Text@
deprecated Alternative@
compat Standards and systems@
copyright Copyright holder@
license License conditions@
bug Bug description@
tbd Work to be done