Add docstring for DeclaredRepository.getUrl

JLLeitschuh · JLLeitschuh · commit a8167c6c9cd0 · 2021-02-16T11:21:19.000-05:00
diff --git a/java/ql/src/semmle/code/xml/MavenPom.qll b/java/ql/src/semmle/code/xml/MavenPom.qll
@@ -376,6 +376,10 @@ class DeclaredRepository extends PomElement {
     this.getName() = ["repository", "snapshotRepository", "pluginRepository"]
   }
 
+  /**
+   * Gets the url for this repository. If the `url` tag is present, this will
+   * be the string contents of that tag.
+   */
   string getUrl() { result = getAChild("url").(PomElement).getValue() }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -376,6 +376,10 @@ class DeclaredRepository extends PomElement {`
`376`	`376`	`this.getName() = ["repository", "snapshotRepository", "pluginRepository"]`
`377`	`377`	`}`
`378`	`378`
	`379`	`+ /**`
	`380`	+ * Gets the url for this repository. If the `url` tag is present, this will
	`381`	`+ * be the string contents of that tag.`
	`382`	`+ */`
`379`	`383`	`string getUrl() { result = getAChild("url").(PomElement).getValue() }`
`380`	`384`	`}`
`381`	`385`