[FIR] Fix forgotten dependency to contracts of FE 1.0
This commit is contained in:
+2
-4
@@ -5,8 +5,6 @@
|
||||
|
||||
package org.jetbrains.kotlin.fir.contracts.description
|
||||
|
||||
import org.jetbrains.kotlin.contracts.description.expressions.*
|
||||
|
||||
class ConeContractRenderer(private val builder: StringBuilder) : ConeContractDescriptionVisitor<Unit, Nothing?>() {
|
||||
override fun visitConditionalEffectDeclaration(conditionalEffect: ConeConditionalEffectDeclaration, data: Nothing?) {
|
||||
conditionalEffect.effect.accept(this, data)
|
||||
@@ -66,11 +64,11 @@ class ConeContractRenderer(private val builder: StringBuilder) : ConeContractDes
|
||||
}
|
||||
|
||||
private fun ConeContractDescriptionElement.isAtom(): Boolean =
|
||||
this is VariableReference || this is ConstantReference || this is ConeIsNullPredicate || this is ConeIsInstancePredicate
|
||||
this is ConeValueParameterReference || this is ConeConstantReference || this is ConeIsNullPredicate || this is ConeIsInstancePredicate
|
||||
|
||||
private fun needsBrackets(parent: ConeContractDescriptionElement, child: ConeContractDescriptionElement): Boolean {
|
||||
if (child.isAtom()) return false
|
||||
if (parent is ConeLogicalNot) return true
|
||||
return parent::class != child::class
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user