From 750da14eab53f07b44331de1a3a9da9f8856c965 Mon Sep 17 00:00:00 2001 From: Toine Hartman Date: Tue, 17 Mar 2026 17:11:00 +0100 Subject: [PATCH] Fix Maven separators in docs and messages. --- src/org/rascalmpl/uri/file/MavenRepositoryURIResolver.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/org/rascalmpl/uri/file/MavenRepositoryURIResolver.java b/src/org/rascalmpl/uri/file/MavenRepositoryURIResolver.java index f971f56a24e..6fd8a1e2330 100644 --- a/src/org/rascalmpl/uri/file/MavenRepositoryURIResolver.java +++ b/src/org/rascalmpl/uri/file/MavenRepositoryURIResolver.java @@ -89,7 +89,7 @@ private static ISourceLocation inferMavenRepositoryLocation() throws URISyntaxEx } /** - * @param input mvn://groupid!artifactId!version/path + * @param input mvn://groupid--artifactId--version/path * @return a file:/// reference to the jar file that is designated by the authority. * @throws IOException when the authority does not designate a jar file */ @@ -97,7 +97,7 @@ private ISourceLocation resolveJar(ISourceLocation input) throws IOException { String authority = input.getAuthority(); if (authority.isEmpty()) { - throw new IOException("missing mvn://groupid!artifactId!version/ as the authority in " + input); + throw new IOException("missing mvn://groupid--artifactId--version/ as the authority in " + input); } var parts = authority.split(GROUP_ARTIFACT_VERSION_SEPARATOR); @@ -124,7 +124,7 @@ private ISourceLocation resolveJar(ISourceLocation input) throws IOException { return URIUtil.getChildLocation(root, jarPath); } else { - throw new IOException("Pattern mvn:///groupId!artifactId!version did not match on " + input); + throw new IOException("Pattern mvn://groupId--artifactId--version did not match on " + input); } }