diff options
Diffstat (limited to 'core/src/main/kotlin/generation')
| -rw-r--r-- | core/src/main/kotlin/generation/Generation.kt | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/core/src/main/kotlin/generation/Generation.kt b/core/src/main/kotlin/generation/Generation.kt deleted file mode 100644 index 9f14912f..00000000 --- a/core/src/main/kotlin/generation/Generation.kt +++ /dev/null @@ -1,19 +0,0 @@ -/* - * Copyright 2014-2023 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license. - */ - -package org.jetbrains.dokka.generation - -import org.jetbrains.dokka.Timer - -public interface Generation { - public fun Timer.generate() - public val generationName: String -} - -// This needs to be public for now but in the future it should be replaced with system of checks provided by EP -public fun exitGenerationGracefully(reason: String): Nothing { - throw GracefulGenerationExit(reason) -} - -public class GracefulGenerationExit(public val reason: String) : Throwable() |