Merge pull request #2113 from usethesource/feature/assume-correct-loc…

…ation Add non-throwing variant of createFromURI.
usethesource · Dec 23, 2024 · 08f72e0 · 08f72e0
2 parents 92bebee + 92711ed
commit 08f72e0
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/src/org/rascalmpl/uri/URIUtil.java b/src/org/rascalmpl/uri/URIUtil.java
@@ -157,6 +157,16 @@ public static URI assumeCorrect(String scheme, String authority, String path, St
             throw y;
         }
     }
+	/**
+     * Non throwing variant of <a>createFromURI</a>, in case of scenarios where input can be trusted.
+     */
+	public static ISourceLocation assumeCorrectLocation(String uri) {
+		try {
+			return createFromURI(uri);
+		} catch (URISyntaxException e) {
+			throw new IllegalArgumentException(e);
+		}
+	}
 
 	public static ISourceLocation correctLocation(String scheme, String authority, String path) {
 		try {