Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 5 of 5 for KaContractReturnsContractEffectDeclaration (0.37 sec)

  2. github.com/JetBrains/kotlin

    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)
  3. github.com/JetBrains/kotlin

    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)
  4. github.com/JetBrains/kotlin

    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)
  5. github.com/JetBrains/kotlin

    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)
  6. github.com/JetBrains/kotlin

    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)
Back to top