xomrk/highlevel-try-finally.kt
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 3 Wiki Activity

Manually inlined 'safeAutoClose' implementations to reduce debug info size and generated code size

Browse Source
This commit is contained in:
Andrew Golovashevich 2025-08-24 16:18:01 +03:00
parent 7d947fb9e3
commit 538bf7a76a
1 changed files with 82 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

94
src/commonMain/kotlin/ru/landgrafhomyak/utility/highlevel_try_finally/safe_autoclose.kt
View File

@ -1,4 +1,4 @@
@file:Suppress("unused")
@file:Suppress("unused", "DuplicatedCode")
@file:JvmName("SafeAutocloseKt")
package ru.landgrafhomyak.utility.highlevel_try_finally
@ -9,49 +9,97 @@ import kotlin.jvm.JvmName
@Suppress("WRONG_INVOCATION_KIND")
inline fun <R> safeAutoClose1(
finally: () -> Unit,
action: () -> R
`finally`: () -> Unit,
action: () -> R,
): R {
contract {
callsInPlace(action, InvocationKind.EXACTLY_ONCE)
callsInPlace(finally, InvocationKind.EXACTLY_ONCE)
callsInPlace(`finally`, InvocationKind.EXACTLY_ONCE)
}
return safeAutoClose3(onError = finally, onSuccess = finally, onCrossReturn = finally, action = action)
val ret: R
var wasError = false
try {
ret = action()
} catch (e1: Throwable) {
wasError = true
try {
`finally`()
} catch (e2: Throwable) {
ExceptionsKt.addSuppressed(e1, e2)
}
throw e1;
} finally {
if (!wasError)
`finally`()
}
return ret
}
@Suppress("WRONG_INVOCATION_KIND")
inline fun <R> safeAutoClose2(
onError: () -> Unit = {},
onSuccess: () -> Unit = {},
action: () -> R
action: () -> R,
): R {
contract {
callsInPlace(action, InvocationKind.EXACTLY_ONCE)
callsInPlace(onError, InvocationKind.AT_MOST_ONCE)
callsInPlace(onSuccess, InvocationKind.AT_MOST_ONCE)
}
return safeAutoClose3(onError = onError, onSuccess = onSuccess, onCrossReturn = onSuccess, action = action)
val ret: R
var wasError = false
try {
ret = action()
} catch (e1: Throwable) {
wasError = true
try {
onError()
} catch (e2: Throwable) {
ExceptionsKt.addSuppressed(e1, e2)
}
throw e1;
} finally {
if (!wasError)
onSuccess()
}
return ret
}
@Suppress("WRONG_INVOCATION_KIND")
inline fun <R> safeAutoClose2e(
onError: (Throwable) -> Unit = { _ -> },
onSuccess: () -> Unit = {},
action: () -> R
action: () -> R,
): R {
contract {
callsInPlace(action, InvocationKind.EXACTLY_ONCE)
callsInPlace(onError, InvocationKind.AT_MOST_ONCE)
callsInPlace(onSuccess, InvocationKind.AT_MOST_ONCE)
}
return safeAutoClose3e(onError = onError, onSuccess = onSuccess, onCrossReturn = onSuccess, action = action)
val ret: R
var wasError = false
try {
ret = action()
} catch (e1: Throwable) {
wasError = true
try {
onError(e1)
} catch (e2: Throwable) {
ExceptionsKt.addSuppressed(e1, e2)
}
throw e1;
} finally {
if (!wasError)
onSuccess()
}
return ret
}
inline fun <R> safeAutoClose3(
onError: () -> Unit = {},
onSuccess: () -> Unit = {},
onCrossReturn: () -> Unit = {},
action: () -> R
action: () -> R,
): R {
contract {
callsInPlace(action, InvocationKind.EXACTLY_ONCE)
@ -59,14 +107,36 @@ inline fun <R> safeAutoClose3(
callsInPlace(onSuccess, InvocationKind.AT_MOST_ONCE)
callsInPlace(onCrossReturn, InvocationKind.AT_MOST_ONCE)
}
return safeAutoClose3e(onError = { t -> onError() }, onSuccess = onSuccess, onCrossReturn = onCrossReturn, action = action)
val ret: R
var wasError = false
var crossReturned = true
try {
ret = action()
crossReturned = false
} catch (e1: Throwable) {
wasError = true
try {
onError()
} catch (e2: Throwable) {
ExceptionsKt.addSuppressed(e1, e2)
}
throw e1
} finally {
if (!wasError) {
if (crossReturned)
onCrossReturn()
else
onSuccess()
}
}
return ret
}
inline fun <R> safeAutoClose3e(
onError: (Throwable) -> Unit = { _ -> },
onSuccess: () -> Unit = {},
onCrossReturn: () -> Unit = {},
action: () -> R
action: () -> R,
): R {
contract {
callsInPlace(action, InvocationKind.EXACTLY_ONCE)