From a8167c6c9cd0bc9953fedb0c2a6c995bb8db80c2 Mon Sep 17 00:00:00 2001
From: Jonathan Leitschuh <Jonathan.Leitschuh@gmail.com>
Date: Tue, 16 Feb 2021 11:21:19 -0500
Subject: [PATCH] Add docstring for DeclaredRepository.getUrl

---
 java/ql/src/semmle/code/xml/MavenPom.qll | 4 ++++
 1 file changed, 4 insertions(+)

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() }
 }