Method validate

src/main/java/pascal/taie/ir/exp/ArithmeticExp.java:60–65

()

    }

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

    @Override
    public Op getOperator() {