KT-5045: intention to convert between two comparisons and range check and vice versa

idea/testData/intentions/convertTwoComparisonsToRangeCheck/.intention

@@ -0,0 +1 @@
+org.jetbrains.kotlin.idea.intentions.ConvertTwoComparisonsToRangeCheckIntention

idea/testData/intentions/convertTwoComparisonsToRangeCheck/char.kt

@@ -0,0 +1,3 @@
+fun foo(bar: Char) {
+    bar >= 'a' && 'z' >= bar<caret>
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/char.kt.after

@@ -0,0 +1,3 @@
+fun foo(bar: Char) {
+    bar in 'a'..'z'
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/charInclusive.kt

@@ -0,0 +1,3 @@
+fun foo(bar: Char) {
+    bar > 'a' && 'z' > bar<caret>
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/charInclusive.kt.after

@@ -0,0 +1,3 @@
+fun foo(bar: Char) {
+    bar in 'b'..'y'
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/double.kt

@@ -0,0 +1,4 @@
+// WITH_RUNTIME
+fun foo(bar: Int) {
+    bar >= 0.0 && 10.0 >= bar<caret>
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/double.kt.after

@@ -0,0 +1,4 @@
+// WITH_RUNTIME
+fun foo(bar: Int) {
+    bar in 0.0..10.0
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/flipped.kt

@@ -0,0 +1 @@
+fun foo(arg: Int) = 6 > arg && arg >= 1<caret>

idea/testData/intentions/convertTwoComparisonsToRangeCheck/flipped.kt.after

@@ -0,0 +1 @@
+fun foo(arg: Int) = arg in 1..5

idea/testData/intentions/convertTwoComparisonsToRangeCheck/flippedSideEffect.kt

@@ -0,0 +1,6 @@
+// IS_APPLICABLE: false
+
+var x = 42
+
+// Should be converted into arg in --x..++x (41..42) but initial check is arg <= ++x (43) && --x (42) <= arg
+fun foo(arg: Int) = <caret>arg <= ++x && --x <= arg

idea/testData/intentions/convertTwoComparisonsToRangeCheck/gtDouble.kt

@@ -0,0 +1,5 @@
+// IS_APPLICABLE: false
+// WITH_RUNTIME
+fun foo(bar: Int) {
+    bar > 0.0 && 10.0 >= bar<caret>
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/gtDouble2.kt

@@ -0,0 +1,5 @@
+// IS_APPLICABLE: false
+// WITH_RUNTIME
+fun foo(bar: Double) {
+    bar > 0 && 10 >= bar<caret>
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/gteqgt.kt

@@ -0,0 +1,3 @@
+fun foo(bar: Int) {
+    bar >= 0 && 10 > bar<caret>
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/gteqgt.kt.after

@@ -0,0 +1,3 @@
+fun foo(bar: Int) {
+    bar in 0..9
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/gteqgteq.kt

@@ -0,0 +1,3 @@
+fun foo(bar: Int) {
+    bar >= 0 && 10 >= bar<caret>
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/gteqgteq.kt.after

@@ -0,0 +1,3 @@
+fun foo(bar: Int) {
+    bar in 0..10
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/gteqlt.kt

@@ -0,0 +1,3 @@
+fun foo(bar: Int) {
+    bar >= 0 && bar < 10<caret>
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/gteqlt.kt.after

@@ -0,0 +1,3 @@
+fun foo(bar: Int) {
+    bar in 0..9
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/gteqlteq.kt

@@ -0,0 +1,3 @@
+fun foo(bar: Int) {
+    bar >= 0 && bar <= 10<caret>
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/gteqlteq.kt.after

@@ -0,0 +1,3 @@
+fun foo(bar: Int) {
+    bar in 0..10
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/gtgt.kt

@@ -0,0 +1,3 @@
+fun foo(bar: Int) {
+    bar > 0 && 10 > bar<caret>
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/gtgt.kt.after

@@ -0,0 +1,3 @@
+fun foo(bar: Int) {
+    bar in 1..9
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/gtgteq.kt

@@ -0,0 +1,3 @@
+fun foo(bar: Int) {
+    bar > 0 && 10 >= bar<caret>
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/gtgteq.kt.after

@@ -0,0 +1,3 @@
+fun foo(bar: Int) {
+    bar in 1..10
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/gtlt.kt

@@ -0,0 +1,3 @@
+fun foo(bar: Int) {
+    bar > 0 && bar < 10<caret>
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/gtlt.kt.after

@@ -0,0 +1,3 @@
+fun foo(bar: Int) {
+    bar in 1..9
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/gtlteq.kt

@@ -0,0 +1,3 @@
+fun foo(bar: Int) {
+    bar > 0 && bar <= 10<caret>
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/gtlteq.kt.after

@@ -0,0 +1,3 @@
+fun foo(bar: Int) {
+    bar in 1..10
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/lteqgt.kt

@@ -0,0 +1,3 @@
+fun foo(bar: Int) {
+    0 <= bar && 10 > bar<caret>
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/lteqgt.kt.after

@@ -0,0 +1,3 @@
+fun foo(bar: Int) {
+    bar in 0..9
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/lteqgteq.kt

@@ -0,0 +1,3 @@
+fun foo(bar: Int) {
+    0 <= bar && 10 >= bar<caret>
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/lteqgteq.kt.after

@@ -0,0 +1,3 @@
+fun foo(bar: Int) {
+    bar in 0..10
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/lteqlt.kt

@@ -0,0 +1,3 @@
+fun foo(bar: Int) {
+    0 <= bar && bar < 10<caret>
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/lteqlt.kt.after

@@ -0,0 +1,3 @@
+fun foo(bar: Int) {
+    bar in 0..9
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/lteqlteq.kt

@@ -0,0 +1,3 @@
+fun foo(bar: Int) {
+    0 <= bar && bar <= 10<caret>
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/lteqlteq.kt.after

@@ -0,0 +1,3 @@
+fun foo(bar: Int) {
+    bar in 0..10
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/ltgt.kt

@@ -0,0 +1,3 @@
+fun foo(bar: Int) {
+    0 < bar && 10 > bar<caret>
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/ltgt.kt.after

@@ -0,0 +1,3 @@
+fun foo(bar: Int) {
+    bar in 1..9
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/ltgteq.kt

@@ -0,0 +1,3 @@
+fun foo(bar: Int) {
+    0 < bar && 10 >= bar<caret>
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/ltgteq.kt.after

@@ -0,0 +1,3 @@
+fun foo(bar: Int) {
+    bar in 1..10
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/ltlt.kt

@@ -0,0 +1,3 @@
+fun foo(bar: Int) {
+    0 < bar && bar < 10<caret>
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/ltlt.kt.after

@@ -0,0 +1,3 @@
+fun foo(bar: Int) {
+    bar in 1..9
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/ltlteq.kt

@@ -0,0 +1,3 @@
+fun foo(bar: Int) {
+    0 < bar && bar <= 10<caret>
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/ltlteq.kt.after

@@ -0,0 +1,3 @@
+fun foo(bar: Int) {
+    bar in 1..10
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/nonConstants.kt

@@ -0,0 +1,3 @@
+fun foo(bar: Int, min: Int, max: Int) {
+    min < bar && bar < max<caret>
+}

idea/testData/intentions/convertTwoComparisonsToRangeCheck/nonConstants.kt.after

@@ -0,0 +1,3 @@
+fun foo(bar: Int, min: Int, max: Int) {
+    bar in (min + 1)..(max - 1)
+}