xomrk/reference-counter.kt
1
0
Fork 1
Code Issues Pull Requests Actions Packages Projects Releases 2 Wiki Activity

Contract in CloseableReferenceCounter_Debug.withRef

Browse Source
This commit is contained in:
Andrew Golovashevich 2025-08-16 19:33:56 +03:00
parent 3302c67fa6
commit 4b63563cbd
2 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/commonMain/kotlin/ru/landgrafhomyak/utility/reference_counter/CloseableReferenceCounter_Debug.kt
View File

@ -129,6 +129,9 @@ public class CloseableReferenceCounter_Debug {
@JvmName("withRef\$kt") @JvmName("withRef\$kt")
public inline fun <R> withRef(protected: () -> R): R { public inline fun <R> withRef(protected: () -> R): R {
contract {
callsInPlace(protected, InvocationKind.EXACTLY_ONCE)
}
this.incref() this.incref()
return safeAutoClose1(finally = this::decref, action = protected) return safeAutoClose1(finally = this::decref, action = protected)
} }

4
src/commonMain/kotlin/ru/landrafhomyak/utility/reference_counter/CloseableReferenceCounter_Debug.kt
View File

@ -95,9 +95,9 @@ public class CloseableReferenceCounter_Debug {
@JvmName("withRef\$kt") @JvmName("withRef\$kt")
public inline fun <R> withRef(protected: () -> R): R { public inline fun <R> withRef(protected: () -> R): R {
/*contract { contract {
callsInPlace(protected, InvocationKind.EXACTLY_ONCE) callsInPlace(protected, InvocationKind.EXACTLY_ONCE)
}*/ }
return this._moved.withRef(protected) return this._moved.withRef(protected)
} }