azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[FIR] Fix forgotten dependency to contracts of FE 1.0

Browse Source
This commit is contained in:
Dmitriy Novozhilov
2020-08-17 10:38:27 +03:00
parent 73ace6d161
commit 95346f834b
1 changed files with 2 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/fir/tree/src/org/jetbrains/kotlin/fir/contracts/description/ConeContractRenderer.kt
+2 -4
View File
@@ -5,8 +5,6 @@
package org.jetbrains.kotlin.fir.contracts.description package org.jetbrains.kotlin.fir.contracts.description
import org.jetbrains.kotlin.contracts.description.expressions.*
class ConeContractRenderer(private val builder: StringBuilder) : ConeContractDescriptionVisitor<Unit, Nothing?>() { class ConeContractRenderer(private val builder: StringBuilder) : ConeContractDescriptionVisitor<Unit, Nothing?>() {
override fun visitConditionalEffectDeclaration(conditionalEffect: ConeConditionalEffectDeclaration, data: Nothing?) { override fun visitConditionalEffectDeclaration(conditionalEffect: ConeConditionalEffectDeclaration, data: Nothing?) {
conditionalEffect.effect.accept(this, data) conditionalEffect.effect.accept(this, data)
@@ -66,11 +64,11 @@ class ConeContractRenderer(private val builder: StringBuilder) : ConeContractDes
} }
private fun ConeContractDescriptionElement.isAtom(): Boolean = 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 { private fun needsBrackets(parent: ConeContractDescriptionElement, child: ConeContractDescriptionElement): Boolean {
if (child.isAtom()) return false if (child.isAtom()) return false
if (parent is ConeLogicalNot) return true if (parent is ConeLogicalNot) return true
return parent::class != child::class return parent::class != child::class
} }
} }