Ilya Kirillov
15 lines
488 B
Plaintext
Vendored
15 lines
488 B
Plaintext
Vendored
FILE: main.kt
|
|
public final [BODY_RESOLVE] class WithElvis : R|kotlin/Any| {
|
|
public constructor(value: R|kotlin/String?|): R|elvis/WithElvis| {
|
|
super<R|kotlin/Any|>()
|
|
}
|
|
|
|
public final [CONTRACTS] val value: R|kotlin/String?| = R|<local>/value|
|
|
public get(): R|kotlin/String?|
|
|
|
|
public final [BODY_RESOLVE] fun foo(): R|kotlin/String| {
|
|
^foo this@R|elvis/WithElvis|.R|elvis/WithElvis.value| ?: String()
|
|
}
|
|
|
|
}
|