- Sort Score
- Result 10 results
- Languages All
Results 1 - 1 of 1 for ContractDescriptionVisitor (0.32 sec)
-
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)