public Object visitStmtAtomicBlock(StmtAtomicBlock stmt) { if (stmt.isCond()) { Expression ie = stmt.getCond(); ie.accept(new UpgradeStarToInt(this, TypePrimitive.bittype, nres)); } return super.visitStmtAtomicBlock(stmt); }
@Override public Object visitTypeArray(TypeArray ta) { Expression ie = ta.getLength(); ie.accept(new UpgradeStarToInt(this, TypePrimitive.inttype, nres)); return super.visitTypeArray(ta); }
public void upgradeStarToInt(Expression exp, Type ftype) { exp.accept(new UpgradeStarToInt(this, ftype, nres)); }
public Object visitStmtLoop(StmtLoop stmt) { Expression ie = stmt.getIter(); ie.accept(new UpgradeStarToInt(this, TypePrimitive.inttype, nres)); return super.visitStmtLoop(stmt); }
public Object visitStmtDoWhile(StmtDoWhile stmt) { Expression ie = stmt.getCond(); ie.accept(new UpgradeStarToInt(this, TypePrimitive.bittype, nres)); return super.visitStmtDoWhile(stmt); }