diff options
author | sebastian.sellmair <sebastian.sellmair@jetbrains.com> | 2020-08-19 13:15:49 +0200 |
---|---|---|
committer | Sebastian Sellmair <34319766+sellmair@users.noreply.github.com> | 2020-08-19 13:34:10 +0200 |
commit | 3100728f92e8d4ce828609d7447c3b486230218a (patch) | |
tree | 9ae9fcf8c4a91898f46d4473d17efdc07d73bae2 /plugins/base/src/main/kotlin/resolvers/local | |
parent | a3216f85650e1b4ed6c6cb73186d6d05ebd4e99e (diff) | |
download | dokka-3100728f92e8d4ce828609d7447c3b486230218a.tar.gz dokka-3100728f92e8d4ce828609d7447c3b486230218a.tar.bz2 dokka-3100728f92e8d4ce828609d7447c3b486230218a.zip |
LocationProvider: Implement new `resolveOrThrow` API
Diffstat (limited to 'plugins/base/src/main/kotlin/resolvers/local')
-rw-r--r-- | plugins/base/src/main/kotlin/resolvers/local/LocationProvider.kt | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/plugins/base/src/main/kotlin/resolvers/local/LocationProvider.kt b/plugins/base/src/main/kotlin/resolvers/local/LocationProvider.kt index 3775e94e..0a095153 100644 --- a/plugins/base/src/main/kotlin/resolvers/local/LocationProvider.kt +++ b/plugins/base/src/main/kotlin/resolvers/local/LocationProvider.kt @@ -1,5 +1,6 @@ package org.jetbrains.dokka.base.resolvers.local +import org.jetbrains.dokka.DokkaException import org.jetbrains.dokka.links.DRI import org.jetbrains.dokka.model.DisplaySourceSet import org.jetbrains.dokka.pages.PageNode @@ -10,3 +11,11 @@ interface LocationProvider { fun pathToRoot(from: PageNode): String fun ancestors(node: PageNode): List<PageNode> } + +fun LocationProvider.resolveOrThrow(dri: DRI, sourceSets: Set<DisplaySourceSet>, context: PageNode? = null): String = + resolve(dri = dri, sourceSets = sourceSets, context = context) + ?: throw DokkaException("Cannot resolve path for $dri") + +fun LocationProvider.resolveOrThrow(node: PageNode, context: PageNode? = null, skipExtension: Boolean = false): String = + resolve(node = node, context = context, skipExtension = skipExtension) + ?: throw DokkaException("Cannot resolve path for ${node.name}") |