Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 1 of 1 for ContractDescriptionVisitor (0.32 sec)

  1. analysis/analysis-api-fe10/src/org/jetbrains/kotlin/analysis/api/descriptors/contracts/descriptorContractUtils.kt

        accept(ContractDescriptionElementToAnalysisApi(analysisContext), Unit) as KaContractEffectDeclaration
    
    private class ContractDescriptionElementToAnalysisApi(val analysisContext: Fe10AnalysisContext) :
        ContractDescriptionVisitor<Any, Unit> {
    
        override fun visitConditionalEffectDeclaration(
            conditionalEffect: ConditionalEffectDeclaration,
            data: Unit
        ): Any = KaContractConditionalContractEffectDeclaration(
    Registered: Wed Jun 12 09:53:16 UTC 2024
    - Last Modified: Wed May 22 06:28:34 UTC 2024
    - 5.7K bytes
    - Viewed (0)
Back to top