diff options
author | Błażej Kardyś <bkardys@virtuslab.com> | 2019-11-05 00:16:30 +0100 |
---|---|---|
committer | Paweł Marks <Kordyjan@users.noreply.github.com> | 2019-11-05 13:55:38 +0100 |
commit | 61cfbcb990da1fd8fd44c6285e6927a57159d15b (patch) | |
tree | ef32a9099ea4cca7436fca5510e50317d285f382 /core/src/main/kotlin/pages/PageNodes.kt | |
parent | 78ef161062eefe33633ad912817ad5c0e1555ed6 (diff) | |
download | dokka-61cfbcb990da1fd8fd44c6285e6927a57159d15b.tar.gz dokka-61cfbcb990da1fd8fd44c6285e6927a57159d15b.tar.bz2 dokka-61cfbcb990da1fd8fd44c6285e6927a57159d15b.zip |
Changing path generation for page nodes
Diffstat (limited to 'core/src/main/kotlin/pages/PageNodes.kt')
-rw-r--r-- | core/src/main/kotlin/pages/PageNodes.kt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/core/src/main/kotlin/pages/PageNodes.kt b/core/src/main/kotlin/pages/PageNodes.kt index 46109d87..3d2b6fb7 100644 --- a/core/src/main/kotlin/pages/PageNodes.kt +++ b/core/src/main/kotlin/pages/PageNodes.kt @@ -18,6 +18,12 @@ abstract class PageNode( fun appendChildren(children: List<PageNode>) = _children.addAll(children) fun appendChild(child: PageNode) = _children.add(child) + + override fun equals(other: Any?): Boolean = + if (other is PageNode) { + dri?.equals(other.dri) ?: (other.dri == null && name == other.name) + } + else false } class ModulePageNode( |