The body of a line, dropping the (optional) start star-marker, one leading whitespace and all trailing whitespace
The end of a Scaladoc code block
The start of a Scaladoc code block
Dangerous HTML tags that should be replaced by something safer, such as wiki syntax, or that should be dropped
Javadoc tags that should be replaced by something useful, such as wiki syntax, or that should be dropped.
Safe HTML tags that can be kept.
A Scaladoc tag not linked to a symbol.
A Scaladoc tag not linked to a symbol. Returns the name of the tag, and the rest of the line.
A Scaladoc tag not linked to a symbol and not followed by text
A Scaladoc tag linked to a symbol.
A Scaladoc tag linked to a symbol. Returns the name of the tag, the name of the symbol, and the rest of the line.
Maps a dangerous HTML tag to a safe wiki replacement, or an empty string if it cannot be salvaged.
Maps a javadoc tag to a useful wiki replacement, or an empty string if it cannot be salvaged.