MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

PY-63319 Simplify the check, add a clarifying comment

Browse Source 
GitOrigin-RevId: cd845db87ab2c9c9f9218ce7c7d2ae28bc2a7613
This commit is contained in:
Mikhail Golubev
2025-08-15 16:26:28 +00:00
committed by intellij-monorepo-bot
parent ecfced5e8f
commit 4adbd23758
1 changed files with 14 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/python-psi-impl/src/com/jetbrains/python/codeInsight/ConditionUtil.kt
+14 -3
View File
@@ -207,11 +207,22 @@ private fun getInvertedConditionExpression(
val chainedExpressions = mutableListOf<PyExpression>()
var currentExpression = expression
while (currentExpression is PyBinaryExpression && comparisonStrings.containsKey(currentExpression.operator)) {
val leftExpression = (currentExpression.leftExpression as? PyBinaryExpression)?.takeIf { comparisonStrings.containsKey(it.operator) }?.rightExpression
?: currentExpression.leftExpression
val leftExpression = currentExpression.leftExpression
// The left operand forms a chained comparison, e.g.
// `left.left <= left.right < right`, which is equivalent to
// `(left.left <= left.right) and (left.right < right)`
// so it should be inverted as
// `not (left.left <= left.right) or not (left.right < right)` or, after simplification,
// `left.left > left.right or left.right >= right`
val newLeftExpression = if (leftExpression is PyBinaryExpression && comparisonStrings.containsKey(leftExpression.operator)) {
leftExpression.rightExpression ?: leftExpression
}
else {
leftExpression
}
val invertedOperator = invertedComparisons.getValue(currentExpression.operator)
val invertedExpression = generator.createBinaryExpression(
comparisonStrings.getValue(invertedOperator), leftExpression, currentExpression.rightExpression!!)
comparisonStrings.getValue(invertedOperator), newLeftExpression, currentExpression.rightExpression!!)
chainedExpressions.add(invertedExpression)
currentExpression = currentExpression.leftExpression
}