From f23eb0432e9bdb57cc149249a740b80af8b2253b Mon Sep 17 00:00:00 2001 From: Anders Schack-Mulligen Date: Thu, 11 Jun 2020 11:44:50 +0200 Subject: [PATCH] Java: Improve qldoc for JavadocTag. --- java/ql/src/semmle/code/java/Javadoc.qll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/java/ql/src/semmle/code/java/Javadoc.qll b/java/ql/src/semmle/code/java/Javadoc.qll index 26d1bba3f93..14b59f243ec 100755 --- a/java/ql/src/semmle/code/java/Javadoc.qll +++ b/java/ql/src/semmle/code/java/Javadoc.qll @@ -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, _, _) }