Kotlin Multiplatform Broadcast

Kotlin Contracts - это фича Kotlin, которая даёт компилятору дополнительную информацию про методы, что позволяет лучше понимать работу кода.

private fun sample(value: Value?): Boolean {
    contract {
        returns(true) implies (request != null)
    }
     ...
}

а вот так будет выглядеть вторая версия контрактов

fun checkAndRun(x: Any, block: (x: String) -> Unit): Boolean contract [
    callsInPlace(block, AT_MOST_ONCE),
    returns(true) implies (x is String)
] {
    if (x is String) {
        block()
        return true
    } else {
        return false
    }
}

Про вторую версию контрактов можно почитать в статье (9м)

#kotlin

👍36🔥1

www.tgoop.com/kotlin_broadcast/1858

7.5K viewsedited  Jul 8 at 15:05

Kotlin Contracts - это фича Kotlin, которая даёт компилятору дополнительную информацию про методы, что позволяет лучше понимать работу кода.

private fun sample(value: Value?): Boolean {
    contract {
        returns(true) implies (request != null)
    }
     ...
}

fun checkAndRun(x: Any, block: (x: String) -> Unit): Boolean contract [
    callsInPlace(block, AT_MOST_ONCE),
    returns(true) implies (x is String)
] {
    if (x is String) {
        block()
        return true
    } else {
        return false
    }
}

BY Kotlin Multiplatform Broadcast