Skip to content

Commit b36071f

Browse files
committed
fix #9281 URI encode semanticdb TextDocument uri
1 parent 5cdfd31 commit b36071f

File tree

3 files changed

+13
-5
lines changed

3 files changed

+13
-5
lines changed

compiler/src/dotty/tools/dotc/semanticdb/ExtractSemanticDB.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -626,7 +626,7 @@ object ExtractSemanticDB:
626626
val doc: TextDocument = TextDocument(
627627
schema = Schema.SEMANTICDB4,
628628
language = Language.SCALA,
629-
uri = relPath.toString,
629+
uri = Tools.mkURIstring(relPath),
630630
text = "",
631631
md5 = internal.MD5.compute(String(source.content)),
632632
symbols = symbolInfos,

compiler/src/dotty/tools/dotc/semanticdb/Tools.scala

Lines changed: 11 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,14 @@ import dotty.tools.dotc.semanticdb.Scala3.{_, given _}
88

99
object Tools:
1010

11+
/** Converts a Path to a String that is URI encoded, without forcing absolute paths.
12+
*/
13+
def mkURIstring(path: Path): String =
14+
// Calling `.toUri` on a relative path will convert it to absolute. Iteration through its parts instead preserves
15+
// the resulting URI as relative.
16+
val uriParts = for part <- path.asScala yield new java.net.URI(null, null, part.toString, null)
17+
uriParts.mkString("/")
18+
1119
/** Load SemanticDB TextDocument for a single Scala source file
1220
*
1321
* @param scalaAbsolutePath Absolute path to a Scala source file.
@@ -19,16 +27,16 @@ object Tools:
1927
scalaRelativePath: Path,
2028
semanticdbAbsolutePath: Path
2129
): TextDocument =
22-
val reluri = scalaRelativePath.toString
30+
val reluri = mkURIstring(scalaRelativePath)
2331
val sdocs = parseTextDocuments(semanticdbAbsolutePath)
2432
sdocs.documents.find(_.uri == reluri) match
25-
case None => throw new NoSuchElementException(reluri)
33+
case None => throw new NoSuchElementException(s"$scalaRelativePath")
2634
case Some(document) =>
2735
val text = new String(Files.readAllBytes(scalaAbsolutePath), StandardCharsets.UTF_8)
2836
// Assert the SemanticDB payload is in-sync with the contents of the Scala file on disk.
2937
val md5FingerprintOnDisk = internal.MD5.compute(text)
3038
if document.md5 != md5FingerprintOnDisk
31-
throw new IllegalArgumentException("stale semanticdb: " + reluri)
39+
throw new IllegalArgumentException(s"stale semanticdb: $scalaRelativePath")
3240
else
3341
// Update text document to include full text contents of the file.
3442
document.copy(text = text)

tests/semanticdb/metac.expect

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2997,7 +2997,7 @@ expect/filename with spaces.scala
29972997

29982998
Summary:
29992999
Schema => SemanticDB v4
3000-
Uri => filename with spaces.scala
3000+
Uri => filename%20with%20spaces.scala
30013001
Text => empty
30023002
Language => Scala
30033003
Symbols => 2 entries

0 commit comments

Comments
 (0)