Esempio n. 1
0
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);
}
Esempio n. 3
0
 void GlobalsCollector::visit(ast::WhileExp & e)
 {
     e.getTest().accept(*this);
     e.getBody().accept(*this);
 }