List of invariantHolds() Examples

Examples of invariantHolds()

org.apache.derby.iapi.services.io.FormatableBitSet.invariantHolds()
This method returns true if the following conditions hold: 1. The number of bits in the bitset will fit into the allocated byte array. 2. 'lengthAsBits' and 'bitsInLastByte' are consistent. 3. All unused bits in the byte array are unset. This represents an invariant for the class, so this method should always return true. The method is public, but is primarily intended for testing and ASSERTS. @return true if invariant holds, false otherwise

Examples of org.apache.derby.iapi.services.io.FormatableBitSet.invariantHolds()

    public void testEmptyCpyCtor() {
        FormatableBitSet emptyCpy = new FormatableBitSet(empty);
        assertEquals(0,emptyCpy.getLength());
        assertEquals(0,emptyCpy.getLengthInBytes());
        assertEquals(0,emptyCpy.getNumBitsSet());
        assertTrue(emptyCpy.invariantHolds());
    }
    public void testCpyCtor() {
        FormatableBitSet cpy = new FormatableBitSet(bitset18);
        assertEquals(18,cpy.getLength());
        assertEquals(3,cpy.getLengthInBytes());

View Full Code Here

Examples of org.apache.derby.iapi.services.io.FormatableBitSet.invariantHolds()

        assertEquals(18,cpy.getLength());
        assertEquals(3,cpy.getLengthInBytes());
        assertEquals(9,cpy.getNumBitsSet());
        assertEquals(0,cpy.compare(bitset18));
        assertTrue(cpy.equals(bitset18));
        assertTrue(cpy.invariantHolds());
        assertEquals(3,cpy.getByteArray().length);
    }


    // Test cases for grow(int)
    public void testGrowEmpty() {

View Full Code Here

Examples of org.apache.derby.iapi.services.io.FormatableBitSet.invariantHolds()

        assertEquals(1, bitset18.compare(bitset18C));
    }
    public void testCompareDifferentArray() {
        FormatableBitSet small = new FormatableBitSet(bitset18);
        small.shrink(9);
        assertTrue(small.invariantHolds());
        FormatableBitSet large = new FormatableBitSet(bitset18);
        large.grow(100);
        assertTrue(large.invariantHolds());
        large.shrink(9);
        assertTrue(large.invariantHolds());

View Full Code Here

Examples of org.apache.derby.iapi.services.io.FormatableBitSet.invariantHolds()

        FormatableBitSet small = new FormatableBitSet(bitset18);
        small.shrink(9);
        assertTrue(small.invariantHolds());
        FormatableBitSet large = new FormatableBitSet(bitset18);
        large.grow(100);
        assertTrue(large.invariantHolds());
        large.shrink(9);
        assertTrue(large.invariantHolds());
        assertEquals(0,small.compare(large));
    }

View Full Code Here

Examples of org.apache.derby.iapi.services.io.FormatableBitSet.invariantHolds()

        assertTrue(small.invariantHolds());
        FormatableBitSet large = new FormatableBitSet(bitset18);
        large.grow(100);
        assertTrue(large.invariantHolds());
        large.shrink(9);
        assertTrue(large.invariantHolds());
        assertEquals(0,small.compare(large));
    }


    // Test cases for isSet(int)
    public void testIsSetEmpty() {

View Full Code Here

Examples of org.apache.derby.iapi.services.io.FormatableBitSet.invariantHolds()

    }


    // Test cases for or(FormatableBitSet)
    public void testORWithNull() {
        FormatableBitSet cpy = new FormatableBitSet(bitset18);
        assertTrue(cpy.invariantHolds());
        bitset18.or(null);
        assertEquals(9,bitset18.getNumBitsSet());
        assertTrue(cpy.equals(bitset18));
    }
    public void testORWithEmpty() {

View Full Code Here

0 1 2 3

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.