1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
|
package org.jetbrains.dokka.links
import org.jetbrains.dokka.model.ClassKind
import org.jetbrains.dokka.model.Documentable
import org.jetbrains.dokka.model.WithSupertypes
/**
* [DRI] stands for DokkaResourceIdentifier
*/
data class DRI(
val packageName: String? = null,
val classNames: String? = null,
val callable: Callable? = null,
val target: DriTarget = PointingToDeclaration,
val extra: String? = null
) {
override fun toString(): String =
"${packageName.orEmpty()}/${classNames.orEmpty()}/${callable?.name.orEmpty()}/${callable?.signature()
.orEmpty()}/$target/${extra.orEmpty()}"
companion object {
val topLevel = DRI()
}
}
val DriOfUnit = DRI("kotlin", "Unit")
val DriOfAny = DRI("kotlin", "Any")
fun DRI.withClass(name: String) = copy(classNames = if (classNames.isNullOrBlank()) name else "$classNames.$name")
fun DRI.withTargetToDeclaration() = copy(target = PointingToDeclaration)
val DRI.parent: DRI
get() = when {
extra != null -> copy(extra = null)
target != PointingToDeclaration -> copy(target = PointingToDeclaration)
callable != null -> copy(callable = null)
classNames != null -> copy(classNames = classNames.substringBeforeLast(".", "").takeIf { it.isNotBlank() })
else -> DRI.topLevel
}
val DRI.sureClassNames
get() = classNames ?: throw IllegalStateException("Malformed DRI. It requires classNames in this context.")
data class Callable(
val name: String,
val receiver: TypeReference? = null,
val params: List<TypeReference>
) {
fun signature() = "${receiver?.toString().orEmpty()}#${params.joinToString("#")}"
companion object
}
sealed class TypeReference {
companion object
}
data class JavaClassReference(val name: String) : TypeReference() {
override fun toString(): String = name
}
data class TypeParam(val bounds: List<TypeReference>) : TypeReference()
data class TypeConstructor(
val fullyQualifiedName: String,
val params: List<TypeReference>
) : TypeReference() {
override fun toString() = fullyQualifiedName +
(if (params.isNotEmpty()) "[${params.joinToString(",")}]" else "")
}
object SelfType : TypeReference() {
override fun toString() = "^"
}
data class Nullable(val wrapped: TypeReference) : TypeReference() {
override fun toString() = "$wrapped?"
}
object StarProjection : TypeReference() {
override fun toString() = "*"
}
sealed class DriTarget {
override fun toString(): String = this.javaClass.simpleName
companion object
}
data class PointingToGenericParameters(val parameterIndex: Int) : DriTarget() {
override fun toString(): String = "PointingToGenericParameters($parameterIndex)"
}
object PointingToDeclaration : DriTarget()
data class PointingToCallableParameters(val parameterIndex: Int) : DriTarget() {
override fun toString(): String = "PointingToCallableParameters($parameterIndex)"
}
fun DriTarget.nextTarget(): DriTarget = when (this) {
is PointingToGenericParameters -> PointingToGenericParameters(this.parameterIndex + 1)
is PointingToCallableParameters -> PointingToCallableParameters(this.parameterIndex + 1)
else -> this
}
data class DriWithKind(val dri: DRI, val kind: ClassKind)
|
