- Sort Score
- Result 10 results
- Languages All
Results 1 - 5 of 5 for KaContractConstantValue (0.29 sec)
-
analysis/analysis-api/src/org/jetbrains/kotlin/analysis/api/contracts/description/KtValues.kt
Registered: Wed Jun 12 09:53:16 UTC 2024 - Last Modified: Wed May 22 06:28:34 UTC 2024 - 2.2K bytes - Viewed (0) -
analysis/analysis-api-fe10/src/org/jetbrains/kotlin/analysis/api/descriptors/contracts/descriptorContractUtils.kt
*/ package org.jetbrains.kotlin.analysis.api.descriptors.contracts import org.jetbrains.kotlin.analysis.api.contracts.description.* import org.jetbrains.kotlin.analysis.api.contracts.description.KaContractConstantValue.KaContractConstantType import org.jetbrains.kotlin.analysis.api.contracts.description.KaContractReturnsContractEffectDeclaration.* import org.jetbrains.kotlin.analysis.api.contracts.description.booleans.*
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/src/org/jetbrains/kotlin/analysis/api/contracts/description/KtEffects.kt
*/ public class KaContractReturnsSpecificValueEffectDeclaration( private val backingValue: KaContractConstantValue ) : KaContractReturnsContractEffectDeclaration() { override val token: KaLifetimeToken get() = backingValue.token public val value: KaContractConstantValue get() = withValidityAssertion { backingValue } override fun equals(other: Any?): Boolean {
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-fir/src/org/jetbrains/kotlin/analysis/api/fir/contracts/firContractUtils.kt
*/ package org.jetbrains.kotlin.analysis.api.fir.contracts import org.jetbrains.kotlin.analysis.api.contracts.description.* import org.jetbrains.kotlin.analysis.api.contracts.description.KaContractConstantValue.KaContractConstantType import org.jetbrains.kotlin.analysis.api.contracts.description.KaContractReturnsContractEffectDeclaration.* import org.jetbrains.kotlin.analysis.api.contracts.description.booleans.*
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::value, ::renderKaContractConstantValue, endWithNewLine) } } } } private fun Context.renderKaContractConstantValue(value: KaContractConstantValue, endWithNewLine: Boolean = true): Unit = printer.appendHeader(value::class) { appendSimpleProperty(value::constantType, 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)