blob: 9c7d63300aed7f7d45cf2f6bb7d767d22bbf86ad [file] [log] [blame]
interface Element {
fun render(builder: StringBuilder, indent: String)
}
class TextElement(val text: String): Element {
override fun render(builder: StringBuilder, indent: String): Unit = fail
}
abstract class Tag(val name: String): Element {
protected fun initTag<T: Element>(tag: T, init: T.() -> Unit): T = fail
override fun render(builder: StringBuilder, indent: String): Unit = fail
}
abstract class TagWithText(name: String): Tag(name) {
operator fun String.unaryPlus() {}
}
class HTML(): TagWithText("html") {
fun head(init: Head.() -> Unit): Head = fail
}
class Head(): TagWithText("head") {
fun title(init: Title.() -> Unit): Title = fail
}
class Title(): TagWithText("title")
fun html(init: HTML.() -> Unit): HTML = fail
fun result() =
html {
head {
title { <caret>+"Foo" }
}
}
val fail: Nothing get() = throw Exception()
Resolved call:
Resulting descriptor: fun String.unaryPlus(): Unit defined in Title
Explicit receiver kind = EXTENSION_RECEIVER
Dispatch receiver = TitleExt{fun Title.<anonymous>(): Unit defined in result.<anonymous>.<anonymous>}
Extension receiver = "Foo" {String}