예제 #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();
}
예제 #2
0
void InstrumentVisitor::visit(ast::WhileExp & e)
{
    ++branchesCount;
    e.getBody().accept(*this);
}
예제 #3
0
 void GlobalsCollector::visit(ast::WhileExp & e)
 {
     e.getTest().accept(*this);
     e.getBody().accept(*this);
 }