@Override public DoStmt clone() { return new DoStmt(getBody().clone(), getCondition().clone()); }
@Override public void visitDoStmt(DoStmt doStmt) { visitChildFromParent(doStmt.getBody(), doStmt); visitChildFromParent(doStmt.getCondition(), doStmt); }
@Override public void visitDoStmt(DoStmt doStmt) { if (!(doStmt.getBody() instanceof BlockStmt)) { maybeAddInjectionPoint(new LoopInjectionPoint(doStmt, currentFunction, currentScope)); } loopNestingDepth++; super.visitDoStmt(doStmt); loopNestingDepth--; }
private DoStmt fuzzDoStmt() { final Expr condition = fuzzExpr(BasicType.BOOL, false, false, 0); final Stmt body = fuzzBlockStmt(true); return new DoStmt(body, condition); }
@Override public void visitDoStmt(DoStmt doStmt) { out.append(indent() + "do" + newLine()); increaseIndent(); visit(doStmt.getBody()); decreaseIndent(); out.append(indent() + "while("); visit(doStmt.getCondition()); out.append(");" + newLine()); }
@Override public void visitDoStmt(DoStmt doStmt) { super.visitDoStmt(doStmt); if (isUnwrappable(doStmt)) { addOpportunity(new UnwrapReductionOpportunity(doStmt, doStmt.getBody(), parentMap, getVistitationDepth())); } }
continue; return new DoStmt(stmt, makeWrappedLoopCondition(opaqueExpressionGenerator.makeOpaqueBoolean(false, BasicType.BOOL, false, 0, fuzzer)));
@Override public Stmt visitIteration_statement(Iteration_statementContext ctx) { if (ctx.DO() != null) { return new DoStmt(visitStatement(ctx.statement()), visitExpression(ctx.expression())); } if (ctx.WHILE() != null) { return new WhileStmt(visitCondition(ctx.condition()), visitStatement_no_new_scope(ctx.statement_no_new_scope())); } assert ctx.FOR() != null; return new ForStmt(visitFor_init_statement(ctx.for_init_statement()), ctx.for_rest_statement().conditionopt().condition() == null ? null : visitCondition(ctx.for_rest_statement().conditionopt().condition()), ctx.for_rest_statement().expression() == null ? null : visitExpression(ctx.for_rest_statement().expression()), visitStatement_no_new_scope(ctx.statement_no_new_scope())); }