Modifier and Type |
Method and Description |
private static Stamp |
addIntStamp(Stamp a,
Stamp b) |
void |
before() |
private static Stamp |
narrowingKindConversion(IntegerStamp stamp,
Kind kind) |
void |
testAdd1() |
void |
testAdd2() |
void |
testAdd3() |
void |
testAddIntSimple() |
void |
testAddLongSimple() |
void |
testAddNegativeOverFlowInt1() |
void |
testAddNegativeOverFlowInt2() |
void |
testAddNegativeOverFlowLong2() |
void |
testAddNegativOverFlowLong1() |
void |
testAddOverFlowsInt() |
void |
testAddOverFlowsLong() |
void |
testAddPositiveOverFlowInt1() |
void |
testAddPositiveOverFlowInt2() |
void |
testAddPositiveOverFlowLong1() |
void |
testAddPositiveOverFlowLong2() |
void |
testAnd() |
void |
testBooleanConstant() |
void |
testByteConstant() |
void |
testCharConstant() |
void |
testIllegalJoin() |
void |
testIntConstant() |
void |
testLongConstant() |
void |
testMixedRanges() |
void |
testNarrowingConversions() |
void |
testNegativeRanges() |
void |
testNot() |
void |
testPositiveRanges() |
void |
testShiftLeft() |
void |
testShortConstant() |
void |
testSignExtend() |
private static void |
testSignExtendShort(long lower,
long upper) |
void |
testXor() |
void |
testZeroExtend() |
private static void |
testZeroExtendShort(long lower,
long upper,
long newLower,
long newUpper) |