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