@Override public String toString() { Unit t = getTarget(); String target = "(branch)"; if (!t.branches()) { target = t.toString(); } return Jimple.IF + " " + getCondition().toString() + " " + Jimple.GOTO + " " + target; }
@Override public Object clone() { return new JIfStmt(Jimple.cloneIfNecessary(getCondition()), getTarget()); }
@Override public void caseLeExpr(LeExpr expr) { add(Baf.v().newIfGeInst(Baf.v().newPlaceholderInst(getTarget()))); }
@Override public void caseLtExpr(LtExpr expr) { add(Baf.v().newIfGtInst(Baf.v().newPlaceholderInst(getTarget()))); }
@Override public void caseNeExpr(NeExpr expr) { add(Baf.v().newIfNeInst(Baf.v().newPlaceholderInst(getTarget()))); }
@Override public void caseGeExpr(GeExpr expr) { add(Baf.v().newIfGeInst(Baf.v().newPlaceholderInst(getTarget()))); } });
@Override public void caseGeExpr(GeExpr expr) { add(Baf.v().newIfLeInst(Baf.v().newPlaceholderInst(getTarget()))); } });
@Override public void caseLtExpr(LtExpr expr) { add(Baf.v().newIfLtInst(Baf.v().newPlaceholderInst(getTarget()))); }
@Override public void caseNeExpr(NeExpr expr) { add(Baf.v().newIfNeInst(Baf.v().newPlaceholderInst(getTarget()))); }
@Override public void caseGtExpr(GtExpr expr) { add(Baf.v().newIfLtInst(Baf.v().newPlaceholderInst(getTarget()))); }
@Override public void caseEqExpr(EqExpr expr) { add(Baf.v().newIfEqInst(Baf.v().newPlaceholderInst(getTarget()))); }
@Override public void caseLeExpr(LeExpr expr) { add(Baf.v().newIfLeInst(Baf.v().newPlaceholderInst(getTarget()))); }
@Override public void caseGtExpr(GtExpr expr) { add(Baf.v().newIfGtInst(Baf.v().newPlaceholderInst(getTarget()))); }
@Override public void caseEqExpr(EqExpr expr) { add(Baf.v().newIfEqInst(Baf.v().newPlaceholderInst(getTarget()))); }
@Override public void caseEqExpr(EqExpr expr) { add(Baf.v().newIfCmpEqInst(op1.getType(), Baf.v().newPlaceholderInst(getTarget()))); }
@Override public void caseLeExpr(LeExpr expr) { add(Baf.v().newIfCmpLeInst(op1.getType(), Baf.v().newPlaceholderInst(getTarget()))); }
@Override public void caseLtExpr(LtExpr expr) { add(Baf.v().newIfCmpLtInst(op1.getType(), Baf.v().newPlaceholderInst(getTarget()))); }
@Override public void caseGtExpr(GtExpr expr) { add(Baf.v().newIfCmpGtInst(op1.getType(), Baf.v().newPlaceholderInst(getTarget()))); }
@Override public void caseGeExpr(GeExpr expr) { add(Baf.v().newIfCmpGeInst(op1.getType(), Baf.v().newPlaceholderInst(getTarget()))); } });
@Override public void caseNeExpr(NeExpr expr) { add(Baf.v().newIfCmpNeInst(op1.getType(), Baf.v().newPlaceholderInst(getTarget()))); }