MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2025-12-16 14:23:28 +07:00
Code Issues Packages Projects Releases Wiki Activity

Declare contract for asSafely method

Browse Source 
GitOrigin-RevId: e3797d068110395045e4ffab4b64ef92a5223ac4
This commit is contained in:
Tagir Valeev
2024-10-07 14:41:06 +02:00
committed by intellij-monorepo-bot
parent 4cc5565065
commit e84b0a31e3
2 changed files with 16 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
platform/util/src/com/intellij/util/KtUtils.kt
View File

@@ -9,8 +9,14 @@ import kotlin.contracts.InvocationKind
import kotlin.contracts.contract import kotlin.contracts.contract
import kotlin.reflect.KProperty import kotlin.reflect.KProperty
@OptIn(ExperimentalContracts::class)
@Suppress("INVISIBLE_REFERENCE", "INVISIBLE_MEMBER") @Suppress("INVISIBLE_REFERENCE", "INVISIBLE_MEMBER")
inline fun <reified T : Any> Any?.asSafely(): @kotlin.internal.NoInfer T? = this as? T inline fun <reified T : Any> Any?.asSafely(): @kotlin.internal.NoInfer T? {
contract {
returnsNotNull() implies (this@asSafely is T)
}
return this as? T
}
inline fun <T> runIf(condition: Boolean, block: () -> T): T? = if (condition) block() else null inline fun <T> runIf(condition: Boolean, block: () -> T): T? = if (condition) block() else null

11
uast/uast-java/src/org/jetbrains/uast/java/internal/javaInternalUastUtils.kt
View File

@@ -23,6 +23,8 @@ import com.intellij.psi.tree.IElementType
import org.jetbrains.uast.UDeclaration import org.jetbrains.uast.UDeclaration
import org.jetbrains.uast.UElement import org.jetbrains.uast.UElement
import org.jetbrains.uast.UastBinaryOperator import org.jetbrains.uast.UastBinaryOperator
import kotlin.contracts.ExperimentalContracts
import kotlin.contracts.contract
internal fun IElementType.getOperatorType() = when (this) { internal fun IElementType.getOperatorType() = when (this) {
JavaTokenType.EQ -> UastBinaryOperator.ASSIGN JavaTokenType.EQ -> UastBinaryOperator.ASSIGN
@@ -87,9 +89,14 @@ fun isJava(language: Language?): Boolean {
return language == JavaLanguage.INSTANCE return language == JavaLanguage.INSTANCE
} }
@OptIn(ExperimentalContracts::class)
@Suppress("INVISIBLE_REFERENCE", "INVISIBLE_MEMBER") @Suppress("INVISIBLE_REFERENCE", "INVISIBLE_MEMBER")
internal inline fun <reified T : Any> Any?.asSafely(): @kotlin.internal.NoInfer T? = this as? T inline fun <reified T : Any> Any?.asSafely(): @kotlin.internal.NoInfer T? {
contract {
returnsNotNull() implies (this@asSafely is T)
}
return this as? T
}
fun PsiElement?.isSemicolon(): Boolean { fun PsiElement?.isSemicolon(): Boolean {
if (this !is PsiJavaToken) return false if (this !is PsiJavaToken) return false