示例#1
0
void SLintVisitor::visit(const ast::CaseExp & e)
{
    auto range = preCheck(e);
    e.getTest()->accept(*this);
    e.getBody()->accept(*this);
    postCheck(e, range);
}
void InstrumentVisitor::visit(ast::CaseExp & e)
{
    cover.add(macro, e.getTest());
    ++instrCounts;
    e.getBody()->accept(*this);
}
示例#3
0
 void GlobalsCollector::visit(ast::CaseExp & e)
 {
     e.getTest()->accept(*this);
     e.getBody()->accept(*this);
 }