Method validate

src/main/java/pascal/taie/ir/exp/BitwiseExp.java:58–62

()

    }

    @Override
    protected void validate() {
        assert (Exps.holdsInt(operand1) && Exps.holdsInt((operand2)) ||
                (Exps.holdsLong(operand1) && Exps.holdsLong(operand2)));
    }

    @Override
    public Op getOperator() {