Java: Improve qldoc for JavadocTag.

aschackmull · aschackmull · commit f23eb0432e9b · 2020-06-11T11:44:50.000+02:00
diff --git 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, _, _) }

Original file line number	Diff line number	Diff line change
`@@ -79,7 +79,7 @@ abstract class JavadocElement extends @javadocElement, Top {`
`79`	`79`	`abstract string getText();`
`80`	`80`	`}`
`81`	`81`
`82`		`-/** A Javadoc tag. */`
	`82`	`+/** A Javadoc block tag. This does not include inline tags. */`
`83`	`83`	`class JavadocTag extends JavadocElement, JavadocParent, @javadocTag {`
`84`	`84`	`/** Gets the name of this Javadoc tag. */`
`85`	`85`	`string getTagName() { javadocTag(this, result, _, _) }`