[FIR] Fix forgotten dependency to contracts of FE 1.0

This commit is contained in:
Dmitriy Novozhilov
2020-08-17 10:38:27 +03:00
parent 73ace6d161
commit 95346f834b
@@ -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
}
}
}