Merge pull request #3684 from aschackmull/java/javadoctag-qldoc

Java: Improve qldoc for JavadocTag.
This commit is contained in:
Arthur Baars
2020-07-06 11:42:04 +02:00
committed by GitHub

View File

@@ -79,7 +79,7 @@ abstract class JavadocElement extends @javadocElement, Top {
abstract string getText();
}
/** A Javadoc tag. */
/** A Javadoc block tag. This does not include inline tags. */
class JavadocTag extends JavadocElement, JavadocParent, @javadocTag {
/** Gets the name of this Javadoc tag. */
string getTagName() { javadocTag(this, result, _, _) }