- Sort Score
- Result 10 results
- Languages All
Results 1 - 4 of 4 for KaContractReturnsSuccessfullyEffectDeclaration (0.44 sec)
-
analysis/analysis-api/src/org/jetbrains/kotlin/analysis/api/contracts/description/KtEffects.kt
* Represents [kotlin.contracts.ContractBuilder.returns] without arguments. */ public class KaContractReturnsSuccessfullyEffectDeclaration( override val token: KaLifetimeToken ) : KaContractReturnsContractEffectDeclaration() { override fun equals(other: Any?): Boolean = other is KaContractReturnsSuccessfullyEffectDeclaration override fun hashCode(): Int = javaClass.hashCode() } }
Registered: Wed Jun 12 09:53:16 UTC 2024 - Last Modified: Wed May 22 06:28:34 UTC 2024 - 4.9K bytes - Viewed (0) -
analysis/analysis-api/src/org/jetbrains/kotlin/analysis/api/contracts/description/KtContractDescriptionElementRenderer.kt
} is KaContractReturnsContractEffectDeclaration -> { when (value) { is KaContractReturnsNotNullEffectDeclaration, is KaContractReturnsSuccessfullyEffectDeclaration -> Unit is KaContractReturnsSpecificValueEffectDeclaration -> appendProperty(value::value, ::renderKaContractConstantValue, endWithNewLine) }
Registered: Wed Jun 12 09:53:16 UTC 2024 - Last Modified: Wed May 29 17:43:55 UTC 2024 - 4.9K bytes - Viewed (0) -
analysis/analysis-api-fe10/src/org/jetbrains/kotlin/analysis/api/descriptors/contracts/descriptorContractUtils.kt
ConstantReference.NOT_NULL -> KaContractReturnsNotNullEffectDeclaration(analysisContext.token) ConstantReference.WILDCARD -> KaContractReturnsSuccessfullyEffectDeclaration(analysisContext.token) is BooleanConstantReference -> KaContractReturnsSpecificValueEffectDeclaration( KaContractConstantValue( when (value) {
Registered: Wed Jun 12 09:53:16 UTC 2024 - Last Modified: Wed May 22 06:28:34 UTC 2024 - 5.7K bytes - Viewed (0) -
analysis/analysis-api-fir/src/org/jetbrains/kotlin/analysis/api/fir/contracts/firContractUtils.kt
ConeContractConstantValues.NOT_NULL -> KaContractReturnsNotNullEffectDeclaration(builder.token) ConeContractConstantValues.WILDCARD -> KaContractReturnsSuccessfullyEffectDeclaration(builder.token) is KtBooleanConstantReference -> KaContractReturnsSpecificValueEffectDeclaration( KaContractConstantValue( when (value) {
Registered: Wed Jun 12 09:53:16 UTC 2024 - Last Modified: Wed May 22 06:28:34 UTC 2024 - 7K bytes - Viewed (0)