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

aibaars · web-flow · commit d2734b2903d8 · 2020-07-06T11:42:04.000+02:00
Java: Improve qldoc for JavadocTag.
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, _, _) }`