Package org.checkerframework.framework.test.junit

Class RangeTest

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()