diff --git a/java/ql/src/semmle/code/xml/MavenPom.qll b/java/ql/src/semmle/code/xml/MavenPom.qll index f8cfceaa4a4..ecfc2c7855e 100644 --- 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() } }