Class RangeTest
java.lang.Object
org.checkerframework.framework.test.junit.RangeTest
This class tests the Range class, independent of the Value Checker.
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
testPlus()
void
void
void
void
void
void
void
void
void
-
Constructor Details
-
RangeTest
public RangeTest()
-
-
Method Details
-
testIntRange
public void testIntRange() -
testShortRange
public void testShortRange() -
testCharRange
public void testCharRange() -
testByteRange
public void testByteRange() -
testUnion
public void testUnion() -
testIntersect
public void testIntersect() -
testPlus
public void testPlus() -
testMinus
public void testMinus() -
testTimes
public void testTimes() -
testDivide
public void testDivide() -
testRemainder
public void testRemainder() -
testShiftLeft
public void testShiftLeft() -
testSignedShiftRight
public void testSignedShiftRight() -
testUnsignedShiftRight
public void testUnsignedShiftRight() -
testUnaryPlus
public void testUnaryPlus() -
testUnaryMinus
public void testUnaryMinus() -
testBitwiseComplement
public void testBitwiseComplement() -
testBitwiseAnd
public void testBitwiseAnd() -
testLessThan
public void testLessThan() -
testLessThanEq
public void testLessThanEq() -
testGreaterThan
public void testGreaterThan() -
testGreaterThanEq
public void testGreaterThanEq() -
testEqualTo
public void testEqualTo() -
testFactoryLongLong
public void testFactoryLongLong() -
testFactoryList
public void testFactoryList() -
testFactoryTypeKind
public void testFactoryTypeKind() -
testFactoryTypeKindFailure
public void testFactoryTypeKindFailure()
-