void SLintVisitor::visit(const ast::WhileExp & e) { context.pushLoop(&e); auto range = preCheck(e); e.getTest().accept(*this); e.getBody().accept(*this); postCheck(e, range); context.popLoop(); }
void InstrumentVisitor::visit(ast::WhileExp & e) { ++branchesCount; e.getBody().accept(*this); }
void GlobalsCollector::visit(ast::WhileExp & e) { e.getTest().accept(*this); e.getBody().accept(*this); }