Primitives.java

// @skip-test
// TODO: Reenable this test after a @GuardedByName annotation is implemented that can guard primitives,
// and uncomment all the @GuardedByName annotations below.

// Note that testing of the immutable.type.guardedby error message is done in TestTreeKinds.java

class Primitives {
    //@GuardedByName("lock")
    int primitive = 1;

    //@GuardedByName("lock")
    boolean primitiveBoolean;

    public void testOperationsWithPrimitives() {
        //@GuardedByName("lock")
        int i = 0;
        //@GuardedByName("lock")
        boolean b;

        // TODO reenable this error: (lock.not.held)
        i = i >>> primitive;
        // TODO reenable this error: (lock.not.held)
        i = primitive >>> i;

        // TODO reenable this error: (lock.not.held)
        i >>>= primitive;
        // TODO reenable this error: (lock.not.held)
        primitive >>>= i;

        // TODO reenable this error: (lock.not.held)
        i %= primitive;
        // TODO reenable this error: (lock.not.held)
        i = 4 % primitive;
        // TODO reenable this error: (lock.not.held)
        i = primitive % 4;

        // TODO reenable this error: (lock.not.held)
        primitive++;
        // TODO reenable this error: (lock.not.held)
        primitive--;
        // TODO reenable this error: (lock.not.held)
        ++primitive;
        // TODO reenable this error: (lock.not.held)
        --primitive;

        // TODO reenable this error: (lock.not.held)
        if (primitive != 5) {}

        // TODO reenable this error: (lock.not.held)
        i = primitive >> i;
        // TODO reenable this error: (lock.not.held)
        i = primitive << i;
        // TODO reenable this error: (lock.not.held)
        i = i >> primitive;
        // TODO reenable this error: (lock.not.held)
        i = i << primitive;

        // TODO reenable this error: (lock.not.held)
        i <<= primitive;
        // TODO reenable this error: (lock.not.held)
        i >>= primitive;
        // TODO reenable this error: (lock.not.held)
        primitive <<= i;
        // TODO reenable this error: (lock.not.held)
        primitive >>= i;

        // TODO reenable this error: (lock.not.held)
        assert (primitiveBoolean);

        // TODO reenable this error: (lock.not.held)
        b = primitive >= i;
        // TODO reenable this error: (lock.not.held)
        b = primitive <= i;
        // TODO reenable this error: (lock.not.held)
        b = primitive > i;
        // TODO reenable this error: (lock.not.held)
        b = primitive < i;
        // TODO reenable this error: (lock.not.held)
        b = i >= primitive;
        // TODO reenable this error: (lock.not.held)
        b = i <= primitive;
        // TODO reenable this error: (lock.not.held)
        b = i > primitive;
        // TODO reenable this error: (lock.not.held)
        b = i < primitive;

        // TODO reenable this error: (lock.not.held)
        i += primitive;
        // TODO reenable this error: (lock.not.held)
        i -= primitive;
        // TODO reenable this error: (lock.not.held)
        i *= primitive;
        // TODO reenable this error: (lock.not.held)
        i /= primitive;

        // TODO reenable this error: (lock.not.held)
        i = 4 + primitive;
        // TODO reenable this error: (lock.not.held)
        i = 4 - primitive;
        // TODO reenable this error: (lock.not.held)
        i = 4 * primitive;
        // TODO reenable this error: (lock.not.held)
        i = 4 / primitive;

        // TODO reenable this error: (lock.not.held)
        i = primitive + 4;
        // TODO reenable this error: (lock.not.held)
        i = primitive - 4;
        // TODO reenable this error: (lock.not.held)
        i = primitive * 4;
        // TODO reenable this error: (lock.not.held)
        i = primitive / 4;

        // TODO reenable this error: (lock.not.held)
        if (primitiveBoolean) {}

        // TODO reenable this error: (lock.not.held)
        i = ~primitive;

        // TODO reenable this error: (lock.not.held)
        b = primitiveBoolean || false;
        // TODO reenable this error: (lock.not.held)
        b = primitiveBoolean | false;

        // TODO reenable this error: (lock.not.held)
        b = primitiveBoolean ^ true;

        // TODO reenable this error: (lock.not.held)
        b &= primitiveBoolean;

        // TODO reenable this error: (lock.not.held)
        b |= primitiveBoolean;

        // TODO reenable this error: (lock.not.held)
        b ^= primitiveBoolean;

        // TODO reenable this error: (lock.not.held)
        b = !primitiveBoolean;

        // TODO reenable this error: (lock.not.held)
        i = primitive;

        // TODO reenable this error: (lock.not.held)
        b = true && primitiveBoolean;
        // TODO reenable this error: (lock.not.held)
        b = true & primitiveBoolean;

        // TODO reenable this error: (lock.not.held)
        b = false || primitiveBoolean;
        // TODO reenable this error: (lock.not.held)
        b = false | primitiveBoolean;

        // TODO reenable this error: (lock.not.held)
        b = false ^ primitiveBoolean;

        // TODO reenable this error: (lock.not.held)
        b = primitiveBoolean && true;
        // TODO reenable this error: (lock.not.held)
        b = primitiveBoolean & true;
    }
}