- Sort Score
- Result 10 results
- Languages All
Results 1 - 5 of 5 for KaContractConditionalContractEffectDeclaration (0.31 sec)
-
analysis/analysis-api/src/org/jetbrains/kotlin/analysis/api/contracts/description/KtEffects.kt
return this === other || other is KaContractConditionalContractEffectDeclaration && other.backingEffect == backingEffect && other.backingCondition == backingCondition } } public typealias KtContractConditionalContractEffectDeclaration = KaContractConditionalContractEffectDeclaration /**
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/booleans/KtContractBooleanExpression.kt
* * `booleanExpression` forms a boolean condition for * [org.jetbrains.kotlin.analysis.api.contracts.description.KaContractConditionalContractEffectDeclaration]. See * [org.jetbrains.kotlin.analysis.api.contracts.description.KaContractConditionalContractEffectDeclaration.condition] */ public sealed interface KaContractBooleanExpression : KaLifetimeOwner
Registered: Wed Jun 12 09:53:16 UTC 2024 - Last Modified: Wed May 22 06:28:34 UTC 2024 - 2.6K bytes - Viewed (0) -
analysis/analysis-api-fir/src/org/jetbrains/kotlin/analysis/api/fir/contracts/firContractUtils.kt
override fun visitConditionalEffectDeclaration( conditionalEffect: ConeConditionalEffectDeclaration, data: Unit ): KaContractConditionalContractEffectDeclaration = KaContractConditionalContractEffectDeclaration( conditionalEffect.effect.accept(), conditionalEffect.condition.accept() ) override fun visitReturnsEffectDeclaration(
Registered: Wed Jun 12 09:53:16 UTC 2024 - Last Modified: Wed May 22 06:28:34 UTC 2024 - 7K bytes - Viewed (0) -
analysis/analysis-api/src/org/jetbrains/kotlin/analysis/api/contracts/description/KtContractDescriptionElementRenderer.kt
appendProperty(value::valueParameterReference, ::renderKaContractParameterValue) appendSimpleProperty(value::occurrencesRange, endWithNewLine) } is KaContractConditionalContractEffectDeclaration -> { appendProperty(value::effect, ::renderKaContractEffectDeclaration) appendProperty(value::condition, ::renderKaContractBooleanExpression, 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
ContractDescriptionVisitor<Any, Unit> { override fun visitConditionalEffectDeclaration( conditionalEffect: ConditionalEffectDeclaration, data: Unit ): Any = KaContractConditionalContractEffectDeclaration( conditionalEffect.effect.accept(), conditionalEffect.condition.accept(), ) override fun visitReturnsEffectDeclaration( returnsEffect: ReturnsEffectDeclaration,
Registered: Wed Jun 12 09:53:16 UTC 2024 - Last Modified: Wed May 22 06:28:34 UTC 2024 - 5.7K bytes - Viewed (0)