Method validate

src/main/java/pascal/taie/ir/exp/ConditionExp.java:61–65

()

    }

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

    @Override
    public Op getOperator() {