- Sort Score
- Result 10 results
- Languages All
Results 1 - 5 of 5 for KaContractReturnsContractEffectDeclaration (0.34 sec)
-
analysis/analysis-api/src/org/jetbrains/kotlin/analysis/api/contracts/description/KtEffects.kt
*/ public sealed class KaContractReturnsContractEffectDeclaration : KaContractEffectDeclaration { /** * Represent [kotlin.contracts.ContractBuilder.returnsNotNull]. */ public class KaContractReturnsNotNullEffectDeclaration( override val token: KaLifetimeToken ) : KaContractReturnsContractEffectDeclaration() {
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
*/ package org.jetbrains.kotlin.analysis.api.contracts.description import org.jetbrains.kotlin.analysis.api.KaSession import org.jetbrains.kotlin.analysis.api.contracts.description.KaContractReturnsContractEffectDeclaration.* import org.jetbrains.kotlin.analysis.api.contracts.description.booleans.* import org.jetbrains.kotlin.analysis.api.symbols.DebugSymbolRenderer import org.jetbrains.kotlin.analysis.api.symbols.KaParameterSymbol
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
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.* import org.jetbrains.kotlin.analysis.api.descriptors.Fe10AnalysisContext
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
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.* import org.jetbrains.kotlin.analysis.api.fir.KaSymbolByFirBuilder import org.jetbrains.kotlin.analysis.api.fir.symbols.KaFirFunctionSymbol
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/KtValues.kt
/** * Represents constant reference that can be passed to `value` argument of [kotlin.contracts.ContractBuilder.returns]. * * See: [org.jetbrains.kotlin.analysis.api.contracts.description.KaContractReturnsContractEffectDeclaration.KaContractReturnsSpecificValueEffectDeclaration.value] */ public class KaContractConstantValue( private val backingConstantType: KaContractConstantType, override val token: KaLifetimeToken,
Registered: Wed Jun 12 09:53:16 UTC 2024 - Last Modified: Wed May 22 06:28:34 UTC 2024 - 2.2K bytes - Viewed (0)