Method validate

src/main/java/pascal/taie/ir/exp/ShiftExp.java:58–61

()

    }

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

    @Override
    public Op getOperator() {