java.lang.Object
org.checkerframework.framework.test.junit.RangeTest

public class RangeTest extends Object
This class tests the Range class, independent of the Value Checker.
  • 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()