[java-dfa] testDoubleCast(): update test to produce the same result on JDK 17 and JDK 21

Behavior of Double.toString() was slightly changed since JDK 19, see JDK-4511638

GitOrigin-RevId: ed0c37289d1f08402c35bd2697a86a4c7a2b8543
This commit is contained in:
Tagir Valeev
2023-08-04 13:08:50 +02:00
committed by intellij-monorepo-bot
parent 6495c1370c
commit 093e60cd34

View File

@@ -69,10 +69,10 @@ public class DfTypesTest {
assertEquals("2147483647", ((DfDoubleType)DfTypes.doubleRange(1e10, 1e20)).castTo(PsiTypes.intType()).toString());
assertEquals("-1", ((DfDoubleType)DfTypes.doubleRange(1e10, 1e20)).castTo(PsiTypes.shortType()).toString());
assertEquals("long", ((DfDoubleType)DfTypes.LONG.castTo(PsiTypes.doubleType())).castTo(PsiTypes.longType()).toString());
DfLongType range = (DfLongType)DfTypes.longRange(LongRangeSet.range(-1_234_567_890_123_456_789L, 1_234_567_890_123_456_789L));
assertEquals("long in {-1234567890123456789..1234567890123456789}", range.toString());
assertEquals("double >= -1.23456789012345677E18 && <= 1.23456789012345677E18 not NaN", range.castTo(PsiTypes.doubleType()).toString());
assertEquals("long in {-1234567890123456768..1234567890123456768}", ((DfDoubleType)range.castTo(PsiTypes.doubleType())).castTo(
DfLongType range = (DfLongType)DfTypes.longRange(LongRangeSet.range(-1_234_567_890_123_458_234L, 1_234_567_890_123_458_234L));
assertEquals("long in {-1234567890123458234..1234567890123458234}", range.toString());
assertEquals("double >= -1.2345678901234583E18 && <= 1.2345678901234583E18 not NaN", range.castTo(PsiTypes.doubleType()).toString());
assertEquals("long in {-1234567890123458304..1234567890123458304}", ((DfDoubleType)range.castTo(PsiTypes.doubleType())).castTo(
PsiTypes.longType()).toString());
assertEquals("long", ((DfFloatType)DfTypes.LONG.castTo(PsiTypes.floatType())).castTo(PsiTypes.longType()).toString());
assertEquals("long <= 0 or >= 10", ((DfDoubleType)DfTypes.doubleRange(1.0, 10.0).tryNegate()).castTo(PsiTypes.longType()).toString());