Class NonShortCircuit

spotbugsTestCases/src/java/NonShortCircuit.java:1–69

class NonShortCircuit {
    boolean b;

    boolean arrayDanger(int[] a, int i, int x) {
        return i < a.length & a[i] == x;
    }

    boolean bothBitsFalsePositive(int i) {
        return and((i & 0x1) != 0, (i & 0x2) != 0);
    }

    boolean bothBitsFalsePositive2(int i) {
        return combine((i & 0x1) != 0, (i & 0x2) != 0, (i & 0x4) != 0) != 0;
    }

    boolean and(boolean x, boolean y) {
        return x & y;
    }

    int combine(boolean x, boolean y, boolean z) {
        int result = 0;
        if (x)
            result += 1;
        if (y)
            result += 10;
        if (z)
            result += 100;
        return result;
    }

    void orIt(boolean x, boolean y) {
        x |= y;
        b |= x;
    }

    void andIt(boolean x, boolean y) {
        x &= y;
        b &= x;
    }

    void hardWay(Object x, Object y) {
        boolean r = x != null;
        r &= y != null;
    }

    boolean ordered(int x, int y, int z) {
        if (x >= y | y >= z)
            System.out.println("Not ordered");
        return x < y & y < z;
    }

    boolean nonEmpty(Object o[]) {
        return o != null & o.length > 0;
    }

    public static final int BIT0 = 1; // 1st bit

    protected int m_iType;

    public NonShortCircuit(boolean available) {