• Home
• org.scala-lang
• scaladoc_3
• 3.7.0-RC1-bin-20250121-3f2365d-NIGHTLY
• source code
• DRI.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

dotty.tools.scaladoc.DRI.scala Maven / Gradle / Ivy

package dotty.tools.scaladoc

import java.nio.file.Path
import dotty.tools.scaladoc.util.Escape._

val staticFileSymbolUUID = "___staticFile___"

val topLevelDri = DRI("/")

// we may need target...
final case class DRI(
  location: String,
  anchor: String = "",
  externalLink: Option[String] = None,
  symbolUUID: String = ""
):
  def withNoExternalLink = copy(externalLink = None)

  def isStaticFile = symbolUUID == staticFileSymbolUUID

  def asFileLocation: String = escapeUrl(location).replace(".", "/")

object DRI:
  def forPath(path: Path) =
    DRI(location = path.toString, symbolUUID = staticFileSymbolUUID)