Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 2 of 2 for getContractDescription (0.17 sec)

  1. analysis/analysis-api-fe10/src/org/jetbrains/kotlin/analysis/api/descriptors/symbols/descriptorBased/KtFe10DescFunctionSymbol.kt

        override val name: Name
            get() = withValidityAssertion { descriptor.name }
    
        override val contractEffects: List<KtContractEffectDeclaration> by cached {
            descriptor.getUserData(ContractProviderKey)?.getContractDescription()?.effects
                ?.map { it.effectDeclarationToAnalysisApi(analysisContext) }
                .orEmpty()
        }
    
        override val symbolKind: KtSymbolKind
            get() = withValidityAssertion {
    Plain Text
    - Registered: Fri Apr 26 08:18:10 GMT 2024
    - Last Modified: Fri Apr 19 17:23:15 GMT 2024
    - 7.1K bytes
    - Viewed (0)
  2. analysis/analysis-api-fe10/src/org/jetbrains/kotlin/analysis/api/descriptors/symbols/psiBased/KtFe10PsiFunctionSymbol.kt

            bindingContext[BindingContext.FUNCTION, psi]
        }
    
        override val contractEffects: List<KtContractEffectDeclaration> by cached {
            descriptor?.getUserData(ContractProviderKey)?.getContractDescription()?.effects
                ?.map { it.effectDeclarationToAnalysisApi(analysisContext) }
                .orEmpty()
        }
    
        override val isSuspend: Boolean
    Plain Text
    - Registered: Fri Apr 26 08:18:10 GMT 2024
    - Last Modified: Fri Apr 19 17:23:15 GMT 2024
    - 6.6K bytes
    - Viewed (0)
Back to top